{"entities":{"Q2200842":{"pageid":2211585,"ns":120,"title":"Item:Q2200842","lastrevid":73580475,"modified":"2026-04-14T16:31:57Z","type":"item","id":"Q2200842","labels":{"en":{"language":"en","value":"The inconsistent labelling problem of stutter-preserving partial-order reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7250953"}},"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":"Q2200842$668E3FCF-5E8C-4C9D-9FE6-EBEDD051D611","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"009545d70376ddb0d9f9561586b2248dd9acdc72","datavalue":{"value":{"text":"The inconsistent labelling problem of stutter-preserving partial-order reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2200842$BF89AC3C-F5A2-422D-9F80-A11D1300B620","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12ef13adc5cc65f411931ba770768e09313b51b1","datavalue":{"value":"10.1007/978-3-030-45231-5_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200842$6E368549-63CF-48C6-B648-80926EE92254","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d3faeb367b64965097fe92caf6b7725e1df1769","datavalue":{"value":{"entity-type":"item","numeric-id":2151273,"id":"Q2151273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200842$7945D875-1577-4F41-BC61-E85580830716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7aa02b1eb91e3ae48707cbc0221a827279d0c001","datavalue":{"value":{"entity-type":"item","numeric-id":216118,"id":"Q216118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200842$1FAD48C0-CB0D-4B33-AC22-733B9E9561D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cca7caa26c1edecee311baf10734f3d68d8795b","datavalue":{"value":{"entity-type":"item","numeric-id":960854,"id":"Q960854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200842$0C4213CD-F489-4E1A-8175-203DC1D03979","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"675a5c487b4c2f0d035548f97f026fe5d0481979","datavalue":{"value":{"time":"+2020-09-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2200842$9F2C1841-F056-4AE9-8DED-E951AE898285","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b048df5107034e6168be1adc0cb7f47ddc1c8c90","datavalue":{"value":"https://arxiv.org/abs/1910.09829","type":"string"},"datatype":"url"},"type":"statement","id":"Q2200842$5891C35B-0AC0-4D98-B9E8-F1E6FB518EBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200842$9D66C2E2-709E-4C59-A0A0-EBD6636F3933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200842$25C4474D-3A85-4967-9F74-A41BBD7467AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10d2e8cc0b304488829e0afb10e221b202b264c7","datavalue":{"value":"7250953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200842$B5D0EC92-FBD7-4566-B06D-5674DFB90B8E","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":"Q2200842$4A46AB5D-02CB-4413-AED6-99B59541961D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"787d3b6e61e21eb50de3cd4e0a85aeb97eff475c","datavalue":{"value":"W3022341879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200842$C169BBFE-F75F-46E4-B79B-BB9D2D28F2DB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200842$B70CB6A4-428A-47B2-87B2-7D7E3027B660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"826c1ae64444c11ab344db783806f6671039159d","datavalue":{"value":{"entity-type":"item","numeric-id":549692,"id":"Q549692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200842$6EA86171-116E-4631-9B0B-620EEDD28337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c003c36b1ed6d5e52c413ba8501fbc61ab9d56b1","datavalue":{"value":{"entity-type":"item","numeric-id":3605476,"id":"Q3605476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200842$CFE81FE6-0898-4ACA-A19E-B04799E42FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a317bcfeb8510bb83082f97c6af9cdf9a7b53205","datavalue":{"value":{"entity-type":"item","numeric-id":5875384,"id":"Q5875384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200842$F18B0852-A284-4B89-A176-AB5DC5045E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f5e3e4fe96435b17b55d9b31d1a0b25e8e859bf","datavalue":{"value":{"entity-type":"item","numeric-id":1854268,"id":"Q1854268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200842$AC128660-2BF0-4870-B1C2-B6DA867763D5","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":"Q2200842$B470123B-8085-4B12-AB85-0214781E2B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"747cc4de9ba2a5f1b34ac1e3a64be5300b4f97a7","datavalue":{"value":{"entity-type":"item","numeric-id":960506,"id":"Q960506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200842$A555B913-E41E-4873-84AD-DEF91972C4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58a27c1b65991418f04a8e168eb39b35db4f1425","datavalue":{"value":{"entity-type":"item","numeric-id":4507830,"id":"Q4507830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200842$1E0DFAE4-7712-4069-B79F-F51F79C28F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ec02d8b891c336785f7e10a18e41b4382dcbcc","datavalue":{"value":{"entity-type":"item","numeric-id":4037380,"id":"Q4037380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200842$F669972A-48BA-4DA9-9CAB-568BF898228E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4fdb8e4a2fdf5458b7800cfcdabf92018c2fe43","datavalue":{"value":{"entity-type":"item","numeric-id":685106,"id":"Q685106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200842$192E22C8-E199-4627-BF35-E458BE6B6CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb7557e2d89bfe8667fd8728b0beea8091e7f355","datavalue":{"value":{"entity-type":"item","numeric-id":4353636,"id":"Q4353636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200842$0736CC88-A830-4FBE-A0A3-239754F3AEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d4c65730bb3378dea2f140baafebfbe7e326c6","datavalue":{"value":{"entity-type":"item","numeric-id":4994076,"id":"Q4994076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200842$D44B88B4-8C90-470E-A0AE-97F66BE8E5E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f54df695aeb0bd048a52cf25d4dade07aeb0e90","datavalue":{"value":{"entity-type":"item","numeric-id":1774568,"id":"Q1774568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200842$9582C095-87FA-4EA1-A7EA-3D55B771D7D1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b6d75b4584cb22afa3aebeb7f40004a933c895e8","datavalue":{"value":"Q109594181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200842$D0609B37-A838-4203-B831-919A4E75DFC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c4e4ba24aece6c4f0dab6f68350f9271b5673ac","datavalue":{"value":{"entity-type":"item","numeric-id":5155669,"id":"Q5155669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b8d493df2faf1d27f81307351b6584bf7645872","datavalue":{"value":{"amount":"+0.9700947403907776","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":"Q2200842$27C28173-9EC2-4A46-BE40-7C0B14C34E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cc8cd5c127e7733b14c09d2ad6aac1ddf14edd1","datavalue":{"value":{"entity-type":"item","numeric-id":4994076,"id":"Q4994076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57e4580d6f1d8a885bc9aef2fa777e27dab99060","datavalue":{"value":{"amount":"+0.7772250771522522","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":"Q2200842$BF1787BA-1F90-4DD3-A5BB-73D761D105F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dfd500e757656cbaae12fc33a698cadd23c8bf4","datavalue":{"value":{"entity-type":"item","numeric-id":1708713,"id":"Q1708713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a571df36f66b3668746b5469b482b26a417edf57","datavalue":{"value":{"amount":"+0.763572096824646","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":"Q2200842$C66C297E-BFF7-4854-8760-89666B1AFB2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5649ca7f734a3eb425d03fcd519d8c1a50429d8c","datavalue":{"value":{"entity-type":"item","numeric-id":6194961,"id":"Q6194961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77da1a7657730fd9b68d549512db7661c81e615e","datavalue":{"value":{"amount":"+0.7615508437156677","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":"Q2200842$D9744BEF-0487-4084-8B38-5C63B845A688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1567c150d5c328362fa83ae30d300d06a7f6375c","datavalue":{"value":{"entity-type":"item","numeric-id":6132490,"id":"Q6132490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d933d092c8aa7cea416824e7e936d9a4fd715202","datavalue":{"value":{"amount":"+0.75846928358078","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":"Q2200842$B4F4128C-EF0B-44CC-B505-D7A5E1ACF52C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200842$3710A228-BEE6-48CE-B9E5-9C00EA19DFFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The inconsistent labelling problem of stutter-preserving partial-order reduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_inconsistent_labelling_problem_of_stutter-preserving_partial-order_reduction"}}}}}