{ "http://en.wikipedia.org/wiki/Kurt_G\u00F6del" : { "http://xmlns.com/foaf/0.1/primaryTopic" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Characteristica_universalis" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Nelson_Goodman" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/The_Art_of_Fugue" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Anathem" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Wolfgang_Rautenberg" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/G\u00F6del_machine" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Static_program_analysis" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Levi_Weaver" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Arithmetization_of_analysis" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Philipp_Furtw\u00E4ngler" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Detailed_logarithmic_timeline" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/January_14" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Meanings_of_minor_planet_names:_3001\u20134000" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Kurt" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] , "https://dbpedia.org/ontology/wikiPageDisambiguates" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_German_mathematicians" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Penrose\u2013Lucas_argument" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Algorithm_characterizations" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Karl_Sigmund" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Carnap_Papers" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Compactness_theorem" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_scientific_laws_named_after_people" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/History_of_logic" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Shadows_of_the_Mind" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Orchestrated_objective_reduction" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Thoralf_Skolem" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_people_who_died_of_starvation" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/History_of_artificial_intelligence" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Von_Neumann\u2013Bernays\u2013G\u00F6del_set_theory" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Hilbert\u2013Bernays_provability_conditions" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Reflection_principle" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Hao_Wang_(academic)" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Law_of_thought" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Remarks_on_the_Foundations_of_Mathematics" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Dialectica_interpretation" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/\u03A9-consistent_theory" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Entscheidungsproblem" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Axiom_of_limitation_of_size" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Gentzen's_consistency_proof" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Consistency" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Glossary_of_set_theory" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] , "https://dbpedia.org/property/defn" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Janna_Levin" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Jacques_Bouveresse" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Principles_of_Mathematical_Logic" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Cardinality_of_the_continuum" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Hypercomputation" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Axiom_of_constructibility" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/1906_in_philosophy" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Pierre_Cassou-Nogu\u00E8s" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Jack_Copeland" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/The_Story_of_Maths" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_important_publications_in_theoretical_computer_science" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/1931_in_philosophy" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Gaisi_Takeuti" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/April_28" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_mathematical_logic_topics" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/G\u00F6del_Prize" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/The_Einstein_Intersection" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Certainty" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/De_Bruijn\u2013Erd\u0151s_theorem_(graph_theory)" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Loop_variant" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Modal_companion" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/General_relativity" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_International_Congresses_of_Mathematicians_Plenary_and_Invited_Speakers" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Trans-Siberian_Railway" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_National_Medal_of_Science_laureates" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Austria" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Solomon_Feferman" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Philosophy_of_mathematics" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/G\u00F6del_Lecture" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Alfred_Tarski" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Proof_theory" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Theory_of_computation" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Kurt_G\u00F6del" : { "http://www.w3.org/1999/02/22-rdf-syntax-ns#type" : [ { "type" : "uri", "value" : "http://xmlns.com/foaf/0.1/Person" } , { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q215627" } , { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q19088" } , { "type" : "uri", "value" : "http://www.w3.org/2002/07/owl#Thing" } , { "type" : "uri", "value" : "http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson" } , { "type" : "uri", "value" : "https://dbpedia.org/ontology/Scientist" } , { "type" : "uri", "value" : "http://schema.org/Person" } , { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q5" } , { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q729" } , { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q901" } , { "type" : "uri", "value" : "https://dbpedia.org/ontology/Species" } , { "type" : "uri", "value" : "https://dbpedia.org/ontology/Animal" } , { "type" : "uri", "value" : "https://dbpedia.org/ontology/Eukaryote" } , { "type" : "uri", "value" : "https://dbpedia.org/ontology/Person" } ] , "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://azb.dbpedia.org/resource/\u06A9\u0648\u0631\u062A_\u0642\u0648\u062F\u0644" } , { "type" : "uri", "value" : "http://zh.dbpedia.org/resource/\u5E93\u5C14\u7279\u00B7\u54E5\u5FB7\u5C14" } , { "type" : "uri", "value" : "http://fi.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://ky.dbpedia.org/resource/\u041A\u0443\u0440\u0442_\u0413\u04E9\u0434\u0435\u043B\u044C" } , { "type" : "uri", "value" : "http://mk.dbpedia.org/resource/\u041A\u0443\u0440\u0442_\u0413\u0435\u0434\u0435\u043B" } , { "type" : "uri", "value" : "http://arz.dbpedia.org/resource/\u0643\u0648\u0631\u062A_\u062C\u0648\u062F\u0644" } , { "type" : "uri", "value" : "http://commons.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://el.dbpedia.org/resource/\u039A\u03BF\u03C5\u03C1\u03C4_\u0393\u03BA\u03AD\u03BD\u03C4\u03B5\u03BB" } , { "type" : "uri", "value" : "http://war.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://hr.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://pt.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://pa.dbpedia.org/resource/\u0A15\u0A41\u0A30\u0A1F_\u0A17\u0A4B\u0A07\u0A21\u0A32" } , { "type" : "uri", "value" : "http://kn.dbpedia.org/resource/\u0C95\u0CB0\u0CCD\u0C9F\u0CCD_\u0C97\u0CC1\u0CA1\u0CCD\u0CB2\u0CCD" } , { "type" : "uri", "value" : "http://he.dbpedia.org/resource/\u05E7\u05D5\u05E8\u05D8_\u05D2\u05D3\u05DC" } , { "type" : "uri", "value" : "http://et.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://ro.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://sr.dbpedia.org/resource/\u041A\u0443\u0440\u0442_\u0413\u0435\u0434\u0435\u043B" } , { "type" : "uri", "value" : "http://bs.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://simple.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://az.dbpedia.org/resource/Kurt_H\u00F6del" } , { "type" : "uri", "value" : "https://dblp.org/pid/165/0657" } , { "type" : "uri", "value" : "http://nl.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://mg.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://d-nb.info/gnd/175702098" } , { "type" : "uri", "value" : "http://be.dbpedia.org/resource/\u041A\u0443\u0440\u0442_\u0413\u0451\u0434\u044D\u043B\u044C" } , { "type" : "uri", "value" : "http://fa.dbpedia.org/resource/\u06A9\u0648\u0631\u062A_\u06AF\u0648\u062F\u0644" } , { "type" : "uri", "value" : "http://tl.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://de.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://hi.dbpedia.org/resource/\u0915\u0941\u0930\u094D\u091F_\u0917\u0947\u0921\u0947\u0932" } , { "type" : "uri", "value" : "http://lv.dbpedia.org/resource/Kurts_G\u0113dels" } , { "type" : "uri", "value" : "http://ja.dbpedia.org/resource/\u30AF\u30EB\u30C8\u30FB\u30B2\u30FC\u30C7\u30EB" } , { "type" : "uri", "value" : "http://uk.dbpedia.org/resource/\u041A\u0443\u0440\u0442_\u0413\u0435\u0434\u0435\u043B\u044C" } , { "type" : "uri", "value" : "http://my.dbpedia.org/resource/\u1000\u102C\u1037_\u1002\u1030\u1012\u101A\u103A" } , { "type" : "uri", "value" : "http://es.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://ca.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://is.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://ar.dbpedia.org/resource/\u0643\u0648\u0631\u062A_\u063A\u0648\u062F\u0644" } , { "type" : "uri", "value" : "http://jv.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://gl.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://sh.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://ru.dbpedia.org/resource/\u0413\u0451\u0434\u0435\u043B\u044C,_\u041A\u0443\u0440\u0442" } , { "type" : "uri", "value" : "http://ia.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://no.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://ast.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://af.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://bn.dbpedia.org/resource/\u0995\u09C1\u09B0\u09CD\u099F_\u0997\u09CD\u09AF\u09CB\u09A1\u09C7\u09B2" } , { "type" : "uri", "value" : "https://global.dbpedia.org/id/3qiA5" } , { "type" : "uri", "value" : "http://sq.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://io.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://fo.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q41390" } , { "type" : "uri", "value" : "http://sl.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://da.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://bg.dbpedia.org/resource/\u041A\u0443\u0440\u0442_\u0413\u044C\u043E\u0434\u0435\u043B" } , { "type" : "uri", "value" : "http://id.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://fy.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://eu.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://th.dbpedia.org/resource/\u0E04\u0E27\u0E23\u0E4C\u0E17_\u0E40\u0E01\u0E2D\u0E40\u0E14\u0E34\u0E25" } , { "type" : "uri", "value" : "http://viaf.org/viaf/97851774" } , { "type" : "uri", "value" : "http://tr.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://cs.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://ur.dbpedia.org/resource/\u06A9\u0631\u0679_\u06AF\u0648\u0688\u0644" } , { "type" : "uri", "value" : "http://d-nb.info/gnd/11869569X" } , { "type" : "uri", "value" : "http://rdf.freebase.com/ns/m.048c2" } , { "type" : "uri", "value" : "http://sco.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://vi.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://nn.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://tg.dbpedia.org/resource/\u041A\u0443\u0440\u0442_\u0413\u04EF\u0434\u0435\u043B" } , { "type" : "uri", "value" : "http://mr.dbpedia.org/resource/\u0915\u0941\u0930\u094D\u091F_\u0917\u094D\u092F\u094B\u0921\u0947\u0932" } , { "type" : "uri", "value" : "http://data.bibliotheken.nl/id/thes/p068721757" } , { "type" : "uri", "value" : "http://pl.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://hu.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://hy.dbpedia.org/resource/\u053F\u0578\u0582\u0580\u057F_\u0533\u0575\u0578\u0564\u0565\u056C" } , { "type" : "uri", "value" : "http://sk.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://ht.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://ko.dbpedia.org/resource/\uCFE0\uB974\uD2B8_\uAD34\uB378" } , { "type" : "uri", "value" : "http://sv.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://ta.dbpedia.org/resource/\u0B95\u0BBF\u0BAF\u0BC7\u0B9F\u0BB2\u0BCD" } , { "type" : "uri", "value" : "http://pnb.dbpedia.org/resource/\u06A9\u0631\u0679_\u06AF\u0648\u0688\u0644" } , { "type" : "uri", "value" : "http://it.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://new.dbpedia.org/resource/\u0915\u0930\u094D\u091F_\u0917\u094B\u0921\u0947\u0932" } , { "type" : "uri", "value" : "http://sa.dbpedia.org/resource/\u0915\u0930\u094D\u091F_\u0917\u094B\u0921\u0947\u0932" } , { "type" : "uri", "value" : "http://ml.dbpedia.org/resource/\u0D15\u0D41\u0D7C\u0D1F\u0D4D\u0D1F\u0D4D_\u0D17\u0D4B\u0D21\u0D7D" } , { "type" : "uri", "value" : "http://yo.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://pms.dbpedia.org/resource/Kurt_G\u00F6del" } , { "type" : "uri", "value" : "http://la.dbpedia.org/resource/Curtius_G\u00F6del" } , { "type" : "uri", "value" : "http://eo.dbpedia.org/resource/Kurt_G\u00F6del" } ] , "http://xmlns.com/foaf/0.1/name" : [ { "type" : "literal", "value" : "Kurt G\u00F6del" , "lang" : "en" } ] , "http://www.w3.org/2000/01/rdf-schema#label" : [ { "type" : "literal", "value" : "\u041A\u0443\u0440\u0442 \u0413\u0435\u0434\u0435\u043B\u044C" , "lang" : "uk" } , { "type" : "literal", "value" : "Kurt G\u00F6del" , "lang" : "ca" } , { "type" : "literal", "value" : "Kurt G\u00F6del" , "lang" : "nl" } , { "type" : "literal", "value" : "Kurt G\u00F6del" , "lang" : "sv" } , { "type" : "literal", "value" : "\u5E93\u5C14\u7279\u00B7\u54E5\u5FB7\u5C14" , "lang" : "zh" } , { "type" : "literal", "value" : "Kurt G\u00F6del" , "lang" : "en" } , { "type" : "literal", "value" : "Kurt G\u00F6del" , "lang" : "pt" } , { "type" : "literal", "value" : "Kurt G\u00F6del" , "lang" : "in" } , { "type" : "literal", "value" : "\u30AF\u30EB\u30C8\u30FB\u30B2\u30FC\u30C7\u30EB" , "lang" : "ja" } , { "type" : "literal", "value" : "Kurt G\u00F6del" , "lang" : "cs" } , { "type" : "literal", "value" : "Kurt G\u00F6del" , "lang" : "it" } , { "type" : "literal", "value" : "Kurt G\u00F6del" , "lang" : "eo" } , { "type" : "literal", "value" : "Kurt G\u00F6del" , "lang" : "de" } , { "type" : "literal", "value" : "Kurt G\u00F6del" , "lang" : "es" } , { "type" : "literal", "value" : "Kurt G\u00F6del" , "lang" : "fr" } , { "type" : "literal", "value" : "\u0413\u0451\u0434\u0435\u043B\u044C, \u041A\u0443\u0440\u0442" , "lang" : "ru" } , { "type" : "literal", "value" : "Kurt G\u00F6del" , "lang" : "eu" } , { "type" : "literal", "value" : "\uCFE0\uB974\uD2B8 \uAD34\uB378" , "lang" : "ko" } , { "type" : "literal", "value" : "\u0643\u0648\u0631\u062A \u063A\u0648\u062F\u0644" , "lang" : "ar" } , { "type" : "literal", "value" : "Kurt G\u00F6del" , "lang" : "pl" } , { "type" : "literal", "value" : "\u039A\u03BF\u03C5\u03C1\u03C4 \u0393\u03BA\u03AD\u03BD\u03C4\u03B5\u03BB" , "lang" : "el" } ] , "http://purl.org/dc/terms/subject" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Set_theorists" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Platonists" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Naturalized_citizens_of_the_United_States" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Proof_theorists" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Members_of_the_American_Philosophical_Society" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:National_Medal_of_Science_laureates" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:American_logicians" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Vienna_Circle" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Corresponding_fellows_of_the_British_Academy" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:20th-century_Austrian_mathematicians" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:1978_deaths" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:American_people_of_Moravian-German_descent" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Burials_at_Princeton_Cemetery" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:University_of_Notre_Dame_faculty" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Princeton_University_faculty" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Analytic_philosophers" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Foreign_members_of_the_Royal_Society" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Austrian_logicians" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:20th-century_American_philosophers" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Institute_for_Advanced_Study_faculty" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Ontologists" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Austrian_Protestants" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Protestant_philosophers" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Scientists_from_Brno" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Austrian_people_of_Moravian-German_descent" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:People_from_the_Margraviate_of_Moravia" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:American_Protestants" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:University_of_Vienna_alumni" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:20th-century_Austrian_philosophers" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Austrian_emigrants_to_the_United_States" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Deaths_by_starvation" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Mathematicians_from_Austria-Hungary" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:20th-century_American_mathematicians" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:American_relativity_theorists" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:1906_births" } ] , "http://xmlns.com/foaf/0.1/depiction" : [ { "type" : "uri", "value" : "http://commons.wikimedia.org/wiki/Special:FilePath/Young_Kurt_G\u00F6del_as_a_student_in_1925.jpg" } , { "type" : "uri", "value" : "http://commons.wikimedia.org/wiki/Special:FilePath/GoedelKurt.jpg" } , { "type" : "uri", "value" : "http://commons.wikimedia.org/wiki/Special:FilePath/Kurt_godel_tomb_2004.jpg" } , { "type" : "uri", "value" : "http://commons.wikimedia.org/wiki/Special:FilePath/Kurt_G\u00F6del_signature.svg" } , { "type" : "uri", "value" : "http://commons.wikimedia.org/wiki/Special:FilePath/Kurt_g\u00F6del.jpg" } ] , "http://www.w3.org/ns/prov#wasDerivedFrom" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Kurt_G\u00F6del?oldid=1311467788&ns=0" } ] , "http://xmlns.com/foaf/0.1/isPrimaryTopicOf" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Kurt_G\u00F6del" } ] , "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/David_Malone_(independent_filmmaker)" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/List_of_Fellows_of_the_Royal_Society_elected_in_1968" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:American_people_of_Moravian-German_descent" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Rheumatic_fever" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Trans-Siberian_Railway" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/First-order_predicate_calculus" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/American_Philosophical_Society" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Mathematician" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Relative_consistency" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Ordinal_definable_set" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Austro-Hungarian_mathematicians" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/General_relativity" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:University_of_Notre_Dame_faculty" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Theism" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Constructible_universe" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/T-norm" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Einstein_field_equation" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Foreign_Members_of_the_Royal_Society" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Pantheism" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:1978_deaths" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/I.Q._(film)" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Austrian_emigrants_to_the_United_States" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Set_theory" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Human_brain" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Diagonal_lemma" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Johann_Nelb\u00F6ck" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Gottfried_Leibniz" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:20th-century_American_mathematicians" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Paul_Benacerraf" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Completeness_(logic)" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/History_of_mathematics" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/List_of_Austrian_scientists" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Modal_companion" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Mathematical_logic" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Wilhelm_Ackermann" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Islam" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Isaac_Newton" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Blue_Hill,_Maine" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Julian_Schwinger" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Hao_Wang_(academic)" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/\u03A9-consistent_theory" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Dialectica_interpretation" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Von_Neumann\u2013Bernays\u2013G\u00F6del_set_theory" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/John_W._Dawson,_Jr" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/File:Kurt_godel_tomb_2004.jpg" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Inanition" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/J.R._Lucas" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Princeton_University_faculty" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/G\u00F6del\u2013Gentzen_translation" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/T-norm_fuzzy_logic" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/G\u00F6del_metric" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/A._K._Peters" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Theory_of_Colours_(book)" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:1906_births" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Physics" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Institute_for_Advanced_Study" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Albert_Einstein" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Hilbert's_Program" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Turing-complete" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/American_Mathematical_Society" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Closed_timelike_curve" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/G\u00F6del's_Loophole" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/ZFC" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Anselm_of_Canterbury" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/G\u00F6del's_speed-up_theorem" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Princeton,_New_Jersey" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Douglas_Hofstadter" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Hilary_Putnam" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Phillip_Forman" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/G\u00F6del\u2013Dummett_logic" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Philosopher" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Jean_van_Heijenoort" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Albert_Einstein_Award" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Alfred_North_Whitehead" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Theoretical_physics" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Computable_function" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Habilitation" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Principia_Mathematica" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Czechoslovakia" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Gottlob_Frege" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/University_of_Notre_Dame" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Hans_Hahn_(mathematician)" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Ed_Regis_(author)" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/N\u00E9e" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Deaths_by_starvation" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/G\u00F6del_operation" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Peano_axioms" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Ernest_Nagel" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:People_with_acquired_American_citizenship" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/First-order_logic" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:American_Protestants" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Classical_logic" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Time_travel" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Modal_logic" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Vienna_Circle" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:People_with_paranoid_personality_disorder" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Aristotle" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Austrian_logicians" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/G\u00F6del_number" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/The_New_York_Times" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Lou_Jacobi" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Brno" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Nazi_regime" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Structure_(mathematical_logic)" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Oskar_Morgenstern" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Primitive_recursive_functional" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Bologna" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Hahn\u2013Banach_theorem" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/German_language" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Analytic_philosophers" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Doctorate" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Gabelsberger_shorthand" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Rudolf_Carnap" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Foundations_of_mathematics" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Set_theorists" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Platonists" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Axiomatic_system" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Princeton_Cemetery" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/World_War_II" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Austrian_philosophers" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Vienna" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Mathematical_Platonism" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/G\u00F6del_machine" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Ivor_Grattan-Guinness" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/U.S._citizenship" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/W._W._Norton_&_Company" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Burials_at_Princeton_Cemetery" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Peano_arithmetic" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/M._C._Escher" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Provability_logic" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Czech_Republic" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:20th-century_American_philosophers" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Johann_Sebastian_Bach" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Infinite-valued_logic" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Stephen_Kleene" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Association_for_Symbolic_Logic" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Natural_numbers" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Ontologists" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Logic" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Intuitionistic_logic" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Strange_loop" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Axiom" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Raymond_Smullyan" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Natural_number" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Austrian_Protestants" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Protestant_philosophers" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/R._B._Braithwaite" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/John_W._Dawson_Jr." } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Omega-consistency" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/U.S._Constitution" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Formal_system" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Nazi_Germany" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Richard_Dedekind" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Stephen_Budiansky" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Slingshot_argument" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/G\u00F6del's_incompleteness_theorems" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Vienna_Circle" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Zermelo\u2013Fraenkel_set_theory" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Zermelo\u2013Fraenkel_axioms" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Second_Conference_on_the_Epistemology_of_the_Exact_Sciences" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Jaakko_Hintikka" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Austria-Hungary" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Mathematics" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Ontological_argument" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del_Society" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Principles_of_Mathematical_Logic" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Einstein's_field_equations" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Tarski's_undefinability_theorem" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Intermediate_logic" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Adolf_Hitler" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/John_von_Neumann" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Johann_Wolfgang_von_Goethe" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Dissertation" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Number_theory" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Persecutory_delusion" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Axiom_of_constructibility" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:American_relativity_theorists" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Corresponding_Fellows_of_the_British_Academy" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:American_logicians" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Solomon_Feferman" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Immanuel_Kant" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Bertrand_Russell" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Georg_Cantor" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/G\u00F6del's_ontological_proof" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Proof_theory" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Olga_Taussky-Todd" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/G\u00F6del_numbering" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/G\u00F6del's_completeness_theorem" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/G\u00F6del,_Escher,_Bach" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Axiom_of_choice" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Analytic_philosophy" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Institute_for_Advanced_Study_faculty" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/University_of_Vienna" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:20th-century_Austrian_mathematicians" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:University_of_Vienna_alumni" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Compactness_theorem" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Recursion_theory" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Computably_enumerable" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Generalized_continuum_hypothesis" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/BBC" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Edmund_Husserl" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Logician" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/G\u00F6del_Prize" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Fellow_of_the_Royal_Society" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/David_Hilbert" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Mathematical_realism" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Scientists_from_Brno" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Gottfried_Wilhelm_von_Leibniz" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:People_from_the_Margraviate_of_Moravia" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Austrian_people_of_Moravian-German_descent" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Gottfried_Wilhelm_Leibniz" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Anschluss" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/G\u00F6del_logic" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Recursive_set" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Spinoza" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/G\u00F6del's_\u03B2_function" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/First_World_War" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Vienna_Academy_of_Science" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Original_proof_of_G\u00F6del's_completeness_theorem" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Paul_Cohen" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Princeton_Hospital" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/K\u00F6nigsberg" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/World_Logic_Day" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/International_Congress_of_Mathematicians" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/National_Medal_of_Science" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/List_of_pioneers_in_computer_science" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:National_Medal_of_Science_laureates" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Moritz_Schlick" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Condensation_lemma" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Mental_disorder" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/G\u00F6del's_constructible_universe" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Continuum_hypothesis" } ] , "https://dbpedia.org/ontology/description" : [ { "type" : "literal", "value" : "matematico, logico e filosofo austriaco" , "lang" : "it" } , { "type" : "literal", "value" : "\u0631\u06CC\u0627\u0636\u06CC\u200C\u062F\u0627\u0646\u060C \u0645\u0646\u0637\u0642\u200C\u062F\u0627\u0646 \u0648 \u0641\u06CC\u0644\u0633\u0648\u0641 \u0622\u0644\u0645\u0627\u0646\u06CC" , "lang" : "fa" } , { "type" : "literal", "value" : "\u0430\u0432\u0441\u0442\u0440\u0456\u0439\u0441\u044C\u043A\u043E-\u0430\u043C\u0435\u0440\u0438\u043A\u0430\u043D\u0441\u044C\u043A\u0438\u0439 \u043B\u043E\u0433\u0456\u043A, \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u043A \u0456 \u0444\u0456\u043B\u043E\u0441\u043E\u0444 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u043A\u0438" , "lang" : "uk" } , { "type" : "literal", "value" : "rakousk\u00FD filozof, logik a matematik" , "lang" : "cs" } , { "type" : "literal", "value" : "\uC218\uD559\uC790" , "lang" : "ko" } , { "type" : "literal", "value" : "\u0C97\u0CA3\u0CBF\u0CA4\u0C9C\u0CCD\u0C9E" , "lang" : "kn" } , { "type" : "literal", "value" : "pakar logika, matematika dan filsafat matematika berkebangsaan Austria-Amerika (1906-1978)" , "lang" : "in" } , { "type" : "literal", "value" : "\u00F6sterreichisch-amerikanischer Mathematiker und Logiker (1906-1978)" , "lang" : "de" } , { "type" : "literal", "value" : "\u041C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u043A\u0438 \u043B\u043E\u0433\u0438\u0447\u0430\u0440 \u0438 \u0444\u0438\u043B\u043E\u0437\u043E\u0444 (1906\u20131978)" , "lang" : "sr" } , { "type" : "literal", "value" : "math\u00E9maticien austro-am\u00E9ricain" , "lang" : "fr" } , { "type" : "literal", "value" : "Riyaziyyat m\u0259ntiq\u00E7isi v\u0259 filosof" , "lang" : "az" } , { "type" : "literal", "value" : "austriacki logik i matematyk" , "lang" : "pl" } , { "type" : "literal", "value" : "\u0911\u0938\u094D\u091F\u094D\u0930\u093F\u092F\u093E\u0908 (\u0905\u092E\u0947\u0930\u093F\u0915\u0940(\u092C\u093E\u0926 \u092E\u0947\u0902)) \u0924\u0930\u094D\u0915\u0936\u093E\u0938\u094D\u0924\u094D\u0930\u0940, \u0917\u0923\u093F\u0924\u091C\u094D\u091E \u0914\u0930 \u0926\u093E\u0930\u094D\u0936\u0928\u093F\u0915 (1906-1948)" , "lang" : "hi" } , { "type" : "literal", "value" : "matem\u00E1ticu austriaco-americanu" , "lang" : "ast" } , { "type" : "literal", "value" : "osztr\u00E1k matematikus" , "lang" : "hu" } , { "type" : "literal", "value" : "it\u00E4valtalais-yhdysvaltalainen matemaatikko ja filosofi" , "lang" : "fi" } , { "type" : "literal", "value" : "\u0639\u0627\u0644\u0645 \u0631\u064A\u0627\u0636\u064A\u0627\u062A \u0648\u0641\u064A\u0632\u064A\u0627\u0621 \u0646\u0645\u0633\u0627\u0648\u064A/ \u0623\u0645\u0631\u064A\u0643\u064A" , "lang" : "ar" } , { "type" : "literal", "value" : "United States of America karimba \u014Bun ny\u025B doo" , "lang" : "dag" } , { "type" : "literal", "value" : "\u00F6sterrikisk-amerikansk, logiker, matematiker och matematikfilosof" , "lang" : "sv" } , { "type" : "literal", "value" : "\u5967\u5730\u5229\u88D4\u7F8E\u570B\u908F\u8F2F\u5B78\u5BB6\uFF0C\u6578\u5B78\u5BB6\u548C\u6578\u5B78\u54F2\u5B78\u5BB6\uFF081906\uFF0D1978\uFF09" , "lang" : "zh" } , { "type" : "literal", "value" : "\u091B\u092E\u094D\u0939 \u0928\u093E\u0902 \u091C\u093E\u092E\u094D\u0939 \u0917\u0923\u093F\u0924\u093F\u091C\u094D\u091E" , "lang" : "new" } , { "type" : "literal", "value" : "\u30AA\u30FC\u30B9\u30C8\u30EA\u30A2\u30FB\u30CF\u30F3\u30AC\u30EA\u30FC\u5E1D\u56FD\u51FA\u8EAB\u306E\u6570\u5B66\u8005\u3001\u8AD6\u7406\u5B66\u8005\u3001\u54F2\u5B66\u8005" , "lang" : "ja" } , { "type" : "literal", "value" : "Amerikaans wiskundige" , "lang" : "nl" } , { "type" : "literal", "value" : "matematikisto" , "lang" : "io" } , { "type" : "literal", "value" : "a\u016Dstra Usona matematikisto" , "lang" : "eo" } , { "type" : "literal", "value" : "\u00F8strigsk-amerikansk logiker og matematiker (1906-1978)" , "lang" : "da" } , { "type" : "literal", "value" : "Avusturyal\u0131-Amerikal\u0131 matematik\u00E7i (1906 \u2013 1978)" , "lang" : "tr" } , { "type" : "literal", "value" : "\u0391\u03C5\u03C3\u03C4\u03C1\u03BF-\u03B1\u03BC\u03B5\u03C1\u03B9\u03BA\u03AC\u03BD\u03BF\u03C2 \u03B5\u03C0\u03B9\u03C3\u03C4\u03AE\u03BC\u03BF\u03BD\u03B1\u03C2 \u03C4\u03B7\u03C2 \u03BB\u03BF\u03B3\u03B9\u03BA\u03AE\u03C2, \u03BC\u03B1\u03B8\u03B7\u03BC\u03B1\u03C4\u03B9\u03BA\u03CC\u03C2 \u03BA\u03B1\u03B9 \u03C6\u03B9\u03BB\u03CC\u03C3\u03BF\u03C6\u03BF\u03C2" , "lang" : "el" } , { "type" : "literal", "value" : "l\u00F3gico, matem\u00E1tico e fil\u00F3sofo austr\u00EDaco naturalizado norte-americano" , "lang" : "pt" } , { "type" : "literal", "value" : "\u0430\u0432\u0441\u0442\u0440\u0438\u0439\u0441\u043A\u0438 \u0438 \u0430\u043C\u0435\u0440\u0438\u043A\u0430\u043D\u0441\u043A\u0438 \u043B\u043E\u0433\u0438\u043A" , "lang" : "bg" } , { "type" : "literal", "value" : "avstrijsko-ameri\u0161ki logik, matematik in filozof matematike (1906\u20131978)" , "lang" : "sl" } , { "type" : "literal", "value" : "matem\u00E1tico austro-americano" , "lang" : "es" } , { "type" : "literal", "value" : "\u05DC\u05D5\u05D2\u05D9\u05E7\u05DF \u05D5\u05DE\u05EA\u05DE\u05D8\u05D9\u05E7\u05D0\u05D9 \u05D0\u05D5\u05E1\u05D8\u05E8\u05D9-\u05D0\u05DE\u05E8\u05D9\u05E7\u05D0\u05D9" , "lang" : "iw" } , { "type" : "literal", "value" : "Austrian-American logician, mathematician, and philosopher of mathematics (1906-1978)" , "lang" : "en" } , { "type" : "literal", "value" : "avstriyalik matematik va faylasuv" , "lang" : "uz" } , { "type" : "literal", "value" : "matem\u00E0tic l\u00F2gic austroestatunidenc" , "lang" : "ca" } ] , "https://dbpedia.org/property/wikiPageUsesTemplate" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:ScienceWorldBiography" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:Winners_of_the_National_Medal_of_Science" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:Infobox_scientist" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:Cite_book" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:Redirect2" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:IPAc-en" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:Use_mdy_dates" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:ISBN" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:Notelist" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:Set_theory" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:Isbn" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:Death_date_and_age" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:Birth_date" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:Sfn" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:Authority_control" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:Short_description" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:Reflist" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:Analytic_philosophy" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:Convert" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:Platonists" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:Portal" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:Circa" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:Wikiquote" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:Blockquote" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:Ubl" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:Citation" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:IPA" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:Ill" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:Infobox_philosopher" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:Respell" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:Efn" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:Cite_SEP" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:Commons_category" } ] , "https://dbpedia.org/ontology/deathPlace" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Princeton,_New_Jersey" } ] , "https://dbpedia.org/ontology/deathDate" : [ { "type" : "literal", "value" : "1978-01-14" , "datatype" : "http://www.w3.org/2001/XMLSchema#date" } ] , "https://dbpedia.org/ontology/birthPlace" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Brno" } ] , "https://dbpedia.org/property/birthPlace" : [ { "type" : "literal", "value" : "Br\u00FCnn, Austria-Hungary" , "lang" : "en" } ] , "https://dbpedia.org/ontology/birthDate" : [ { "type" : "literal", "value" : "1906-04-28" , "datatype" : "http://www.w3.org/2001/XMLSchema#date" } ] , "https://dbpedia.org/property/name" : [ { "type" : "literal", "value" : "Kurt G\u00F6del" , "lang" : "en" } ] , "https://dbpedia.org/property/birthDate" : [ { "type" : "literal", "value" : "1906-04-28" , "datatype" : "http://www.w3.org/2001/XMLSchema#date" } ] , "https://dbpedia.org/property/deathDate" : [ { "type" : "literal", "value" : "1978-01-14" , "datatype" : "http://www.w3.org/2001/XMLSchema#date" } ] , "https://dbpedia.org/property/doctoralAdvisor" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Hans_Hahn_(mathematician)" } ] , "https://dbpedia.org/property/knownFor" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Diagonal_lemma" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/G\u00F6del's_\u03B2_function" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/G\u00F6del_operation" } , { "type" : "literal", "value" : "The consistency of the continuum hypothesis with ZFC" , "lang" : "en" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Compactness_theorem" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Condensation_lemma" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/G\u00F6del's_speed-up_theorem" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Axiom_of_constructibility" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/G\u00F6del's_ontological_proof" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/G\u00F6del_logic" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/G\u00F6del's_completeness_theorem" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/G\u00F6del_numbering" } , { "type" : "literal", "value" : "G\u00F6del metric" , "lang" : "en" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/G\u00F6del's_Loophole" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Double-negation_translation" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Dialectica_interpretation" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/\u03A9-consistent_theory" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Von_Neumann\u2013Bernays\u2013G\u00F6del_set_theory" } , { "type" : "literal", "value" : "" , "lang" : "en" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Ordinal_definable_set" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Constructible_universe" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Slingshot_argument" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/G\u00F6del's_incompleteness_theorems" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Modal_companion" } ] , "https://dbpedia.org/ontology/academicDiscipline" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Mathematics" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Mathematical_logic" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Physics" } ] , "https://dbpedia.org/ontology/doctoralAdvisor" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Hans_Hahn_(mathematician)" } ] , "https://dbpedia.org/ontology/knownFor" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/G\u00F6del's_\u03B2_function" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Diagonal_lemma" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/G\u00F6del_operation" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Condensation_lemma" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/G\u00F6del's_speed-up_theorem" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Compactness_theorem" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/G\u00F6del_metric" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Axiom_of_constructibility" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/G\u00F6del's_ontological_proof" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/G\u00F6del_logic" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/G\u00F6del's_completeness_theorem" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/G\u00F6del_numbering" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/G\u00F6del's_Loophole" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Double-negation_translation" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Von_Neumann\u2013Bernays\u2013G\u00F6del_set_theory" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Dialectica_interpretation" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/\u03A9-consistent_theory" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Constructible_universe" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Ordinal_definable_set" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/G\u00F6del's_incompleteness_theorems" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Slingshot_argument" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Modal_companion" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Continuum_hypothesis" } ] , "https://dbpedia.org/property/urlname" : [ { "type" : "literal", "value" : "Goedel" , "lang" : "en" } ] , "https://dbpedia.org/property/spouse" : [ { "type" : "literal", "value" : "Adele Nimbursky" , "lang" : "en" } , { "type" : "literal", "value" : 1938 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } , { "type" : "literal", "value" : "" , "lang" : "en" } ] , "https://dbpedia.org/property/thesisTitle" : [ { "type" : "literal", "value" : "\u00DCber die Vollst\u00E4ndigkeit des Logikkalk\u00FCls" , "lang" : "en" } ] , "https://dbpedia.org/property/thesisYear" : [ { "type" : "literal", "value" : 1929 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ] , "https://dbpedia.org/ontology/deathCause" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Starvation" } ] , "https://dbpedia.org/property/deathPlace" : [ { "type" : "literal", "value" : "Princeton, New Jersey, U.S." , "lang" : "en" } ] , "https://dbpedia.org/ontology/wikiPageExternalLink" : [ { "type" : "uri", "value" : "https://books.google.com/books%3Fid=tXk2AAAAQBAJ%7C" } , { "type" : "uri", "value" : "http://calteches.library.caltech.edu/605/02/Todd.pdf" } , { "type" : "uri", "value" : "http://www.edge.org/3rd_culture/goldstein05/goldstein05_index.html" } , { "type" : "uri", "value" : "http://www.newyorker.com/archive/2005/02/28/050228crat_atlarge" } , { "type" : "uri", "value" : "http://www.bbaw.de/en/academy" } , { "type" : "uri", "value" : "http://www.bbaw.de/en/research/goedel" } , { "type" : "uri", "value" : "https://web.archive.org/web/20091106003330/http:/simplycharly.com/godel/gregory_chaitin_interview.htm" } , { "type" : "uri", "value" : "https://books.google.com.au/books%3Fid=pckvCy6L_ocC&pg=PA8" } , { "type" : "uri", "value" : "https://web.archive.org/web/20090301015757/http:/www.univie.ac.at/bvi/photo-gallery/photo_gallery.htm" } , { "type" : "uri", "value" : "http://www.nasonline.org/publications/biographical-memoirs/memoir-pdfs/gdel-kurt.pdf" } , { "type" : "uri", "value" : "https://web.archive.org/web/20160304074030/http:/www.geocities.ws/kandathil/phil_view.html" } , { "type" : "uri", "value" : "https://web.archive.org/web/20160304080342/http:/www.geocities.ws/kandathil/foundations_mathematics.html" } , { "type" : "uri", "value" : "http://urn.fi/URN:ISBN:978-951-51-5923-6" } , { "type" : "uri", "value" : "https://www.ams.org/notices/200707/tx070700861p.pdf" } , { "type" : "uri", "value" : "https://www.ams.org/notices/200604/200604-toc.html" } , { "type" : "uri", "value" : "https://books.google.com/books%3Fid=wLLePwhDOMYC" } , { "type" : "uri", "value" : "http://www-history.mcs.st-andrews.ac.uk/Biographies/Godel.html" } , { "type" : "uri", "value" : "http://www.abc.net.au/rn/scienceshow/stories/2006/1807626.htm" } , { "type" : "uri", "value" : "http://journals.cambridge.org/action/displayAbstract%3FfromPage=online&aid=9079526&fileId=S0022481200026633" } , { "type" : "uri", "value" : "https://books.google.com/books%3Fid=pckvCy6L_ocC" } ] , "https://dbpedia.org/property/signature" : [ { "type" : "literal", "value" : "Kurt G\u00F6del signature.svg" , "lang" : "en" } ] , "https://dbpedia.org/property/title" : [ { "type" : "literal", "value" : "G\u00F6del, Kurt" , "lang" : "en" } ] , "https://dbpedia.org/ontology/birthName" : [ { "type" : "literal", "value" : "Kurt Friedrich G\u00F6del" , "lang" : "en" } ] , "https://dbpedia.org/ontology/award" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Fellow_of_the_Royal_Society" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/National_Medal_of_Science" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Albert_Einstein_Award" } ] , "https://dbpedia.org/property/birthName" : [ { "type" : "literal", "value" : "Kurt Friedrich G\u00F6del" , "lang" : "en" } ] , "https://dbpedia.org/property/workInstitutions" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Institute_for_Advanced_Study" } ] , "https://dbpedia.org/property/field" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Physics" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Mathematics" } , { "type" : "uri", "value" : "https://dbpedia.org/resource/Mathematical_logic" } ] , "https://dbpedia.org/property/prizes" : [ { "type" : "literal", "value" : "Albert Einstein Award" , "lang" : "en" } , { "type" : "literal", "value" : "National Medal of Science" , "lang" : "en" } , { "type" : "literal", "value" : "" , "lang" : "en" } , { "type" : "literal", "value" : "ForMemRS" , "lang" : "en" } ] , "https://dbpedia.org/property/education" : [ { "type" : "literal", "value" : "University of Vienna" , "lang" : "en" } ] , "https://dbpedia.org/property/caption" : [ { "type" : "literal", "value" : "G\u00F6del 1926" , "lang" : "en" } ] , "https://dbpedia.org/property/deathCause" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Starvation" } ] , "https://dbpedia.org/ontology/thumbnail" : [ { "type" : "uri", "value" : "http://commons.wikimedia.org/wiki/Special:FilePath/Kurt_g\u00F6del.jpg?width=300" } ] } , "https://dbpedia.org/resource/Index_of_philosophy_articles_(I\u2013Q)" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Ultrafilter" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_important_publications_in_mathematics" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Timeline_of_category_theory_and_related_mathematics" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/1906" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Moritz_Schlick" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Time_travel" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_pioneers_in_computer_science" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_computer_scientists" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_unusual_deaths" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Felix_Hausdorff" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Hans_Hahn_(mathematician)" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] , "https://dbpedia.org/property/doctoralStudents" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] , "https://dbpedia.org/ontology/doctoralStudent" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Ontological_argument" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Religious_philosophy" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Gerhard_Gentzen" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Jacques_Herbrand" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Valeria_de_Paiva" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Continuum_hypothesis" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Axiom_of_global_choice" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Timeline_of_mathematical_logic" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Semantic_theory_of_truth" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Archives_of_American_Mathematics" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Weaver_(Baxter_novel)" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_German-language_philosophers" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Georg_Cantor" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Apostolos_Doxiadis" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Formalism_(philosophy_of_mathematics)" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Foundations_of_mathematics" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Rudolf_Carnap" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Alfred_North_Whitehead" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Philosophy_of_logic" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Descriptivist_theory_of_names" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Principia_Mathematica" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Russell's_paradox" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Jean_van_Heijenoort" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Finitism" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/George_Boolos" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Charles_Parsons_(philosopher)" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Logicism" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Second-order_logic" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/First-order_logic" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/History_of_the_Church\u2013Turing_thesis" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Peano_axioms" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Michael_Detlefsen" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Axiom" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Axiom_of_reducibility" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Metamathematics" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Quantifier_(logic)" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Logical_positivism" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Vienna_Circle" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/G\u00F6del's_incompleteness_theorems" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Hilbert's_problems" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Slingshot_argument" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Brouwer\u2013Hilbert_controversy" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Jes\u00FAs_Moster\u00EDn" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Quine\u2013Putnam_indispensability_argument" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_set_theory_topics" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/History_of_type_theory" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Logicomix" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Lw\u00F3w\u2013Warsaw_school" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Fuzzy_concept" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Bertrand_Russell's_philosophical_views" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Self-reference" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Self-refuting_idea" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Kurt_Grelling" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Universe_(mathematics)" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Higher-order_logic" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Georg_Kreisel" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Halting_problem" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Second_Conference_on_the_Epistemology_of_the_Exact_Sciences" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Logic_in_computer_science" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Jules_Richard_(mathematician)" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Warren_Goldfarb" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Legacy_of_Alan_Turing" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Cahiers_pour_l'Analyse" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Burton_Feldman" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Logical_intuition" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Hannah_Smith_(philanthropist)" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Diagonal_lemma" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_fellows_of_the_Royal_Society_elected_in_1968" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Original_proof_of_G\u00F6del's_completeness_theorem" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Mathematics" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Austria_under_Nazism" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Reincarnation" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Translation" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Bibliography_of_E._T._Whittaker" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Austrian_Americans" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Ware_Tetralogy" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Temple_University_Beasley_School_of_Law" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/I.Q._(film)" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Frank_Aydelotte" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Albert_Einstein_in_popular_culture" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/G\u00F6del's_Loophole" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/1933_in_science" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Abraham_Flexner" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/John_W._Dawson_Jr." : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_faculty_members_at_the_Institute_for_Advanced_Study" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Julia_Robinson" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Paul_Cohen" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Paul_Arthur_Schilpp" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Frank_Ramsey_(mathematician)" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/G\u00F6del's_ontological_proof" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Axiom_of_choice" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Marian_Pour-El" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/G\u00F6del_(programming_language)" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Phillip_Forman" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Solutions_of_the_Einstein_field_equations" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Institute_for_Advanced_Study" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_people_by_Erd\u0151s_number" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Mathematical_logic" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Alan_Turing" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Logic" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Walter_Benjamin" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_philosophers_born_in_the_20th_century" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Index_of_contemporary_philosophy_articles" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Timeline_of_Western_philosophers" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/BLIT_(short_story)" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/David_Hilbert" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Asimov's_Biographical_Encyclopedia_of_Science_and_Technology" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/John_Boyd_(military_strategist)" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Timeline_of_artificial_intelligence" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Princeton_Cemetery" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/History_of_computer_science" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Infinite-valued_logic" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Notre_Dame_College_of_Science" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Olga_Taussky-Todd" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Many-valued_logic" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Martin_Gardner" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/G\u00F6del,_Escher,_Bach" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/1931_in_science" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/1978_in_the_United_States" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Czechs" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/R\u00F3zsa_P\u00E9ter" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Josiah_Willard_Gibbs_Lectureship" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/1906_in_science" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Aleph_number" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Wilhelm_Wirtinger" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] , "https://dbpedia.org/property/doctoralStudents" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] , "https://dbpedia.org/ontology/doctoralStudent" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_statements_independent_of_ZFC" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Ramsey_cardinal" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Constructible_universe" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Monatshefte_f\u00FCr_Mathematik" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Richard's_paradox" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Frank_Leymann" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Erd\u0151s_cardinal" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Oron_Shagrir" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Hilbert's_second_problem" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Finite-valued_logic" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Theoretical_computer_science" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Turing_machine" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Brno" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_multiple_discoveries" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Claude_Shannon" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/1929_in_science" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_eponymous_adjectives_in_English" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_eponyms_(A\u2013K)" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Ontology" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Deaths_of_philosophers" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/The_Lady_Tasting_Tea" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Timeline_of_computing_hardware_before_1950" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/God_Created_the_Integers" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Significant_Figures_(book)" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Temporal_paradox" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/G\u00F6del_metric" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Closed_timelike_curve" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_first-order_theories" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Kurt_Vogel_(historian)" : { "http://www.w3.org/2002/07/owl#differentFrom" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/William_Boone_(mathematician)" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/A_Mind_at_Play" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_long_mathematical_proofs" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Morass_(set_theory)" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Jensen_hierarchy" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Condensation_lemma" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Kurepa_tree" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Albert_Einstein" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Princeton,_New_Jersey" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_important_publications_in_philosophy" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_contributors_to_general_relativity" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/John_von_Neumann" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_people_from_Moravia" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Moravia" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_agnostics" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_Austrian_scientists" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Leon_Henkin" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_Christians_in_science_and_technology" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Princeton_Historic_District_(Princeton,_New_Jersey)" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_German_inventors_and_discoverers" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/University_of_Vienna" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Edmund_Husserl" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_philosophers_(D\u2013H)" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/1978" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Truth" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Cipher_Department_of_the_High_Command_of_the_Wehrmacht" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Model_theory" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Josefstadt" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Strange_loop" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Quasi-empiricism_in_mathematics" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Lawrence_Paulson" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Juliette_Kennedy" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] , "https://dbpedia.org/ontology/academicDiscipline" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] , "https://dbpedia.org/property/field" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Provability_logic" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Platonism" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Bertrand_Russell" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Liar_paradox" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/1970_in_science" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_cryptographers" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/1978_in_science" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Four_color_theorem" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_people_from_Brno" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_Czech_Republic\u2013related_topics" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_Czechs" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Joseph_F._Traub" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Fallibilism" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Computability_theory" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Intuitionistic_logic" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Curry\u2013Howard_correspondence" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Hilbert's_program" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Algorithm" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Intuitionism" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_incomplete_proofs" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/History_of_mathematical_notation" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/History_of_mathematics" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Timeline_of_mathematics" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_corresponding_fellows_of_the_British_Academy" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Gottfried_Wilhelm_Leibniz" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Philosophical_theism" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Timeline_of_scientific_discoveries" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Theory_of_Colours" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Antiquarian_science_books" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/D\u00F6bling" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Princeton_Township,_New_Jersey" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/John_Lucas_(philosopher)" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] , "https://dbpedia.org/property/influences" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] , "https://dbpedia.org/ontology/influencedBy" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/1978_in_philosophy" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Metaphysical_Foundations_of_Natural_Science" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/David_Corfield" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Kurt_G\u00F6del_Society" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Carl_Posy" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/World_Logic_Day" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Disjunction_and_existence_properties" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Penelope_Maddy" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Indicator_function" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Metempsychosis" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Timeless_universe" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Turing_completeness" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/P_versus_NP_problem" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Albert_W._Tucker" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Georg_N\u00F6beling" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Anil_Nerode" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Raphael_M._Robinson" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Emil_Leon_Post" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Hilbert's_tenth_problem" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Cardinal_number" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Church\u2013Turing_thesis" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Sergey_Yablonsky" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Gisbert_Hasenjaeger" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Wolfgang_Stegm\u00FCller" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Metatheory" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/The_Time_Ships" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Intermediate_logic" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Gottlob_Frege" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Michael_Dummett" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_logicians" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Andrzej_Grzegorczyk" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Reductionism" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Automated_theorem_proving" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Uncle_Petros_and_Goldbach's_Conjecture" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Conjecture" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Proof_of_impossibility" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/The_Infinities" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/G\u00F6del" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] , "https://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/G\u00F6del's_completeness_theorem" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/G\u00F6del_numbering" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Ricardo_Baeza-Yates" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Core_model" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Equivalents_of_the_Axiom_of_Choice" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Yannick_Grannec" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Plato" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_philosophy_anniversaries" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Association_for_Symbolic_Logic" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Juris_Hartmanis" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Anselm_of_Canterbury" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/History_of_computing_hardware" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Philosophy_of_artificial_intelligence" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Philosophical_theory" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Vacuum_Diagrams" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Freiling's_axiom_of_symmetry" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/A_Madman_Dreams_of_Turing_Machines" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Tarski's_undefinability_theorem" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/G\u00F6del's_theorem" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/K._Godel" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] , "https://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/K._Goedel" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] , "https://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/K._G\u00F6del" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] , "https://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/G\u00F6del,_K" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] , "https://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/G\u00F6del,_K." : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] , "https://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Kurt_Friedrich_G\u00F6del" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] , "https://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Kurt_Godel" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] , "https://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Kurt_Goedel" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] , "https://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Kurt_godel" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] , "https://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Kurt_goedel" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] , "https://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Kurt_g\u00F6del" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] , "https://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Godel" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] , "https://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Godel,_K" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] , "https://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Godel,_K." : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] , "https://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Goedel" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] , "https://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Goedel,_K" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] , "https://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Goedel,_K." : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] , "https://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Religious_views_of_Kurt_G\u00F6del" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] , "https://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Concept" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Computer_science" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_Austrians" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_suicides" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/The_Difference_Engine" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Raymond_Smullyan" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_fellows_of_the_Royal_Society_G,_H,_I" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Paul_Bernays" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Weimar_culture" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/List_of_University_of_G\u00F6ttingen_people" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/20th_century_in_science" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Inductivism" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Lou_Jacobi" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Cognitive_science" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/The_Age_of_Intelligent_Machines" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Infinity_and_the_Mind" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Vienna_Summer_of_Logic" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Heyting_arithmetic" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Systems_of_Logic_Based_on_Ordinals" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Inner_model_theory" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Kahler-Kreis" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Double-negation_translation" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Primitive_recursive_functional" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Martin_K._Solomon" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Ramified_forcing" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Equiconsistency" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/G\u00F6del_logic" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/G\u00F6del's_speed-up_theorem" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } , "https://dbpedia.org/resource/Godel_(disambiguation)" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Kurt_G\u00F6del" } ] } }