Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Rules_of_passage_(logic)> ?p ?o. }
Showing items 1 to 13 of
13
with 100 items 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) wikiPageRevisionID "523436070".
- Rules_of_passage_(logic) hasPhotoCollection Rules_of_passage_(logic).
- 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 m.03m6h18.
- Rules_of_passage_(logic) sameAs Q7379044.
- Rules_of_passage_(logic) sameAs Q7379044.
- Rules_of_passage_(logic) wasDerivedFrom Rules_of_passage_(logic)?oldid=523436070.
- Rules_of_passage_(logic) isPrimaryTopicOf Rules_of_passage_(logic).