Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Category:Program_logic> ?p ?o. }
Showing items 1 to 13 of
13
with 100 items per page.
- Category:Program_logic wikiPageID "30703781".
- Category:Program_logic wikiPageRevisionID "412960652".
- Category:Program_logic type Concept.
- Category:Program_logic label "Program logic".
- Category:Program_logic sameAs Q8795311.
- Category:Program_logic sameAs Q8795311.
- Category:Program_logic broader Category:Axiomatic_semantics.
- Category:Program_logic broader Category:Formal_methods.
- Category:Program_logic broader Category:Logic_in_computer_science.
- Category:Program_logic broader Category:Logical_calculi.
- Category:Program_logic broader Category:Non-classical_logic.
- Category:Program_logic prefLabel "Program logic".
- Category:Program_logic wasDerivedFrom Category:Program_logic?oldid=412960652.