Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Higher-order_logic> ?p ?o. }
Showing items 1 to 35 of
35
with 100 items per page.
- Higher-order_logic abstract "In mathematics and logic, a higher-order logic is a form of predicate logic that is distinguished from first-order logic by additional quantifiers and a stronger semantics. Higher-order logics with their standard semantics are more expressive, but their model-theoretic properties are less well-behaved than those of first-order logic.".
- Higher-order_logic wikiPageExternalLink logic-higher-order.
- Higher-order_logic wikiPageExternalLink type-theory-church.
- Higher-order_logic wikiPageExternalLink bookinfo.html.
- Higher-order_logic wikiPageExternalLink encyclopedia.pdf.
- Higher-order_logic wikiPageID "562883".
- Higher-order_logic wikiPageRevisionID "604667421".
- Higher-order_logic hasPhotoCollection Higher-order_logic.
- Higher-order_logic subject Category:Systems_of_formal_logic.
- Higher-order_logic type Ability105616246.
- Higher-order_logic type Abstraction100002137.
- Higher-order_logic type Cognition100023271.
- Higher-order_logic type Know-how105616786.
- Higher-order_logic type Logic105664069.
- Higher-order_logic type Method105660268.
- Higher-order_logic type PsychologicalFeature100023100.
- Higher-order_logic type System105661996.
- Higher-order_logic type SystemsOfFormalLogic.
- Higher-order_logic comment "In mathematics and logic, a higher-order logic is a form of predicate logic that is distinguished from first-order logic by additional quantifiers and a stronger semantics. Higher-order logics with their standard semantics are more expressive, but their model-theoretic properties are less well-behaved than those of first-order logic.".
- Higher-order_logic label "Higher-order logic".
- Higher-order_logic label "Logik höherer Stufe".
- Higher-order_logic label "Logique d'ordre supérieur".
- Higher-order_logic label "高阶逻辑".
- Higher-order_logic label "高階述語論理".
- Higher-order_logic sameAs Logika_vyššího_řádu.
- Higher-order_logic sameAs Logik_höherer_Stufe.
- Higher-order_logic sameAs Λογική_ανώτερου_βαθμού.
- Higher-order_logic sameAs Logique_d'ordre_supérieur.
- Higher-order_logic sameAs 高階述語論理.
- Higher-order_logic sameAs m.02qbcv.
- Higher-order_logic sameAs Q1644136.
- Higher-order_logic sameAs Q1644136.
- Higher-order_logic sameAs Higher-order_logic.
- Higher-order_logic wasDerivedFrom Higher-order_logic?oldid=604667421.
- Higher-order_logic isPrimaryTopicOf Higher-order_logic.