Matches in Ruben’s data for { <https://ruben.verborgh.org/publications/arndt_ruleml_2015/> ?p ?o }
Showing triples 1 to 31 of
31
with 100 triples per page.
- arndt_ruleml_2015 author me.
- arndt_ruleml_2015 publisher me.
- arndt_ruleml_2015 creator me.
- arndt_ruleml_2015 about publication.
- arndt_ruleml_2015 author me.
- arndt_ruleml_2015 publisher me.
- arndt_ruleml_2015 coparticipatesWith me.
- arndt_ruleml_2015 type Document.
- arndt_ruleml_2015 type WebPage.
- arndt_ruleml_2015 type Document.
- arndt_ruleml_2015 type Document.
- arndt_ruleml_2015 type Q386724.
- arndt_ruleml_2015 type CreativeWork.
- arndt_ruleml_2015 type Work.
- arndt_ruleml_2015 P50 me.
- arndt_ruleml_2015 maker me.
- arndt_ruleml_2015 description "Since the development of Notation3 Logic, several years have passed in which the theory has been refined and used in practice by different reasoning engines such as cwm, FuXi or EYE. Nevertheless, a clear model-theoretic definition of its semantics is still missing…".
- arndt_ruleml_2015 title "Semantics of Notation3 Logic: A solution for implicit quantification".
- arndt_ruleml_2015 type "article".
- arndt_ruleml_2015 url "https://ruben.verborgh.org/publications/arndt_ruleml_2015/".
- arndt_ruleml_2015 title "Semantics of Notation3 Logic: A solution for implicit quantification".
- arndt_ruleml_2015 inDataset dataset.
- arndt_ruleml_2015 isPartOf site.
- arndt_ruleml_2015 name "Semantics of Notation3 Logic: A solution for implicit quantification".
- arndt_ruleml_2015 label "Semantics of Notation3 Logic: A solution for implicit quantification".
- arndt_ruleml_2015 name "Semantics of Notation3 Logic: A solution for implicit quantification".
- arndt_ruleml_2015 primaryTopic publication.
- arndt_ruleml_2015 topic publication.
- arndt_ruleml_2015 twitter:card "summary".
- arndt_ruleml_2015 twitter:site "@RubenVerborgh".
- arndt_ruleml_2015 mainEntity publication.