{"entities":{"Q5009440":{"pageid":7039017,"ns":120,"title":"Item:Q5009440","lastrevid":91274531,"modified":"2026-06-04T22:44:02Z","type":"item","id":"Q5009440","labels":{"en":{"language":"en","value":"A coalgebraic take on regular and \\(\\omega\\)-regular behaviour for systems with internal moves"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7378569"}},"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":"Q5009440$331A4F64-40B6-4B8A-AF4B-2E748BCC43A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09e53d9c503aecdbbddb8e33b24fad81735f2bbc","datavalue":{"value":{"entity-type":"item","numeric-id":535112,"id":"Q535112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009440$5CA2AF26-9FFB-4149-A792-F1E6A0467D10","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6f25f924676185979ab6f246b476dde833797f44","datavalue":{"value":{"time":"+2021-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5009440$5FCE5D3E-69F6-4B73-98CF-6C54F5A8BDE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5009440$B8995BC8-5C45-4E84-9924-B6A75B7236F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b86d3d1ec46ad2929df5c2485500e77dae86309","datavalue":{"value":"7378569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5009440$B60A16B8-1CAB-40F5-815E-189EAC122998","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbfdeabc9d9c8d23822e01288875f022a98a7da0","datavalue":{"value":"coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009440$FD19A802-FCDF-4879-9E1F-B74A916B2E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009440$998ED5C4-0019-4997-B085-555E6D6E7758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbc0f1ec59b58214f1264b3db5f9e3b9a793b227","datavalue":{"value":"omega regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009440$1D8C3248-EC35-451A-BE71-C3FE9CF09B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009440$FBC49817-3D91-45A2-BD05-CF4AE1D0AA33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009440$3DC7F0F0-6CEB-4068-AFD2-3D0320D60A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcec355b6af350573e56ca96e093fc083554c280","datavalue":{"value":"silent moves","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009440$71E88C87-A3FA-461E-982C-539642521330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee4cfecdf333f7af9bf7416c972ca8513408dd1e","datavalue":{"value":"internal moves","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009440$6C88EE0D-8E5F-4155-9B92-24BFEF7DD0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a236a4a9881a761a93f593b6fc0a0e9903a99925","datavalue":{"value":"monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009440$394CF237-2B3A-4AAE-B0BE-0A3A292E79FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6739fba16acf61162defd709061e3d3f6a05da4","datavalue":{"value":"saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009440$03BD5427-549C-4343-9B56-9F11E79AB0ED","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":"Q5009440$A7DA61B6-150F-4E2C-9186-263E396A0273","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"332ae43baf396b12b656a747059711de2cb204ad","datavalue":{"value":{"entity-type":"item","numeric-id":2921116,"id":"Q2921116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009440$985182C1-FF17-4B4D-9100-E1AFB83CE95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8691f8690d7a59e388f25e1256663fb561c5ccd8","datavalue":{"value":{"entity-type":"item","numeric-id":5395674,"id":"Q5395674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009440$4D89C310-D1E5-4515-93A3-3C1A4172BC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"129c81f86b6d0c323db7ec7d9bfcdb274c4c975b","datavalue":{"value":{"entity-type":"item","numeric-id":5579535,"id":"Q5579535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009440$D5FEB2BF-D5A2-4D82-BAE1-64F7B5D9A7DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1e80d2e449e5eeaf6b04fce2b236d56d3769e0","datavalue":{"value":{"entity-type":"item","numeric-id":5287508,"id":"Q5287508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009440$426C6596-149B-4FBB-B3D3-D6A2BD27F0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1a41600084c868c2f2e1a966257db21d5f3088","datavalue":{"value":{"entity-type":"item","numeric-id":890383,"id":"Q890383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009440$8F668163-3EAC-4989-A4C4-8993B5812946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"163768ea73662df33433a24d8627d4b1aa2a9391","datavalue":{"value":{"entity-type":"item","numeric-id":2942776,"id":"Q2942776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009440$6D86ACDD-0BA4-4281-84E2-04402A1222A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ce4bae12e9ae11dcf15ab7a4c4770ec16d01235","datavalue":{"value":{"entity-type":"item","numeric-id":2941763,"id":"Q2941763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009440$2282C20E-7C10-47E9-AD99-B72CB7F6A582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f0f7f73f6d9dc767a83384ac84831a61bd07750","datavalue":{"value":{"entity-type":"item","numeric-id":890618,"id":"Q890618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009440$57E6A729-230A-49C3-8BBF-97255ED9D2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe5fdd326346025099b18198d61ee8283fe662e","datavalue":{"value":{"entity-type":"item","numeric-id":4608678,"id":"Q4608678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009440$90B4F83B-8042-4C4E-A104-7D9E552E55BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f9ce96435d755f2b38f131bf8d1dd953193a546","datavalue":{"value":{"entity-type":"item","numeric-id":2914678,"id":"Q2914678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009440$059AAB96-6FD8-4481-9AD0-753CD9E19BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0cd44f601ba703e6f92fda95d964258e3710c38","datavalue":{"value":{"entity-type":"item","numeric-id":2919451,"id":"Q2919451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009440$A67835F6-B4B4-47C5-A125-4329BE1C2039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64c45afa59ab94a1c04fe06a95306ca413f00511","datavalue":{"value":{"entity-type":"item","numeric-id":3642535,"id":"Q3642535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009440$CC5BA9DD-2896-49E0-85EF-56F2CDB9D2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43da7df62bf12e2b4996a86236042fa4b43e15b","datavalue":{"value":{"entity-type":"item","numeric-id":3003472,"id":"Q3003472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009440$E5FC4BD2-43CC-4515-AB2E-76A246A73995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de5d5131114d7111773aae11c92df088aab0f10a","datavalue":{"value":{"entity-type":"item","numeric-id":4662830,"id":"Q4662830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009440$A221CB59-409E-4FC3-AB38-60069AA827CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"006f528210e850bdd5dbcf0e2a7f6892b9bcd9cc","datavalue":{"value":{"entity-type":"item","numeric-id":5167838,"id":"Q5167838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009440$8755D491-981F-4A7C-818A-CDE1FF86486E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009440$B1CA5E64-370A-47FF-B2C0-422D1B59D406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72aa0a961c18435f164afb4f6b68b2d2e123d3e7","datavalue":{"value":{"entity-type":"item","numeric-id":5492822,"id":"Q5492822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009440$37375B63-B903-45F4-886D-87157B4DFB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aad736adcd55bbf0ec8541ba51328d0f17e2cbc","datavalue":{"value":{"entity-type":"item","numeric-id":5756612,"id":"Q5756612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009440$C5868758-B4DE-4606-A2D4-4AD60C34620D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c240698aed86550f2448737e4b38388d08f8200","datavalue":{"value":{"entity-type":"item","numeric-id":5453504,"id":"Q5453504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009440$425F56C5-4524-43E1-B9C2-3EF8C090E9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"946b62dff16e0de007abc5492670d01807475a28","datavalue":{"value":{"entity-type":"item","numeric-id":2864158,"id":"Q2864158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009440$708833B8-49F4-485F-A5D4-3E19E3C2D219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee4b392a083ae5ce978518afd88a9b7efc82696","datavalue":{"value":{"entity-type":"item","numeric-id":2847813,"id":"Q2847813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009440$250074B2-76EA-481C-AA98-B7FA6EFEF8ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d144a9be5e1891d6b0148c83a08f542b6499831","datavalue":{"value":{"entity-type":"item","numeric-id":2873666,"id":"Q2873666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009440$609F30B5-3FA8-4FB7-952D-143979C2A69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"646653f65fac9c4cb44cd008cf9f56b023753571","datavalue":{"value":{"entity-type":"item","numeric-id":2914679,"id":"Q2914679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009440$FB59A18D-A738-4E9F-91F0-E71822EF0077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009440$F2C05E87-05C6-4BB6-8314-411F75BACDA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009440$DF386328-3A0B-4692-9570-4EFED2857025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009440$DD98A67F-79D0-4BAE-BA79-9729D235038B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009440$CDFE747B-F60A-414E-8058-8F8438E235BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcad196cde92ff58f605cb0c7899249dd4df74ca","datavalue":{"value":{"entity-type":"item","numeric-id":5317419,"id":"Q5317419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009440$2063DEC7-3AE5-4533-8448-3A8EB398F8CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009440$D42C1CC5-555A-4778-B955-83B35A6CDAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77d64e7f539e047c27a592447af8209df21acffd","datavalue":{"value":{"entity-type":"item","numeric-id":5361452,"id":"Q5361452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009440$2B71A612-227D-463D-8BDA-B7048EDF395C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076100eee5d25782e29f49609d41790dc5c67318","datavalue":{"value":{"entity-type":"item","numeric-id":4847023,"id":"Q4847023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009440$13CACCDF-D74A-4F24-96F5-01731C7694C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0dc6be0dcd23c8545d4f262267ed68419f527e6","datavalue":{"value":{"entity-type":"item","numeric-id":2848955,"id":"Q2848955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009440$EF82C64B-250D-4220-844C-443B1F9E299C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bdfa0679eb21d8f4ece41fd817cf1fe86fad57b","datavalue":{"value":{"entity-type":"item","numeric-id":4608676,"id":"Q4608676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009440$B7ACD65E-7E6B-4887-B288-2F4B6F761017","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3a42160ab399f32e4b8231ec35d4c03ba95176b","datavalue":{"value":"10.4230/LIPICS.CONCUR.2018.25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5009440$BE26A2BF-A4BE-4A45-B362-99731B2375A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c8af9722e8159a2b5f9c5fd38e64c2f84b1a153","datavalue":{"value":{"entity-type":"item","numeric-id":2942776,"id":"Q2942776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c16da3dad74f27c574fd7e8e8681e4e1e325ad3","datavalue":{"value":{"amount":"+0.8040573596954346","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":"Q5009440$6829A837-6D97-4F19-8A88-FEDAE7A6E44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea47ba968525800d4cb78ae54ec787bf8b92dd41","datavalue":{"value":{"entity-type":"item","numeric-id":4608676,"id":"Q4608676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ded38bbbe8f066109a75f1d53405e1c0142f170d","datavalue":{"value":{"amount":"+0.7490367293357849","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":"Q5009440$E5BF3BC2-57EE-437B-A543-70FAA8CF9BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76b30f1d4fb2b7b0bf502328b2fca5ceeed6781a","datavalue":{"value":{"entity-type":"item","numeric-id":2786140,"id":"Q2786140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"245ab66376445cc1239e1eff972eb9108549c042","datavalue":{"value":{"amount":"+0.7469384074211121","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":"Q5009440$28A725F9-83D5-4BB0-AC5E-173E8807C148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"718c83b9f24d5958d5bfbd8b261d4d8fb8ef1f82","datavalue":{"value":{"entity-type":"item","numeric-id":2914678,"id":"Q2914678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90c0ca27286c64ae578e38a789eb2ded8ce92a1d","datavalue":{"value":{"amount":"+0.7443011403083801","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":"Q5009440$A8E783F5-3A76-424F-B99C-B9FF59280045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2b8f212f368d8bcf08ef7f4e91c32b1756cdf2f","datavalue":{"value":{"entity-type":"item","numeric-id":532394,"id":"Q532394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0afba5e866a89e00b89d3ad47ef3c4c310a6f4f1","datavalue":{"value":{"amount":"+0.7413367629051208","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":"Q5009440$E5D80322-2EF9-4E3C-A57B-1E8BEADCB9A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A coalgebraic take on regular and \\(\\omega\\)-regular behaviour for systems with internal moves","badges":[]}}}}}