{"entities":{"Q6536170":{"pageid":14147313,"ns":120,"title":"Item:Q6536170","lastrevid":55623373,"modified":"2026-02-17T19:54:52Z","type":"item","id":"Q6536170","labels":{"en":{"language":"en","value":"Constraints in dynamic symbolic execution: bitvectors or integers?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7828019"}},"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":"Q6536170$3DE5EC59-CC94-4B9F-B8A2-45A87C573CC3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dfe42bccfcac8286f0543a23a21dfb8c9484ddb1","datavalue":{"value":{"text":"Constraints in dynamic symbolic execution: bitvectors or integers?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536170$BD2CD70C-57CC-4FCA-A352-16EB4BD49FAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6405122cc5990a571a321a1a490e64fab689f2ef","datavalue":{"value":"1539.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536170$A491F98D-0635-4DF5-9E91-BE81E2D7D424","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aebee7095380ba2fa295e50df9d5a89624a3b95e","datavalue":{"value":"10.1007/978-3-030-31157-5_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536170$973FA516-26ED-4ABD-A258-B44BF68F58BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60b37c35cfc93c7701c8f0b9f742a34f4645ee80","datavalue":{"value":{"entity-type":"item","numeric-id":6536167,"id":"Q6536167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536170$1F9D0911-6FD9-4AAD-AA61-897DE67AA6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a7c5e130b22c3d3dc9aecdef73fd3efbadfec60","datavalue":{"value":{"entity-type":"item","numeric-id":6536168,"id":"Q6536168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536170$99653072-E763-456A-A5AF-6C8E21452641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92b92edf876f679bfa9cc75c111cb08851373b9d","datavalue":{"value":{"entity-type":"item","numeric-id":6536169,"id":"Q6536169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536170$C3E023A0-A020-4712-AD45-5C94B763E490","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e8e2138029d873c628e2ef2b4ef309f65fdca9c","datavalue":{"value":{"time":"+2024-04-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":"Q6536170$48D8C367-F9BE-4766-86A0-7018A9FA5F95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536170$29B36EE5-5750-4E38-9E08-8D0D2281B65C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad712dab938383c775e7e4dc38978b532e7d4c96","datavalue":{"value":"7828019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536170$2482E230-024C-43C8-BF22-33EA14DF0D98","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":"Q6536170$DD40A16E-0834-420F-AA8B-F203C2B79508","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c54b18532bc39304bf483c29ec6b767c6f97859e","datavalue":{"value":{"entity-type":"item","numeric-id":2842645,"id":"Q2842645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6d1928a435d052e9e8080c011d422b749023a79","datavalue":{"value":{"amount":"+0.6844935417175293","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":"Q6536170$C0847E66-8CFB-4DCC-92CA-40F53FDF8EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adca8d5c1f807640db2015b3edca49db685bc789","datavalue":{"value":{"entity-type":"item","numeric-id":5743599,"id":"Q5743599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8d27c51cdd7dfcc82f2fe4fc868c8710e3b8313","datavalue":{"value":{"amount":"+0.6840639710426331","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":"Q6536170$FBDCAE03-D321-4C4E-B394-1974A6367CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfc99a6635d47b9a25891091b96979b9701574b0","datavalue":{"value":{"entity-type":"item","numeric-id":812056,"id":"Q812056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70d6f6c3ce83b6cbd6a1fa797c7e40b72426105d","datavalue":{"value":{"amount":"+0.6813582181930542","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":"Q6536170$C7DEA4B9-D516-4B2E-970F-0AFFE7FA541D","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":"457a8767e8282cda2109d3f30bcbc8fd11ecf6f9","datavalue":{"value":{"amount":"+0.679989218711853","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":"Q6536170$C52C99A7-0DD2-4B16-821F-4F78679340D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7ea57f7e0127e687d9a7284a93f39aa9309b85e","datavalue":{"value":{"entity-type":"item","numeric-id":3172934,"id":"Q3172934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a2cb519cf1c1656b404fd154e8200588211a788","datavalue":{"value":{"amount":"+0.6704726815223694","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":"Q6536170$A44C8A12-50F9-43EF-B633-FBA78D68D634","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6536170","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6536170"}}}}}