{"entities":{"Q5090942":{"pageid":7120518,"ns":120,"title":"Item:Q5090942","lastrevid":55416646,"modified":"2026-02-17T15:58:26Z","type":"item","id":"Q5090942","labels":{"en":{"language":"en","value":"The Cayley-graph of the queue monoid: logic and decidability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7561314"}},"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":"Q5090942$C04DEFCC-9A86-4E27-8029-FC530AE525A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"389ab880a6d5a6806dd7819810d406acf6b74878","datavalue":{"value":{"entity-type":"item","numeric-id":5079722,"id":"Q5079722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090942$7E87F7F4-76DC-4942-90BE-DF9EE2E0AF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"415a4d08294d054168d31f6e0206d74f4883588a","datavalue":{"value":{"entity-type":"item","numeric-id":825975,"id":"Q825975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090942$656B0BAB-CAF5-40E9-AEB8-CF1B483965B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ae3e014d42c3e727189349ca8167d2ae32144d1","datavalue":{"value":{"time":"+2022-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5090942$504500FC-E5A8-4473-A22D-7F1D190AC191","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090942$0DCB9CB8-F713-47D6-BDB8-78C2B10D6FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090942$54E9FC7D-2B86-405A-8715-502ECF2FDEED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45c2f29e7877b185a5f70b2909fc3a203935e292","datavalue":{"value":"7561314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090942$07979213-37D6-4A71-88A2-6D28ED4DDE7E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"346d2cc3a657c4d33b736000a1ae6fcc72e0e172","datavalue":{"value":"queues","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090942$450FF131-07CC-41DC-B69C-A5902C31801E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47a8d210c28298f072c89a49cfe46d235cb79e21","datavalue":{"value":"transformation monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090942$3C6B03B4-E6A4-4727-B668-E9CFE0AA7BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a45400ccdf1bc127530ce3abf1937ee4a442dcb","datavalue":{"value":"Cayley-graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090942$2590F82A-851D-4456-A7E2-3FD0FBCBC978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090942$4CD70F18-BFAB-4009-813F-D599F92E867B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"263805638d1e63a79a3c591e1ad14e8148fe9595","datavalue":{"value":"first-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090942$81E16D78-0D4F-45BD-9539-3F35C00311E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08d2380091bfee1f490f0f7535a878da6259568c","datavalue":{"value":"MSO theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090942$B05E4264-BEB2-4685-8FBD-6AC85559680D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090942$3B5F8704-D69D-42B2-B799-11DAF11B6277","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":"Q5090942$BE74C025-AD56-4E86-AC81-AB9B27FA2F0F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca640f3efd730e5f875de06c5db75843c006cff","datavalue":{"value":{"entity-type":"item","numeric-id":1923094,"id":"Q1923094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090942$35E8B345-4550-4C0D-B6BE-5A7369DBB2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e5c626aad4a96137be71c5e456d400a7c480ece","datavalue":{"value":{"entity-type":"item","numeric-id":5394322,"id":"Q5394322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090942$EAB154A3-758F-4D9A-961C-F1156D306194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a05f05f61b46a8fd8bda9fb47a75f81f498f2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090942$AAB689EE-F306-4645-9EC2-CA688F9243FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda3489b46b03cce2e2d044b296bd7198c95bbca","datavalue":{"value":{"entity-type":"item","numeric-id":4003861,"id":"Q4003861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090942$F09FC420-92F9-427F-9FFC-0724EE1C5E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e1cd4c2e45e61ad45ad2f7a29f6c1dd31ffaa91","datavalue":{"value":{"entity-type":"item","numeric-id":1908353,"id":"Q1908353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090942$706A4D9C-F5ED-4734-9AF2-E428A8A3ED3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd46d63cca6d479503c2f0b1a4de79c3d819867","datavalue":{"value":{"entity-type":"item","numeric-id":5431325,"id":"Q5431325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090942$801661EC-04BB-42DB-83E5-68725587E720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668a8637c081f79751e1e57f52557e1f7bc7f98a","datavalue":{"value":{"entity-type":"item","numeric-id":3274971,"id":"Q3274971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090942$9476CF1F-BC98-4089-9352-BAA1334E416B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29035f06020bdf6a821f5c6e4a2fac381017baf3","datavalue":{"value":{"entity-type":"item","numeric-id":1256445,"id":"Q1256445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090942$9733BC23-9EAF-4A73-B1BF-F56355DCFB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adb7d5ef3eb356038217081da936504becb73708","datavalue":{"value":{"entity-type":"item","numeric-id":3230355,"id":"Q3230355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090942$D339A19D-C914-4CE0-8C8E-A83A1A002FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"248bde3a394bd4daef7ad3a4739df78b9e4b1b1a","datavalue":{"value":{"entity-type":"item","numeric-id":703863,"id":"Q703863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090942$E6E32A5B-2D70-45F9-A387-2B9D3B20EAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d376930c2f07bcbbb720ef55c807a9c9473d26bd","datavalue":{"value":{"entity-type":"item","numeric-id":2649409,"id":"Q2649409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090942$18F9CFDD-0DAB-459A-BACD-F636B82A8B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46489bdb74fb3bb340e7eb1f078967c9c0bebd3e","datavalue":{"value":{"entity-type":"item","numeric-id":5892062,"id":"Q5892062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090942$B753FB74-8DA9-4DA7-BDAF-69E7CEB9AEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdbc2b5bb9c12e6e4ddd753ca72083152d9eea0d","datavalue":{"value":{"entity-type":"item","numeric-id":1702520,"id":"Q1702520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090942$7594387A-2DB5-4E83-A8F8-98C93726FF80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95c7770f1883759617e816b84cb036f51ed6dd3b","datavalue":{"value":{"entity-type":"item","numeric-id":3618533,"id":"Q3618533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090942$9DB54B26-0E87-4B9B-98E9-921896FECC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf7322429310c9852f7a50e4117862da2ee8b7af","datavalue":{"value":{"entity-type":"item","numeric-id":2016098,"id":"Q2016098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090942$2A1B1A1B-7828-44C8-9FC8-B91BAC9AED24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a90b1233f82de64a80906a2f3929c074bde3e85","datavalue":{"value":{"entity-type":"item","numeric-id":4850551,"id":"Q4850551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090942$9537AB6B-4C4A-416B-8D3C-F2FAD9CC795B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa033103b265f84c580242a00fdf018305d1a8a0","datavalue":{"value":{"entity-type":"item","numeric-id":3304144,"id":"Q3304144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090942$49F1BB28-C55C-4AC5-ADC4-B5ECD80A635C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"985f1883e3a62c71db990306806375a386f0622c","datavalue":{"value":{"entity-type":"item","numeric-id":4553833,"id":"Q4553833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090942$0BF377DC-AE1B-4142-BA61-7892B806B430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ef16dd25e8a5a711d3d257a91badb994fac452d","datavalue":{"value":{"entity-type":"item","numeric-id":705541,"id":"Q705541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090942$29696072-D3E0-4E8C-9CF2-9631B2D8D0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d6e99e7e45aa90d919ae581d7da79a658abfc32","datavalue":{"value":{"entity-type":"item","numeric-id":5483463,"id":"Q5483463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090942$5DEF688A-8C52-401E-BF2B-7FFF0F3A071E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55572c77aaa8c86e80caace119f77a021af010a5","datavalue":{"value":{"entity-type":"item","numeric-id":3107359,"id":"Q3107359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090942$DB3C90F6-3B8E-458E-A6A5-A0D5352446A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d51a7d8068271239355553a1d0908771fdd46aff","datavalue":{"value":{"entity-type":"item","numeric-id":4708602,"id":"Q4708602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090942$F7787DAE-BFFD-4C66-8779-B944A323F79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd06688d0a2118d72cedd0d86de5ca69bef5bfd","datavalue":{"value":{"entity-type":"item","numeric-id":1084096,"id":"Q1084096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090942$879085AA-E825-4667-9670-FDFD4EA663E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef0f89b3d4848285d16b9f024f89d4a5e76a218","datavalue":{"value":{"entity-type":"item","numeric-id":799684,"id":"Q799684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090942$BA46AE53-1A5A-4DEA-8D0D-B940F9E578C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43e8120c912862c576a3856d36dc5b5adf27d5c0","datavalue":{"value":{"entity-type":"item","numeric-id":3777490,"id":"Q3777490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090942$B6BECBC7-407E-4B0D-8B1E-4868383F9419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1d994db7c4e27dfd9c5271d26b11f2863b4eccb","datavalue":{"value":{"entity-type":"item","numeric-id":810005,"id":"Q810005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090942$0F338257-FFF5-434D-9A03-A6D36AC4ECBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090942$915E3CB1-789F-488A-BDD7-E51AC5569149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a36578245b2d3613840d72980ba074a3359ffd8","datavalue":{"value":{"entity-type":"item","numeric-id":6488537,"id":"Q6488537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090942$BB2971D3-C693-46FE-9A4C-856F97EA5769","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae3d3428b1467152b6423cec0b4ea90f27aeaa7f","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2018.9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090942$C9A1775D-D62A-4A40-B16C-6559B431B7A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"817df0a68f345ddf077fca8f76866c73b97894c6","datavalue":{"value":{"entity-type":"item","numeric-id":5483463,"id":"Q5483463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0f876df353c9ae05c14b16a290cee185539d49d","datavalue":{"value":{"amount":"+0.850921094417572","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":"Q5090942$B45ED4CB-B614-4320-AB50-8D60D9C923F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62af9b0c8ca1074c2c55d1db5bb967fa33fa3c61","datavalue":{"value":{"entity-type":"item","numeric-id":4418673,"id":"Q4418673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99441b99239c4ec68dcece3a0910f9102b602db0","datavalue":{"value":{"amount":"+0.8045376539230347","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":"Q5090942$5C495560-6EAC-4BEA-84DA-521F846B433A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7243928d3ff3b8ec49e863376d6adc778c7bebbf","datavalue":{"value":{"entity-type":"item","numeric-id":705541,"id":"Q705541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eae9c9bc1bb234f43e3b1207b300952d6de72f1e","datavalue":{"value":{"amount":"+0.7808951735496521","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":"Q5090942$CEE83FB9-D4C6-4C00-B92C-82FA825187FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20c4e56613e9a991bb7801af04241e378ce32cec","datavalue":{"value":{"entity-type":"item","numeric-id":5711964,"id":"Q5711964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"842b53854aa2b23ecc0c080f254236f4ca240de3","datavalue":{"value":{"amount":"+0.7476209998130798","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":"Q5090942$4EAA1CC8-975A-4FF9-8E9D-9492D5155876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c99388f84a31969a06b321a167afa280c97f3ab3","datavalue":{"value":{"entity-type":"item","numeric-id":5462671,"id":"Q5462671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"961e32fd776d78f8b8e9e244763e4c72d6bb3282","datavalue":{"value":{"amount":"+0.7465280294418335","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":"Q5090942$B42E9413-E20A-4FE5-9297-021AFFA42E7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5090942","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5090942"}}}}}