{"entities":{"Q5111639":{"pageid":7141213,"ns":120,"title":"Item:Q5111639","lastrevid":58430799,"modified":"2026-04-05T04:47:45Z","type":"item","id":"Q5111639","labels":{"en":{"language":"en","value":"Brzozowski goes concurrent -- a Kleene theorem for pomset languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204942"}},"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":"Q5111639$3B8B954A-2182-447D-9F66-1C17C68BC1CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"071216a0c1bedb83b0a9795b4dd2924c6a1a5d26","datavalue":{"value":"1442.68145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111639$26D94A65-899A-42C3-86DC-874C91599E2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d90265da4fe31807d3d924225a855a6075e73c7e","datavalue":{"value":{"entity-type":"item","numeric-id":1734518,"id":"Q1734518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111639$3510CB8B-EB3F-4BF3-B6C3-FC461E0BD30C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fffcc49ccf08288968257b20f203206e3f67d8a","datavalue":{"value":{"entity-type":"item","numeric-id":299192,"id":"Q299192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111639$2DE1E2BB-6EF8-4736-969D-E700D0C217F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52a961fe9dae5f000974fac5f5d2491a29810f20","datavalue":{"value":{"entity-type":"item","numeric-id":393089,"id":"Q393089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111639$F182B933-5FF6-4066-8400-C5D1E3A4111F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddf6c2812ae812e5ac88c5bae579636a85cf29cc","datavalue":{"value":{"entity-type":"item","numeric-id":418133,"id":"Q418133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111639$997F6417-ABB8-420A-B8E7-8C3C272E650A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4dc922476b8762c0edeaa5934d7af7453851be77","datavalue":{"value":{"entity-type":"item","numeric-id":308155,"id":"Q308155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111639$0DB42C00-F9E9-49D4-B342-F91A7D6020BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111639$7F2263CE-D1FA-48D4-8AFE-F4D813EA8788","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c4b58c66781a9b589d42eface385bbee65b0501","datavalue":{"value":"https://arxiv.org/abs/1704.07199","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111639$F6A3C044-33FD-4400-800F-7489B21275D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111639$39BC009A-CA6C-402D-9F63-D03B30AA7FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111639$7B04B98E-776E-449C-A163-5240C8BC5359","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7fe9fb0aefafd81722bde4bea3cba598723bee3e","datavalue":{"value":"7204942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111639$F5F2192B-52B8-4C6B-B331-47EF3D285F54","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"776971b86e6c4cf15851a3ea837e7ca01487d625","datavalue":{"value":"Kleene theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111639$F198FDD0-F39C-4310-B236-E26B1074B0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b1f4b3ba817c57e77aa1659319c3ad4c9e58aed","datavalue":{"value":"series-rational expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111639$A80145D7-0349-4890-8D5F-C00577B86D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111639$D7CD746B-5F68-4194-A160-3AE301B8B893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b761ac9988b1031e4c5fed97f8e4650a419a2d6","datavalue":{"value":"Brzozowski derivatives","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111639$BEA9DB01-D39C-4AA3-9779-22B85A8F6C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111639$B33D3DA8-16F5-4CE8-ACD0-B1DEA535E6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9e76e561a3b0c4270112f0f12f70da8f8c27984","datavalue":{"value":"pomsets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111639$47959604-17EF-43A4-BFC8-56EE8287253D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"11e8691cd1092776369a6c989adefc1b2275245d","datavalue":{"value":{"entity-type":"item","numeric-id":28139,"id":"Q28139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111639$C55927E3-D349-4CFC-8C7C-B9465EDF8962","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":"Q5111639$DDB756EB-AC25-4776-B6FB-4EA052CB02D4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b389e8c32260009cee4925d8f6ead645371e32","datavalue":{"value":{"entity-type":"item","numeric-id":5408410,"id":"Q5408410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111639$B7E8BADC-DE7B-417A-9C68-3C6B9578CE9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ad304c1112667dc0d3ed482ffef850d810e7b39","datavalue":{"value":{"entity-type":"item","numeric-id":2947408,"id":"Q2947408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111639$3DB864C7-31DA-4A2E-AF59-61E571CAE480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111639$993EBEC0-CCB5-4AAF-B8D2-CDF4509EBB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f92aa8ebfdf003df6851b5bd58431a096bef39","datavalue":{"value":{"entity-type":"item","numeric-id":1119012,"id":"Q1119012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111639$E5AFAF67-C93F-4076-8DAE-BF8AF06001BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c200a502106ccfaae5cf68ef362e25173d34302","datavalue":{"value":{"entity-type":"item","numeric-id":3184688,"id":"Q3184688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111639$C1415FD1-39FF-405C-A12C-A465A76ED4B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64aa0ed468fd886cc533069b6de50b53337db881","datavalue":{"value":{"entity-type":"item","numeric-id":299202,"id":"Q299202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111639$275B8600-F5FC-4D72-8536-FC152120BCBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02b746b69996762e46531571b25327e3d2075210","datavalue":{"value":{"entity-type":"item","numeric-id":5410476,"id":"Q5410476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111639$95D071E9-B839-44B2-B132-158E4BB6AB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96dbdba31b3984497d94bc0ffe28161af5341915","datavalue":{"value":{"entity-type":"item","numeric-id":299205,"id":"Q299205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111639$1496D97F-7227-47EE-9376-C6ABEC9F4744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0edf421acc2659164c1255107c4130d15746264a","datavalue":{"value":{"entity-type":"item","numeric-id":5111639,"id":"Q5111639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111639$46542A89-13A8-43B8-9B58-7A878CF1EBB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111639$8715A077-495E-4894-A380-24FF120E3377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb53b69a005134b7aae07b4949b21bc26d9d6bca","datavalue":{"value":{"entity-type":"item","numeric-id":4344149,"id":"Q4344149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111639$AFBA11D9-1945-48C4-8705-A2C9BAC913B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807ba00199ace6f7367558f06f230d3484fc77af","datavalue":{"value":{"entity-type":"item","numeric-id":4362921,"id":"Q4362921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111639$30314414-E47C-4D6B-94AB-2EDABD796352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfbd4cedfec7c0f2dbd075d5e80961dd0fbd55fd","datavalue":{"value":{"entity-type":"item","numeric-id":5410478,"id":"Q5410478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111639$B3C68DC9-DDAF-430F-B035-BABBDC7A53A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a282cc86156b5316dafe3b37bb48c59058e7c8e","datavalue":{"value":{"entity-type":"item","numeric-id":4381401,"id":"Q4381401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111639$714B052B-5FE2-4B52-BA8A-CABF6DD3D50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f91da2686aaea55c0da7b723fa48e2f2fab5344","datavalue":{"value":{"entity-type":"item","numeric-id":1566734,"id":"Q1566734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111639$CDD9DFF7-9BCD-4CBA-9CF9-2AC850081A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffb9b6bbe7dd40ab920b178ef4e81ddbd81579d7","datavalue":{"value":{"entity-type":"item","numeric-id":710676,"id":"Q710676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111639$D78EA991-FCE2-4E66-8155-51A40E5DCF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e8bc6da0a69ecc6000abdfd349f1ea784188078","datavalue":{"value":{"entity-type":"item","numeric-id":2927660,"id":"Q2927660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111639$E86FE6EB-5BFE-4458-A556-CB31F2D52221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a03efa3e8a787ca556e8f11efd48be51043692c","datavalue":{"value":{"entity-type":"item","numeric-id":5549415,"id":"Q5549415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111639$AE791E2C-0800-4B04-96D9-64AC7C8B9803","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f65734424118441139aee358e73710b7cc1c516","datavalue":{"value":"10.4230/LIPICS.CONCUR.2017.25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111639$02C2F3BD-2156-49AB-9358-AFA77C3C892D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d3c359c64f058bc2dbaa34dc64fe8b36cbe8a18","datavalue":{"value":{"entity-type":"item","numeric-id":1734519,"id":"Q1734519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75f4d8cd906b380fc26876a6d871d16a78480636","datavalue":{"value":{"amount":"+0.8894355297088623","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":"Q5111639$64EABA0A-4E38-4BF5-A239-F46C9F85A683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9167e336d7ea79e235bb39d89552456ce762e6f2","datavalue":{"value":{"entity-type":"item","numeric-id":2324010,"id":"Q2324010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38feb08b3145341a9d2592111b0b2663020a7905","datavalue":{"value":{"amount":"+0.851891040802002","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":"Q5111639$3FD91287-F248-4D09-8E98-A182AD91BAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bbda0a55f39f6e070705d1ddb402c60c4c09636","datavalue":{"value":{"entity-type":"item","numeric-id":299205,"id":"Q299205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d0860fd66f1c91a9315a54bf900f2bb0aa6048d","datavalue":{"value":{"amount":"+0.8428301215171814","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":"Q5111639$08A40F9A-A1C9-4F2C-B8D2-DD424654926A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d11a88c0310af41e269fc5a92388816f27dffc4","datavalue":{"value":{"entity-type":"item","numeric-id":5410476,"id":"Q5410476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5e81f17885c3c3c79d9c236ffb3dc8622ab120e","datavalue":{"value":{"amount":"+0.8114247918128967","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":"Q5111639$607FBDD2-0967-4FDD-A5BE-46E33484A602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ba6a67ff13712332ec07cffd813f5e21320b3e1","datavalue":{"value":{"entity-type":"item","numeric-id":549679,"id":"Q549679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdbbbad4de39562488d76911b5b3147749f3afd2","datavalue":{"value":{"amount":"+0.8092136979103088","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":"Q5111639$88D4EDDE-9E9D-4062-A15D-4438A233AC6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111639","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111639"}}}}}