_:MpOOVOEu664 <http://rdf.freebase.com/ns/type.value.value> "combinatory_logic".
_:MpOOVOEu664 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/en>.
_:MpOOVOEu666 <http://rdf.freebase.com/ns/type.value.value> "S-combinator".
_:MpOOVOEu666 <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/type.object.name> "Kombinatorische Logik"@de.
<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.name> "\u7EC4\u5408\u5B50\u903B\u8F91"@zh.
<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> "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://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/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/Combinator>.
<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/S_combinator>.
<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/Combinators>.
<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://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#attributionName> "Source: Freebase - The World's database".
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://rdf.freebase.com/ns/type.object.key> _:MpOOVOEu664.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://rdf.freebase.com/ns/type.object.key> _:MpOOVOEu666.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://rdf.freebase.com/ns/type.object.key> _:MpOOVOEu662.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://rdf.freebase.com/ns/type.object.key> _:MpOOVOEu656.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://rdf.freebase.com/ns/type.object.key> _:MpOOVOEu655.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://rdf.freebase.com/ns/type.object.key> _:MpOOVOEu659.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://rdf.freebase.com/ns/type.object.key> _:MpOOVOEu658.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://rdf.freebase.com/ns/type.object.key> _:MpOOVOEu661.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://rdf.freebase.com/ns/type.object.key> _:MpOOVOEu665.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://rdf.freebase.com/ns/type.object.key> _:MpOOVOEu663.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://rdf.freebase.com/ns/type.object.key> _:MpOOVOEu660.
<http://rdf.freebase.com/ns/en.combinatory_logic> <http://rdf.freebase.com/ns/type.object.key> _:MpOOVOEu657.
<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://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/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/computer.programming_language_paradigm>.
<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://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/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/computer.programming_language_paradigm.languages> <http://rdf.freebase.com/ns/en.haskell>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000ab3a631> <http://rdf.freebase.com/ns/base.proofsareprograms.key_contribution.date> "1956".
<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://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.contributors> <http://rdf.freebase.com/ns/en.robert_feys>.
<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.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.
_:MpOOVOEu662 <http://rdf.freebase.com/ns/type.value.value> "S_combinator".
_:MpOOVOEu662 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
_:MpOOVOEu660 <http://rdf.freebase.com/ns/type.value.value> "Combinatory_Logic".
_:MpOOVOEu660 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
_:MpOOVOEu655 <http://rdf.freebase.com/ns/type.value.value> "149848".
_:MpOOVOEu655 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en_id>.
_:MpOOVOEu659 <http://rdf.freebase.com/ns/type.value.value> "Abstraction_elimination".
_:MpOOVOEu659 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
_:MpOOVOEu658 <http://rdf.freebase.com/ns/type.value.value> "Combinatorial_logic_$0028mathematics$0029".
_:MpOOVOEu658 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
_:MpOOVOEu661 <http://rdf.freebase.com/ns/type.value.value> "Combinators".
_:MpOOVOEu661 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
_:MpOOVOEu665 <http://rdf.freebase.com/ns/type.value.value> "Combinatory_algebra".
_:MpOOVOEu665 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
_:MpOOVOEu663 <http://rdf.freebase.com/ns/type.value.value> "K_combinator".
_:MpOOVOEu663 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
_:MpOOVOEu656 <http://rdf.freebase.com/ns/type.value.value> "Combinatory_logic".
_:MpOOVOEu656 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
_:MpOOVOEu657 <http://rdf.freebase.com/ns/type.value.value> "Combinator".
_:MpOOVOEu657 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.