{"entities":{"Q968353":{"pageid":970201,"ns":120,"title":"Item:Q968353","lastrevid":42793936,"modified":"2025-07-11T13:27:06Z","type":"item","id":"Q968353","labels":{"en":{"language":"en","value":"CPBPV: a constraint-programming framework for bounded program verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5703906"}},"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":"Q968353$CF89719B-22F8-4417-821F-9A60D38C856D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76300b5551d758a82ae8dd98dc63a5b6d2ed7c61","datavalue":{"value":{"text":"CPBPV: a constraint-programming framework for bounded program verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q968353$B160B7A9-781D-4DCF-86E0-25AB055A5702","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0eb4246bd0e87ee2341ccdf91bcd6f16444ec3a","datavalue":{"value":"1213.68173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968353$6DED181E-D1A5-4D06-A159-FD4E11EC10E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3528091f12caca4dbe608542c3c4b6cc064e2f4","datavalue":{"value":{"entity-type":"item","numeric-id":968352,"id":"Q968352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968353$BCEE40D0-7F80-44A8-9EAC-B116F9972206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8af2ab2bdebe5ab2dde36b2e54a7eaa3cacf58bd","datavalue":{"value":{"entity-type":"item","numeric-id":487626,"id":"Q487626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968353$4D2739E8-688D-4989-9ADA-4371B7C8B673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5071eb176464eae3490ca51468eb4e98281e6ec3","datavalue":{"value":{"entity-type":"item","numeric-id":262449,"id":"Q262449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968353$18EB2F21-C98B-462E-8DCD-6B63C19B7122","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a94d1d6f5ae333511fea1192115f95b08e9c8fb1","datavalue":{"value":{"entity-type":"item","numeric-id":202524,"id":"Q202524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968353$411A8005-D843-4940-B691-A3D6584F27E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4d513bfc5982e2fc6615028187c47bdf077f809a","datavalue":{"value":{"time":"+2010-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q968353$042AFBE0-B24E-4900-AFE4-242AFD04C4EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968353$449F89E1-047B-4E76-8230-28ACE61FDECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968353$96ADD8AC-4476-462B-802D-A508D8EBBC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968353$15A4EA16-5E1B-4516-9268-B2E318ABB6C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49e54f200600e16658e9d58491f4ee387eb8d75b","datavalue":{"value":"5703906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968353$EC083DB0-183D-460E-8E42-2D00900D32D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1e53a3e2df12237d8f78462dbba71918cc0fffa","datavalue":{"value":"bounded program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q968353$0A1913B2-283D-43D4-B125-2B2392601FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35354d4beede35a71cc0ac966d58a867ed2e644b","datavalue":{"value":"constraint-based symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q968353$376AB8E7-C153-4EE6-8988-47C543C8B1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29abd4abefe16ff2995db56da035dda5e3804f0a","datavalue":{"value":"detection of nonconformities","type":"string"},"datatype":"string"},"type":"statement","id":"Q968353$D3E909E4-2506-42E3-8AAC-E20DC04450ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9363db46a13e9883c1b0d9c6c123adf9c1ac83b","datavalue":{"value":"test cases generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q968353$54A4F9F0-2F81-43DD-93AC-D2FE8AF6A93B","rank":"normal"}],"P1463":[{"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":"Q968353$1733F78C-3FF9-4210-B6DF-EE1541A1EECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fe5077d712c4f7a91829b6a22ef0e0039cd600ea","datavalue":{"value":{"entity-type":"item","numeric-id":15691,"id":"Q15691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968353$48DDAE45-43F9-43DB-9ECC-0882731C7855","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":"Q968353$354BE1BB-D7A8-4919-BCC0-7B874FD96D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d560ad72fd288969b6a46f8ac77d54f6d297bf97","datavalue":{"value":{"entity-type":"item","numeric-id":16796,"id":"Q16796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968353$E03C9EA5-1411-473E-94AC-C9C817200EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fdab07d39556d0075d882dcfd5a58c05fcf1a7e9","datavalue":{"value":{"entity-type":"item","numeric-id":21698,"id":"Q21698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968353$783CD51E-9813-4DEC-B7F0-0FA37DAFFEE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7107a3607349765606fad319a8423745e29c6d1","datavalue":{"value":{"entity-type":"item","numeric-id":24728,"id":"Q24728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968353$59669517-D9DB-4653-A9C1-F07675BE5EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f517e0e5f13d797e13659d8d87eea1857939736","datavalue":{"value":{"entity-type":"item","numeric-id":33038,"id":"Q33038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968353$0E429C26-EE24-4417-AF3D-1E246A7B10BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968353$49626835-BC8E-439F-B087-EEEF91F480F9","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":"Q968353$2AD133DB-B1F0-4189-9A31-69721AC63644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4f55591526bfa06dbd19dfd10ca3b2c9d44db2a","datavalue":{"value":{"entity-type":"item","numeric-id":20924,"id":"Q20924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968353$5B0EA3A2-1892-4E5B-9ED1-947196B914B8","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":"Q968353$E81ACF16-BCA4-4EA0-B2A0-66F7F1D0A072","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c023e092299ab9821413e00ecad131788e220a6e","datavalue":{"value":"https://doi.org/10.1007/s10601-009-9089-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q968353$B8B42A63-60A1-42EF-B90E-6B4A0B9BA8DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"276460a4b20a7351df08d26c47e7f70b1b794b94","datavalue":{"value":"W2604202109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968353$1FD1000B-E4B1-4718-AD51-D3F361FC4725","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"085a9120b01cec862d8cbc67a172506023148b0d","datavalue":{"value":{"entity-type":"item","numeric-id":3617426,"id":"Q3617426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968353$09A426DF-A6B2-48AC-8AF8-5771FB383CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54dda4e31d4e9d9288d331d945277ff37a12757f","datavalue":{"value":{"entity-type":"item","numeric-id":5758120,"id":"Q5758120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968353$83051D10-7BC2-4B7F-9350-A698C0F6CDA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d6521b2af4cfbacb55e12311cb9a04d48ea2141","datavalue":{"value":{"entity-type":"item","numeric-id":5899041,"id":"Q5899041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968353$A8B11894-49CD-4091-A4C2-C758AFED2247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd5e9b7224b44a5be727c6870f16a737b8c3625","datavalue":{"value":{"entity-type":"item","numeric-id":2769592,"id":"Q2769592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968353$C8EA7FD7-76A1-4E68-AE12-B28C8CAE6104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ee36fea820e4ec41c645157a399b976a6698393","datavalue":{"value":{"entity-type":"item","numeric-id":2753756,"id":"Q2753756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968353$305B9175-9989-4AFE-863D-D77BF25BE973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cdaa2ec8eceac1d3a0c164dd76be4ed6c68bc4d","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968353$C703249B-2E45-45A2-A44E-27A8CBC9CBA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60159374e2e3f1fa60e69dc94c949ae9174a77c0","datavalue":{"value":{"entity-type":"item","numeric-id":5308405,"id":"Q5308405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968353$9A808738-52C8-4B4F-80ED-A2FC0102C41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"161c39c62daa5665a57aa85651fc82decea6c02c","datavalue":{"value":{"entity-type":"item","numeric-id":1888196,"id":"Q1888196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968353$89733035-BC47-4529-9134-F71C4F83EF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a768592a36a0799f3311c6c16dd9cd5a4a03baf","datavalue":{"value":{"entity-type":"item","numeric-id":5703792,"id":"Q5703792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968353$EA13EADA-5730-432B-AE1C-BD243CDD10F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819609826d11947a373c8eac5ccd90d2a03aa3b7","datavalue":{"value":{"entity-type":"item","numeric-id":5899058,"id":"Q5899058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968353$B0DBD42F-C9F1-44EE-B38C-28288ADEDE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf545db46f900832fc291058f7ed287fb62caed","datavalue":{"value":{"entity-type":"item","numeric-id":968353,"id":"Q968353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968353$5DCBF271-8F18-4405-9CD7-B1CE182D80DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18e6fef404ee2aeb12ed5f5ba6c950f99a0c8d8","datavalue":{"value":{"entity-type":"item","numeric-id":4939270,"id":"Q4939270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968353$D192BAF9-79A6-441D-9E48-6F6AC09C2653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"051d3775ce9bc5a1379316cb72e81d2ef1416551","datavalue":{"value":{"entity-type":"item","numeric-id":1887740,"id":"Q1887740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968353$5988B9ED-1298-4312-8ABC-B750A5A4E8FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da96dfa99f70c6b2b69c48b417a516b8fa851830","datavalue":{"value":{"entity-type":"item","numeric-id":5312898,"id":"Q5312898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968353$A26EB273-1201-42B5-9DE7-224324FCE51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e776f7e9d18209402bda0edf2047c2143eae014","datavalue":{"value":{"entity-type":"item","numeric-id":947794,"id":"Q947794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968353$DA722605-28B9-4B2B-A245-B91D21308639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f11d087fb352d8b17c817d210efa2f25331977","datavalue":{"value":{"entity-type":"item","numeric-id":4417955,"id":"Q4417955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968353$BAE4609E-9533-44BA-966D-01578CD2ECD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db1eb2c7fe3771565da9701c0fc3df1bd444668f","datavalue":{"value":{"entity-type":"item","numeric-id":5432330,"id":"Q5432330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968353$6347BB63-697B-4724-82E7-6DD745074020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fcf2296969dd5e01651c8f2a620352248abf9ef","datavalue":{"value":{"entity-type":"item","numeric-id":5308375,"id":"Q5308375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968353$27F97957-7BA7-4FCE-BE7D-7D26DBC28D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22e6d7a516d7a73ea57e2ef3f89f6deb8c2f41aa","datavalue":{"value":{"entity-type":"item","numeric-id":3489527,"id":"Q3489527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968353$4D4F8E0E-BFC3-472C-B761-D740E8BD4E49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b9178e7445a7ea9278db180bc3c3ae82a5a54fa","datavalue":{"value":"10.1007/S10601-009-9089-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968353$D6332122-D6B9-4443-A97F-C14C13AD9796","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"054082cfb3f85b413ebe279f44bf106298177731","datavalue":{"value":{"entity-type":"item","numeric-id":5899058,"id":"Q5899058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83bf17e9f55a21650ade19528629098a71e56bc7","datavalue":{"value":{"amount":"+0.88933265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q968353$5D84D714-E455-4BBD-AE85-6EE484AD96AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd2774a3ca196ccddeb23f5a1832890dd92b4783","datavalue":{"value":{"entity-type":"item","numeric-id":4424850,"id":"Q4424850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64c88a3ebb17cf0ba2ccfae02ce3d244afe05b0b","datavalue":{"value":{"amount":"+0.881295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q968353$DF0719F8-6C30-4421-A45F-BA3FA6B9E2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"076bfd599f38c7137555601dae82393bd0261d7c","datavalue":{"value":{"entity-type":"item","numeric-id":4589602,"id":"Q4589602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d233304cfccaf95ad985e2c20e60248384d5f18","datavalue":{"value":{"amount":"+0.8791975","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q968353$3D34FDC1-0594-4CB7-B05D-2CA08338923D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:968353","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:968353"}}}}}