_:JjmAgeoP666 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/en>.
_:JjmAgeoP666 <http://rdf.freebase.com/ns/type.value.value> "mathematical_logic".
<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000f46acfa> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/base.ontologies.ontology_instance_mapping>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000f46acfa> <http://rdf.freebase.com/ns/base.ontologies.ontology_instance_mapping.ontology> <http://rdf.freebase.com/ns/en.opencyc>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000f46acfa> <http://rdf.freebase.com/ns/base.ontologies.ontology_instance_mapping.uri> "http://sw.opencyc.org/concept/Mx4rvijb4ZwpEbGdrcN5Y29ycA".
<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000f46acfa> <http://rdf.freebase.com/ns/base.ontologies.ontology_instance_mapping.freebase_topic> <http://rdf.freebase.com/ns/en.mathematical_logic>.
_:JjmAgeoP656 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
_:JjmAgeoP656 <http://rdf.freebase.com/ns/type.value.value> "Mathematical_logic".
_:JjmAgeoP662 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
_:JjmAgeoP662 <http://rdf.freebase.com/ns/type.value.value> "Logic_modeling".
_:JjmAgeoP658 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
_:JjmAgeoP658 <http://rdf.freebase.com/ns/type.value.value> "Logic_$0028math$0029".
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://www.w3.org/2002/07/owl#sameAs> <http://dbpedia.org/resource/Mathematical_logic>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://www.w3.org/2002/07/owl#sameAs> <http://dbpedia.org/resource/Formal_logic>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://www.w3.org/2002/07/owl#sameAs> <http://dbpedia.org/resource/Logic_(maths)>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://www.w3.org/2002/07/owl#sameAs> <http://dbpedia.org/resource/Mathematical_Logic>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://www.w3.org/2002/07/owl#sameAs> <http://dbpedia.org/resource/Logic_modeling>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://www.w3.org/2002/07/owl#sameAs> <http://dbpedia.org/resource/Mathematical_formalism>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://www.w3.org/2002/07/owl#sameAs> <http://dbpedia.org/resource/Mathematical_logician>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://www.w3.org/2002/07/owl#sameAs> <http://dbpedia.org/resource/Logic_(math)>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://www.w3.org/2002/07/owl#sameAs> <http://dbpedia.org/resource/Logic_(mathematics)>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://www.w3.org/2002/07/owl#sameAs> <http://dbpedia.org/resource/Logic_(symbolic)>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://www.w3.org/2002/07/owl#sameAs> <http://dbpedia.org/resource/Logic_modelling>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://creativecommons.org/ns#attributionName> "Source: Freebase - The World's database".
<http://rdf.freebase.com/ns/en.mathematical_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.mathematical_logic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/base.ontologies.ontology_instance>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/user.coco.science.concepts_theories>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/user.coco.science.topic>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/user.tsegaran.mathematics.mathematical_concept>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/education.field_of_study>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/user.tsegaran.random.taxonomy_subject>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/book.book_subject>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/user.tsegaran.mathematics.topic>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/type.object.name> "\u041C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u0430 \u043B\u043E\u0433\u0438\u043A\u0430"@bg.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/type.object.name> "L\u00F3gica matem\u00E1tica"@es.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/type.object.name> "\u6570\u7406\u8AD6\u7406\u5B66"@ja.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/type.object.name> "\u041C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u043D\u0430 \u043B\u043E\u0433\u0456\u043A\u0430"@uk.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/type.object.name> "Matematick\u00E1 logika"@sk.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/type.object.name> "Mathematische Logik"@de.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/type.object.name> "Logika matematyczna"@pl.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/type.object.name> "\u041C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u0430\u044F \u043B\u043E\u0433\u0438\u043A\u0430"@ru.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/type.object.name> "\u05DC\u05D5\u05D2\u05D9\u05E7\u05D4 \u05DE\u05EA\u05DE\u05D8\u05D9\u05EA"@he.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/type.object.name> "Matematika logiko"@eo.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/type.object.name> "Predikatslogikk"@no.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/type.object.name> "Matematick\u00E1 logika"@cs.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/type.object.name> "\u0E04\u0E13\u0E34\u0E15\u0E15\u0E23\u0E23\u0E01\u0E28\u0E32\u0E2A\u0E15\u0E23\u0E4C"@th.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/type.object.name> "Logica matematica"@it.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/type.object.name> "Mathematical logic"@en.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/type.object.name> "Matemati\u010Dna logika"@sl.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/type.object.name> "Matematiksel mant\u0131k"@tr.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/type.object.name> "Matematisk logik"@sv.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/type.object.name> "Wiskundige logica"@nl.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/type.object.name> "L\u00F2gica matem\u00E0tica"@ca.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/type.object.name> "Logique math\u00E9matique"@fr.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/type.object.name> "Matematikai logika"@hu.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/type.object.name> "\u6570\u7406\u903B\u8F91"@zh.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/book.book_subject.works> <http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000a15c449>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/book.book_subject.works> <http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009b71e62>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/book.book_subject.works> <http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000a157206>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/book.book_subject.works> <http://rdf.freebase.com/ns/en.the_search_for_truth>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/book.book_subject.works> <http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009b12447>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/book.book_subject.works> <http://rdf.freebase.com/ns/en.philosophy_of_arithmetic>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/book.book_subject.works> <http://rdf.freebase.com/ns/en.godel_escher_bach>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/book.book_subject.works> <http://rdf.freebase.com/ns/en.keys_to_infinity>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/book.book_subject.works> <http://rdf.freebase.com/ns/en.the_magic_of_numbers>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/book.book_subject.works> <http://rdf.freebase.com/ns/en.recursive_functions_and_metamathematics>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/book.book_subject.works> <http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009b1241f>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/book.book_subject.works> <http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009b34691>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/book.book_subject.works> <http://rdf.freebase.com/ns/en.the_advent_of_the_algorithm>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/book.book_subject.works> <http://rdf.freebase.com/ns/en.to_mock_a_mockingbird>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/book.book_subject.works> <http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000a151e23>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/book.book_subject.works> <http://rdf.freebase.com/ns/en.complexity_theory>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/base.ontologies.ontology_instance.equivalent_instances> <http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000f46acfa>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/type.object.key> _:JjmAgeoP666.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/type.object.key> _:JjmAgeoP656.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/type.object.key> _:JjmAgeoP662.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/type.object.key> _:JjmAgeoP658.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/type.object.key> _:JjmAgeoP655.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/type.object.key> _:JjmAgeoP664.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/type.object.key> _:JjmAgeoP659.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/type.object.key> _:JjmAgeoP660.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/type.object.key> _:JjmAgeoP663.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/type.object.key> _:JjmAgeoP667.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/type.object.key> _:JjmAgeoP661.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/type.object.key> _:JjmAgeoP657.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/type.object.key> _:JjmAgeoP665.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/user.tsegaran.random.taxonomy_subject.entry> <http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009f44dd7>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://www.w3.org/1999/xhtml/vocab#license> <http://creativecommons.org/licenses/by/3.0/>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/common.topic.article> <http://rdf.freebase.com/ns/guid.9202a8c04000641f80000000000277de>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://rdf.freebase.com/ns/user.coco.science.concepts_theories.parent_concept> <http://rdf.freebase.com/ns/en.mathematics>.
<http://rdf.freebase.com/ns/en.mathematical_logic> <http://creativecommons.org/ns#attributionURL> <http://www.freebase.com/view/en/mathematical_logic>.
_:JjmAgeoP664 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
_:JjmAgeoP664 <http://rdf.freebase.com/ns/type.value.value> "Mathematical_Logic".
_:JjmAgeoP665 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
_:JjmAgeoP665 <http://rdf.freebase.com/ns/type.value.value> "Mathematical_formalism".
_:JjmAgeoP659 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
_:JjmAgeoP659 <http://rdf.freebase.com/ns/type.value.value> "Logic_$0028maths$0029".
_:JjmAgeoP660 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
_:JjmAgeoP660 <http://rdf.freebase.com/ns/type.value.value> "Logic_$0028symbolic$0029".
_:JjmAgeoP663 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
_:JjmAgeoP663 <http://rdf.freebase.com/ns/type.value.value> "Logic_modelling".
_:JjmAgeoP667 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
_:JjmAgeoP667 <http://rdf.freebase.com/ns/type.value.value> "Formal_logic".
_:JjmAgeoP661 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
_:JjmAgeoP661 <http://rdf.freebase.com/ns/type.value.value> "Mathematical_logician".
_:JjmAgeoP657 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en>.
_:JjmAgeoP657 <http://rdf.freebase.com/ns/type.value.value> "Logic_$0028mathematics$0029".
_:JjmAgeoP655 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/wikipedia.en_id>.
_:JjmAgeoP655 <http://rdf.freebase.com/ns/type.value.value> "19636".
<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009f44dd7> <http://rdf.freebase.com/ns/user.tsegaran.random.taxonomy_entry.low> "9.0"^^<http://www.w3.org/2001/XMLSchema#float>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009f44dd7> <http://rdf.freebase.com/ns/user.tsegaran.random.taxonomy_entry.high> "10.3"^^<http://www.w3.org/2001/XMLSchema#float>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009f44dd7> <http://rdf.freebase.com/ns/user.tsegaran.random.taxonomy_entry.subject> <http://rdf.freebase.com/ns/en.mathematical_logic>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009f44dd7> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/user.tsegaran.random.taxonomy_entry>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009f44dd7> <http://rdf.freebase.com/ns/user.tsegaran.random.taxonomy_entry.prefix> "QA".
<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009f44dd7> <http://rdf.freebase.com/ns/user.tsegaran.random.taxonomy_entry.taxonomy> <http://rdf.freebase.com/ns/en.library_of_congress_classification>.