{"entities":{"Q466416":{"pageid":468183,"ns":120,"title":"Item:Q466416","lastrevid":62070621,"modified":"2026-04-11T03:34:28Z","type":"item","id":"Q466416","labels":{"en":{"language":"en","value":"Program verification: state of the art, problems, and results. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6361678"}},"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":"Q466416$62FED427-E83B-410A-A0EA-2240EEEE8242","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63622c822a7ae529f3cc85d1e6db57545def9f95","datavalue":{"value":{"text":"Program verification: state of the art, problems, and results. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q466416$70D51783-9A29-46D0-AF60-7ABE72FED7FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd73e83c219494e0e4a3a846c194deed258e7e2c","datavalue":{"value":"1371.68179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466416$DCA808DC-8289-4D61-8F4F-9F23ACC3E71F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"120e3e50e701634c5f67d1b809f1b56410aed24e","datavalue":{"value":{"entity-type":"item","numeric-id":269157,"id":"Q269157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466416$D1F1F3B2-71C5-4E29-959A-DA832B67BC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8a70a45fd75dda796cedd40b23c9a8f6714e4e4","datavalue":{"value":{"entity-type":"item","numeric-id":466001,"id":"Q466001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466416$CE9EFBAB-8BCA-4F8B-8784-48C4157EEF21","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466416$8CEDA42B-3C46-4BA0-84B6-C5FB24768A2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6f6f7900ba8ceb723d72b93c818553c4373cdeea","datavalue":{"value":{"time":"+2014-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q466416$5C4F966F-F86A-4095-A59F-2577F1D04A08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466416$BC0DD2FD-80EA-46FA-B399-E06FC5592E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466416$C8947CB6-E1BF-4098-A169-E73E093DDD93","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95a63bb33bccb10edefdcad3d669746dbf170df3","datavalue":{"value":"6361678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466416$3669F545-6DF5-4FA9-A746-E92DC3627267","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q466416$B879CAAB-2532-4EA9-BE88-A66788D9EA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q466416$50A7A62B-91DE-4F6A-846D-4CFD09144F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q466416$31405A5D-F2EC-4AD3-BE70-1A02322E7E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q466416$055F6EFF-5512-49CE-93EF-653638E3254D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q466416$4AB8FB8B-47EF-4A3A-A042-47D970274F69","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":"Q466416$DF1AB0DC-7618-45B2-9D16-2B61C6236422","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"092bd318aa9bf8959f7a86590e454bab1e3b6848","datavalue":{"value":"https://doi.org/10.1007/s10559-013-9569-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q466416$7B721494-7C91-427E-A775-74C7BA22BBF8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d6f2e2aa62d087312603f4ee8393987e48296657","datavalue":{"value":"W4253676934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466416$4B59A3BD-C98F-4D98-87B4-C91B5514E384","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"92ba133398d1685205b2a837729386499f233196","datavalue":{"value":{"entity-type":"item","numeric-id":5395800,"id":"Q5395800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466416$03618E0F-6BCE-4AF8-B0DF-B36B96CF83D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8de18ffd82065b68fa5d3ab5df0a7c59caa587a8","datavalue":{"value":{"entity-type":"item","numeric-id":5305644,"id":"Q5305644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466416$5A8564BF-AB92-4C10-875A-D187A6D614C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b92fd2e1ef6327ac929e8d74f7e6384b5f32cf","datavalue":{"value":{"entity-type":"item","numeric-id":1162139,"id":"Q1162139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466416$BC4B9867-0551-474C-8CB8-6B2C9CF36B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aec7fdfbcba4c1d3ff3294dc1f0210ffedda842","datavalue":{"value":{"entity-type":"item","numeric-id":911319,"id":"Q911319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466416$8D9C7BC4-A605-4D62-A56D-A29B4DF9FC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab124a7373ba82029ffdcc597bda7b4f27aee620","datavalue":{"value":{"entity-type":"item","numeric-id":5287559,"id":"Q5287559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466416$C54346AC-BB9A-49C4-AF75-9D7CE8EA692A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3109868eabc348164df54dfbc4d510999bf50764","datavalue":{"value":{"entity-type":"item","numeric-id":5285987,"id":"Q5285987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466416$3EEE152A-1378-4399-9DF8-54F4042C1EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf5bdcaa540bff7c2bb2bc19021ce1f0a31f5b57","datavalue":{"value":{"entity-type":"item","numeric-id":4738384,"id":"Q4738384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466416$E55F6F02-58A2-4DFE-827C-99B52FFE380B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5945679cbf6467987da345739dc625d3e00df54","datavalue":{"value":{"entity-type":"item","numeric-id":5466567,"id":"Q5466567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466416$5D4AC48F-4A41-4375-8E8B-0F5F0D02B86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bb1ede2a0902ae4c2f2d7ff8d00dd9bb8b9732c","datavalue":{"value":{"entity-type":"item","numeric-id":3698287,"id":"Q3698287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466416$813441C6-36C1-41B7-9D75-7D8C53361AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10063b5dbad52c5711056f34b6b7933a20cff4eb","datavalue":{"value":{"entity-type":"item","numeric-id":3942372,"id":"Q3942372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466416$B4878D45-C36F-4F99-BB1E-BA976BF6310B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0d2467b4a9d6f1a751719be51b388706886712a","datavalue":{"value":{"entity-type":"item","numeric-id":5305639,"id":"Q5305639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466416$71F33A8C-0FA3-4B5B-946B-C04DBF90D880","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f4a40c8fe97f6f1c47e16d16b9651abb8f348c4","datavalue":{"value":"10.1007/S10559-013-9569-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466416$3E597536-BD62-4401-BBE5-71F1F6CD71B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a34ba54a75409a2902c04421224b5f6bd7ce386c","datavalue":{"value":{"entity-type":"item","numeric-id":466002,"id":"Q466002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f11a3dcfa553eac351c784976cdd0e87f56872ec","datavalue":{"value":{"amount":"+0.9872511029243468","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":"Q466416$A2D1EBE1-8010-4CF5-ACCD-0E655D15F3CB","rank":"normal"},{"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":"9b31407527e68bda7835bb2dae1812aae2d6aa62","datavalue":{"value":{"amount":"+0.8159371614456177","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":"Q466416$EC00219D-DD6A-4525-A46D-20311B869D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3579b92783ac4c94b33f26f3d5ad05becdee062","datavalue":{"value":{"entity-type":"item","numeric-id":3999717,"id":"Q3999717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88104a8661f4e0866aea4299b2351ec0692e236c","datavalue":{"value":{"amount":"+0.7981997728347778","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":"Q466416$3E33370E-8AE1-4A93-A50A-83D2D68C48AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d3ba2e6e5e1361ace684e95aec0deebe8844a28","datavalue":{"value":{"entity-type":"item","numeric-id":1059388,"id":"Q1059388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5edb80683ea570e360ac1a47155517ac69d396b7","datavalue":{"value":{"amount":"+0.7951952815055847","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":"Q466416$BBDA4A31-BD5A-4010-8CF1-498267F625C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"024cbed37b7fde1e1dac412cf215393e649fe204","datavalue":{"value":{"entity-type":"item","numeric-id":1407321,"id":"Q1407321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19152dbfbd52fe40a8315f919fc2a19d18ed664b","datavalue":{"value":{"amount":"+0.7934263348579407","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":"Q466416$D8F0B153-0E27-45C3-A24F-A2668F41CE26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Program verification: state of the art, problems, and results. I","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Program_verification:_state_of_the_art,_problems,_and_results._I"}}}}}