Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Category:Program_logic> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- Category:Program_logic wikiPageID "30703781".
- Category:Program_logic wikiPageRevisionID "696226151".
- 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=696226151.