Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Hennessy-Milner_logic> }
Showing triples 1 to 8 of
8
with 100 triples per page.
- HML wikiPageDisambiguates Hennessy-Milner_logic.
- Concurrency_(computer_science) wikiPageWikiLink Hennessy-Milner_logic.
- HML wikiPageWikiLink Hennessy-Milner_logic.
- Matthew_Hennessy wikiPageWikiLink Hennessy-Milner_logic.
- Modal_logic wikiPageWikiLink Hennessy-Milner_logic.
- Multimodal_logic wikiPageWikiLink Hennessy-Milner_logic.
- Temporal_logic wikiPageWikiLink Hennessy-Milner_logic.
- Hennessy-Milner_logic primaryTopic Hennessy-Milner_logic.