Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Monadic_predicate_calculus> ?p ?o }
Showing triples 1 to 48 of
48
with 100 triples per page.
- Monadic_predicate_calculus wikiPageID "8015680".
- Monadic_predicate_calculus wikiPageLength "4629".
- Monadic_predicate_calculus wikiPageOutDegree "27".
- Monadic_predicate_calculus wikiPageRevisionID "690674046".
- Monadic_predicate_calculus wikiPageWikiLink Arity.
- Monadic_predicate_calculus wikiPageWikiLink Atomic_formula.
- Monadic_predicate_calculus wikiPageWikiLink Augustus_De_Morgan.
- Monadic_predicate_calculus wikiPageWikiLink Binary_relation.
- Monadic_predicate_calculus wikiPageWikiLink Category:Logical_calculi.
- Monadic_predicate_calculus wikiPageWikiLink Category:Predicate_logic.
- Monadic_predicate_calculus wikiPageWikiLink Charles_Sanders_Peirce.
- Monadic_predicate_calculus wikiPageWikiLink Decidability_(logic).
- Monadic_predicate_calculus wikiPageWikiLink Decision_problem.
- Monadic_predicate_calculus wikiPageWikiLink Domain_of_discourse.
- Monadic_predicate_calculus wikiPageWikiLink First-order_logic.
- Monadic_predicate_calculus wikiPageWikiLink Gottlob_Frege.
- Monadic_predicate_calculus wikiPageWikiLink Logic.
- Monadic_predicate_calculus wikiPageWikiLink Logical_equivalence.
- Monadic_predicate_calculus wikiPageWikiLink Problem_of_multiple_generality.
- Monadic_predicate_calculus wikiPageWikiLink Propositional_calculus.
- Monadic_predicate_calculus wikiPageWikiLink Quantifier_(logic).
- Monadic_predicate_calculus wikiPageWikiLink Second-order_logic.
- Monadic_predicate_calculus wikiPageWikiLink Signature_(logic).
- Monadic_predicate_calculus wikiPageWikiLink Subset_variables.
- Monadic_predicate_calculus wikiPageWikiLink Syllogism.
- Monadic_predicate_calculus wikiPageWikiLink Term_logic.
- Monadic_predicate_calculus wikiPageWikiLink Unary_operation.
- Monadic_predicate_calculus wikiPageWikiLink Validity.
- Monadic_predicate_calculus wikiPageWikiLink Variable_(mathematics).
- Monadic_predicate_calculus wikiPageWikiLinkText "Monadic predicate calculus".
- Monadic_predicate_calculus wikiPageWikiLinkText "Monadic".
- Monadic_predicate_calculus wikiPageWikiLinkText "monadic predicate calculus".
- Monadic_predicate_calculus wikiPageWikiLinkText "monadic predicate logic".
- Monadic_predicate_calculus wikiPageWikiLinkText "monadic".
- Monadic_predicate_calculus wikiPageUsesTemplate Template:Citation_needed.
- Monadic_predicate_calculus wikiPageUsesTemplate Template:Mathematical_logic.
- Monadic_predicate_calculus wikiPageUsesTemplate Template:Portal.
- Monadic_predicate_calculus subject Category:Logical_calculi.
- Monadic_predicate_calculus subject Category:Predicate_logic.
- Monadic_predicate_calculus type Method.
- Monadic_predicate_calculus label "Monadic predicate calculus".
- Monadic_predicate_calculus sameAs Q6897882.
- Monadic_predicate_calculus sameAs Lógica_de_segunda_ordem_monádica.
- Monadic_predicate_calculus sameAs m.026nmcv.
- Monadic_predicate_calculus sameAs Q6897882.
- Monadic_predicate_calculus sameAs 一元谓词演算.
- Monadic_predicate_calculus wasDerivedFrom Monadic_predicate_calculus?oldid=690674046.
- Monadic_predicate_calculus isPrimaryTopicOf Monadic_predicate_calculus.