Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q5532348> ?p ?o }
Showing triples 1 to 41 of
41
with 100 triples per page.
- Q5532348 subject Q7451460.
- Q5532348 subject Q7451685.
- Q5532348 subject Q7470268.
- Q5532348 abstract "In logic, general frames (or simply frames) are Kripke frames with an additional structure, which are used to model modal and intermediate logics. The general frame semantics combines the main virtues of Kripke semantics and algebraic semantics: it shares the transparent geometrical insight of the former, and robust completeness of the latter.".
- Q5532348 wikiPageWikiLink Q10363531.
- Q5532348 wikiPageWikiLink Q1082992.
- Q5532348 wikiPageWikiLink Q1166774.
- Q5532348 wikiPageWikiLink Q130901.
- Q5532348 wikiPageWikiLink Q130998.
- Q5532348 wikiPageWikiLink Q1571831.
- Q5532348 wikiPageWikiLink Q1617044.
- Q5532348 wikiPageWikiLink Q1656686.
- Q5532348 wikiPageWikiLink Q177646.
- Q5532348 wikiPageWikiLink Q185359.
- Q5532348 wikiPageWikiLink Q185837.
- Q5532348 wikiPageWikiLink Q205170.
- Q5532348 wikiPageWikiLink Q207534.
- Q5532348 wikiPageWikiLink Q210841.
- Q5532348 wikiPageWikiLink Q242767.
- Q5532348 wikiPageWikiLink Q2462350.
- Q5532348 wikiPageWikiLink Q2528262.
- Q5532348 wikiPageWikiLink Q2915225.
- Q5532348 wikiPageWikiLink Q320369.
- Q5532348 wikiPageWikiLink Q3492863.
- Q5532348 wikiPageWikiLink Q463307.
- Q5532348 wikiPageWikiLink Q4724013.
- Q5532348 wikiPageWikiLink Q474715.
- Q5532348 wikiPageWikiLink Q4973304.
- Q5532348 wikiPageWikiLink Q5361594.
- Q5532348 wikiPageWikiLink Q629933.
- Q5532348 wikiPageWikiLink Q6721195.
- Q5532348 wikiPageWikiLink Q6888003.
- Q5532348 wikiPageWikiLink Q719395.
- Q5532348 wikiPageWikiLink Q7451460.
- Q5532348 wikiPageWikiLink Q7451685.
- Q5532348 wikiPageWikiLink Q7470268.
- Q5532348 wikiPageWikiLink Q8078.
- Q5532348 wikiPageWikiLink Q840226.
- Q5532348 wikiPageWikiLink Q864475.
- Q5532348 comment "In logic, general frames (or simply frames) are Kripke frames with an additional structure, which are used to model modal and intermediate logics. The general frame semantics combines the main virtues of Kripke semantics and algebraic semantics: it shares the transparent geometrical insight of the former, and robust completeness of the latter.".
- Q5532348 label "General frame".