Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Gabbay's_separation_theorem> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- Gabbay's_separation_theorem abstract "In mathematical logic and computer science, Gabbay's separation theorem, named after Dov Gabbay, states that any arbitrary temporal logic formula can be rewritten in a logically equivalent "past → future" form. I.e. the future becomes what must be satisfied. This form can be used as execution rules; a MetateM program is a set of such rules.".
- Gabbay's_separation_theorem wikiPageID "19835615".
- Gabbay's_separation_theorem wikiPageRevisionID "510861934".
- Gabbay's_separation_theorem hasPhotoCollection Gabbay's_separation_theorem.
- Gabbay's_separation_theorem subject Category:Artificial_intelligence.
- Gabbay's_separation_theorem subject Category:Modal_logic.
- Gabbay's_separation_theorem subject Category:Theorems.
- Gabbay's_separation_theorem type Abstraction100002137.
- Gabbay's_separation_theorem type Communication100033020.
- Gabbay's_separation_theorem type Message106598915.
- Gabbay's_separation_theorem type Proposition106750804.
- Gabbay's_separation_theorem type Statement106722453.
- Gabbay's_separation_theorem type Theorem106752293.
- Gabbay's_separation_theorem type Theorems.
- Gabbay's_separation_theorem comment "In mathematical logic and computer science, Gabbay's separation theorem, named after Dov Gabbay, states that any arbitrary temporal logic formula can be rewritten in a logically equivalent "past → future" form. I.e. the future becomes what must be satisfied. This form can be used as execution rules; a MetateM program is a set of such rules.".
- Gabbay's_separation_theorem label "Gabbay's separation theorem".
- Gabbay's_separation_theorem sameAs m.04q0qvh.
- Gabbay's_separation_theorem sameAs Q5515291.
- Gabbay's_separation_theorem sameAs Q5515291.
- Gabbay's_separation_theorem sameAs Gabbay's_separation_theorem.
- Gabbay's_separation_theorem wasDerivedFrom Gabbay's_separation_theorem?oldid=510861934.
- Gabbay's_separation_theorem isPrimaryTopicOf Gabbay's_separation_theorem.