{"entities":{"Q2979818":{"pageid":2990543,"ns":120,"title":"Item:Q2979818","lastrevid":52791893,"modified":"2026-01-23T12:39:14Z","type":"item","id":"Q2979818","labels":{"en":{"language":"en","value":"Integrated approach to analysis and verification of imperative programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6708302"}},"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":"Q2979818$9692227C-4FF3-4495-8CC8-F803AC65EA8E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a40a528305b2f49c56ddb0371e69f1c69ae96326","datavalue":{"value":"1374.68268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2979818$F56A0E0D-7355-40A0-8A97-0D275D86770F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"290d425e3723e34b361a9f06680e3fcfb8ef0e3a","datavalue":{"value":{"entity-type":"item","numeric-id":174075,"id":"Q174075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2979818$FE59D1C3-5DB9-4EE3-882A-8554BA7E4762","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5136aa5d1d5384ee622607c2cb579d682b7a682f","datavalue":{"value":{"time":"+2017-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2979818$607FEE86-4D4E-4938-9ACD-52B6D61359DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7247dbb919919b635744f15b90054fc582cf172","datavalue":{"value":"http://bulletin.iis.nsk.su/files/article/anureev_0.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2979818$5F47B32C-2EDE-4DAF-AD75-FC58BF973104","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2979818$D83A0BD0-DAAA-4225-A4F8-D0887F84833A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2979818$62CDF88A-F6B7-4C99-A6A2-F315A8D5147E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eccfde8db9cb941ad28938126fa64b3f8684c381","datavalue":{"value":"6708302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2979818$D2E82845-51FB-43F4-AD33-86551E8CA07A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2979818$B7BD060A-4C6C-462D-87FA-EAEB241DED2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2979818$A021D282-ACAC-46D5-BB1E-E417ABB9668C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc3fe252509258c727cb1314731a5cb0415f0e1","datavalue":{"value":"program model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2979818$DA12ACE1-2FAF-45C6-A5C3-D1CE8F4B5B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37a9162ab85e0915b9e54a6f19fae18e611f8502","datavalue":{"value":"domain-specific language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2979818$6CF43D02-4395-47E0-B770-296001A9F865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb237a09b46e833dd2d743fa4519378a856a533f","datavalue":{"value":"verification system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2979818$3BB74B3C-D87D-461F-85D9-E1B44A18BE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"675b9d7cfe0adb23d9bb412c1f6a6dbd5c9e735f","datavalue":{"value":"C-light","type":"string"},"datatype":"string"},"type":"statement","id":"Q2979818$9C6C76FE-74EC-40D9-A3B6-CD144B8EE5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d87b4965c6fedb850bb668dd88cba0261bd4d38a","datavalue":{"value":"C-kernel","type":"string"},"datatype":"string"},"type":"statement","id":"Q2979818$A08CEAB1-78C1-4B53-9679-D396288E3E75","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2979818$164D6FA6-6975-47B3-986D-81553C47805B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dee6d695234cdfbc4a272f03f51845f9fcd03368","datavalue":{"value":{"entity-type":"item","numeric-id":16399,"id":"Q16399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2979818$1AE34822-8DB1-48F3-9D6B-3A29834F7D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2979818$9411145E-E8DE-43EF-A933-A7686DE792E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2979818$8E2C1441-A9E6-416F-BA8B-51D5CB468633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15df3347da4f77fd05a06551feb8504f4b1bfb98","datavalue":{"value":{"entity-type":"item","numeric-id":31665,"id":"Q31665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2979818$0996C891-8032-47CE-BF5B-C15B6BD58395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c05748d4b2d80bef45588a391d41448906f65ac","datavalue":{"value":{"entity-type":"item","numeric-id":30888,"id":"Q30888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2979818$FC9E9D24-21E3-40E0-86B0-DA770F0E6B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2979818$C3D4779D-4D29-4939-AD24-8A8464F82CAF","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":"Q2979818$7EEED835-461F-4769-815F-213CCC240C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2979818$3EEE07C8-9B1C-447A-8DB8-BFCC59CD852F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"174f08d95eb791d469e1c45d7c14093069896ee1","datavalue":{"value":{"entity-type":"item","numeric-id":16797,"id":"Q16797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2979818$565FE79E-9B0C-4D6E-A81B-6E394BD476CE","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":"Q2979818$91F2E3F7-FDC9-4BAE-90EE-7FD738E06976","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":"Q2979818$56FCFC66-CA9D-4C37-B1B0-E7C978901A37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6b9c0ca5efc9d004125eaff4435cc444832d206","datavalue":{"value":{"entity-type":"item","numeric-id":5312985,"id":"Q5312985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa806badc935588c6bc31c14da1cf9438f1e52e1","datavalue":{"value":{"amount":"+0.7621585726737976","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":"Q2979818$FE87979A-12DA-491D-BABB-42977892E6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d8c61b3e3d676b7301e320a29fc80f0c5345d54","datavalue":{"value":{"entity-type":"item","numeric-id":2936790,"id":"Q2936790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9052f03c10bbeb7fec6ff03958119ea7f720e4ad","datavalue":{"value":{"amount":"+0.7326347231864929","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":"Q2979818$3905207A-0BBD-4D54-9C19-B0DEF8CD995F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"075a66c739a652c02941396b90f65f06b793f2ff","datavalue":{"value":{"entity-type":"item","numeric-id":3055745,"id":"Q3055745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ceab5b55caa7d23d3c7b9f1446c5b4a854c642c","datavalue":{"value":{"amount":"+0.7281503677368164","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":"Q2979818$5CADC5B8-2A9E-4512-AAEB-D05994287AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2be84f5a2faf3479cab40e3431707a916686d883","datavalue":{"value":{"entity-type":"item","numeric-id":5466564,"id":"Q5466564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3128bfe43de3715b742ac21ffd14feb7228311f","datavalue":{"value":{"amount":"+0.7237606048583984","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":"Q2979818$73912E55-6AE5-4A1E-B4F5-3604DCD8F286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfd98f2abb2e6d695d1a88d96506627a8bad2bbf","datavalue":{"value":{"entity-type":"item","numeric-id":3575262,"id":"Q3575262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97bc7649169421acad95ffd821c14b6505dd1b13","datavalue":{"value":{"amount":"+0.7229644060134888","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":"Q2979818$13CF4EB7-A7CD-47FB-AC4B-1E2419BEF16A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2979818","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2979818"}}}}}