{"entities":{"Q5155669":{"pageid":7185240,"ns":120,"title":"Item:Q5155669","lastrevid":55390936,"modified":"2026-02-17T15:19:29Z","type":"item","id":"Q5155669","labels":{"en":{"language":"en","value":"A detailed account of the inconsistent labelling problem of stutter-preserving partial-order reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7407780"}},"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":"Q5155669$5E82A1A8-EAE3-4CEF-B9B1-5407F5DF75B7","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":"Q5155669$76A4B8D4-D893-4FE7-9835-67C3A563D3F8","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":"Q5155669$1F9B7A8A-6F88-4C84-999C-799A65332794","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":"Q5155669$C9C2A1F2-D058-4DF7-9794-3414B3DFBE0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de933dbe9097032f43430008ac1661f561c682fa","datavalue":{"value":{"time":"+2021-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5155669$F4B09C28-235E-44EF-A848-350FCF8596DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f0d9289ee3bedb98c3f40a3b02c7a47d29a0a2e","datavalue":{"value":"https://arxiv.org/abs/2012.15704","type":"string"},"datatype":"url"},"type":"statement","id":"Q5155669$224B38A0-2773-4316-9502-54AD55030AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"17cd71d565b732481befead0a5c06adfc697f077","datavalue":{"value":"https://lmcs.episciences.org/7709","type":"string"},"datatype":"url"},"type":"statement","id":"Q5155669$AEF44D68-3FE9-4804-87F6-C8B87E52320F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5155669$DCD42CE8-681B-4C30-971F-D12A08A6EBC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5155669$1130EE1B-88B1-4DAC-ABF6-98FB78A6D62A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d29713ef2ece539aba0652b4eebf941e6818114b","datavalue":{"value":"7407780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5155669$936031C6-7003-41CB-A854-95A4F4B63DE8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dc3d3e3e0085575e218b579cce7695cbe5b28b4","datavalue":{"value":"partial-order reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5155669$984F0567-6F14-464F-BE51-4870EE94ED4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82c4e894e17575cea01a2cf628574b397341461","datavalue":{"value":"stutter equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5155669$6F5A8FE8-EAE7-4A5E-920C-233833DC40BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5155669$3BED2216-8E9F-45CC-B8A9-BEE47608D1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f19fe9e377e8d6b1ee639b4794c9951e1b722e60","datavalue":{"value":"stubborn sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5155669$2DBE3314-3E8C-4D9F-9A12-77A532D2CCBF","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":"Q5155669$B7401E5A-DCB0-4E8C-AD31-C6D72FCB6106","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c825eb2c6f589583c25ad9727c22d018076dcbfc","datavalue":{"value":{"entity-type":"item","numeric-id":5856425,"id":"Q5856425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155669$EBF78C7F-7D0F-4361-84F4-8DC39309F2CE","rank":"normal"},{"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":"Q5155669$31A12528-3116-4881-93C8-0A6D90FF9FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae0c538ddaf593c8249964177668580336b055e","datavalue":{"value":{"entity-type":"item","numeric-id":736463,"id":"Q736463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155669$CFE1C747-FF14-4E14-94CB-726C06CF2622","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":"Q5155669$980D7E2B-BCF8-4C32-BF5C-6086B19DEF08","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":"Q5155669$D8380EEA-0CAC-4A59-842F-13E0D847C1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59206caca0527c0ec1e6db6375122cd411f75168","datavalue":{"value":{"entity-type":"item","numeric-id":2200842,"id":"Q2200842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155669$A3CF3488-77C9-428E-A8AD-1E4CCE26BB1C","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":"Q5155669$6DECB804-690D-44F7-B1C1-DF2373DEB071","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":"Q5155669$C73509E2-031C-4242-8893-8B57E86EF08C","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":"Q5155669$67DBA00D-1071-42A8-A081-DFBF79E09A15","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":"Q5155669$B8B84665-9407-4C78-9263-2D52CDD0997B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0d0b075bda0d0026cd43113081ee7bfd1508dac","datavalue":{"value":{"entity-type":"item","numeric-id":4633153,"id":"Q4633153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155669$DBAF5D9A-923B-49FE-94CB-1D8CCC533B0A","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":"Q5155669$28B2000B-9869-4734-B644-B184CBC713EC","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":"Q5155669$F9E6431E-ADEF-41E0-9842-CBB45599D1D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"778dabf40161fb637eb51afc8a5b34ca366fd410","datavalue":{"value":{"entity-type":"item","numeric-id":3225722,"id":"Q3225722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155669$EEEA4277-BBA5-487D-A6D7-D8F35910358A","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":"Q5155669$9479DD35-174C-4320-AB4A-A91342D0274D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9676dff4fcc16dc19f09736c85d6c029ac963cc4","datavalue":{"value":{"entity-type":"item","numeric-id":2200842,"id":"Q2200842"},"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":"Q5155669$B3F24322-9DFA-4D25-A0D0-5BB8E1AED4D6","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":"71ecca20a3e07046a93713eceb15a7a7349a4ae2","datavalue":{"value":{"amount":"+0.7356452345848083","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":"Q5155669$5DD6D506-FFE7-4BAE-8020-A7F3B232EA85","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":"0196bc36a7cea20eaedb5fd989750d0a961a8044","datavalue":{"value":{"amount":"+0.734603226184845","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":"Q5155669$66ACF709-A701-42FA-8D7D-36FD22E2B2EA","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":"cc60c80d78b030cd2b80ed2706f08b3e1a8085e8","datavalue":{"value":{"amount":"+0.7335852384567261","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":"Q5155669$B979C9F0-3E5D-415F-A3D9-AFFF6CA828C5","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":"7cd582c5052a19f28fcec6dcf2e39f57d8fdb8ff","datavalue":{"value":{"amount":"+0.7326178550720215","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":"Q5155669$CA631901-B654-4057-857C-CB8CB4B307E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5155669","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5155669"}}}}}