{"entities":{"Q2281622":{"pageid":2292365,"ns":120,"title":"Item:Q2281622","lastrevid":53626058,"modified":"2026-01-25T11:12:21Z","type":"item","id":"Q2281622","labels":{"en":{"language":"en","value":"Counter-example guided program verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7147550"}},"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":"Q2281622$3CEDC171-4CDC-4200-B8F0-1B5630D950A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae760f9fda324bc0d097f02de838cb5cf9e9a264","datavalue":{"value":{"text":"Counter-example guided program verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2281622$D13D9630-F8D6-4ABF-A175-CA15B1FE96A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1b5daaf3267f03c00a80b8b0d327d89b9f31324","datavalue":{"value":"1427.68157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281622$DF5B091B-E544-4A0B-A3A2-D1CC88529A77","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a21e30012452a934ff04ab57c571d6363fafac43","datavalue":{"value":"10.1007/978-3-319-48989-6_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281622$EA212EAE-7E2F-4B7E-A92F-7106597DEA1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2281622$9DF98131-DE12-487E-89F1-84B7FB3472B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de80e021db34435e21a6613c8105f91a5d942b85","datavalue":{"value":{"entity-type":"item","numeric-id":479840,"id":"Q479840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2281622$81ABD6D1-3E43-4875-8CA7-6B2AA8685FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da5b3858ee4ce0d677b090d18ec2090b3038558a","datavalue":{"value":{"entity-type":"item","numeric-id":2281621,"id":"Q2281621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2281622$7D87EF9F-CA12-4D24-90F9-EF7E66B9CAB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f19ec05f4cc07189117a4725b428f63f5643b194","datavalue":{"value":{"time":"+2020-01-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2281622$710E62CF-06F6-46F0-8ADE-191D949C8CA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281622$A6C920A3-811A-4D4F-816E-BF3B230ED94C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6c93470be3d4f94e9a4c2a318914796660eed5d","datavalue":{"value":"7147550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281622$F0D77677-71AF-4A13-A862-8DAAA7C6BA79","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":"Q2281622$47E7D362-FE40-4614-B191-A6BE2C28718B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"73554af2be133bc16e96f99ef840a8a9087af212","datavalue":{"value":"https://doi.org/10.1007/978-3-319-48989-6_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2281622$DF0A51CB-844E-4EE0-94DC-EFA454B2F7C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5a2e66916982611c1fe00c47feb299e8a786c93","datavalue":{"value":"W2550627963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281622$2A4424E1-0706-41C9-BB30-71DCC28FB5F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65fd47484c6b00d882d3302f057fc283b851b47a","datavalue":{"value":{"entity-type":"item","numeric-id":4930739,"id":"Q4930739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0487e8640a0a2fc1ed79a8ebab64aedf42a9b778","datavalue":{"value":{"amount":"+0.8070765733718872","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":"Q2281622$4B982D93-B212-4A74-84CE-9C1F2374BB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"356609ae3d55d23c02586fd1f83879a316c099d0","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d542697854b35dc3a18844919d9211011c63d747","datavalue":{"value":{"amount":"+0.7827884554862976","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":"Q2281622$958058E3-DB73-4AA2-94CB-2209B9E91E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8bc67b583574f4d04ded58ffc9f2ecb59a911fc","datavalue":{"value":{"entity-type":"item","numeric-id":2441711,"id":"Q2441711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d75a1528f08a8f06c3e603eee81887d74917fb32","datavalue":{"value":{"amount":"+0.7706303596496582","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":"Q2281622$0B373143-D61A-4824-84A9-E7197CADEDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8e7b8d33e7ec5767ce8ecc4f52ba21e81256ab9","datavalue":{"value":{"entity-type":"item","numeric-id":5424313,"id":"Q5424313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19bf0fbe9c94d9ec6101a25087b5750116517dae","datavalue":{"value":{"amount":"+0.7678794860839844","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":"Q2281622$339E5897-88C6-43C8-88A8-62D9D1948BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bac9d4d28f254e49858c9874367df8c34d82c78","datavalue":{"value":{"entity-type":"item","numeric-id":3176373,"id":"Q3176373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be19b400b0609f0c6ed61ee56003a18c3bf84981","datavalue":{"value":{"amount":"+0.7671653032302856","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":"Q2281622$8604DE6F-82EB-4679-97E3-EB075B366AF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2281622","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2281622"}}}}}