Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Rules_of_passage_(logic)> ?p ?o }
Showing triples 1 to 39 of
39
with 100 triples per page.
- Rules_of_passage_(logic) abstract "In mathematical logic, the rules of passage govern how quantifiers distribute over the basic logical connectives of first-order logic. The rules of passage govern the "passage" (translation) from any formula of first-order logic to the equivalent formula in prenex normal form, and vice versa.".
- Rules_of_passage_(logic) wikiPageExternalLink logic-classical.
- Rules_of_passage_(logic) wikiPageID "15373114".
- Rules_of_passage_(logic) wikiPageLength "2358".
- Rules_of_passage_(logic) wikiPageOutDegree "17".
- Rules_of_passage_(logic) wikiPageRevisionID "622119350".
- Rules_of_passage_(logic) wikiPageWikiLink Biconditional.
- Rules_of_passage_(logic) wikiPageWikiLink Category:Mathematical_logic.
- Rules_of_passage_(logic) wikiPageWikiLink First-order_logic.
- Rules_of_passage_(logic) wikiPageWikiLink Formula_(mathematical_logic).
- Rules_of_passage_(logic) wikiPageWikiLink Jacques_Herbrand.
- Rules_of_passage_(logic) wikiPageWikiLink Jean_Van_Heijenoort.
- Rules_of_passage_(logic) wikiPageWikiLink Jean_van_Heijenoort.
- Rules_of_passage_(logic) wikiPageWikiLink Logical_biconditional.
- Rules_of_passage_(logic) wikiPageWikiLink Logical_connective.
- Rules_of_passage_(logic) wikiPageWikiLink Logical_equivalence.
- Rules_of_passage_(logic) wikiPageWikiLink Mathematical_logic.
- Rules_of_passage_(logic) wikiPageWikiLink Prenex_normal_form.
- Rules_of_passage_(logic) wikiPageWikiLink Quantifier_(logic).
- Rules_of_passage_(logic) wikiPageWikiLink Stanford_Encyclopedia_of_Philosophy.
- Rules_of_passage_(logic) wikiPageWikiLink Well-formed_formula.
- Rules_of_passage_(logic) wikiPageWikiLink Willard_Quine.
- Rules_of_passage_(logic) wikiPageWikiLink Willard_Van_Orman_Quine.
- Rules_of_passage_(logic) wikiPageWikiLinkText "Rules of passage (logic)".
- Rules_of_passage_(logic) wikiPageWikiLinkText "rule of passage".
- Rules_of_passage_(logic) hasPhotoCollection Rules_of_passage_(logic).
- Rules_of_passage_(logic) wikiPageUsesTemplate Template:Col-begin.
- Rules_of_passage_(logic) wikiPageUsesTemplate Template:Col-break.
- Rules_of_passage_(logic) wikiPageUsesTemplate Template:Col-end.
- Rules_of_passage_(logic) wikiPageUsesTemplate Template:Logic-stub.
- Rules_of_passage_(logic) subject Category:Mathematical_logic.
- Rules_of_passage_(logic) comment "In mathematical logic, the rules of passage govern how quantifiers distribute over the basic logical connectives of first-order logic. The rules of passage govern the "passage" (translation) from any formula of first-order logic to the equivalent formula in prenex normal form, and vice versa.".
- Rules_of_passage_(logic) label "Rules of passage (logic)".
- Rules_of_passage_(logic) sameAs Regras_de_tradução_lógica.
- Rules_of_passage_(logic) sameAs m.03m6h18.
- Rules_of_passage_(logic) sameAs Q7379044.
- Rules_of_passage_(logic) sameAs Q7379044.
- Rules_of_passage_(logic) wasDerivedFrom Rules_of_passage_(logic)?oldid=622119350.
- Rules_of_passage_(logic) isPrimaryTopicOf Rules_of_passage_(logic).