{"entities":{"Q2151268":{"pageid":2162011,"ns":120,"title":"Item:Q2151268","lastrevid":54354458,"modified":"2026-01-26T16:49:39Z","type":"item","id":"Q2151268","labels":{"en":{"language":"en","value":"Context-sensitive dynamic partial order reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7551580"}},"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":"Q2151268$C6E9AD1D-BB06-4B89-BF4A-E423C6A954C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aeb35ba7955aa5a903d533705d29e933dfce3489","datavalue":{"value":{"text":"Context-sensitive dynamic partial order reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2151268$3DE9D086-9B2C-4B5E-9A24-F667C8CB7AFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec543cd45eb89f07ed0a88eba3df0e5d457c5f5d","datavalue":{"value":"1494.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2151268$B04192B9-1CCE-4BE5-A70B-DA80E8AA9439","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7494cb70a6fa2bc560a4e144f2fed626d9673ff","datavalue":{"value":"10.1007/978-3-319-63387-9_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2151268$858DF6B2-C07D-4B8C-82C6-AB57A4CE25EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db02a25ee0188485f9ab7c84ccd406f8866487b6","datavalue":{"value":{"entity-type":"item","numeric-id":232928,"id":"Q232928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151268$72E98A60-5847-4087-A511-8E06DA6A0C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"39970b65b758bc4386597449acf75bee389cd656","datavalue":{"value":{"entity-type":"item","numeric-id":764295,"id":"Q764295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151268$70FEDF4B-53DA-423B-B1BF-44702872009D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2f5c7b71b96166a103050eb41122d48b5fbbacf","datavalue":{"value":{"entity-type":"item","numeric-id":989515,"id":"Q989515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151268$085ACA0D-5138-4B52-BA80-F6C0DF209518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ce0c30279fc718bf70b3c03c8fe86c99509adf2","datavalue":{"value":{"entity-type":"item","numeric-id":264991,"id":"Q264991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151268$988BE057-5019-46A3-B6A8-3D6F1F36706A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1964be5c8ceef4b9238150c92361a03509499c04","datavalue":{"value":{"entity-type":"item","numeric-id":265706,"id":"Q265706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151268$CB33D627-54FF-40FA-9072-E0566031C969","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b01f91c2828ea0406533259953e45b7596e1cea7","datavalue":{"value":{"time":"+2022-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2151268$C67F71EB-8506-422F-AF84-67AE027CC331","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2151268$FAFAE56D-E5F4-4CF4-BD9C-AF5CF8034AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2151268$204F4623-871A-4E61-B3BB-EDC7637E0D99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27820ba5d7d93a2adef732fd80640cc7fa2a9f67","datavalue":{"value":"7551580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2151268$ED28ADB2-AA20-429C-940D-1ABDDD4BA134","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":"Q2151268$C4152197-C89A-453F-BA9F-F27C20C08BB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ba5a3cc3a195742e5bb4e0ea9d25bf0db532f70","datavalue":{"value":"https://doi.org/10.1007/978-3-319-63387-9_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q2151268$C55B254E-D221-40D8-976D-4B21628DD30B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9635784e140ac2464ab0fb0bff246d44d1db75c4","datavalue":{"value":"W2734336505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2151268$1A855E2E-B037-4D61-B893-C4C59B385FF9","rank":"normal"}],"P1643":[{"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":"30048ef8c576154fe8dc337425b3d37934e6dbae","datavalue":{"value":{"amount":"+0.8539314866065979","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":"Q2151268$E531395A-BA31-4FD2-AA05-257A4AF81256","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":"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":"Q2151268$BB2DDCDD-11F2-4BF9-A65B-08C094BE9184","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":"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":"Q2151268$00F86054-F0C7-48CC-91D0-F9E47B97C258","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":"5c3f8607e89ec817a279d031d534a247e3d96493","datavalue":{"value":{"amount":"+0.8090817332267761","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":"Q2151268$AC4D1ACC-89AA-4F82-9EC7-A76370D5DFF4","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":"f9e1e3fb5acd245fb3e7ab0ddd70085b5f39f76e","datavalue":{"value":{"amount":"+0.8051356673240662","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":"Q2151268$4427FC4D-BEA0-44DA-8711-D547C66F2DBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2151268","badges":[]}}}}}