Matches in Wikidata for { <http://www.wikidata.org/entity/statement/Q1131652-8daeea1a-4550-8407-f6eb-23080e100e4f> ?p ?o ?g. }
Showing items 1 to 7 of
7
with 100 items per page.
- Q1131652-8daeea1a-4550-8407-f6eb-23080e100e4f rank NormalRank @default.
- Q1131652-8daeea1a-4550-8407-f6eb-23080e100e4f type Statement @default.
- Q1131652-8daeea1a-4550-8407-f6eb-23080e100e4f wasDerivedFrom c464cf9ba13542828e160133c9e7b6f0a523ee38 @default.
- Q1131652-8daeea1a-4550-8407-f6eb-23080e100e4f P577 "2016-07-11T00:00:00Z" @default.
- Q1131652-8daeea1a-4550-8407-f6eb-23080e100e4f P963 coq-8.5pl2.tar.gz @default.
- Q1131652-8daeea1a-4550-8407-f6eb-23080e100e4f P577 710d2aa95e907f035a26a28f5ff02483 @default.
- Q1131652-8daeea1a-4550-8407-f6eb-23080e100e4f P348 "8.5pl2" @default.