Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Calculus_of_inductive_constructions> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- Calculus_of_inductive_constructions wikiPageID "13420769".
- Calculus_of_inductive_constructions wikiPageRedirects Calculus_of_constructions.
- Calculus_of_inductive_constructions wikiPageRevisionID "541891377".
- Calculus_of_inductive_constructions type Assistant109815790.
- Calculus_of_inductive_constructions type CausalAgent100007347.
- Calculus_of_inductive_constructions type LivingThing100004258.
- Calculus_of_inductive_constructions type Object100002684.
- Calculus_of_inductive_constructions type Organism100004475.
- Calculus_of_inductive_constructions type Person100007846.
- Calculus_of_inductive_constructions type PhysicalEntity100001930.
- Calculus_of_inductive_constructions type ProofAssistants.
- Calculus_of_inductive_constructions type Whole100003553.
- Calculus_of_inductive_constructions type Worker109632518.
- Calculus_of_inductive_constructions type YagoLegalActor.
- Calculus_of_inductive_constructions type YagoLegalActorGeo.
- Calculus_of_inductive_constructions label "Calculus of inductive constructions".
- Calculus_of_inductive_constructions sameAs m.02wmgl.
- Calculus_of_inductive_constructions sameAs Q5018896.
- Calculus_of_inductive_constructions sameAs Q5018896.
- Calculus_of_inductive_constructions sameAs Calculus_of_inductive_constructions.
- Calculus_of_inductive_constructions wasDerivedFrom Calculus_of_inductive_constructions?oldid=541891377.
- Calculus_of_inductive_constructions isPrimaryTopicOf Calculus_of_inductive_constructions.