{"entities":{"Q3172934":{"pageid":3183644,"ns":120,"title":"Item:Q3172934","lastrevid":58134054,"modified":"2026-04-03T22:58:11Z","type":"item","id":"Q3172934","labels":{"en":{"language":"en","value":"Efficient loop navigation for symbolic execution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954808"}},"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":"Q3172934$78CD1EE4-4009-4EFE-BBDD-4591202C24CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c997bf9bd6fcaf0cd0ddd2a68be916a3a1c89952","datavalue":{"value":{"text":"Efficient Loop Navigation for Symbolic Execution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3172934$99F43433-86E2-461F-AA10-84F343CA8285","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf814b9c0edbbe387faf47e4d6ae9b4c4d78b045","datavalue":{"value":"1348.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172934$BA077345-CC64-4297-ACCB-2F5D60E4F677","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bccfde51d1cc93881503682df4df8cf5881f7310","datavalue":{"value":"10.1007/978-3-642-24372-1_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172934$665E5C74-5BE4-480B-A3FD-5E2B671934E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eaf352a32aa38da3c724a04881fe6df68b2c948","datavalue":{"value":{"entity-type":"item","numeric-id":281931,"id":"Q281931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172934$9233389C-60C4-42AD-87F1-E2A9A74ED7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cbcf98de1a87e297d59fd48d508a5c49d92590b","datavalue":{"value":{"entity-type":"item","numeric-id":2796067,"id":"Q2796067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172934$C1384678-F4F6-47F0-8CE5-FC38CE2CCF00","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172934$1922BC80-CA52-4135-AF2F-AF3A15D56843","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d9bd2d9b28ae12e022b2e08f4abf17c1216ac47","datavalue":{"value":{"time":"+2011-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3172934$95524A9D-C651-4189-8C75-E9D66BF451CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"16142dce1bba2bbc87c579a905d138dfeea0c68b","datavalue":{"value":"https://arxiv.org/abs/1107.1398","type":"string"},"datatype":"url"},"type":"statement","id":"Q3172934$FA037E3E-335D-43D0-AD57-CA87BCB34A49","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172934$0978E183-6F4F-4146-B6C1-4FB192202670","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ba11ff69bf09267345578b386c4d15c68a46a91","datavalue":{"value":"5954808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172934$1B3784A4-3AD2-4738-8313-9ED56C6E6A06","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5f5b1fca09e81c020a0772858aceb3a175c9768","datavalue":{"value":{"entity-type":"item","numeric-id":19312,"id":"Q19312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172934$1075F885-F53C-437A-859E-D09DAAA1347D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa4449ab7bf67e29a698d10746ae548bc1980e05","datavalue":{"value":{"entity-type":"item","numeric-id":19309,"id":"Q19309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172934$5B2CF590-159C-4E32-B238-D07C2FE1C6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"24704cf2d59453ced71ad27e7959334508d37331","datavalue":{"value":{"entity-type":"item","numeric-id":12944,"id":"Q12944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172934$BE8817E7-59D5-4194-BB2C-B06C460A5518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d5dcb486ea2ffc39531287854f4a7be9ffb011b4","datavalue":{"value":{"entity-type":"item","numeric-id":17045,"id":"Q17045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172934$64F02CBA-206E-461A-9907-89DD4BE9A304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c316a4e11e44cbd015a63ff86b861806410c456a","datavalue":{"value":{"entity-type":"item","numeric-id":25012,"id":"Q25012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172934$4675F5CE-9F3F-4CA7-8B1E-EFB6A92580AE","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":"Q3172934$96F32321-519F-429C-B0DD-B4717A045917","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b4b0e02d8fc9d70a6e2c463d7daa0b61c6d8f65b","datavalue":{"value":"W1507201375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172934$7C5AA11B-FE63-43FA-A3C4-BF93762A7053","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69b00e472533af92f23e337454fef905ef15acbd","datavalue":{"value":{"entity-type":"item","numeric-id":2891433,"id":"Q2891433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d6352bbc97e12d0098e88a4fcc03457851e8fab","datavalue":{"value":{"amount":"+0.7720774412155151","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":"Q3172934$AA4560A1-8A74-49E2-8FE0-B9D06D539BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"540a26efb19992f6a4fcb31df0336738a537fbf1","datavalue":{"value":{"entity-type":"item","numeric-id":1183549,"id":"Q1183549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce461c036b668a7a4d98628f639ca734e3cf305c","datavalue":{"value":{"amount":"+0.7357022166252136","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":"Q3172934$D46D5BE4-4CE5-4A7A-9A9F-24594F499537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"517cd3cb617920845b81b918e3240f509e716868","datavalue":{"value":{"entity-type":"item","numeric-id":5240106,"id":"Q5240106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c810f4dd28bf352deab0977538fb405a3ac400d","datavalue":{"value":{"amount":"+0.7306178212165833","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":"Q3172934$23C6DD62-4846-46B0-AF8B-D7B2C772DF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1f7fdb48c22a836be3b80fd8b38ffd9d187b626","datavalue":{"value":{"entity-type":"item","numeric-id":5308375,"id":"Q5308375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12f41f53678544823d72b86b47c25bc8cc8c8751","datavalue":{"value":{"amount":"+0.7303046584129333","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":"Q3172934$8474D25E-E9AF-4D21-8AA7-0216C39703F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53604f35c882589241166582174266bd614f74bd","datavalue":{"value":{"entity-type":"item","numeric-id":2145317,"id":"Q2145317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f6f765b13f8b4ffbdfed9b6c120c84ba977fa85","datavalue":{"value":{"amount":"+0.7216595411300659","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":"Q3172934$74B6FFF6-627D-42A0-8CCE-D6057F717952","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3172934","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3172934"}}}}}