Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Craigs_theorem> ?p ?o }
Showing triples 1 to 30 of
30
with 100 triples per page.
- Craigs_theorem abstract "In mathematical logic, Craig's theorem states that any recursively enumerable set of well-formed formulas of a first-order language is (primitively) recursively axiomatizable. This result is not related to the well-known Craig interpolation theorem, although both results are named after the same mathematician, William Craig.".
- Craigs_theorem wikiPageID "8465779".
- Craigs_theorem wikiPageLength "2710".
- Craigs_theorem wikiPageOutDegree "12".
- Craigs_theorem wikiPageRevisionID "624188494".
- Craigs_theorem wikiPageWikiLink Category:Computability_theory.
- Craigs_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Craigs_theorem wikiPageWikiLink Craig_interpolation.
- Craigs_theorem wikiPageWikiLink Deductive_closure.
- Craigs_theorem wikiPageWikiLink First-order_language.
- Craigs_theorem wikiPageWikiLink First-order_logic.
- Craigs_theorem wikiPageWikiLink Kleenes_T_predicate.
- Craigs_theorem wikiPageWikiLink Mathematical_logic.
- Craigs_theorem wikiPageWikiLink Primitive_recursive.
- Craigs_theorem wikiPageWikiLink Primitive_recursive_function.
- Craigs_theorem wikiPageWikiLink Recursively_enumerable_set.
- Craigs_theorem wikiPageWikiLink Well-formed_formula.
- Craigs_theorem wikiPageWikiLink William_Craig_(logician).
- Craigs_theorem wikiPageWikiLink William_Craig_(philosopher).
- Craigs_theorem wikiPageWikiLinkText "Craig's theorem".
- Craigs_theorem hasPhotoCollection Craigs_theorem.
- Craigs_theorem subject Category:Computability_theory.
- Craigs_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Craigs_theorem comment "In mathematical logic, Craig's theorem states that any recursively enumerable set of well-formed formulas of a first-order language is (primitively) recursively axiomatizable. This result is not related to the well-known Craig interpolation theorem, although both results are named after the same mathematician, William Craig.".
- Craigs_theorem label "Craig's theorem".
- Craigs_theorem sameAs m.0274f6d.
- Craigs_theorem sameAs Q5180651.
- Craigs_theorem sameAs Q5180651.
- Craigs_theorem wasDerivedFrom Craigs_theoremoldid=624188494.
- Craigs_theorem isPrimaryTopicOf Craigs_theorem.