{"entities":{"Q1776586":{"pageid":1787328,"ns":120,"title":"Item:Q1776586","lastrevid":72932991,"modified":"2026-04-14T08:51:09Z","type":"item","id":"Q1776586","labels":{"en":{"language":"en","value":"Generating error traces from verification-condition counterexamples"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2167617"}},"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":"Q1776586$07EA9FC2-1E83-4BC9-96DB-D4F3B755CD64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5311fc892700620059b0d343c57f2444c42fd0d7","datavalue":{"value":{"text":"Generating error traces from verification-condition counterexamples","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1776586$F8456F57-70A0-4F37-8AD7-C7EC44D9AE84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd475978a2d14d6321f0cd44988f9a90db9269da","datavalue":{"value":"1075.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776586$E2867D68-9084-4FAD-A398-3545A5AD688F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4e0c2c58ff8fd4ec1edd435e868f3bbbace9fa5","datavalue":{"value":{"entity-type":"item","numeric-id":633284,"id":"Q633284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776586$49C0FD68-41C8-4ECD-B094-BA1FC1555270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c19976f280af2a9432c2c51239959366e237e59c","datavalue":{"value":{"entity-type":"item","numeric-id":598817,"id":"Q598817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776586$6DBA1547-37D3-4083-A5F3-D4188089E981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c1081360ab26afc25516434bb090f38d713a81f","datavalue":{"value":{"entity-type":"item","numeric-id":703851,"id":"Q703851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776586$2973C746-D4BA-4AAF-A93B-97E98DAD4C2D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776586$A7D7750C-8F1B-4831-87E3-E1465F78BB03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"816fb6440c9cbb78f47d27fe48607ca1e7ad5f08","datavalue":{"value":{"time":"+2005-05-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1776586$F2BFC53F-497A-4758-A4CB-6D193E88C6B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776586$B48849F9-E8E7-493D-8B3E-ABCC68744CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776586$52C0FB02-E8F5-4ED2-9179-2AB9982B22E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f14c532b11972bc1514932b0bb84318c5c3a63ed","datavalue":{"value":"2167617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776586$39532518-6B5E-4F6D-8FC4-DDBB0733B9CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0edbc127e35ed2975a14fab9f93de6198c9376c1","datavalue":{"value":"errors in computer programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1776586$2FA53AB9-32B6-4745-BFEC-A991E6E677D8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776586$8A3F48A7-A8F7-4D31-9CAB-5F53CA1A4438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776586$807DC411-C3BA-4532-9221-436F61E2E0D3","rank":"normal"},{"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":"Q1776586$0BAD4F3D-041E-4A78-8FF0-8110F5FEA092","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":"Q1776586$08C10F52-EC5C-4A1A-B5FF-371FE62CF465","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5baf410341612388596fd808ab207790871df4b","datavalue":{"value":"https://doi.org/10.1016/j.scico.2004.05.016","type":"string"},"datatype":"url"},"type":"statement","id":"Q1776586$615B7036-3B81-4BE8-A2CB-1FD95135A835","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fdacdd0b3e91380c2b75cbba58a25e294a3b1ac9","datavalue":{"value":"W1989547358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776586$551DD796-B346-44CF-B30C-8CFF4FB9A132","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a73a8699d680c0c5edaadeb9eec2046a0d1779ad","datavalue":{"value":"Q124816668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776586$94BF652C-5476-4D19-A464-9C8F9EA07261","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f807650982749d356d68cde09e61953027ca4606","datavalue":{"value":"10.1016/J.SCICO.2004.05.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776586$2C16671D-EEA9-44BE-97EB-454FBE576A0D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a12c7adaf34652db4f7d23b6461680351d338055","datavalue":{"value":{"entity-type":"item","numeric-id":5711507,"id":"Q5711507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0efc0ed94624d7557c5b37813505780f41a762b","datavalue":{"value":{"amount":"+0.716935932636261","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":"Q1776586$359ED5D4-91BB-469D-8E4D-0B7476ADEE04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f71e44ef692842c61a1e6cf06780decd7cc57840","datavalue":{"value":{"entity-type":"item","numeric-id":2979813,"id":"Q2979813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9125628f3c5c05e68fa6b0a4e3fc7fa88d7641e7","datavalue":{"value":{"amount":"+0.7167461514472961","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":"Q1776586$9277309B-51C6-436B-BD68-2CB13F368B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbd80d3fbcead96ed3cc321dd3e15b6400e8676c","datavalue":{"value":{"entity-type":"item","numeric-id":4647843,"id":"Q4647843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b9c62918cce16f92c10fe1ee5f730ce58777319","datavalue":{"value":{"amount":"+0.7118486166000366","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":"Q1776586$B80942B0-A0A3-4DEC-9882-BE4D86D6846F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cbe632a0b297f0680635d38f64812e52ca73f4a","datavalue":{"value":{"entity-type":"item","numeric-id":3392921,"id":"Q3392921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f17ab81735f8a08ab6e3df7c518f548b7c8b574b","datavalue":{"value":{"amount":"+0.7022086381912231","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":"Q1776586$0168FB7C-FDEB-42B1-B9EC-C359E9BF184B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ebf98219f76c6359292e60f8dd5b99172750b6","datavalue":{"value":{"entity-type":"item","numeric-id":5308392,"id":"Q5308392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c70a3093edf0c5b573aca4ae4d206f0610024441","datavalue":{"value":{"amount":"+0.7014319896697998","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":"Q1776586$58E2C223-F47C-453F-AC30-0CD08814BFED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generating error traces from verification-condition counterexamples","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generating_error_traces_from_verification-condition_counterexamples"}}}}}