{"entities":{"Q1854540":{"pageid":1865282,"ns":120,"title":"Item:Q1854540","lastrevid":73667046,"modified":"2026-04-14T16:50:50Z","type":"item","id":"Q1854540","labels":{"en":{"language":"en","value":"The star problem and the finite power property in trace monoids: Reductions beyond C4"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853269"}},"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":"Q1854540$961BAFED-33C1-407B-AC23-824A3C3DEB90","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ccf73f41bf9eac50337c0b8cdd5a687d5e73ee82","datavalue":{"value":{"text":"The star problem and the finite power property in trace monoids: Reductions beyond C4","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854540$98C29424-8C6F-483F-8AA7-E94E951BB843","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"555dfef5cddd91de6adda82cc51881f19f793950","datavalue":{"value":"1012.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854540$E1CC4897-E746-4DA0-8CBC-2195E39BBCBB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8c155b7b7d07521bbb2d9559c889bedb2148fa7","datavalue":{"value":{"entity-type":"item","numeric-id":764363,"id":"Q764363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854540$CDCEF983-1452-49F3-9895-081B2CAE344E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854540$85C88A22-4346-4793-AE90-A4A57C584EF9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1854540$E6F3B3CE-BA06-4CF1-9393-CC5D96713B6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854540$B7E4C12B-670E-4682-8203-F0D9E77FE146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854540$0F20004B-7AD8-4111-89D3-670929FD7D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854540$38C71DEC-3DAB-4E22-A5C1-9A230CA7C2D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"078203856aceb02a540f33c9ab8a979ecd868a49","datavalue":{"value":"1853269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854540$41E5AE83-B695-4D0F-B257-B3C72FCA256C","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":"Q1854540$024AB1A2-5927-452E-B7AD-3510E750C97C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"067081564e710880aa075dda91922abf4d1369f7","datavalue":{"value":"https://doi.org/10.1006/inco.2002.3152","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854540$EA881B22-BA71-49EA-BB06-3313978F5D69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f0cede4a62d9f67d00b4ec8e77f7065b6d5ae57b","datavalue":{"value":"W2055206684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854540$FBA7728B-EA0A-410C-90DD-E39C5BA7B5D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3632afaf7c9124694de853efafd5cd84e2a50881","datavalue":{"value":{"entity-type":"item","numeric-id":3859267,"id":"Q3859267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854540$ACF80BEC-20BF-4086-819C-2B7E6BAE8F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2321ffc17406524f453e4fee8339197a12bf2512","datavalue":{"value":{"entity-type":"item","numeric-id":2536784,"id":"Q2536784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854540$60100176-124B-45D1-93B0-1009D8BD9C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88281eb7099eaed3d92cf5fa2bdd7db821ed6765","datavalue":{"value":{"entity-type":"item","numeric-id":1094144,"id":"Q1094144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854540$80E7BCE8-E9DD-4233-AC54-653FD7A6CE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b31a52389be07054ca875395c649c7b29fc713","datavalue":{"value":{"entity-type":"item","numeric-id":3736919,"id":"Q3736919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854540$E1B4B0FB-F2E3-45C7-AD6E-FB3785A36F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a056cdf2f4e27d525be136f737c25aa515d56e1","datavalue":{"value":{"entity-type":"item","numeric-id":1099643,"id":"Q1099643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854540$73211763-484E-4A91-8DF8-BB43A523988F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854540$E98D60A6-061B-42BA-942F-C23B824C9BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c6010bd4918b1124375dcc71313be05de8ee960","datavalue":{"value":{"entity-type":"item","numeric-id":1221071,"id":"Q1221071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854540$9602F891-0158-4D34-AA61-E175D92F41B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddae5d3bc6dc5bd9668da80bae58b540dea06612","datavalue":{"value":{"entity-type":"item","numeric-id":1201865,"id":"Q1201865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854540$E47DABCF-1064-4379-B998-4F6A7596806E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f1c3c4ea4a388fc55b35b4656b5fa305b149b6","datavalue":{"value":{"entity-type":"item","numeric-id":5525345,"id":"Q5525345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854540$4709167E-DF72-4047-AA79-94E2EB810D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18cf1df53bd1a33a2ed3a22525f69d2d43c7efb9","datavalue":{"value":{"entity-type":"item","numeric-id":2523032,"id":"Q2523032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854540$544B1C98-CCCB-49BF-A69A-F0885FD65B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7561d63cc1ed975cf5fbe56193dbf7616e1f47f0","datavalue":{"value":{"entity-type":"item","numeric-id":1132636,"id":"Q1132636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854540$6992477D-1167-4D09-8824-6F9AA977C2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fbfdca392ac129cd123314b3de850e5f085633e","datavalue":{"value":{"entity-type":"item","numeric-id":1392032,"id":"Q1392032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854540$88F10609-DD0D-4220-9047-6820E2BADE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e30f52a5921dd31a179d80cde555a8a46f5b0587","datavalue":{"value":{"entity-type":"item","numeric-id":4938641,"id":"Q4938641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854540$4AB89D45-7E05-43E4-8841-A44A86A3FD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1e0250b681c47ed44e7016c12282f96042c8cf2","datavalue":{"value":{"entity-type":"item","numeric-id":5945722,"id":"Q5945722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854540$815CB4CA-23E9-4DEB-8FA1-EF725ACCD6C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94d15c9599e86479780580d728ae5cdf4fc2d51b","datavalue":{"value":{"entity-type":"item","numeric-id":4376064,"id":"Q4376064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854540$14AA3A84-AB10-4F6F-B5D7-64F77D0A1639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11257ad52497755f579ea680074f1784ed1f74c7","datavalue":{"value":{"entity-type":"item","numeric-id":3734730,"id":"Q3734730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854540$5182DE4B-2AD5-4FD3-B323-DC422E58E9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa7a28d9b8e791359190902b69a9849b952ae1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1893738,"id":"Q1893738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854540$38627F0A-038D-429C-AF52-AC725134EEA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"970a6a3feae9d45f8269510e98d0c4c3a340ba74","datavalue":{"value":{"entity-type":"item","numeric-id":5536635,"id":"Q5536635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854540$021084DD-C102-42D7-BAF8-AE963EB1F233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1d1cd2f3fdb647a943fbadd4b89ab7d77358f30","datavalue":{"value":{"entity-type":"item","numeric-id":2769439,"id":"Q2769439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854540$D99CFA5A-6BC8-4CEC-8281-62638722EE62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989db8f2396fc42f0817a312d8ace4cff2b6a610","datavalue":{"value":{"entity-type":"item","numeric-id":3971351,"id":"Q3971351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854540$B16762F9-8FF3-498C-BC09-6AF1C757EF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbc9b7650c72ade0072e0b428422e7f6acf19546","datavalue":{"value":{"entity-type":"item","numeric-id":4288286,"id":"Q4288286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854540$590E4E5F-B4AC-4061-9BD4-A657EDE3057B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41aea8db28593f619d422771a206ff02998b52e3","datavalue":{"value":"10.1006/INCO.2002.3152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854540$7990A7F5-80C1-43D5-8E23-0BB2A2A42E45","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e82175d1aee3000cb44ad9f976a7794e3800af6b","datavalue":{"value":{"entity-type":"item","numeric-id":4535050,"id":"Q4535050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08499d512d765e659506ef7ae228c5ea1e400317","datavalue":{"value":{"amount":"+0.9784098863601683","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":"Q1854540$F8BEF645-29F2-47C9-BF9A-E20353A99C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76f793bc1acf38a26b47e93152de6a39eddc55a7","datavalue":{"value":{"entity-type":"item","numeric-id":5945722,"id":"Q5945722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"518ad9bbcd7091ab6f01ed9bd35d518180d60095","datavalue":{"value":{"amount":"+0.9522802233695984","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":"Q1854540$5649E579-42D8-4F0E-A745-4305F1644817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4839037efd95f57dc2c0b0cd6b92a63782d2e9b","datavalue":{"value":{"entity-type":"item","numeric-id":4251054,"id":"Q4251054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"518ad9bbcd7091ab6f01ed9bd35d518180d60095","datavalue":{"value":{"amount":"+0.9522802233695984","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":"Q1854540$EC783C8E-65BF-45C6-857B-610820005C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4be36ff556e1fde051964da9555198b5e271f9c1","datavalue":{"value":{"entity-type":"item","numeric-id":5096916,"id":"Q5096916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"942505b3823fef7212ae1fa59b28c33fb1f40ccf","datavalue":{"value":{"amount":"+0.9174771308898926","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":"Q1854540$14796D86-F7C8-4805-BF9F-0BC6D85447C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e0ee16b3c662e9daf1cd29b24ff58f567e0dd33","datavalue":{"value":{"entity-type":"item","numeric-id":4938641,"id":"Q4938641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6a1aaf67ebf7f2a19a7f535f1c6d7f9a3da260c","datavalue":{"value":{"amount":"+0.9074012637138368","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":"Q1854540$E300517C-3D6E-49D8-8915-52DF6D4D5E9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The star problem and the finite power property in trace monoids: Reductions beyond C4","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_star_problem_and_the_finite_power_property_in_trace_monoids:_Reductions_beyond_C4"}}}}}