About: wd:statement/Q1131652-16c6cf4a-0a03-42db-a0d8-ea95345ab1e1

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: wd:statement/Q1131652-16c6cf4a-0a03-42db-a0d8-ea95345ab1e1 Goto Sponge NotDistinct Permalink

An Entity of Type : http://wikiba.se/ontology#Statement, within Data Space : wasabi.inria.fr associated with source document(s)

Attributes	Values
type	Statement
described by	proxy:entity/http/www.wikidata.org/entity/Q1131652 https://covidontheweb.inria.fr:4443/about/id/entity/http/www.wikidata.org/entity/Q1131652
wasDerivedFrom	http://www.wikidata.org/reference/0867296a9a7ca24cea2cbb18beb439a0482c5038
http://www.wikidat...op/qualifier/P577	2020-07-27 00:00:00Z(xsd:dateTime)
http://www.wikidat...lifier/value/P577	http://www.wikidata.org/value/370168073e729ba2b2b7f5cf1291e6c6
rank	NormalRank
http://www.wikidat...op/statement/P348	8.12.0
is topic of	Coq
is http://www.wikidata.org/prop/P348 of	Coq

Faceted Search & Find service v1.13.91 as of Mar 24 2020

Alternative Linked Data Documents: Sponger | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software