{"entities":{"Q6672043":{"pageid":14283200,"ns":120,"title":"Item:Q6672043","lastrevid":103809605,"modified":"2026-06-06T08:14:35Z","type":"item","id":"Q6672043","labels":{"en":{"language":"en","value":"Partial order reductions for timed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7975471"}},"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":"Q6672043$E2678A1C-7CF9-4020-ACEA-23A99750F28E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c016f4a379df9ee3b023f6c833a8588ce456989b","datavalue":{"value":{"text":"Partial order reductions for timed systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6672043$163ED1FE-2A47-42FB-B394-E221008B570F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c90fd5334d4628a2673154202a8946e1be1923d","datavalue":{"value":{"entity-type":"item","numeric-id":1858442,"id":"Q1858442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6672043$F9D15C9D-87BF-47CC-BC41-904BF9BFE75D","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":"Q6672043$20B07C04-7CD3-48FE-AAAF-EAECB89B4D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28a0298ca0f2e3e4f87aa8867b67869efe680894","datavalue":{"value":{"entity-type":"item","numeric-id":1575827,"id":"Q1575827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6672043$DB4F5730-2167-45A2-A576-C0244EF86EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"415e1aad6a37985b7be56fd12352d0f38940dec0","datavalue":{"value":{"entity-type":"item","numeric-id":225081,"id":"Q225081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6672043$1D9E1CBB-9C08-4BC3-87F8-F392FF4A8CAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"01c8fda91d942add7e0cfd27c9eb0e6bdff75079","datavalue":{"value":{"time":"+2025-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6672043$642AAE48-3736-4E0A-B377-ACF328D34260","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6672043$BD31D731-13C7-4824-8F9D-CEE32074A1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6672043$F7129AEF-698D-43C4-BFE9-9DFDA40D507F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6672043$1FBD453F-72C0-41EC-A91B-A9480DEAB551","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c6123513bc8e9db5d47e7d8369c93bbf00a3a1b","datavalue":{"value":"7975471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6672043$23090A2E-4582-4CD6-A1CC-08F2FEA7B0FC","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":"Q6672043$18F97763-F038-4F3E-BEC7-88ADD300764F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7286f1f5877e0b295706e4dbe412de7ba5e1b4f","datavalue":{"value":"10.1007/BFB0055643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6672043$F60E93CD-AB7E-4925-AC70-6FD9D12359FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ac0293f6d7778aff62ba38b5fbd353952a34dcd","datavalue":{"value":{"entity-type":"item","numeric-id":4270073,"id":"Q4270073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9706e25571b9c21e53905b0fc16d42632107f28f","datavalue":{"value":{"amount":"+0.9044015407562256","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":"Q6672043$BD3686D8-9AA2-4388-AB90-042E49700B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5802434272bbceae626d6ff63ec1c33c6618c754","datavalue":{"value":{"entity-type":"item","numeric-id":6485866,"id":"Q6485866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3917c9eacc75bbb07de524d9ff3a545180831dfa","datavalue":{"value":{"amount":"+0.8543053269386292","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":"Q6672043$8E28B711-F0A6-4323-ABD4-5B643323A3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5427c24d015629f81f24cf668173efc6755e07c","datavalue":{"value":{"entity-type":"item","numeric-id":3510846,"id":"Q3510846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e6f2a830068b96d4faf3837d7f389591e000efc","datavalue":{"value":{"amount":"+0.8257318139076233","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":"Q6672043$7B916EDA-5FD9-4995-BD36-D67368765C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92cc3166adaf0c3bd27fde93960ccbe35930419a","datavalue":{"value":{"entity-type":"item","numeric-id":1645216,"id":"Q1645216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c791e6d7c6511fb88c26bee5c920683004bc1370","datavalue":{"value":{"amount":"+0.816890299320221","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":"Q6672043$33AE29EE-3BB9-4AA5-87B4-1C0736079B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4ab2a2800d318bfebe60af199e1e3bdd16617e0","datavalue":{"value":{"entity-type":"item","numeric-id":3176364,"id":"Q3176364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c7e3d0735ebe144060e496320e7f095a16ed873","datavalue":{"value":{"amount":"+0.8123782277107239","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":"Q6672043$7E532367-7518-4931-A967-77F53B57EA9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partial order reductions for timed systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Partial_order_reductions_for_timed_systems"}}}}}