{"entities":{"Q2225118":{"pageid":2235861,"ns":120,"title":"Item:Q2225118","lastrevid":57791109,"modified":"2026-04-02T13:23:04Z","type":"item","id":"Q2225118","labels":{"en":{"language":"en","value":"Symbolic partial-order execution for testing multi-threaded programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7306419"}},"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":"Q2225118$EB9C775B-134E-40E9-A7D3-CB5140120669","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e41c29eaece0e3283bd2f8a111545dc27f4c37e","datavalue":{"value":{"text":"Symbolic partial-order execution for testing multi-threaded programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2225118$8BB2948A-2D8C-4B58-A9CA-8F6AF02F8962","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6bec2792f907fcf8b0b55f9e1779a1dd7797579e","datavalue":{"value":"1478.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225118$2ADFD42C-98B1-4697-A098-3F7ABFE1372D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"510f537c1bb95593d488dcdd2f5fff83e308cd0c","datavalue":{"value":"10.1007/978-3-030-53288-8_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225118$E88A06F6-4AAE-44D1-87B6-B5A2C2CB35A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0860612d0b96a80fb8123cc0d37f813f8b56f11d","datavalue":{"value":{"entity-type":"item","numeric-id":2225114,"id":"Q2225114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225118$6FC670F3-AFA8-4FB8-AC42-8452DF47F480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c6e27604b3cedf4d2d625783af33da3edbea66b","datavalue":{"value":{"entity-type":"item","numeric-id":2225115,"id":"Q2225115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225118$B195166C-4E23-45E9-B73F-199811B7EDB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a7e74fc81033469e57e8f9cf85ff29248af5638","datavalue":{"value":{"entity-type":"item","numeric-id":443728,"id":"Q443728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225118$2DAD73F4-21FD-4F27-9CA7-FFB76D8291D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aad3084e155c0849e13dec6bf82eab7b2b50d6cf","datavalue":{"value":{"entity-type":"item","numeric-id":2225116,"id":"Q2225116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225118$8218E4F8-1B65-4325-A469-0E01190BF691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46a303ac92ba6b1ccdc8488d10293f9ad217ecb4","datavalue":{"value":{"entity-type":"item","numeric-id":2225117,"id":"Q2225117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225118$3A5C5924-8CC7-407E-8918-1B7710F8257D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d6a456e0bab179ca64e4b2223a94b5349f4a541","datavalue":{"value":{"time":"+2021-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2225118$2196669B-8DE4-4CA3-9954-4C03B438D152","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"824f150aea252b1b2fd0470e04243b28d442f7b0","datavalue":{"value":"https://arxiv.org/abs/2005.06688","type":"string"},"datatype":"url"},"type":"statement","id":"Q2225118$2118D71B-08E3-4844-8D26-242A115C2291","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225118$1B513864-8F90-4270-8434-A782E1615B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225118$3151A945-1CA9-4C02-A7B9-54C2953AD723","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dcebcd801106edf1280b5c708fb6e11ccfadd061","datavalue":{"value":"7306419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225118$10A05485-831D-4574-A583-80752AE97554","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"091410f2307a085653a772439be9d718e836ed8c","datavalue":{"value":"software testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225118$7B396584-A0A7-47F3-8BC9-C99A54D5F026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225118$94D2BB73-1DEC-4DC5-9E2E-8388070CE756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dc3d3e3e0085575e218b579cce7695cbe5b28b4","datavalue":{"value":"partial-order reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225118$41041328-45AB-4816-91A6-94DEB2CB7ED0","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":"Q2225118$7E72E093-F1CE-4E8F-AEEE-4D5201499CAE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16ee96d5ca930898de836a8d687f828a1d462938","datavalue":{"value":"W3098882403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225118$F281CE83-5D96-4A89-86A0-7658FF93F6AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9b14cf743ab3eb0e00763b7d86e0dd46e4047ab","datavalue":{"value":{"entity-type":"item","numeric-id":3636875,"id":"Q3636875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c31c2905c1894d78ba3c2761c735f92afb8e116","datavalue":{"value":{"amount":"+0.7390981316566467","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":"Q2225118$24EFCAFA-14AD-475B-B126-1B0D07AF05B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9635ef2152af49144a183d7b5e55bf1da7ba2ea","datavalue":{"value":{"entity-type":"item","numeric-id":6039411,"id":"Q6039411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be1e5b28b8ca3fd2fc238472c31ea28c6ca209dd","datavalue":{"value":{"amount":"+0.7326611280441284","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":"Q2225118$E42DE55B-1570-45F9-BEF6-144720BF2322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f3b8e42a11ca402995b436b7ab2af54e7fae2ab","datavalue":{"value":{"entity-type":"item","numeric-id":4799677,"id":"Q4799677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33e2edda4416ba2880feed7d67fac45fa0a85894","datavalue":{"value":{"amount":"+0.7292347550392151","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":"Q2225118$F035B894-07D2-4D16-B0C5-024A0E7ABCD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee4b0d092d0aea1749d436114d472fcfb54ef40","datavalue":{"value":{"entity-type":"item","numeric-id":4417955,"id":"Q4417955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51a0d03084f9b6b71f0a55087ea86d403187592c","datavalue":{"value":{"amount":"+0.7286704182624817","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":"Q2225118$73CA7040-D4F2-4E56-A556-6A472A9CF080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66c693935527fafb22328f44f307e4e22640f1c2","datavalue":{"value":{"entity-type":"item","numeric-id":5756735,"id":"Q5756735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f14ee5d82d302279250ab4bea1ff90d10957c7c","datavalue":{"value":{"amount":"+0.7271460890769958","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":"Q2225118$66F5CCFB-A368-469D-BD44-38E0ABA0250D","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225118$52CC7278-4973-42B7-8FB9-E1FA380573E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2225118","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2225118"}}}}}