{"entities":{"Q4640276":{"pageid":6669857,"ns":120,"title":"Item:Q4640276","lastrevid":53083214,"modified":"2026-01-24T04:44:50Z","type":"item","id":"Q4640276","labels":{"en":{"language":"en","value":"Source sets: a foundation for optimal dynamic partial order reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6869313"}},"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":"Q4640276$13BCFB88-9087-4AD0-B4FF-3D8D67FD7C2D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"adce615a01cebbe77c34594f4fddaf82b95a0919","datavalue":{"value":{"text":"Source Sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4640276$F37B2388-EAB9-430A-96E6-F1A0F6E4331D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76b33f0e920e965f655901dbd61165c66d3a5706","datavalue":{"value":"1426.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640276$E3096F04-405A-4B81-82A6-08CDF83B21D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb7d7dbb7b3907d09c1c7992cc11fb8ad69d0468","datavalue":{"value":"10.1145/3073408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640276$CF9C70A6-14F3-446F-9DC9-44B7DF5EB480","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"46fc33b415c532ede61ce83b8f7d95780ce1064f","datavalue":{"value":{"entity-type":"item","numeric-id":1683931,"id":"Q1683931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640276$2B2FED7C-6610-4708-B74C-1E255571B331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640276$B44069A6-89F6-43F8-B5F2-1472951D57F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b20b81a7d340bb11545f18691561a3ea86d216a1","datavalue":{"value":{"entity-type":"item","numeric-id":300410,"id":"Q300410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640276$93233A5E-720B-48A2-AC47-EB26D33C64C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba6a5352415e5620331ed484966e52e3a16a0b01","datavalue":{"value":{"entity-type":"item","numeric-id":1683933,"id":"Q1683933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640276$B22E610D-6559-40F7-9194-D5F40BD53B1B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640276$0833A2E6-36BC-449B-9AE6-4BDEB6F9D2E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7c01739a4214e1a2ae2105a086153c18669073f","datavalue":{"value":{"time":"+2018-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4640276$3BB4F31A-32E0-4DE6-B6E0-526EDBA2C16B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640276$6DA77594-CC7B-44BF-AC57-12FE15149F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640276$6F4C69D9-9BF6-4744-AB89-B31D37CDEEDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640276$2E1E7462-D2E7-4CD2-87EB-E6A60EC37617","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4fe487605a6379bef9cccc09dcf670c0912f0fb6","datavalue":{"value":"6869313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640276$FAD444C3-882F-453F-A69B-4E4D96FB2F5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"110238827c2edebf04de8007a772c2accec4d711","datavalue":{"value":"dynamic partial order reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4640276$73722AF0-077C-413B-962A-8226916299F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4640276$F2C4C227-D7DE-4CD2-8966-7307AA5B259C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0e3f8f91d1559da40b3e6abc73d4e0baa9c0808","datavalue":{"value":"software model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4640276$916FEB11-4CC8-43F5-B54B-D7CB640847B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"566e32cfd2c5c2d725d4d8df09f7ead2a0af034f","datavalue":{"value":"source sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4640276$AFCFFA2B-F147-4682-ABB7-E83021835A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31fcb0c70dfc42deef5796407d55642def4e671b","datavalue":{"value":"systematic testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4640276$357105E1-E5C3-4905-AE27-400A36FB2B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40a8a701481e4d2a58618606f3b9fc3a1bd3dbc6","datavalue":{"value":"wakeup trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4640276$9ADB5B33-C45B-41DC-8586-953DEF2FBB28","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":"Q4640276$7821E2E5-6C6D-4A87-BA41-AD5C5298BC6A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9514e6a68df1e6541cd652ca386534ec695feb3b","datavalue":{"value":"https://doi.org/10.1145/3073408","type":"string"},"datatype":"url"},"type":"statement","id":"Q4640276$127B339B-887B-46D1-9EC9-7713FECF65F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c020902090b5afd72e5fc06c8df830c847d3639f","datavalue":{"value":"W2747419197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640276$6D7F1177-3997-4B19-9734-D2480FB0E105","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d3568527f8a2276bd6707602dc03e2bb47e0715","datavalue":{"value":{"entity-type":"item","numeric-id":5408432,"id":"Q5408432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e227d5250f905931f1b02ee0c1b6fe4fabfe8b2e","datavalue":{"value":{"amount":"+0.9704951643943788","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":"Q4640276$A7C2F6CA-5E35-4588-A7A4-DECBD0F0EEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8f766ba683f784b16376028708eddb08ae91e1e","datavalue":{"value":{"entity-type":"item","numeric-id":2050101,"id":"Q2050101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b0f1e3daa4feb920578313428e41842f07883b","datavalue":{"value":{"amount":"+0.8582611083984375","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":"Q4640276$33E4F1B9-1267-421F-B4B0-198A7D37D425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff8eebe83a285a552217b0790a2a806b29d6192c","datavalue":{"value":{"entity-type":"item","numeric-id":6043165,"id":"Q6043165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec498bf007ecc753f8de763f921ec39f17ecf0b5","datavalue":{"value":{"amount":"+0.8563246130943298","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":"Q4640276$C24FD278-D0C2-4DEB-B40C-2422BF4DF059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c601ce27a09899d253ae0bea74ccbb3e058023b","datavalue":{"value":{"entity-type":"item","numeric-id":2324230,"id":"Q2324230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58104a5c79be1cd3bcf7533dc96aa6d4317d95b7","datavalue":{"value":{"amount":"+0.8492063879966736","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":"Q4640276$834ACC2D-0DED-46E9-837E-02264D66A23D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fab2e5c70270d79cfe882ef6a5e36c8016f52918","datavalue":{"value":{"entity-type":"item","numeric-id":2151268,"id":"Q2151268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23654c2225e481fdd289fe18c59430ede7bea186","datavalue":{"value":{"amount":"+0.8221641182899475","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":"Q4640276$FAC67767-12AD-4B9D-950D-1EF2CD1C2ADA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4640276","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4640276"}}}}}