Matches in Ruben’s data for { <https://ruben.verborgh.org/publications/arndt_jws_2019/> ?p ?o }
Showing triples 1 to 31 of
31
with 100 triples per page.
- arndt_jws_2019 author me.
- arndt_jws_2019 publisher me.
- arndt_jws_2019 creator me.
- arndt_jws_2019 about j.websem.2019.04.001.
- arndt_jws_2019 author me.
- arndt_jws_2019 publisher me.
- arndt_jws_2019 coparticipatesWith me.
- arndt_jws_2019 type Document.
- arndt_jws_2019 type WebPage.
- arndt_jws_2019 type Document.
- arndt_jws_2019 type Document.
- arndt_jws_2019 type Q386724.
- arndt_jws_2019 type CreativeWork.
- arndt_jws_2019 type Work.
- arndt_jws_2019 P50 me.
- arndt_jws_2019 maker me.
- arndt_jws_2019 description "Since the invention of Notation3 Logic, several years have passed in which the theory has been refined and applied in different reasoning engines like cwm, EYE, and FuXi. But despite these developments, a clear formal definition of Notation3’s semantics is still missing…".
- arndt_jws_2019 title "Implicit quantification made explicit: How to interpret blank nodes and universal variables in Notation3 Logic".
- arndt_jws_2019 type "article".
- arndt_jws_2019 url "https://ruben.verborgh.org/publications/arndt_jws_2019/".
- arndt_jws_2019 title "Implicit quantification made explicit: How to interpret blank nodes and universal variables in Notation3 Logic".
- arndt_jws_2019 inDataset dataset.
- arndt_jws_2019 isPartOf site.
- arndt_jws_2019 name "Implicit quantification made explicit: How to interpret blank nodes and universal variables in Notation3 Logic".
- arndt_jws_2019 label "Implicit quantification made explicit: How to interpret blank nodes and universal variables in Notation3 Logic".
- arndt_jws_2019 name "Implicit quantification made explicit: How to interpret blank nodes and universal variables in Notation3 Logic".
- arndt_jws_2019 primaryTopic j.websem.2019.04.001.
- arndt_jws_2019 topic j.websem.2019.04.001.
- arndt_jws_2019 twitter:card "summary".
- arndt_jws_2019 twitter:site "@RubenVerborgh".
- arndt_jws_2019 mainEntity j.websem.2019.04.001.