{"entities":{"Q6043165":{"pageid":13177321,"ns":120,"title":"Item:Q6043165","lastrevid":58636530,"modified":"2026-04-06T02:59:22Z","type":"item","id":"Q6043165","labels":{"en":{"language":"en","value":"Quasi-optimal partial order reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7682387"}},"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":"Q6043165$D05537BB-FABD-47E4-8685-BD87E2FF64E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"daafab7592a014b821533082a13c7b97313c9aa6","datavalue":{"value":{"text":"Quasi-optimal partial order reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6043165$5CC7D8BA-8281-4A5C-AE35-2E5F20B79B7A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97d1d5523c6b85776d655a65b0183209469efafc","datavalue":{"value":"1511.68183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6043165$953441AA-53F4-4879-852B-71BF694EF73F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"520737a1ec1640203548b7ff97885e72dafec59a","datavalue":{"value":"10.1007/978-3-319-96142-2_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6043165$DC90F58C-38C5-4467-BB54-02407AE9D116","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c03b70696efddeddd7d553c86307112f9a7a48c","datavalue":{"value":{"entity-type":"item","numeric-id":6043164,"id":"Q6043164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043165$6CE4C696-6B9A-4581-BE7E-AC63FF8E9D41","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":"Q6043165$9382BF12-E2B1-4036-AAAF-C6B5986B8406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bef44dafec6f82615af74b473f9d6a0d3d6c1f57","datavalue":{"value":{"entity-type":"item","numeric-id":666031,"id":"Q666031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043165$D0FD6B01-4B5B-4D04-A257-6CFBA7FCE3DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a473aea6912c61b066621dbc9ab217b34cfffedc","datavalue":{"value":{"entity-type":"item","numeric-id":338861,"id":"Q338861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043165$E35F3DE0-B601-489E-83C2-02FD908D14C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4872af84a584556ac338a1ed7d0fa0ccf3730535","datavalue":{"value":{"entity-type":"item","numeric-id":225085,"id":"Q225085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043165$9DD53E26-33A7-4E85-9DD3-EBDEC63F2D0C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043165$06DCA05E-E850-4639-A691-23FA74024870","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a9ffdd3d0278110160d03bdc1ac988576aaeda7","datavalue":{"value":{"time":"+2023-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6043165$7F890785-A9A0-4893-A911-C48C23A9FEA5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"19bfab834b6fe328526ed90c7a3ffe6d57247e3c","datavalue":{"value":"https://arxiv.org/abs/1802.03950","type":"string"},"datatype":"url"},"type":"statement","id":"Q6043165$356D3574-1BDD-4B3C-B830-357DA616829B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6043165$2A8C90B7-A7A0-4E78-9F13-4E963FD00578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6043165$DF9B8A06-8C6E-4C42-BC53-F08AEF44B979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6043165$5DF24290-9546-4C43-B88C-82E4BE9480B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ea791e7fb137db1b6e33048244db4a5c81f09a3","datavalue":{"value":"7682387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6043165$F5CC7F03-568D-42D0-9362-C678C5D4B97A","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":"Q6043165$2C315340-C104-4813-8110-5032658873BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ec04dc39b43b9e171a3214184a491c911d1e396","datavalue":{"value":"W2963322207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6043165$C08D318D-436D-4714-BF71-EAF4AAC1FCEB","rank":"normal"}],"P1643":[{"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":"798b5a89c5c0045cb278962c76eb2a338d9cb3c7","datavalue":{"value":{"amount":"+0.9968883395195008","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":"Q6043165$4E7D19FA-8F43-448F-8EC1-E53FD9E16BA4","rank":"normal"},{"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":"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":"Q6043165$52CE370B-B976-45EC-9F5D-1626103D047B","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":"fce8b58969e4e419adcc516d1fec7b4e8a3020e7","datavalue":{"value":{"amount":"+0.8593594431877136","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":"Q6043165$5BA3A8BA-D722-4D51-B122-2B89989273EB","rank":"normal"},{"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":"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":"Q6043165$9652AA8C-C693-486B-A5EB-8683C877BB9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efb7c554647e3872115550ecea050a1d1bb22027","datavalue":{"value":{"entity-type":"item","numeric-id":6043167,"id":"Q6043167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e17b537544c995f31943435a0676c6b90a9cce4c","datavalue":{"value":{"amount":"+0.8156951665878296","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":"Q6043165$DDD1CE06-9D6E-479F-A354-71AA93EEAC1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6043165","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6043165"}}}}}