{"entities":{"Q7285343":{"pageid":31125808,"ns":120,"title":"Item:Q7285343","lastrevid":105033205,"modified":"2026-09-15T22:23:55Z","type":"item","id":"Q7285343","labels":{"en":{"language":"en","value":"PVS as a proof obligation generator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8213380"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7285343$256F84DB-F82D-4A1F-BA2C-4AF227694AE0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d76bd4970f4ca9299b3d854c4ecc04d5a0e9b54","datavalue":{"value":{"text":"PVS as a proof obligation generator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7285343$9EB2AFF2-458F-46A8-AD7B-C0A73B1AE7D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59f43a36aafb33974a0d19b0e27e499041331e00","datavalue":{"value":"10.1007/978-3-032-13711-1_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7285343$11A2A5EC-A804-499D-A700-4F22B65B2DB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f977cc4afe30a7452131df7ff084411daffbbaa","datavalue":{"value":{"entity-type":"item","numeric-id":532428,"id":"Q532428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7285343$93C0978A-EF6F-4067-93F9-206CDD0B74C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7b8f4f6f52489f3060107e23793e8aaf707f9e8","datavalue":{"value":{"time":"+2026-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7285343$FC676CC6-2E37-4555-8BE3-EE4C1217737A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7285343$ED861499-D9AB-4335-80B4-55EDE6ED1958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7285343$F733546F-AF2A-4D97-BC8D-97DB792F57A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64fc9cefa700226cf47bf3d2d7c387fda2f46815","datavalue":{"value":"8213380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7285343$912AC92E-22F9-4457-A456-9B112BA405B2","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7285343$9B21AD69-2221-4F55-8607-0355166E5C57","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c67cd75bbcb0b3b2b9e84d046773b6a4efa599ea","datavalue":{"value":{"entity-type":"item","numeric-id":2370666,"id":"Q2370666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7285343$0B6F21B4-32D5-465B-9A0E-EE75E71F68A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7285343$AD6D127B-5D7B-418A-853A-BC85B3350023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7285343$F621C347-8363-42DB-9EB3-E8A4C2044158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7285343$C010FE45-9097-448C-A8E3-60F8C4E3D319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7285343$8B7EECCC-62D1-4FAC-9B3B-D258809FAC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"848c4b4894544d896651e1f2e5e3700e86330410","datavalue":{"value":{"entity-type":"item","numeric-id":4790666,"id":"Q4790666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7285343$6E8BDB7D-C435-4220-831E-A196D410D4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7285343$AD600E6E-6B20-4982-BBA9-E49DA2AA16D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7285343$62EF2200-EFFA-4C82-A750-83BFC7F0CDA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8faee3f009434f2f03cf699cd1d3db5a94bbcb7f","datavalue":{"value":{"entity-type":"item","numeric-id":1339986,"id":"Q1339986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7285343$C1CA352E-80C8-487D-B430-372265A3E036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0f439282849e7f480a95d39490726a8b0a4f18a","datavalue":{"value":{"entity-type":"item","numeric-id":6934135,"id":"Q6934135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7285343$688DBB9F-3726-40A7-88DD-996CA33C5527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cdd5c1baffd52562a65fe696dce1be9ae1e4d30","datavalue":{"value":{"entity-type":"item","numeric-id":2769594,"id":"Q2769594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7285343$AF179E72-A06C-4590-85CF-36795615BB78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"PVS as a proof obligation generator","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/PVS_as_a_proof_obligation_generator"}}}}}