_:JjsDErxF1081 <http://rdf.freebase.com/ns/type.value.value> "149848".
_:JjsDErxF1081 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en_id>.
_:JjsDErxF1085 <http://rdf.freebase.com/ns/type.value.value> "Abstraction_elimination".
_:JjsDErxF1085 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
_:JjsDErxF1091 <http://rdf.freebase.com/ns/type.value.value> "Combinatory_algebra".
_:JjsDErxF1091 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
_:JjsDErxF1092 <http://rdf.freebase.com/ns/type.value.value> "S-combinator".
_:JjsDErxF1092 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://rdf.freebase.com/ns/computer.programming_language_paradigm.languages> <http://rdf.freebase.com/ns/en.haskell>.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://rdf.freebase.com/ns/computer.programming_language_paradigm.languages> <http://rdf.freebase.com/ns/en.apl>.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://rdf.freebase.com/ns/base.proofsareprograms.key_concept.key_contribution> <http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000ab3a631>.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://creativecommons.org/ns#attributionName> "Source: Freebase - The World's database".
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/base.proofsareprograms.key_concept>.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/base.proofsareprograms.topic>.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/common.topic>.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/computer.programming_language_paradigm>.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://www.w3.org/1999/xhtml/vocab#license> <http://creativecommons.org/licenses/by/3.0/>.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://creativecommons.org/ns#attributionURL> <http://www.freebase.com/view/en/combinatory_logic>.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://rdf.freebase.com/ns/common.topic.article> <http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000011a1d6>.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://rdf.freebase.com/ns/type.object.name> "Combinatory logic"@en.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://rdf.freebase.com/ns/type.object.name> "Kombinatorische Logik"@de.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://rdf.freebase.com/ns/type.object.name> "\u7EC4\u5408\u5B50\u903B\u8F91"@zh.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://rdf.freebase.com/ns/type.object.name> "L\u00F3gica combinatoria"@es.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://rdf.freebase.com/ns/type.object.name> "Logique combinatoire"@fr.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://rdf.freebase.com/ns/type.object.name> "\u041A\u043E\u043C\u0431\u0438\u043D\u0430\u0442\u043E\u0440\u043D\u0430\u044F \u043B\u043E\u0433\u0438\u043A\u0430"@ru.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://rdf.freebase.com/ns/type.object.key> _:JjsDErxF1081.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://rdf.freebase.com/ns/type.object.key> _:JjsDErxF1085.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://rdf.freebase.com/ns/type.object.key> _:JjsDErxF1091.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://rdf.freebase.com/ns/type.object.key> _:JjsDErxF1092.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://rdf.freebase.com/ns/type.object.key> _:JjsDErxF1084.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://rdf.freebase.com/ns/type.object.key> _:JjsDErxF1087.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://rdf.freebase.com/ns/type.object.key> _:JjsDErxF1089.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://rdf.freebase.com/ns/type.object.key> _:JjsDErxF1088.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://rdf.freebase.com/ns/type.object.key> _:JjsDErxF1083.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://rdf.freebase.com/ns/type.object.key> _:JjsDErxF1086.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://rdf.freebase.com/ns/type.object.key> _:JjsDErxF1082.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://rdf.freebase.com/ns/type.object.key> _:JjsDErxF1090.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://www.w3.org/2002/07/owl#sameAs> <http://dbpedia.org/resource/Combinatory_algebra>.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://www.w3.org/2002/07/owl#sameAs> <http://dbpedia.org/resource/Combinator>.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://www.w3.org/2002/07/owl#sameAs> <http://dbpedia.org/resource/Combinators>.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://www.w3.org/2002/07/owl#sameAs> <http://dbpedia.org/resource/Combinatory_logic>.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://www.w3.org/2002/07/owl#sameAs> <http://dbpedia.org/resource/K_combinator>.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://www.w3.org/2002/07/owl#sameAs> <http://dbpedia.org/resource/Abstraction_elimination>.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://www.w3.org/2002/07/owl#sameAs> <http://dbpedia.org/resource/Combinatory_Logic>.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://www.w3.org/2002/07/owl#sameAs> <http://dbpedia.org/resource/Combinatorial_logic_(mathematics)>.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://www.w3.org/2002/07/owl#sameAs> <http://dbpedia.org/resource/S_combinator>.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://www.w3.org/2002/07/owl#sameAs> <http://dbpedia.org/resource/S-combinator>.
_:JjsDErxF1084 <http://rdf.freebase.com/ns/type.value.value> "Combinatorial_logic_$0028mathematics$0029".
_:JjsDErxF1084 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
_:JjsDErxF1087 <http://rdf.freebase.com/ns/type.value.value> "Combinators".
_:JjsDErxF1087 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
_:JjsDErxF1089 <http://rdf.freebase.com/ns/type.value.value> "K_combinator".
_:JjsDErxF1089 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
_:JjsDErxF1088 <http://rdf.freebase.com/ns/type.value.value> "S_combinator".
_:JjsDErxF1088 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
_:JjsDErxF1083 <http://rdf.freebase.com/ns/type.value.value> "Combinator".
_:JjsDErxF1083 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000ab3a631> <http://rdf.freebase.com/ns/base.proofsareprograms.key_contribution.contributors> <http://rdf.freebase.com/ns/en.haskell_curry>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000ab3a631> <http://rdf.freebase.com/ns/base.proofsareprograms.key_contribution.contributors> <http://rdf.freebase.com/ns/en.robert_feys>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000ab3a631> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/base.proofsareprograms.key_contribution>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000ab3a631> <http://rdf.freebase.com/ns/base.proofsareprograms.key_contribution.key_concept> <http://rdf.freebase.com/ns/en.combinatory_logic>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000ab3a631> <http://rdf.freebase.com/ns/base.proofsareprograms.key_contribution.why_this_is_interesting> "Curry and Feys defined combinators, a simplified variant of lambda expressions. Curry noted a correspondence between the types of the combinators and the laws of logic as formulated by Hilbert."@en.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000ab3a631> <http://rdf.freebase.com/ns/base.proofsareprograms.key_contribution.date> "1956".
_:JjsDErxF1086 <http://rdf.freebase.com/ns/type.value.value> "Combinatory_Logic".
_:JjsDErxF1086 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
_:JjsDErxF1082 <http://rdf.freebase.com/ns/type.value.value> "Combinatory_logic".
_:JjsDErxF1082 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
_:JjsDErxF1090 <http://rdf.freebase.com/ns/type.value.value> "combinatory_logic".
_:JjsDErxF1090 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/en>.