{"entities":{"Q6535943":{"pageid":14147086,"ns":120,"title":"Item:Q6535943","lastrevid":55604929,"modified":"2026-02-17T19:35:54Z","type":"item","id":"Q6535943","labels":{"en":{"language":"en","value":"On the nature of symbolic execution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7817364"}},"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":"Q6535943$BB540641-2F68-436E-9B12-721DB7302E34","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"37b9ed648ae7dad316772b20f50446ac3ae14587","datavalue":{"value":{"text":"On the nature of symbolic execution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535943$F3A7B4EB-B2E3-4CC6-97CB-37858F47B3EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af0d2afdf865392ac9785a4cbfe4f93a5cdbcd2c","datavalue":{"value":"1539.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535943$48E37725-1D6F-4861-9883-402C950BF6AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e8a5f558e9d42db2545e9a90f182b968a9add64","datavalue":{"value":"10.1007/978-3-030-30942-8_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535943$1D66BE1A-5265-4A40-B9BC-0AEDF40847CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6539cfadc75d6504ef9c471b16074d64840fa76","datavalue":{"value":{"entity-type":"item","numeric-id":433335,"id":"Q433335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535943$E16F8FB5-B9E2-452E-85CB-630C10485EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efdc2aa840d155fa6d7f395ddbc0ac0dce6f38cb","datavalue":{"value":{"entity-type":"item","numeric-id":265816,"id":"Q265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535943$E5B7C338-F8CA-473C-AC94-02D61A5DA7B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ecd18d7913b3cf9c39e121783283be5c3dae84c","datavalue":{"value":{"time":"+2024-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535943$252A9759-5954-41CA-A071-610DD88BED7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535943$91D15015-268E-44CD-BA39-2F0C9D67C9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535943$24C68E06-4EC1-464F-BD0C-2AAC94D19CF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb2c7a389df8790276c179ece6bf639a05e5b703","datavalue":{"value":"7817364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535943$CDD593E1-B49E-43DE-91B0-663B75FD0951","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":"Q6535943$F5B5DC7C-8D26-4CD6-9578-97F3F10DBC76","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fa1aea41b23b77e49c2e6c48c1b67f2ce6b255","datavalue":{"value":{"entity-type":"item","numeric-id":4095837,"id":"Q4095837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535943$7BF6CE3B-B898-47EB-9CF3-0BB44B100D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d80f8dd118b5b17b20a55804069560896538ee46","datavalue":{"value":{"entity-type":"item","numeric-id":507361,"id":"Q507361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535943$75A0B6FA-30B8-4050-86A2-32F0B5B4A43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f9a207836587b6441984fba2c3ece712514d043","datavalue":{"value":{"entity-type":"item","numeric-id":3457810,"id":"Q3457810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535943$E482160D-0847-4C2E-B0F1-08CFFD2E6F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c39f41d52ff5e280daed5eda3593ba1616c383d1","datavalue":{"value":{"entity-type":"item","numeric-id":5756504,"id":"Q5756504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535943$CF89F615-A2DC-47CA-BCA6-CC1E8BF58A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47b8c90d45ee285590b1a168a8503851fe5b134","datavalue":{"value":{"entity-type":"item","numeric-id":3925859,"id":"Q3925859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535943$4677764E-DD16-4C3F-9FB2-871847B6CB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eab6a40d2e8319f6ce044499bd6acbb1af8603af","datavalue":{"value":{"entity-type":"item","numeric-id":5703772,"id":"Q5703772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535943$D527B309-CF9D-4707-984C-7C12F78F8ED3","rank":"normal"}],"P1643":[{"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":"746e8772578657af3e07a60fafe70fa08d518af4","datavalue":{"value":{"amount":"+0.9274536967277528","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":"Q6535943$CC5189FF-1708-4252-8FF7-694FA52C5193","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":"55c9256078ec1723e889193acdf157f5b13422fb","datavalue":{"value":{"amount":"+0.8552822470664978","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":"Q6535943$2EA6D833-7748-46D8-B657-C69C187399FD","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":"5dfb76884a34c4b333f3a4a9cf5f925d5c9d0e95","datavalue":{"value":{"amount":"+0.8101186752319336","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":"Q6535943$7B183E6A-2082-480E-BC7C-BE8722E65852","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":"b941129e994a5a38b74a42f945fde9bff5e99021","datavalue":{"value":{"amount":"+0.7768151760101318","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":"Q6535943$1CD4F6FC-43FC-4CB3-AD82-A5E482010267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccb0dae07e102e37d3da55fd78c5ecd5183670d1","datavalue":{"value":{"entity-type":"item","numeric-id":3457810,"id":"Q3457810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6337b4b28b9704e2eaa96c0cdea645802c7ad1d1","datavalue":{"value":{"amount":"+0.769111692905426","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":"Q6535943$9FFC50C3-796F-4862-94BC-CDECBED561E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535943","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535943"}}}}}