{"entities":{"Q2324230":{"pageid":2334973,"ns":120,"title":"Item:Q2324230","lastrevid":43881231,"modified":"2025-11-15T17:55:30Z","type":"item","id":"Q2324230","labels":{"en":{"language":"en","value":"Optimal dynamic partial order reduction with observers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7105344"}},"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":"Q2324230$A5B643BE-145C-4A6F-B647-463C90354E33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07ec6df10a31a207a2ccee004f4515f9288aa753","datavalue":{"value":{"text":"Optimal dynamic partial order reduction with observers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2324230$C87A3B35-1A55-439C-B0CE-740952B390A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34f0755745419ee4a9641ec3e12ac4ad9d0187d4","datavalue":{"value":"1423.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324230$AE3599F9-379B-449F-82B1-0EE983E2299F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7da25ae48d63db125cc437c121c61bbbfa36d18","datavalue":{"value":"10.1007/978-3-319-89963-3_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324230$42145898-F832-47CA-A24B-61B0ACA2E08F","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":"Q2324230$EFCF4EF7-DDA3-4C87-8F0D-C3EB18BDDBC0","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":"Q2324230$B6DAC398-66FF-4A50-9892-BC35B1BCC80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc6961189a0cb58a3578cfc2a5811929287e8624","datavalue":{"value":{"entity-type":"item","numeric-id":2324229,"id":"Q2324229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324230$9A44624B-B789-432E-ABF4-883132F35AE8","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":"Q2324230$2199B054-F632-4075-A77E-FD253510D37B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96391af82153a94a4af2a0e4c8ac60042cea1674","datavalue":{"value":{"time":"+2019-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2324230$432F0CB6-FB16-4E8C-B117-859DFA9505C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35834f5b89459c8a38dc260a66550f3ad5abf753","datavalue":{"value":"http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-333508","type":"string"},"datatype":"url"},"type":"statement","id":"Q2324230$00D13682-BF30-444C-8AB5-DA4A70ABD6FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324230$46AEE0BF-DB51-47CE-9977-8BBF9E1D150A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324230$2D5A28EE-9537-47CA-9AA8-1D89F206F301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324230$840A415E-153B-41A3-A169-822E5561A025","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6dca65c53598b8b99c78bd98463d6ead3899ebde","datavalue":{"value":"7105344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324230$17A37E74-3A18-4C34-A779-8D39C112C835","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":"Q2324230$8014C495-9E9C-4E46-AAEF-3FA515115570","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1afc207002270ffa9cffd2e6e2cb9064c215cffe","datavalue":{"value":"W2778798134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324230$11953F20-2DDD-4279-BD6F-AB5424CDEBF7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bc4393481ec745fc9e825a7675c7ffb461adea66","datavalue":{"value":"Q58967472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324230$A41EA2C4-ABDA-449C-977C-B8348D4F7DC0","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"9d27c0bc605e18fb7cc414315aa28f8896477f58","datavalue":{"value":"conf/tacas/AronisJLS18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324230$928E5FBC-762C-4ABD-BEA7-EAD7F665DAC9","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":"c0491ca3873c5f7d6c29f78b7984ed2b3dbaa379","datavalue":{"value":{"amount":"+0.930082","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2324230$43B1DDA7-187E-47D2-9034-740470B56033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"179dfa9c30f382719a7db6cdbaaa1ae0d8285766","datavalue":{"value":{"entity-type":"item","numeric-id":3984676,"id":"Q3984676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd62970e17af809b0bc825bd387535d88c20e1c1","datavalue":{"value":{"amount":"+0.91922104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2324230$D2FE6AD0-B2F4-41B2-8FBB-D77CEF70FD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2f57f02d7d5052f46b4fda3c78c2a3b1bbf1d49","datavalue":{"value":{"entity-type":"item","numeric-id":414056,"id":"Q414056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f04f790785cc7eaea434ac636a8a92dbdc9d14be","datavalue":{"value":{"amount":"+0.90919197","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2324230$7B289210-742E-4C31-A921-BD0EDDAEBB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2de2531c2d3232238c6fa2033157f6d8e7b93126","datavalue":{"value":{"entity-type":"item","numeric-id":795774,"id":"Q795774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a587781acd3f5d51fa017024ea243fdb67965cb","datavalue":{"value":{"amount":"+0.9091864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2324230$5ABD5F56-3793-45E6-983D-95CD8B6F0D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"884f16025c3569cdb89aab13cfdc6b8998021cde","datavalue":{"value":{"entity-type":"item","numeric-id":5040078,"id":"Q5040078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6665a667ce7b1bd7b6ea12003c6f70026ffd6bcc","datavalue":{"value":{"amount":"+0.9044359","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2324230$C3FC7409-9DDF-442B-B96B-5D6975383035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3caf785d7603c5578e9a8e9897f106f973ab519e","datavalue":{"value":{"entity-type":"item","numeric-id":2371087,"id":"Q2371087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5d706a7c05736d3510d202d2b2ac15cca23320f","datavalue":{"value":{"amount":"+0.9013042","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2324230$2FED723A-C029-4301-988C-CFC0F4623BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d72e222292f68074793afde41bc5790d157af964","datavalue":{"value":{"entity-type":"item","numeric-id":749480,"id":"Q749480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5559a85206cc79fa50dfa022c7fe195b86e026d5","datavalue":{"value":{"amount":"+0.89724433","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2324230$99B1CE83-27E3-44C3-BC9A-E47E82E3F0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b815fa0ab10dfdcc8c7819afa7804eb0c158b5a0","datavalue":{"value":{"entity-type":"item","numeric-id":3691486,"id":"Q3691486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d4b20c5e09842c47aeb4b72587d9be22e87b49c","datavalue":{"value":{"amount":"+0.8965647","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2324230$138ECFFD-C8A7-4E76-B11C-6DA99DF357BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5b4a821808cdd8b4c281bcbb240ddf89f02559a","datavalue":{"value":{"entity-type":"item","numeric-id":3722349,"id":"Q3722349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3447cd618e24828e14ae817fff1b149d07c6631","datavalue":{"value":{"amount":"+0.895234","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2324230$EF6D4D41-BADD-4BB2-AE04-F5285C5071BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"486d8bcbfd5ecf452dd6979464e97ef634c66ee8","datavalue":{"value":{"entity-type":"item","numeric-id":5399182,"id":"Q5399182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba98517f611f105579e8d1325eae351ae90efc16","datavalue":{"value":{"amount":"+0.89354277","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2324230$31BDD89E-9459-4469-8F1C-EDE75DD51B40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2324230","badges":[]}}}}}