{"entities":{"Q2829242":{"pageid":2839980,"ns":120,"title":"Item:Q2829242","lastrevid":52660046,"modified":"2026-01-23T05:17:10Z","type":"item","id":"Q2829242","labels":{"en":{"language":"en","value":"Infeasible paths elimination by symbolic execution techniques. Proof of correctness and preservation of paths"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6644735"}},"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":"Q2829242$BC39F827-4BE4-438B-96DC-6C5B6C864A86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"409b2337f3f96b81fa61a4ce0c02a84f2b572b64","datavalue":{"value":{"text":"Infeasible Paths Elimination by Symbolic Execution Techniques","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2829242$35F7D47A-8A68-4215-9AE1-DCB3A9A678F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07f129491cfd066c81fecf56e5c10a3e6220529d","datavalue":{"value":"1478.68140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829242$24F3941A-4E79-46DE-9473-A92328DC0F40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54a3ba4b770ea58cbe518bd9f6759ec2f5bc1c53","datavalue":{"value":"10.1007/978-3-319-43144-4_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829242$CD6EFD66-F61A-4FDE-81B0-01C4150073E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddbe9817f55511152bf98eab2b4297e02bd2d4d7","datavalue":{"value":{"entity-type":"item","numeric-id":2829241,"id":"Q2829241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829242$B9111D95-6ED8-464E-B0CD-9615C2E93A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"146eb1788651f7f0d4ff4ad8c56bfcb6f4d249e6","datavalue":{"value":{"entity-type":"item","numeric-id":1075777,"id":"Q1075777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829242$2CFB14FC-E841-47FA-ABF9-3B1071177175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21d75dcb945540c248584601b42ebed5a2d66b5a","datavalue":{"value":{"entity-type":"item","numeric-id":470024,"id":"Q470024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829242$A59D030F-5F7C-489A-9CE7-CA4BE732D4E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829242$2D23D5D0-47AA-48A5-B002-0F2FA8DED8B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3adf6ceedb6d880e3aaf819e51e828456bb3558d","datavalue":{"value":{"time":"+2016-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":"Q2829242$2903C90F-5166-4BF7-84ED-8D5550663059","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829242$F7AC3D67-E073-46A3-9CCE-3B6AAE626095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829242$32797747-2C06-467E-AE2A-F54217F0EDF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829242$0A16511E-0009-499D-9525-836FC2452951","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55e56dfea928289cc90ecb07b810de23e85eb048","datavalue":{"value":"6644735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829242$6A88D56B-5507-4593-9A5F-AB63DE519258","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8134dc24793182babc57dfa63c4ff33ced18697","datavalue":{"value":"TRACER","type":"string"},"datatype":"string"},"type":"statement","id":"Q2829242$DD1942C1-12B5-44B9-93A6-494D2E52F866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae8794be5634259987f7e3035390d183ba5b4edb","datavalue":{"value":"CEGAR","type":"string"},"datatype":"string"},"type":"statement","id":"Q2829242$155DC1C3-49F1-48FE-8529-D4D40F11EE05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2829242$62677D33-BF9A-4431-AD53-2CA679435BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda06ec565abed14f40c581947860446510ea892","datavalue":{"value":"feasible paths","type":"string"},"datatype":"string"},"type":"statement","id":"Q2829242$554653C2-277C-4F71-9522-80165BA2D359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cd4317fa7725122c1f5f8fcd6fd9414f6b35476","datavalue":{"value":"control-flow graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2829242$A72BFF06-1B83-48A2-91D9-FD0A70AECBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e18200ee6b0b3649be51331390917d6447bf73ac","datavalue":{"value":"graph transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2829242$5DFF366F-6479-48EB-A2D0-5A2BF5EC0ECF","rank":"normal"}],"P1463":[{"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":"Q2829242$5C16AE72-2A5E-4204-9A13-7A98A6D7B815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39c857dda35afa3ebe7c04ae581b03c50f811f26","datavalue":{"value":{"entity-type":"item","numeric-id":16776,"id":"Q16776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829242$6A83269D-1861-4BEC-A8A5-17D60EB36C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9ef6b52613e0d0ceb1e645440c84c3cd13bf2efd","datavalue":{"value":{"entity-type":"item","numeric-id":21466,"id":"Q21466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829242$A2DAD798-9E43-476E-A9D3-6D75E30E79EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2ad21f150c621099eebc7c2e673cd9cf43b81a4e","datavalue":{"value":{"entity-type":"item","numeric-id":24376,"id":"Q24376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829242$5D173FF8-B0FA-4E82-B11D-ED1DF64ACD9B","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":"Q2829242$063FC7D1-9311-4829-8F21-C83E91E17CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87cca02f8a00784fd1e7b5b6c01b040b2f0e2ae5","datavalue":{"value":{"entity-type":"item","numeric-id":40295,"id":"Q40295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829242$64A109ED-901C-46C5-BCC9-938358D36C3D","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":"Q2829242$25570B4F-9664-4BFA-A706-6655FB281782","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c23601c1201aa9ee44705a5a93047bcdc113791","datavalue":{"value":"https://doi.org/10.1007/978-3-319-43144-4_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2829242$AA94DA83-7507-4E45-8076-8E88A8935467","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6a9ddd09fb2363567a1baf9fb6c509a6a3031311","datavalue":{"value":"W2494909361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829242$51BEAB1F-8CAA-4616-B168-2D1DF0B14FB0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4738798d9702e646d9743f53f948745583da971","datavalue":{"value":{"entity-type":"item","numeric-id":2352487,"id":"Q2352487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829242$F70F523F-E308-4B1C-87FD-EFDF3846D63D","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":"Q2829242$5822895E-EB6A-43FD-B90B-2C56FF60934C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff19301cef3199bbb3301c86eaca8dbdf8ec1bb8","datavalue":{"value":{"entity-type":"item","numeric-id":5716571,"id":"Q5716571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829242$CE58C6E4-5EFF-4D84-BBB1-CDEFB373EE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07c323c97d41a53aeafeef5d9e1e29a416191dad","datavalue":{"value":{"entity-type":"item","numeric-id":2903126,"id":"Q2903126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829242$07DAFFC8-0873-48A3-A7CA-0C426E3F8A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d9d5673d377c95422809e446c2052b58cca8ec","datavalue":{"value":{"entity-type":"item","numeric-id":5756749,"id":"Q5756749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829242$477F7E44-422F-408A-8829-4448B978B4CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829242$D4A9C641-1781-42E5-AFA2-D475D6B73242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"517fc8b23acecbf986165d1288d8b39f955c2983","datavalue":{"value":{"entity-type":"item","numeric-id":2018659,"id":"Q2018659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829242$2124137B-0258-4225-8B0F-EE322D50C414","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb8dd5000d58f6028bd64c16a6387725ac06a8d4","datavalue":{"value":{"entity-type":"item","numeric-id":2903126,"id":"Q2903126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8ab088fad0fb8db8bfd112ad090dbb0793d80d6","datavalue":{"value":{"amount":"+0.871411144733429","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":"Q2829242$F1AE1AA9-2F1E-4CCC-9537-956BD67DFC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"247cb8a6990a2242ef1a2522ddb119e587c248b7","datavalue":{"value":{"entity-type":"item","numeric-id":4426387,"id":"Q4426387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cecea5ddd67f84ba2cee4b3da13e2f7842da61f2","datavalue":{"value":{"amount":"+0.7198306322097778","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":"Q2829242$8FAB75B1-18BB-479C-87A1-5709D981BECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f4407264dcf973a7a6165955b28c3e3cb06763b","datavalue":{"value":{"entity-type":"item","numeric-id":3176383,"id":"Q3176383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cecea5ddd67f84ba2cee4b3da13e2f7842da61f2","datavalue":{"value":{"amount":"+0.7198306322097778","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":"Q2829242$42594A50-EC32-4D72-B02E-3D7F5AFC0E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66f94f667f06fe07b1d11319249f399c654cd26f","datavalue":{"value":{"entity-type":"item","numeric-id":3605478,"id":"Q3605478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dcd5a6df13d52b429b02af33c3d918979e86868","datavalue":{"value":{"amount":"+0.7124387621879578","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":"Q2829242$090ABFAB-F392-4AB9-9F4C-465B3BF7594D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06f3820bc0abb3f731e491e70e1f9e8ddd4e7283","datavalue":{"value":{"entity-type":"item","numeric-id":5166689,"id":"Q5166689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d9a19091863820807029deedf3ff61b24fd2e18","datavalue":{"value":{"amount":"+0.7013921737670898","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":"Q2829242$301F3A0A-32B5-4CA3-A7FD-7BE5301AED4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2829242","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2829242"}}}}}