Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Craig's_theorem> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- Craig's_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.".
- Craig's_theorem wikiPageID "8465779".
- Craig's_theorem wikiPageRevisionID "521789304".
- Craig's_theorem hasPhotoCollection Craig's_theorem.
- Craig's_theorem subject Category:Computability_theory.
- Craig's_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Craig's_theorem type Abstraction100002137.
- Craig's_theorem type Communication100033020.
- Craig's_theorem type Message106598915.
- Craig's_theorem type Proposition106750804.
- Craig's_theorem type Statement106722453.
- Craig's_theorem type Theorem106752293.
- Craig's_theorem type TheoremsInTheFoundationsOfMathematics.
- Craig's_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.".
- Craig's_theorem label "Craig's theorem".
- Craig's_theorem sameAs m.0274f6d.
- Craig's_theorem sameAs Q5180651.
- Craig's_theorem sameAs Q5180651.
- Craig's_theorem sameAs Craig's_theorem.
- Craig's_theorem wasDerivedFrom Craig's_theorem?oldid=521789304.
- Craig's_theorem isPrimaryTopicOf Craig's_theorem.