{"entities":{"Q2050101":{"pageid":2060843,"ns":120,"title":"Item:Q2050101","lastrevid":54074225,"modified":"2026-01-26T05:04:50Z","type":"item","id":"Q2050101","labels":{"en":{"language":"en","value":"Quasi-optimal partial order reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7388003"}},"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":"Q2050101$66AD4062-4E35-4869-8319-2BF6B5A7C49E","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":"Q2050101$1C560B60-B884-4B2C-9693-8A278918B361","rank":"normal"}],"P16":[{"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":"Q2050101$7B847E41-95D6-457D-A20F-3A3D3964A187","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":"Q2050101$E38DBAD1-35C5-4777-BB7B-CF831BDC5ADB","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":"Q2050101$0C191A96-497B-4B1C-BBB9-59CB65C36FD2","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":"Q2050101$EACBA116-4975-4E6C-A0DA-76E13A5113F7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050101$FAFE9614-C335-41CF-8E3F-A86B2D9765E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a528095c8f4b12338bec4f86ea87b7aff5bd49b4","datavalue":{"value":{"time":"+2021-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2050101$0EDFA190-67F6-4AB0-ABE9-71AA1057B548","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":"Q2050101$ECF70431-861D-4885-B654-4D94B51F0559","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2050101$752353B1-BDE8-4ED1-B84F-8A7B2A86805E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36a0ad421ee4165571528147485f7de1c09847a1","datavalue":{"value":"7388003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2050101$7D2413B7-2519-4117-AAC1-AF9BD7452C60","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2050101$FF8C2901-B24A-4C88-A335-252FA14F1305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b93c9d2bc3dd342989bfa457b6a0aa4eb03f4d90","datavalue":{"value":"dynamic analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2050101$34B9494D-EA7D-4D16-8EC4-534BBC517F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dc3d3e3e0085575e218b579cce7695cbe5b28b4","datavalue":{"value":"partial-order reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2050101$CC5928B5-6EA4-463D-BE56-11F292705BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5204fbd7c86416d110259da502567849f8ee6345","datavalue":{"value":"non-interleaving semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2050101$D11044D3-A0DC-4382-96E4-6B618ADE84B1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"eedd1bbaee02f0be3cb50b1586c549cd3fa83932","datavalue":{"value":{"entity-type":"item","numeric-id":55581,"id":"Q55581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050101$CB343EF6-A30C-4FD6-B48C-B03D18AB35C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"abc8a88ee2cd7194a0252fc45ba56b7c27df6e74","datavalue":{"value":{"entity-type":"item","numeric-id":55582,"id":"Q55582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050101$6098CA9C-3663-4B26-BD8B-6CEB078D224A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bee5cb1919919ea97c6e467c1806a0893670d996","datavalue":{"value":{"entity-type":"item","numeric-id":14223,"id":"Q14223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050101$646F452A-59D2-4D68-889C-6260E8D4CA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee025ae9185f2da779dcb93adf0444a24480872d","datavalue":{"value":{"entity-type":"item","numeric-id":20314,"id":"Q20314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050101$77BBB3DB-9EAB-4362-BDC2-A8606E37B676","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":"Q2050101$4E6F5A3B-90ED-41CE-B838-0B424B8C5A3C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3dfda068547b6fbef68662b070be1e61df0c8cc6","datavalue":{"value":"W2786247985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2050101$249A6FA8-C413-429F-B6C9-92342207E00D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b93eee614fd2df5a7bd0e9779f4833f20891d7","datavalue":{"value":{"entity-type":"item","numeric-id":5408432,"id":"Q5408432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050101$F642E79F-7178-4C2F-A0D8-E0F186155030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4de6cbf9794f1d86a393cf017d3f611d31cd0ffa","datavalue":{"value":{"entity-type":"item","numeric-id":5194956,"id":"Q5194956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050101$B45C7542-6A20-4E0D-9186-9205F8FFCEB3","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":"Q2050101$29C1A8CC-21D6-4A85-930E-B1669EC926F2","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":"Q2050101$A02D7801-1AF8-4ABE-B817-5BFEE41E44E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7caaf9f70c78a15bb0cf46f595f32ce2a94113a5","datavalue":{"value":{"entity-type":"item","numeric-id":726090,"id":"Q726090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050101$20CD5859-E1B1-46CD-B936-D5EBF7E5B4CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092a4684ef7778dba1ddad2618a794c87412cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050101$7F1AEE04-A6F0-42E6-A4C4-3DCE2AE6E1FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ca0ec24a69cf1f915d924307d29172a5f8a3ce1","datavalue":{"value":{"entity-type":"item","numeric-id":2426635,"id":"Q2426635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050101$CCC4088D-4879-4770-A608-A04B84DD9AC1","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":"Q2050101$58DE3619-A628-404B-95E0-A07C5864F1EC","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":"Q2050101$40662FBE-41F3-4570-A7EF-EE6B0A9FD0B2","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":"Q2050101$020434CF-7FCA-4C4D-AC7F-41FD64E70FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd5aea8a5b34656b8dc5de8001da8e22984a9e2c","datavalue":{"value":{"entity-type":"item","numeric-id":6043165,"id":"Q6043165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050101$7B40D408-210F-48EE-A076-C0B69FAAA10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb70412cafc6e538980766c76c983549d861cd3c","datavalue":{"value":{"entity-type":"item","numeric-id":3851636,"id":"Q3851636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050101$1F42B848-95BC-4960-95C7-336A9DFB7C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270a066a6aceb1912b7c375b7b589a7b3cd15951","datavalue":{"value":{"entity-type":"item","numeric-id":1148680,"id":"Q1148680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050101$4480B00E-3668-467F-B8B6-F3D3DCA43091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b894e6bbeee58df0951b49a6336cc563c3d8c4ac","datavalue":{"value":{"entity-type":"item","numeric-id":2419705,"id":"Q2419705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050101$A340AEA8-CD67-4F16-9469-8872ED2BCEBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea2b96ba80c9e676392a6a413009a4c1ce1ed72b","datavalue":{"value":{"entity-type":"item","numeric-id":4028906,"id":"Q4028906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050101$5E31A82A-1BA2-41CD-B6D2-CE9AF82F9604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e22de5514f76232ebae1e6056974196aa707d8af","datavalue":{"value":{"entity-type":"item","numeric-id":5357723,"id":"Q5357723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050101$7073A6ED-30CE-491B-99B0-4C3D8B6B857C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbbe5bea17d231dfb2b4442a2e23c8512a0ac736","datavalue":{"value":{"entity-type":"item","numeric-id":2225118,"id":"Q2225118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050101$CB7E2079-A554-4085-A4D6-0FFC58C7D460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0fa053f93ceee34040b4a938760557f2a3f364a","datavalue":{"value":{"entity-type":"item","numeric-id":5458339,"id":"Q5458339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050101$A4FEF334-47C1-47AA-A634-A1726CF96EFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a5aefe7c153a689f5f015faa4918d9bc51dfee6","datavalue":{"value":"10.1007/S10703-020-00350-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2050101$B43F56FD-5C64-424D-B0A9-EB64EA0ECFAB","rank":"normal"}],"P1643":[{"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":"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":"Q2050101$8D0FD69E-B536-41B6-AF9A-C8FEB002138E","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":"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":"Q2050101$CA2DDBEC-A472-4B2C-9AFA-3AC9DC1C9817","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":"b773bd8a7e21aa5be883ce6e2619033c50831c25","datavalue":{"value":{"amount":"+0.8594687581062317","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":"Q2050101$9786C742-830C-498F-8050-94486D290CE6","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":"e1b0f1e3daa4feb920578313428e41842f07883b","datavalue":{"value":{"amount":"+0.8582611083984375","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":"Q2050101$666251D4-CC87-495D-8099-38C597DDA562","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":"16c4c71bbcc7bf5fd5eb9e0438c9f9f5f3308273","datavalue":{"value":{"amount":"+0.815208375453949","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":"Q2050101$1E685D16-5A23-4CCB-BCD1-13F14EF63E9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2050101","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2050101"}}}}}