{"entities":{"Q3132070":{"pageid":3142786,"ns":120,"title":"Item:Q3132070","lastrevid":53004956,"modified":"2026-01-24T00:33:39Z","type":"item","id":"Q3132070","labels":{"en":{"language":"en","value":"Verification of concrete programs with respect to abstract programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6831516"}},"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":"Q3132070$1565DB0F-6806-4051-872D-4A0E7E8481E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e30f8e2a1b1babf9059084e51c7cb1010fa7ab1c","datavalue":{"value":"1389.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3132070$17BD9B1B-A39A-47DF-A621-05C281B35070","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"543146582677ce89141a9c4bac6cb5a7fc44223c","datavalue":{"value":{"entity-type":"item","numeric-id":218083,"id":"Q218083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3132070$E2CC7C25-6CAD-4409-ADBD-C8680053E93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fce39dbdc56c33734bfdc1e21cca817757163c5","datavalue":{"value":{"entity-type":"item","numeric-id":1721217,"id":"Q1721217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3132070$F9A01222-B51A-47E7-9BAD-0E85E11D5E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"799334d8b80d909e323442886f71dd78b7453f85","datavalue":{"value":{"entity-type":"item","numeric-id":3132069,"id":"Q3132069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3132070$31B03589-2F9F-40B8-AEFF-2F216658265C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3852316af958c20178ec1a1e2d66e86501196c69","datavalue":{"value":{"entity-type":"item","numeric-id":280413,"id":"Q280413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3132070$EC81992B-B65F-49E5-88B0-AAFE1A8E52F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc1fdde4a6b7c393bd7e7511d176d020130b90b6","datavalue":{"value":{"time":"+2018-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3132070$CE425EF7-1434-4BDA-ACCA-938E56C59EF7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3132070$A281DA1D-D7E3-4221-AD80-CC9558623A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3132070$39467517-433E-414A-8245-BA6759EEDE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3132070$7AB0A3BA-C001-442F-A160-96C6C8A782E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5498794f1ef8bea5d3b2cc422aff8d7e33296ecc","datavalue":{"value":"6831516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3132070$88F543F7-31E8-482C-B2F9-41E3AC74960C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3132070$F4AB0805-F335-428B-9C79-3FF5314E7C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3132070$D68C6101-395D-4A88-9C4B-5DA5A224FF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5d3aa6930e176b6ba33644aa04e71c91f68936d","datavalue":{"value":"abstract program","type":"string"},"datatype":"string"},"type":"statement","id":"Q3132070$082621A4-D7AE-4C86-AA27-2FC1B6066E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q3132070$23E0E973-41C4-4ACB-B715-11923A37698F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"615f2a3773e3a9a3bad386a540fbc6c58cfa22ee","datavalue":{"value":"decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3132070$04C04DA7-4452-4EC5-9F47-674E14BB6EC6","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":"Q3132070$A6798FAB-38B6-4EBB-8FB1-8F3DDD97A523","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18487a0056c85567c74227993b69d622e2d4c49d","datavalue":{"value":"10.13328/J.CNKI.JOS.005195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3132070$62B4BEA5-C598-4B17-AEA3-98169C41AD7F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a76b3577a7618bb02f9806580f51d2b7da93b94","datavalue":{"value":{"entity-type":"item","numeric-id":5900551,"id":"Q5900551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d8a91debc10c3ae90ca38560f4dd229428a4de3","datavalue":{"value":{"amount":"+0.7516074180603027","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":"Q3132070$4BB14BFE-BBBE-4D7E-95FE-B84B7A7A0C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b407e11fb90ddddd2e762b4f17d94b8119585b5","datavalue":{"value":{"entity-type":"item","numeric-id":3709866,"id":"Q3709866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5395bd2742280c954a7af2e10cc77cce1431ee00","datavalue":{"value":{"amount":"+0.7507923245429993","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":"Q3132070$14CBA8E1-D58B-4A34-9EDC-E1404F5768AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed03ff244bd448296e984cc4bf4f360cb72a649","datavalue":{"value":{"entity-type":"item","numeric-id":4414376,"id":"Q4414376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dde887fafaeeed05e91d19e8613e3dd426a54d0","datavalue":{"value":{"amount":"+0.7496845722198486","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":"Q3132070$91522F44-2369-4FCA-85C4-108AEED4491B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50f6264312a1027b1b5e1080ad2d88147897e010","datavalue":{"value":{"entity-type":"item","numeric-id":4499243,"id":"Q4499243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f9cd726998a46ce264d68e7e4d0f10a1ec2bde0","datavalue":{"value":{"amount":"+0.7482297420501709","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":"Q3132070$34435204-00E8-441E-8399-A40193652241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75e0beb13f2a57e18bd945bb12f766a141166fef","datavalue":{"value":{"entity-type":"item","numeric-id":1887175,"id":"Q1887175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aa3d0e7b67314a01306081286e32e5293e08434","datavalue":{"value":{"amount":"+0.7367099523544312","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":"Q3132070$EE1B25AB-9CFE-462D-8462-6FC5CEB8960D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3132070","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3132070"}}}}}