Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Category:Temporal_logic> ?p ?o. }
Showing items 1 to 15 of
15
with 100 items per page.
- Category:Temporal_logic wikiPageID "30577353".
- Category:Temporal_logic wikiPageRevisionID "481028175".
- Category:Temporal_logic type Concept.
- Category:Temporal_logic label "Temporal logic".
- Category:Temporal_logic sameAs Kategoria:Logika_temporalna.
- Category:Temporal_logic sameAs Q8842299.
- Category:Temporal_logic sameAs Q8842299.
- Category:Temporal_logic broader Category:Concurrency_(computer_science).
- Category:Temporal_logic broader Category:Formal_specification_languages.
- Category:Temporal_logic broader Category:Logic_in_computer_science.
- Category:Temporal_logic broader Category:Modal_logic.
- Category:Temporal_logic broader Category:Model_checking.
- Category:Temporal_logic broader Category:Philosophy_of_time.
- Category:Temporal_logic prefLabel "Temporal logic".
- Category:Temporal_logic wasDerivedFrom Category:Temporal_logic?oldid=481028175.