Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Computational_tree_logic> ?p ?o }
Showing triples 1 to 15 of
15
with 100 triples per page.
- Computational_tree_logic wikiPageID "20532414".
- Computational_tree_logic wikiPageLength "36".
- Computational_tree_logic wikiPageOutDegree "1".
- Computational_tree_logic wikiPageRedirects Computation_tree_logic.
- Computational_tree_logic wikiPageRevisionID "255672720".
- Computational_tree_logic wikiPageWikiLink Computation_tree_logic.
- Computational_tree_logic wikiPageWikiLinkText "ACTL".
- Computational_tree_logic wikiPageWikiLinkText "CTL".
- Computational_tree_logic wikiPageWikiLinkText "CTL*".
- Computational_tree_logic wikiPageWikiLinkText "Computation Tree Logic".
- Computational_tree_logic wikiPageWikiLinkText "Computational tree logic".
- Computational_tree_logic wikiPageWikiLinkText "computational tree logic".
- Computational_tree_logic label "Computational tree logic".
- Computational_tree_logic wasDerivedFrom Computational_tree_logic?oldid=255672720.
- Computational_tree_logic isPrimaryTopicOf Computational_tree_logic.