Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/First-order_predicate> ?p ?o }
Showing triples 1 to 28 of
28
with 100 triples per page.
- First-order_predicate abstract "In mathematical logic, a first-order predicate (also called a monad) is a predicate that takes only individual(s) constants or variables as argument(s). Compare second-order predicate and higher-order predicate.".
- First-order_predicate wikiPageID "11344".
- First-order_predicate wikiPageLength "704".
- First-order_predicate wikiPageOutDegree "8".
- First-order_predicate wikiPageRevisionID "624499496".
- First-order_predicate wikiPageWikiLink Category:Concepts_in_logic.
- First-order_predicate wikiPageWikiLink Category:Predicate_logic.
- First-order_predicate wikiPageWikiLink First-order_logic.
- First-order_predicate wikiPageWikiLink Higher-order_logic.
- First-order_predicate wikiPageWikiLink Mathematical_logic.
- First-order_predicate wikiPageWikiLink Monadic_predicate_calculus.
- First-order_predicate wikiPageWikiLink Predicate_(mathematical_logic).
- First-order_predicate wikiPageWikiLink Second-order_predicate.
- First-order_predicate wikiPageWikiLinkText "First-order predicate".
- First-order_predicate wikiPageWikiLinkText "first-order predicate".
- First-order_predicate wikiPageUsesTemplate Template:Logic-stub.
- First-order_predicate wikiPageUsesTemplate Template:Reflist.
- First-order_predicate subject Category:Concepts_in_logic.
- First-order_predicate subject Category:Predicate_logic.
- First-order_predicate hypernym Predicate.
- First-order_predicate type Concept.
- First-order_predicate comment "In mathematical logic, a first-order predicate (also called a monad) is a predicate that takes only individual(s) constants or variables as argument(s). Compare second-order predicate and higher-order predicate.".
- First-order_predicate label "First-order predicate".
- First-order_predicate sameAs Q5452202.
- First-order_predicate sameAs m.030gp.
- First-order_predicate sameAs Q5452202.
- First-order_predicate wasDerivedFrom First-order_predicate?oldid=624499496.
- First-order_predicate isPrimaryTopicOf First-order_predicate.