{"entities":{"Q5166689":{"pageid":7196261,"ns":120,"title":"Item:Q5166689","lastrevid":100672058,"modified":"2026-06-05T22:44:34Z","type":"item","id":"Q5166689","labels":{"en":{"language":"en","value":"Compact symbolic execution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6314155"}},"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":"Q5166689$85A2063F-3C36-4EAD-98E5-B38F18C34479","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"843af91e85046bd51757326e5e1a096841f1d2c5","datavalue":{"value":{"text":"Compact Symbolic Execution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5166689$66134A29-6211-44D2-A8FF-695DADE5B611","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52dc71e87245bf88131621b5b104c4b33587cc01","datavalue":{"value":"1410.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166689$9130EF8E-9CBD-48F5-BAA1-F28059B1F6C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83ec3897cd2a3b692c8565213edd1dba6a750527","datavalue":{"value":"10.1007/978-3-319-02444-8_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166689$DAC4D94A-F6BE-4199-9AC4-5E5F571924BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e07b39707d20572a1a1e5e4c5ac79b7d95b8e97c","datavalue":{"value":{"entity-type":"item","numeric-id":5166688,"id":"Q5166688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166689$5C1E7056-A4B7-4720-9F3B-F56EB5D60650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"952e13cf13a37e2b25a37008848ccc82d63b7b29","datavalue":{"value":{"entity-type":"item","numeric-id":832316,"id":"Q832316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166689$25FEE9A6-1115-45AE-AC64-4CE64404B6DD","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":"Q5166689$8C5B0A57-1C95-43BE-9B9F-40D9BBC6E970","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":"Q5166689$1D9A580B-C52C-4587-868E-B3C54C01143C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1748075602cc84150ddd9b65a546744ead622c47","datavalue":{"value":{"time":"+2014-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5166689$0C66C210-CC9D-4C80-9DC7-CB13CDDF1B6A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01d6c239971cf52980356aab9ca59ac137879cfe","datavalue":{"value":"https://arxiv.org/abs/1201.4715","type":"string"},"datatype":"url"},"type":"statement","id":"Q5166689$F33B1993-130C-46C6-996C-CA022B948F31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166689$63E02F53-EDC1-4C7D-8181-A3736E3C987C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"418b12ab287156d0837600d9c82484c07e7a40e6","datavalue":{"value":"6314155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166689$2070ACDA-BD46-4E5D-8B3E-3EC6A526780E","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":"Q5166689$6D36AC98-4273-4334-9553-071EF7CA47D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49c8ae4a4c79bd5fdcaa2b50a7c32a8ad4d11529","datavalue":{"value":"W7061239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166689$2F570128-F080-4C29-89E0-8E7DC37249B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c27bfaef38781bf2c88ab53bc692313f09f307d","datavalue":{"value":{"entity-type":"item","numeric-id":5458338,"id":"Q5458338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6318a1b864ddb43c8bef3f6cfc21bafa75f59ce2","datavalue":{"value":{"amount":"+0.7349944114685059","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":"Q5166689$CA16EAB6-0FA4-406C-B00A-2AC13468CCA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76297c238e13c840da22a0b9181a5c12e41d2c5c","datavalue":{"value":{"entity-type":"item","numeric-id":1982639,"id":"Q1982639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adf5759af7b5d30e7ca028f2bae4b290868c525a","datavalue":{"value":{"amount":"+0.7317854166030884","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":"Q5166689$3616C08F-91EA-4855-8951-D84A96E4259E","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":"f9e52d6e907f80c6000334ec20826fef606eff37","datavalue":{"value":{"amount":"+0.7209413051605225","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":"Q5166689$55D87DA4-C21F-4E3A-A658-36BA030E3054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1895483cbbb5bcd7a601d9ac89be5c2fdc0f8563","datavalue":{"value":{"entity-type":"item","numeric-id":1749128,"id":"Q1749128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaac578f9133a15e9e882ad176e0321013a81fce","datavalue":{"value":{"amount":"+0.71732497215271","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":"Q5166689$EBF3EB88-DA21-4155-88D2-BA48A4AA95C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7e0baacbacbfeae2997ce2e31900447638eb07b","datavalue":{"value":{"entity-type":"item","numeric-id":5899042,"id":"Q5899042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a832a2e1f49fec4d5b71702239c25655ea0d12a4","datavalue":{"value":{"amount":"+0.7118616700172424","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":"Q5166689$4B09CA0B-93F5-4DB5-A59F-94C40996BD66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compact symbolic execution","badges":[]}}}}}