{"entities":{"Q4632442":{"pageid":6662023,"ns":120,"title":"Item:Q4632442","lastrevid":82167860,"modified":"2026-05-06T20:15:55Z","type":"item","id":"Q4632442","labels":{"en":{"language":"en","value":"A Kleene theorem for recognizable languages over concurrency monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7048690"}},"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":"Q4632442$DEBB70C3-3C5F-44AD-8BF3-AC89EFE5DC61","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45f6c981d48bdda0dc9feb21a209517c8de3192d","datavalue":{"value":{"text":"A kleene theorem for recognizable languages over concurrency monoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4632442$FF843A28-C644-499D-9F82-E7F5AFDFA6EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"856d90753d7d66ff9bb84cffb7673a2a74b96796","datavalue":{"value":"1418.68138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632442$7DE41F5E-6EFA-442C-831F-139689D43B69","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3cbed2f342ce324a090908a952348997df47aa0b","datavalue":{"value":"10.1007/3-540-58201-0_84","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632442$B07914DA-64EF-49FD-814F-1F808E046D60","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632442$0E208C8C-CE0D-4DB2-9275-F65C3BE4E4AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c886460d86f543351b8f7fb5093933ac0a350b03","datavalue":{"value":{"time":"+2019-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4632442$911525DC-59D5-487E-9FDB-BC3D974E3288","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632442$62A1C31C-E781-4394-B86C-7009BB159B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632442$B91B7488-3E55-4C29-BD96-9740A9787F04","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02b9fbb0b09d92efb01077ecf9b04d54745eb171","datavalue":{"value":"7048690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632442$CD5F4A44-2FB9-4B67-B76D-869C811EA231","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ac3aa141a5e99f6d4ec0321d581483dfafb5e9","datavalue":{"value":"finite automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632442$BD0E2C74-8961-41AC-B7C5-8FD0899A3ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f785c84194ac5c0b5659060f8d2cb8c1799652e0","datavalue":{"value":"computation sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632442$D886C9DE-0DB7-49CF-8AF6-C06F3A627FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1db9f4e50b2b1d13013c7b761b1bab0920cbfa0a","datavalue":{"value":"trace theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632442$FA1DFC0E-37E8-4EC4-B31B-E7E7C40FDECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22a36d88f5e552cee8260517b4aa49e547db876","datavalue":{"value":"finite word","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632442$3573894E-3E4B-45A9-A604-B3BE7958DCD8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d77a7be4855473ed96522980e8feac1b6621e47","datavalue":{"value":{"entity-type":"item","numeric-id":382935,"id":"Q382935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632442$2DFBE411-5D56-4608-BA2E-D943B8255FDF","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":"Q4632442$CF6FAC75-1C7A-4736-BF03-2A036AB34A75","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cfd3c955d8567d604886114794683da3facb68f8","datavalue":{"value":"https://doi.org/10.1007/3-540-58201-0_84","type":"string"},"datatype":"url"},"type":"statement","id":"Q4632442$C911350A-126B-4D34-B400-8374ACD4B4F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4cde0aaa29ca19d0167cd79378790fa5b0d7e129","datavalue":{"value":"W1582828320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632442$7405CE53-A1C9-4716-9749-892CEDD12405","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb3f3d4284f29707c15dbffe01b4356eafdc3d0f","datavalue":{"value":{"entity-type":"item","numeric-id":1107296,"id":"Q1107296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632442$8E6BC05E-C77A-4F70-AC2F-F2ACE1B50403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c48bbd73295280ff5d0f78ccdb99f56e2b1458e7","datavalue":{"value":{"entity-type":"item","numeric-id":3766854,"id":"Q3766854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632442$192FCF1C-7627-469D-96E0-757B4B9587AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3356a0f0b42e72fda0f581b376bc9cf7570d77fd","datavalue":{"value":{"entity-type":"item","numeric-id":4170199,"id":"Q4170199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632442$54BA06E6-AC64-4A03-97DF-5E770ED7E27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a07a972928d590fe80c9a36dbe254b4aa1d80cf","datavalue":{"value":{"entity-type":"item","numeric-id":3805920,"id":"Q3805920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632442$2B251F8A-1F8F-4B87-8933-8177DD5F9709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56d243b2967bd2513227b786fce45e34711991e8","datavalue":{"value":{"entity-type":"item","numeric-id":4630301,"id":"Q4630301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632442$B9E80B2C-42B0-4427-BB49-7747C280F59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc92ca11bc977aa61e1972d54a053c777903b06","datavalue":{"value":{"entity-type":"item","numeric-id":1346626,"id":"Q1346626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632442$ADB7BB91-D4A0-4266-9C90-2C67BE11AB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632442$47F3D58E-1CFB-446C-952C-87F093C15C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa1d9ec51d8e546e3d5a5823e053b5e9183e806","datavalue":{"value":{"entity-type":"item","numeric-id":2266128,"id":"Q2266128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632442$F95E78CD-AEBD-48CB-AC4B-68307F6F14BD","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":"Q4632442$4F26BF60-7852-4313-8E4C-9B88D6A8FEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c3224b3ee4e2065842acb7ecef1d84c9102fafc","datavalue":{"value":{"entity-type":"item","numeric-id":1188891,"id":"Q1188891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632442$6B5C719B-DAB5-4F1C-A336-3F242C4AE9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c17c64b057f13f753823ea0bbd83f2dd58d554c1","datavalue":{"value":{"entity-type":"item","numeric-id":4038692,"id":"Q4038692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632442$5B852984-A43A-4BD2-8031-62A8AC0763D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f5ec92c8df56738d5a6f6f71cb95d0131f17ba2","datavalue":{"value":{"entity-type":"item","numeric-id":4032921,"id":"Q4032921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632442$7C6B1702-19B8-4211-B59A-54C43CCAF05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5baf8d517b0d89ae3bb55fd96f78940d3b48865","datavalue":{"value":{"entity-type":"item","numeric-id":672317,"id":"Q672317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632442$07E595C0-019A-4539-B0DB-8467DFECE13B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"079e9e78b985ab6b382e356ff5804967eb351b43","datavalue":{"value":{"entity-type":"item","numeric-id":4288284,"id":"Q4288284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632442$B51F55DD-C4C8-47AE-805F-CADFE93BB325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c963b43b0571f92434f59a81d5038f254e0414aa","datavalue":{"value":{"entity-type":"item","numeric-id":1193878,"id":"Q1193878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632442$B81DE491-159E-4586-9BA0-B03ED2F63D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b49d0843c0287db33d2968f5ee62ccb28408c9e","datavalue":{"value":{"entity-type":"item","numeric-id":4954451,"id":"Q4954451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632442$B1195C55-6A10-4E9A-AC77-E48F5ED38FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632442$17710441-99F3-4A2D-AE4D-AC510D490198","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":"Q4632442$DF58016C-3F63-459F-B22A-4E883B71551A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc5bb0d3390566e97bc9e79683e53c1672ed910","datavalue":{"value":{"entity-type":"item","numeric-id":3795195,"id":"Q3795195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632442$4F13A49F-075D-4872-9027-F93C1D154979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632442$F652C619-BF4D-4BAD-A98F-C154404251DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"385b443e68d2c64d04aed98acb6586cb7ed72e3d","datavalue":{"value":{"entity-type":"item","numeric-id":3288101,"id":"Q3288101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632442$51CDB22D-57B8-473C-AA67-2A7412215037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0649aa478635799a327e19a4326f199f9255ca9d","datavalue":{"value":{"entity-type":"item","numeric-id":3691067,"id":"Q3691067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632442$A7E353A5-EE2A-4431-B95D-BB5A40C7599A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3107215514768b76dfe702ef046922ebcc501e81","datavalue":{"value":{"entity-type":"item","numeric-id":1119395,"id":"Q1119395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632442$C9535F54-4D83-48B7-99D7-09863096516D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75afb9425a031677acf5fea6519751421d25de4a","datavalue":{"value":{"entity-type":"item","numeric-id":5887511,"id":"Q5887511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632442$0FB34E4C-EA6A-4908-A6E9-4A9366D4E55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5275a92478d7e9693f19747fe2fd0776c8421dae","datavalue":{"value":{"entity-type":"item","numeric-id":5096251,"id":"Q5096251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632442$51740864-BE14-4565-B555-383A0965033C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9ff1910bb3c0241d98d0996e4c11f3e32a28400","datavalue":{"value":{"entity-type":"item","numeric-id":3761703,"id":"Q3761703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632442$BCA81F85-B492-42C1-8963-CDD07D135D65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0044c655bb98cfedd248a229d6abc0908aa6a0c","datavalue":{"value":{"entity-type":"item","numeric-id":672317,"id":"Q672317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81e0fd68e62f3fd625a2a61464b221451a994b79","datavalue":{"value":{"amount":"+0.9668918251991272","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":"Q4632442$54911ECB-CE60-4313-AAC6-B47345C249B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"525e7398dc4f490e135d1521a6c1867070c03489","datavalue":{"value":{"entity-type":"item","numeric-id":1917099,"id":"Q1917099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a6ae61b2028184bd929e57996635cd6535ff001","datavalue":{"value":{"amount":"+0.879978597164154","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":"Q4632442$628D571E-4F6F-4394-A741-B30340706F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b97e8849354599cb267dc00f0209c1aff2ad523","datavalue":{"value":{"entity-type":"item","numeric-id":5248980,"id":"Q5248980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"806abe29377b65b8184f34bcfe462bcb70ed6f99","datavalue":{"value":{"amount":"+0.8698970675468445","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":"Q4632442$1BE8C0AF-3168-43FB-BC6C-A27DC73CAA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e834bee79b5d3d5e094f9194afdbd01c5998d0dc","datavalue":{"value":{"entity-type":"item","numeric-id":4596645,"id":"Q4596645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d676d66dc9fa02cd00f190fe20799122bb6ba47d","datavalue":{"value":{"amount":"+0.7825684547424316","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":"Q4632442$2D47185C-FB5E-40F2-B2AF-2A223275F895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8aa5898a7fd8165f3dac431667965cf68eed52f","datavalue":{"value":{"entity-type":"item","numeric-id":4036568,"id":"Q4036568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb3585543926ac37895c3beae3db97d4e0ba2f1f","datavalue":{"value":{"amount":"+0.7783704996109009","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":"Q4632442$131CEDA9-C6C2-4DA3-A6C2-2B77AC44A57A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Kleene theorem for recognizable languages over concurrency monoids","badges":[]}}}}}