{"entities":{"Q5408432":{"pageid":7438006,"ns":120,"title":"Item:Q5408432","lastrevid":51972086,"modified":"2026-01-20T16:09:23Z","type":"item","id":"Q5408432","labels":{"en":{"language":"en","value":"Optimal dynamic partial order reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282437"}},"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":"Q5408432$2D798A5F-1C9B-40E6-9C3B-B0FCDC93DEE4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78b9dfcad8d1025b6d7c093b45ac5a02390dc93e","datavalue":{"value":{"text":"Optimal dynamic partial order reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408432$EFE2FEE6-768D-4E53-AFE7-FCA08EFE374A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3bf15451d24d1699dced6966c3614f6d87a70b0","datavalue":{"value":"1284.68377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408432$B1CF89B6-2C49-4830-83BB-59C4D1F90B94","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"671d66bf10e13be73b7b93f7c9348012819c10d3","datavalue":{"value":"10.1145/2535838.2535845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408432$64B0FB34-BA4B-4A62-A54C-08E0398D7487","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":"Q5408432$FD8FDCFA-40BD-462C-8D20-48714D3E6282","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":"Q5408432$46001600-1F52-4EA0-B151-78A76F68B2A5","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":"Q5408432$0736E46B-5903-4BBF-99CE-FBBC03046E7A","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":"Q5408432$B1E01E97-5475-4D64-BC9C-ACEC267924FB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"640f3283bf4ebaf19f5992b18fbb1bf0f8463c2b","datavalue":{"value":{"entity-type":"item","numeric-id":5408394,"id":"Q5408394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408432$288357ED-9A98-41E2-BB6C-AB19BBBF4F1B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29d162184913e14034b04455ad3f441d2a1856b","datavalue":{"value":{"time":"+2014-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5408432$9A10D0B7-EEF7-472C-87D8-2EC7B1D562DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408432$461409ED-EF78-4579-B2CF-38734033A1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408432$B6D46627-2625-43B5-8C90-AF71D17DB1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408432$24346006-4D8F-46B3-B1CB-A08732A51559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408432$C8774886-57BF-4930-B1DF-F76FDCDE3C90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"214d05f5e74cfdc73f9c9f8a125ca08f35c7cab5","datavalue":{"value":"6282437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408432$89BA47A7-8073-4B08-A888-EFD7B37D36F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408432$FBE5CD5F-82FA-4E82-BED4-2F8F19930823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"110238827c2edebf04de8007a772c2accec4d711","datavalue":{"value":"dynamic partial order reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408432$F7A0B8B9-CAAA-4ABF-A1DC-5ABABE3FCCE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0e3f8f91d1559da40b3e6abc73d4e0baa9c0808","datavalue":{"value":"software model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408432$8484A333-0175-41DE-899B-1A1E74CA495C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"566e32cfd2c5c2d725d4d8df09f7ead2a0af034f","datavalue":{"value":"source sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408432$9C6C69BB-D589-4561-8F74-0018437D7FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31fcb0c70dfc42deef5796407d55642def4e671b","datavalue":{"value":"systematic testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408432$ADA9E510-2A04-4CFD-B87A-47F69D2C9BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40a8a701481e4d2a58618606f3b9fc3a1bd3dbc6","datavalue":{"value":"wakeup trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408432$25A1B4C3-7797-4C49-8438-2624C27A5121","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b687213a8375e65a3248834735a16b100440644","datavalue":{"value":{"entity-type":"item","numeric-id":19254,"id":"Q19254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408432$87D527B6-5829-4726-AF22-756910E31CD2","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":"Q5408432$2A33C3D9-BC43-4592-8D27-376BB3046EA2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6dff734f9589a71ec6fec29d6a8ae27786a87a69","datavalue":{"value":"https://doi.org/10.1145/2535838.2535845","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408432$1FDFF71F-0A10-4665-8027-D3DA975B179F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ff3713c74b46ff5d928a5d0703fe7cd74004244","datavalue":{"value":"W2008078972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408432$2ABD667F-9A5C-425D-8920-ECCBB0EB3627","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"214048d6a96b1b939efa2fb82eab04ecfa729c78","datavalue":{"value":"Q58967544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408432$EE6A877D-5B07-4AA9-AD99-0CE795AD3F4D","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"07ade698f76a5b417a1b972a30b87a3919eba14f","datavalue":{"value":"conf/popl/AbdullaAJS14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408432$187154D9-C7EE-426C-BEA7-17FB703A7898","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f62643361c99d368cddf0e381394e0dbd711d4ee","datavalue":{"value":{"entity-type":"item","numeric-id":4640276,"id":"Q4640276"},"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":"Q5408432$6024435D-1B2C-45BD-BEDD-AF3496810ED9","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":"4c1cff821638a796985ee92329d85c8053ff27ae","datavalue":{"value":{"amount":"+0.8725500702857971","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":"Q5408432$8CE1DFE0-475C-4FD6-9894-B0CD4A2D4BBB","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":"df33a7ede33b86410f0a7f35f387ba684f0cd07c","datavalue":{"value":{"amount":"+0.8709136247634888","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":"Q5408432$E5E355A5-88A5-479A-9B40-6B9093A77C02","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":"0518259836831f684575e23bd37e606f12e0cca5","datavalue":{"value":{"amount":"+0.8697553277015686","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":"Q5408432$EC30FB6C-611D-42B4-A672-2F0EC18B9203","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":"0e62c683e750d67fab39f2baecba3cb602b32c7b","datavalue":{"value":{"amount":"+0.8316629528999329","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":"Q5408432$F2161008-AE16-49DE-8D79-E24435C0DD9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5408432","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5408432"}}}}}