About: Journal of Automated Reasoning Goto Sponge NotDistinct Permalink
An Entity of Type : wikibase:Item,
within Data Space : wikidata.demo.openlinksw.com associated with source document(s)
journal
Faceted Search & Find service v1.16.117 as of May 05 2024
![[RDF Data]](/fct/images/sw-rdf-blue.png)
OpenLink Virtuoso version 07.20.3239 as of May 5 2024, on Linux (x86_64-centos_6-linux-gnu), Single-Server Edition (378 GB total memory, 180 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)
OpenLink Virtuoso version 07.20.3239 as of May 5 2024, on Linux (x86_64-centos_6-linux-gnu), Single-Server Edition (378 GB total memory, 180 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software