{"entities":{"Q6132490":{"pageid":13266797,"ns":120,"title":"Item:Q6132490","lastrevid":58704894,"modified":"2026-04-06T09:54:29Z","type":"item","id":"Q6132490","labels":{"en":{"language":"en","value":"A pragmatic approach to stateful partial order reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7728618"}},"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":"Q6132490$7E96B106-8016-4915-B74C-4BC76BFFAE21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0288725a655d79d603a0d37cc609502403f81a22","datavalue":{"value":{"text":"A pragmatic approach to stateful partial order reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6132490$760A625C-2350-42C2-ABBA-3C35EB98DBC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8256393fb273e0298eaefa66cb6f4f519e3ca0f","datavalue":{"value":"1529.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132490$353A39A9-D8DE-42F1-A849-BA6F97768144","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa4e639e5401f50d2bd1d93f85c4e5f7e7aea9f8","datavalue":{"value":"10.1007/978-3-031-24950-1_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132490$65265754-7885-4102-AE0E-20DCCF4E5485","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93fcdfbe2c0e553071747fb91326fe6dcec2db01","datavalue":{"value":{"entity-type":"item","numeric-id":2225112,"id":"Q2225112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132490$8E859EE3-DC67-40FB-A5F5-30F383C4B0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f25f8c34e12a231b757d629502410dfe3c146a2a","datavalue":{"value":{"entity-type":"item","numeric-id":515661,"id":"Q515661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132490$FA7545D2-E07A-4A11-8E02-B35948D4C4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"447b7ccb3b44606d06749a82accbbc81e15a98a8","datavalue":{"value":{"entity-type":"item","numeric-id":832231,"id":"Q832231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132490$9B2E509A-21C2-4853-BA78-7EA6FDFD37A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ade2e4ca7131e43c6fa40bcd6a114283377750fc","datavalue":{"value":{"entity-type":"item","numeric-id":2164257,"id":"Q2164257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132490$79F33508-2000-4952-BAEA-A191E36FB046","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132490$18B2AF4B-AFEB-46A4-A178-5D7FEB641F84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"441006eb796e3a3facfc20a479629ee7d34004ed","datavalue":{"value":{"time":"+2023-08-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":"Q6132490$277E1C09-2C4F-486A-8836-DE7FB5EF0828","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f456c6932c450630df1542e9fc4fb68b6ef4ca0f","datavalue":{"value":"https://arxiv.org/abs/2211.11942","type":"string"},"datatype":"url"},"type":"statement","id":"Q6132490$C70ECFD0-267E-4819-8D71-3E384144B5C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132490$3FF43E08-ED39-4F98-A5BF-7398EBE66D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132490$530F5E03-D2B1-4D12-A4AF-4DE69843050C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132490$A6FE5568-DB18-4CD7-B84E-0A7332B716B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4345561997ee8b4a82eed0bc46dc9f48b7f6581","datavalue":{"value":"7728618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132490$362F1673-9058-4309-96DB-BD2D5C8F57EB","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":"Q6132490$F852E780-0AFC-47EB-B88C-34AE09AA37DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52950d430b99a3ac8f528b87c8018ee68d18c6f6","datavalue":{"value":"W4316662751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132490$337D115F-4FD5-43C2-AD7C-F6DC87E5F492","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfcdc3f39b30ddbcf72bddf86d2beca129b3fdf0","datavalue":{"value":{"entity-type":"item","numeric-id":1683934,"id":"Q1683934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132490$8A04A1F4-6087-42CF-B62B-CD6D65DC243A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"538e41f9bbcc67ed5dfbe192246e7799e94d66d3","datavalue":{"value":{"entity-type":"item","numeric-id":5217316,"id":"Q5217316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132490$B8808B65-43BC-4DAC-8D05-7EDBD2F5D930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dad7f066bbcf81c2d01d8832327aaf65e7e8bb0","datavalue":{"value":{"entity-type":"item","numeric-id":4640276,"id":"Q4640276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132490$91EBA600-900A-4C71-8D29-830D6CAB6C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35346f6e23d394375f4e615cf4ea9adf45ebb140","datavalue":{"value":{"entity-type":"item","numeric-id":2894290,"id":"Q2894290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132490$79744597-1EF9-4E84-B137-50DD9162B119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cd325ed68a6335c3158303131fa38fcb65823a1","datavalue":{"value":{"entity-type":"item","numeric-id":1856177,"id":"Q1856177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132490$B8801CA8-A211-429B-8576-CA4E2515AE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33956c849ab9ecccf10e7be1fdcaeb3a3b333b3","datavalue":{"value":{"entity-type":"item","numeric-id":5408560,"id":"Q5408560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132490$FD9D1DD5-65DF-40AF-BBF9-6949CE35B1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"681d1a060becef7034c76396e1df8cd15b1e43c9","datavalue":{"value":{"entity-type":"item","numeric-id":6194574,"id":"Q6194574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132490$CDA83008-2C5D-4F4F-8D74-3A888EC67479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"311e68c347f63177296b5d7365c6fbdfbcb1a3bd","datavalue":{"value":{"entity-type":"item","numeric-id":5276139,"id":"Q5276139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132490$F005787E-9146-417C-A79D-3F401342322B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f71de609ff45fda59e00d0de57593961b4ccdadc","datavalue":{"value":{"entity-type":"item","numeric-id":4037108,"id":"Q4037108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132490$14BE333B-8E9A-4B9A-94D6-E398F426AF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132490$F1D9D56F-A3EF-4EEA-BD4F-BB7BF22CFDEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91956939e5cb9f6747ac2f94705cf9343932b4fb","datavalue":{"value":{"entity-type":"item","numeric-id":1801499,"id":"Q1801499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132490$5E1AB076-7F3F-48B5-A53E-1D80A95B48E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61a080b074196bf11d4837ba9c75e22e80835817","datavalue":{"value":{"entity-type":"item","numeric-id":3713577,"id":"Q3713577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132490$EF1A5451-8D32-436F-A105-916435AE0ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d643c9519505ce70f954afc2ea3c543e896e9fb9","datavalue":{"value":{"entity-type":"item","numeric-id":578901,"id":"Q578901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132490$202D72E1-9F55-4CF0-83B3-4E133FCCCF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"521bc4c633dbd0f1fb3b7a6cd36f636108239b35","datavalue":{"value":{"entity-type":"item","numeric-id":1200917,"id":"Q1200917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132490$8F6F5F29-98D2-4D35-BAC6-35411BD3B853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db5eb581c5550fe9f1aaa6318cbc6f909c56173","datavalue":{"value":{"entity-type":"item","numeric-id":3771629,"id":"Q3771629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132490$CF8F1DCA-A878-4EF9-8A05-F18DBF16E0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132490$50AF52E5-80B2-40AE-8F5A-617DA7CCD5CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a1669ea55c70484627fcb886923a0a7a7abbca","datavalue":{"value":{"entity-type":"item","numeric-id":5703798,"id":"Q5703798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132490$BC9365B5-96CD-4D75-AE1F-44AA07D8C3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132490$60AE70A3-5D15-44CF-9A7F-2D6188FBCC67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"707165a093156462bd4a3f8762120c7cb6201ae5","datavalue":{"value":{"entity-type":"item","numeric-id":518404,"id":"Q518404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132490$05C1930B-01B4-4EB7-A5F6-49B16EDDD6A5","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":"0eabc749c6307ad224749f866e35135071a89aee","datavalue":{"value":{"amount":"+0.8658148646354675","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":"Q6132490$31EAF311-ABC1-46DB-988F-3E7FF85C10EC","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":"511116bac2992c3699cc0f136983a9e155cfa229","datavalue":{"value":{"amount":"+0.8541741371154785","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":"Q6132490$FA0993EF-95A0-4201-B4CC-3195B72E513F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9b14cf743ab3eb0e00763b7d86e0dd46e4047ab","datavalue":{"value":{"entity-type":"item","numeric-id":3636875,"id":"Q3636875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d8979b2755330a90e04b77b7ff61dccee435554","datavalue":{"value":{"amount":"+0.8407683968544006","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":"Q6132490$FAFDA5B4-2D22-47E7-9411-F260B5811940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d4cc3b957fee28e812a6d90197c8aae0f3811c2","datavalue":{"value":{"entity-type":"item","numeric-id":4503926,"id":"Q4503926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0afa0740a9a05df12576e2a8f37724225f7cb8c6","datavalue":{"value":{"amount":"+0.8354078531265259","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":"Q6132490$1B097B33-91DF-4F2C-85AE-F58597DC0757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20f710f1cb19bc2f692bd1c525fa93a6dbf7bdae","datavalue":{"value":{"entity-type":"item","numeric-id":5276139,"id":"Q5276139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dd43b0a0e3aacd5201539fe63fc5a5d4cdb5363","datavalue":{"value":{"amount":"+0.8265469074249268","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":"Q6132490$9A9BBEF1-BEFA-418B-82F0-5C4423803598","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6132490","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6132490"}}}}}