{"entities":{"Q2963953":{"pageid":2974678,"ns":120,"title":"Item:Q2963953","lastrevid":52749524,"modified":"2026-01-23T10:24:21Z","type":"item","id":"Q2963953","labels":{"en":{"language":"en","value":"A vindication of program verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6687886"}},"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":"Q2963953$E5A2B664-223C-4F1E-9168-FDD949ACF3E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9b2e0d63bdafacff3cf1eb80bec621e95858036","datavalue":{"value":{"text":"A Vindication of Program Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2963953$1A6E81D8-A156-460E-82F9-C576F0F73217","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7907824562bb0b0bdf4b9ee636fa00113284829","datavalue":{"value":"1359.68186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963953$E1663418-E8EE-49C6-8FEE-BD1FC93B4355","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7f2193e56fc36c8c7d88b3d0b1959d00d1f5992","datavalue":{"value":"10.1080/01445340.2015.1065461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963953$168B2A1E-D0D3-4D3D-B7D0-5E7408DFF5FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9acd197f7b5145a851369f32023e32e684dcab2c","datavalue":{"value":{"entity-type":"item","numeric-id":514555,"id":"Q514555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963953$BB714DBD-BF2E-4CEF-8BB9-C51B4F44C96B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"17af3acb8fbbf15cacab125c0d45264f400b5a22","datavalue":{"value":{"entity-type":"item","numeric-id":2757958,"id":"Q2757958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963953$A8A52F06-D676-4EC3-9CF9-7D8D965C7D12","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ccf44329f0b8ca1e42fd376b5ef1ba5e3da06d7","datavalue":{"value":{"time":"+2017-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2963953$4DCF6EAC-8903-41E3-8A40-0DE14F57CA3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963953$0DB84CC6-D545-45A4-8434-59FD0DEC2801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d43a72a96c3e2899dba5bbed021743c1db5b0cd","datavalue":{"value":"03A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963953$5ADF0C12-F5E9-476B-A353-002EF8327F6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4502cdaf2c0c018ed9acb4c525adaf528d2c320","datavalue":{"value":"6687886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963953$12C07502-0F9E-4126-9E20-97164319AF49","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":"Q2963953$82120286-C22E-4E19-A0A1-52578DEFFFA0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5a8dc6850e4e7862c004b37cfbcf0dfb8194b05","datavalue":{"value":"https://doi.org/10.1080/01445340.2015.1065461","type":"string"},"datatype":"url"},"type":"statement","id":"Q2963953$37130125-99F3-41A5-8D86-675DD70361A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e7b19cc18ba72e49fc22ee79da016a0848304bf","datavalue":{"value":"W2227693444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963953$AB57AF66-CD6A-4186-8C9F-B92FDC2892C6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"eecc00a68c4c80d992c477ce7ee70a893ecf81f1","datavalue":{"value":"Q58355728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963953$ABD17F32-C34A-4BBD-AAAE-5F884FEC541A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"144058622c8121663bf91b2727dfb8c7ad985c22","datavalue":{"value":{"entity-type":"item","numeric-id":1960262,"id":"Q1960262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963953$BC3AC822-F086-43FB-9C03-563F4B64E169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe781cbfbb55b49b3c2632bfaaaf93a35a4ce4e","datavalue":{"value":{"entity-type":"item","numeric-id":3643359,"id":"Q3643359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963953$C04A2EDB-1310-4100-81EC-559A4AAFF2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b33e9f3dd85912a2336afa198c94ac3421bfbb","datavalue":{"value":{"entity-type":"item","numeric-id":1293029,"id":"Q1293029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963953$A9CD40AB-924F-4A57-AE72-A893873243D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22df2c0a9da41467dd8e40df1e4a939b7164cc85","datavalue":{"value":{"entity-type":"item","numeric-id":1565537,"id":"Q1565537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963953$C96C8B3A-E131-474B-9225-10C84DDA3AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29814f46a951d520e6564eb1a9c06825ffd020ae","datavalue":{"value":{"entity-type":"item","numeric-id":1839846,"id":"Q1839846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963953$5B36E4A2-2FBA-4726-9A52-45AA231C00A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963953$DF597B30-7FB5-4C15-A079-529FFC691F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1461786fd9147b7231c61e645f0ab20a3eaa42","datavalue":{"value":{"entity-type":"item","numeric-id":1040002,"id":"Q1040002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963953$C842C29B-DA2C-4E7B-90D6-DF1373F16B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef94a493246a13386705d35c0b8ff7d49fc6d37d","datavalue":{"value":{"entity-type":"item","numeric-id":5764179,"id":"Q5764179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963953$2FF11A4C-B1A9-419B-A5DE-300D7B8C64FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1613a6ff5ac7b010de5ba58e55ebd9cdec3d5273","datavalue":{"value":{"entity-type":"item","numeric-id":5765445,"id":"Q5765445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963953$7967FFF2-B7F2-479F-AEB3-1CF4327AFC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ccef5b39d74cf63313d6be3bde41216d6e9b88a","datavalue":{"value":{"entity-type":"item","numeric-id":4907913,"id":"Q4907913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963953$D2635A72-3DED-4485-B110-673EA3E00092","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"286621dceae39ed4c4865eaae2eefab2f27b11b1","datavalue":{"value":{"entity-type":"item","numeric-id":1316958,"id":"Q1316958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"222a176e0abff0ec30739145203bca7f606d1391","datavalue":{"value":{"amount":"+0.7665402889251709","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":"Q2963953$DD35E6FE-EE00-4ADB-BA33-D2D6806B9F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49b98ae5b90138066d60d4f09aceea7fae0605e7","datavalue":{"value":{"entity-type":"item","numeric-id":1082069,"id":"Q1082069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"222a176e0abff0ec30739145203bca7f606d1391","datavalue":{"value":{"amount":"+0.7665402889251709","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":"Q2963953$A3C3DA70-B86A-4E48-9F52-E3A060669A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0d69e05c69312d3e07c1ba1409717c12d9dc1ab","datavalue":{"value":{"entity-type":"item","numeric-id":3568323,"id":"Q3568323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f90222dfdb4fa9a174434fa7e424356bbd4cfe81","datavalue":{"value":{"amount":"+0.7423920035362244","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":"Q2963953$56E331C1-D007-4420-8C0F-0D0D4E59B495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"360f7b522d5135b29134dc788cfadb8077b7c695","datavalue":{"value":{"entity-type":"item","numeric-id":3643359,"id":"Q3643359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01654039368ea1892e6332a9711684f2f4b09b44","datavalue":{"value":{"amount":"+0.7372564077377319","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":"Q2963953$D7742993-CFA5-4E1B-9A46-606C86ADF1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17682c45ad22062752de03fc036fabf4b8dda8a8","datavalue":{"value":{"entity-type":"item","numeric-id":4692775,"id":"Q4692775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b5d101324331b5ab3ce6966af7c3bf6ed70caa4","datavalue":{"value":{"amount":"+0.733047604560852","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":"Q2963953$F1395E2D-2742-4966-AEE6-E13392EDE123","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2963953","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2963953"}}}}}