{"entities":{"Q2963876":{"pageid":2974601,"ns":120,"title":"Item:Q2963876","lastrevid":52749032,"modified":"2026-01-23T10:23:29Z","type":"item","id":"Q2963876","labels":{"en":{"language":"en","value":"The problems of C program verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6687730"}},"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":"Q2963876$B3CAED3E-564F-43CF-BE32-88A1CBC73387","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a3c1fc72c0f5f079cc3020eeedfacd70c7c39d0","datavalue":{"value":"1374.68297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963876$7D7F50DA-3D4E-4FE3-A909-4CDCD6A6E56C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2fd8f9c1001071b6cee894af884cbd2ca840dd53","datavalue":{"value":{"time":"+2017-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2963876$0C18566D-A5E2-4EF7-B250-0D5582795354","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc926545120e294009624230a4fe8eeef9913641","datavalue":{"value":"http://bulletin.iis.nsk.su/files/article/promsky_1.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2963876$CBF4E6B0-1428-414F-ABFC-5A73D4893646","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963876$E0564455-D5A1-49CD-8B1F-58FA38721614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963876$D181C083-3BE1-4D04-AE65-1DC55D9A4CF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39f19a2dd408d97f49f5152a51ffa6b3f5b565eb","datavalue":{"value":"6687730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963876$0096607D-AA06-464C-BF8A-5AA1CA297A2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c20b4fa4782bc26ad106d3b73d2e44447725459e","datavalue":{"value":"automatic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963876$73EB0C70-BFB7-4F9D-8321-BF2702A1661C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2852d8061e7a648ea54795d4e06cc36087ae640a","datavalue":{"value":"C-kernel language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963876$88779829-2480-4578-A7EB-180AD779E43D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4cfb9559d36f3d7fb1e128be718597dc6ee90be","datavalue":{"value":"translation rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963876$2F3C12F5-ED74-4CD2-8C26-71267499F5BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c28c3110903eae6a23631aa23fc93dc8c530c8a","datavalue":{"value":"verification condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963876$BFEC64B2-B938-45C7-809F-61500BCC1CD4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963876$004D273C-047A-4957-A3D0-BF0305AF8E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963876$9F299CCE-E307-4990-A856-1F09D31089F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"61fee4f246196e90c9e2391d7ba59bbc03793c2b","datavalue":{"value":{"entity-type":"item","numeric-id":32786,"id":"Q32786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963876$5833BE5F-5339-4E62-BB6C-0DB32EB536BB","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":"Q2963876$0A3E19AD-0DDA-4BCF-894E-ED54CED1B71A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5f137d33a39be095779e070617b697215026d17","datavalue":{"value":{"entity-type":"item","numeric-id":2880622,"id":"Q2880622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ede4f3dd9a53777decca2691b4c744848dba9f2","datavalue":{"value":{"amount":"+0.7915530800819397","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":"Q2963876$4E996936-BA15-4D4D-B515-898FBE798B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b553c37ced3bf1bc6f4e83b3bc5244ee0a2938e8","datavalue":{"value":{"entity-type":"item","numeric-id":2882991,"id":"Q2882991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4dbf83ddc78911646c131c01e4fa4f1cd08c226","datavalue":{"value":{"amount":"+0.7871381044387817","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":"Q2963876$7923F7F1-98FA-49E7-BF3F-1304A3752553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"796d9d1f6f94831578c765050e799ca397a5cd3a","datavalue":{"value":{"entity-type":"item","numeric-id":1403260,"id":"Q1403260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb6e93372d1303942f509ce59ce9b9b77c591a3a","datavalue":{"value":{"amount":"+0.7858208417892456","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":"Q2963876$4D31E0AA-85A9-4B80-ABAB-E87B77463002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"433f7e9f80df96888e16c2b0957392737382a7a0","datavalue":{"value":{"entity-type":"item","numeric-id":2979840,"id":"Q2979840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4631b65c401c6feb9dccbc46ddcbdd8ffa7d1944","datavalue":{"value":{"amount":"+0.7821680903434753","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":"Q2963876$205DF103-2BB4-4A87-A9E3-4311AC2142A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94d8ce29aee821524a1fa8f99eee50ef61f0a57e","datavalue":{"value":{"entity-type":"item","numeric-id":4702940,"id":"Q4702940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"883b940e389f5f1fce59fd098dac499b33357af5","datavalue":{"value":{"amount":"+0.7816540002822876","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":"Q2963876$70EAC75C-D9BF-48DC-99F5-F777805EA1D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2963876","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2963876"}}}}}