{"entities":{"Q1687741":{"pageid":1698482,"ns":120,"title":"Item:Q1687741","lastrevid":71999826,"modified":"2026-04-14T01:59:33Z","type":"item","id":"Q1687741","labels":{"en":{"language":"en","value":"Proof certificates in PVS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6821856"}},"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":"Q1687741$1A838677-FF64-4560-B301-A19D3E6EB0CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b04cc2f23062df273ff55a64135111ec9609b6c","datavalue":{"value":{"text":"Proof certificates in PVS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1687741$2FEBF2D1-FDEE-466E-9F68-3ED2DC2EA106","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"786332443a27e75c27291355636a6d57fab48ff9","datavalue":{"value":"1483.68482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687741$D0DACCDF-0B8C-4144-B17E-5450CB7442F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8ac8f3bc559f9793225efaf15db825051d589bd","datavalue":{"value":"10.1007/978-3-319-66107-0_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687741$3C239A4C-89D8-4A9E-AA7C-661E9FC223DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af082694e27d923a4a44c00fdef3a3b60f4aa039","datavalue":{"value":{"entity-type":"item","numeric-id":1687740,"id":"Q1687740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687741$8C9265C3-1D10-4E0D-9937-A893C5AD06A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7600255b4ee907c1b1dfbc5f62c7b1165ab1b6d0","datavalue":{"value":{"time":"+2018-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1687741$F3485DBA-9CE8-44AE-997C-C0B9F3F9B988","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be3f665f43b7dde1a28d926d5b2b66e04b7a10f8","datavalue":{"value":"https://hal.inria.fr/hal-01673517/file/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1687741$7CB4228B-D39B-4650-8C0B-342B15FC16E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687741$65EC415B-92D2-42E8-892F-258FC42E19DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"271a2bee6f5a14ad2a147f7e5ad10b2794b972fd","datavalue":{"value":"6821856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687741$6D6B9A7C-557C-4153-9795-F3DEB7F5A13E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a9535c02a1c0253894e545c7b8e64e868f51a5","datavalue":{"value":{"entity-type":"item","numeric-id":25577,"id":"Q25577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687741$469735A4-5B93-4358-B135-6995E2C6F2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687741$9CE5EB75-4173-413A-AF04-84A11A84B3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687741$F6226391-A106-45BC-AB62-470F0C3F5491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687741$40B4C6A6-090C-4C5E-926C-5A36B94B3E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bf8fe40ec0751f683b8f31fdc6f7f38f8aa07409","datavalue":{"value":{"entity-type":"item","numeric-id":13328,"id":"Q13328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687741$474C4F6C-53DD-42F9-AE72-71D54B73BB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687741$113C6C1D-0862-4BC5-A323-65FE4541A22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b2040a476017b43b21bd352cfec0a67d631d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":18467,"id":"Q18467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687741$DB88A867-BAE4-4DB8-B40A-C55A9DEEDE0B","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":"Q1687741$D40BC6DA-878F-4C5E-BDAF-03A2AFBBD8BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3683a880d36065e7efd1b512eb75377520a7767c","datavalue":{"value":"W2745567114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687741$0DF60BC1-AB23-403F-840C-A253E8F79FA8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a602a31ec5858953936704adacfb1f5bdcaed350","datavalue":{"value":{"entity-type":"item","numeric-id":972422,"id":"Q972422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687741$6FFBCCA8-573E-4541-A6AC-A87F463F2D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c58bccac3eb8e167d77acc1c92ca853e7a5fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2655326,"id":"Q2655326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687741$29C09852-380B-4A57-ACA1-C7D9FF8B0E4C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae1b97a6f9d5931d17692b9da0d3db3bb3213cf3","datavalue":{"value":{"entity-type":"item","numeric-id":3455771,"id":"Q3455771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"345dc1b76aebc4b771d8b5407831f8b4b8d62ec4","datavalue":{"value":{"amount":"+0.7394710779190063","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1687741$BC16A3B7-EB4E-4C57-893C-AEF5261AEB58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a07872e17cbd8fb2c473beb6e6b6ada8630ba4ea","datavalue":{"value":{"entity-type":"item","numeric-id":3100201,"id":"Q3100201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b34946434bc026e232605cbe21bb5e7623ceca88","datavalue":{"value":{"amount":"+0.7303818464279175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1687741$EE951D15-4920-4E19-98EE-0AB7583C9085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0474bbb2119d7f935ca56ebb01dcab6b168475b7","datavalue":{"value":{"entity-type":"item","numeric-id":4928436,"id":"Q4928436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ce2f2411e67b5f8e2f6f94142a90d282237335e","datavalue":{"value":{"amount":"+0.7229969501495361","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1687741$4830A199-AE04-4B26-8E8C-7E4D50542824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b9b5012603b04de84a2a78209b6e96bbb70cf08","datavalue":{"value":{"entity-type":"item","numeric-id":2405254,"id":"Q2405254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cf1f9e23827dcc4cf64b28d5350ca06bc777451","datavalue":{"value":{"amount":"+0.7210714221000671","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1687741$EC30EA3B-2376-492D-A847-DA9A47D729F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41822ba37941805790e9423bf6bcd57cefef48ac","datavalue":{"value":{"entity-type":"item","numeric-id":5271422,"id":"Q5271422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b16ec9dbd6fd268143857df9da03aa8b78e07f60","datavalue":{"value":{"amount":"+0.7210366725921631","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1687741$7C231EBE-DD55-42B4-8EBC-2EB5F4DBA83E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof certificates in PVS","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_certificates_in_PVS"}}}}}