About: Theorem proving software systems Goto Sponge NotDistinct Permalink
An Entity of Type : skos:Concept,
within Data Space : el.dbpedia.org associated with source document(s)
| Attributes | Values |
|---|---|
| rdf:type | |
| rdfs:label |
|
| skos:broader | |
| skos:prefLabel |
|
| prov:wasDerivedFrom | |
| Wikipage page ID |
|
| Wikipage revision ID |
|
| is Subject of |
|
| is skos:broader of | |
| is Link from a Wikipage to another Wikipage of |
Faceted Search & Find service v1.17_git151 as of Feb 20 2025
![[RDF Data]](/fct/images/sw-rdf-blue.png)
OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (71 GB total memory, 1011 MB 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.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (71 GB total memory, 1011 MB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software