{"entities":{"Q5091269":{"pageid":7120845,"ns":120,"title":"Item:Q5091269","lastrevid":55415938,"modified":"2026-02-17T15:57:48Z","type":"item","id":"Q5091269","labels":{"en":{"language":"en","value":"A Kleene theorem for nominal automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7561600"}},"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":"Q5091269$DDFC6F52-8B7D-459C-A2FE-0E1DDBFF0AC8","rank":"normal"}],"P16":[{"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":"Q5091269$601940FF-7E8C-4FC2-A85C-4539BADC41D9","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":"Q5091269$FBD2508F-6F41-4D46-8B2D-852959A0D857","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":"Q5091269$448643F8-0E4F-4CA4-A4E1-86AC34B95009","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5091269$01B8F765-5E93-4A22-83AE-C8FF77A9D3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5091269$BB8D9CC2-287E-4024-A5C6-6C803CA8A258","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27ea6c5aee4af409a2df188d45dc6701cd3cf00a","datavalue":{"value":"7561600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5091269$D6151BDC-F6A2-453F-A850-F2A48C45BE02","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"776971b86e6c4cf15851a3ea837e7ca01487d625","datavalue":{"value":"Kleene theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5091269$E0A63E8B-82FF-4C57-94F5-1CC0E38FE52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff09f7b82a2a4af9d85ac81500deb2a97fb365dc","datavalue":{"value":"nominal automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5091269$253449C9-0A67-43F1-BB22-664052AC9054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e8d8dcc8ffe8055f2ddb93dcd2c1bfc881ade97","datavalue":{"value":"bracket algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5091269$D617C029-6402-4C17-9666-ECA99160478A","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":"Q5091269$C6C98964-983B-4829-BF51-BA90F0337D31","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eac28c51cc0c0eb038e9b4fdc323fd18b166be5c","datavalue":{"value":{"entity-type":"item","numeric-id":4737206,"id":"Q4737206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091269$127A6E42-7BF5-4FD3-9EB1-93438D536D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1ae07ed7d8012659e2721a4bdce0ae4986783ca","datavalue":{"value":{"entity-type":"item","numeric-id":372971,"id":"Q372971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091269$E53DAB7A-7E52-4C83-B16B-F7CA97336906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef74b2eedee87b13ce198ffd06ab9769acdc7962","datavalue":{"value":{"entity-type":"item","numeric-id":2878750,"id":"Q2878750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091269$9227EA91-68D4-4F6C-B4E6-1A7E72F5442A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95751e7d64132f5dbd31e975b68a72435256f6f8","datavalue":{"value":{"entity-type":"item","numeric-id":2938772,"id":"Q2938772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091269$71C69FF6-CB03-4D9E-8B18-51A3876A1935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47cc36919a8d6db6f0f116fcd32c8b88a3dbdb3e","datavalue":{"value":{"entity-type":"item","numeric-id":4608581,"id":"Q4608581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091269$30F22912-515E-4B8F-A825-125F620F0B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5803ff7ab35e354f34c468e7d2607b90bd38ac1","datavalue":{"value":{"entity-type":"item","numeric-id":5351969,"id":"Q5351969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091269$11CD48EA-0C41-4D9B-875B-26C42288DBFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceda0c87bb63c8028473ee4ed8dfdc1d3b9f3f99","datavalue":{"value":{"entity-type":"item","numeric-id":1341718,"id":"Q1341718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091269$E01676D8-638C-4C88-86E7-92E4588AC5E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c99dddc8d0831ef327f6036da01011edb5f55f4b","datavalue":{"value":{"entity-type":"item","numeric-id":3460616,"id":"Q3460616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091269$EA118A59-AA0F-4A99-A24D-D0D1285DA788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edde8a0e83c1d142c513fe6015fd193bd0bb22d7","datavalue":{"value":{"entity-type":"item","numeric-id":2351551,"id":"Q2351551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091269$C329B751-0876-4181-AAA0-EA4503EBDDD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36f7027bfe90b9082f1cb5889efe592684d05584","datavalue":{"value":{"entity-type":"item","numeric-id":2915170,"id":"Q2915170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091269$E52FBB2B-A812-4035-A24C-12B64F65725C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c81d3c6d9830fb4a9f1fe3cf501582ae421b7ba","datavalue":{"value":{"entity-type":"item","numeric-id":2892775,"id":"Q2892775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091269$40CCD411-D594-458D-A299-7584ACEC6F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da53343317a6fef4020a2ef4a0e5ac2ffb20c8ba","datavalue":{"value":{"entity-type":"item","numeric-id":2353403,"id":"Q2353403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091269$4E8DC900-22DF-4181-8514-311DF98C31F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d17d5712c2c241d763f24696a40f01e5041f953","datavalue":{"value":{"entity-type":"item","numeric-id":5005176,"id":"Q5005176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091269$AF8DEDBE-D2FA-40C8-BC36-3839D4C29F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5eb94b2716a07126d41fc2bb3cd6ba2610e9015","datavalue":{"value":{"entity-type":"item","numeric-id":5277703,"id":"Q5277703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091269$73C69D32-6CD8-41FA-A4B0-957E1FA5FD16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7c974da2fbdfbb494f4ddce13bd1f1e2231832","datavalue":{"value":{"entity-type":"item","numeric-id":2849600,"id":"Q2849600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091269$FE91C240-4CF5-4692-B5BF-7111C450AD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a89960dc9022a5b9eae0a1189b7c94fb953729a","datavalue":{"value":{"entity-type":"item","numeric-id":2988364,"id":"Q2988364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091269$C36F383B-A2B9-4B01-A1C7-274CB784F0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"beb27b7af34ab0402f1db377455dec0d9d637933","datavalue":{"value":{"entity-type":"item","numeric-id":878749,"id":"Q878749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091269$C5D7ABA7-058A-4940-BCAF-1AEEF7E6B162","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"205665cf423b2859fdea9d08bc9938c78f36b907","datavalue":{"value":"10.4230/LIPICS.ICALP.2019.107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5091269$05FA31EE-D878-460F-8073-E2E1B7DB5D3D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70873ceba2a65e2fd91682073409ee2480a10f5b","datavalue":{"value":{"entity-type":"item","numeric-id":2892775,"id":"Q2892775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd44627e595273965876ddd9f8f7a4635e06cde9","datavalue":{"value":{"amount":"+0.8431705832481384","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":"Q5091269$FAFD3805-C780-46C9-8420-436A3A541777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af767ae1e71c7d0e206f94c738cb6e09f30b7671","datavalue":{"value":{"entity-type":"item","numeric-id":2915170,"id":"Q2915170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e36413a40f2f5c5c8e439bd3a7e7fc03a63ea5c","datavalue":{"value":{"amount":"+0.8409751653671265","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":"Q5091269$D464AED9-4FB4-4B6A-9C27-0C1A286C7E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5adcb915fa6fc72ba4c9c94a0999c989f9c49c0","datavalue":{"value":{"entity-type":"item","numeric-id":2988364,"id":"Q2988364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c73128d629ea68e37b5e8a2d6315d8bfcc1d933f","datavalue":{"value":{"amount":"+0.8353337645530701","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":"Q5091269$A4FF1E8B-7978-412B-B1E8-F92613FCFFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf478abade378ae0e60dd9bb458eec1ee9d43704","datavalue":{"value":{"entity-type":"item","numeric-id":2878750,"id":"Q2878750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab3604a6c92b0875f48038d85765aca940c64409","datavalue":{"value":{"amount":"+0.8345335125923157","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":"Q5091269$AA3CBC0E-672E-4B3A-8E49-F1FE1BF4CFE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22593c8310051026b582abc47cafabe64180eab3","datavalue":{"value":{"entity-type":"item","numeric-id":5370894,"id":"Q5370894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50db8c26a1c19f38234fa0e1c1c0a22070237a05","datavalue":{"value":{"amount":"+0.7949163317680359","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":"Q5091269$016C75EA-AE10-4F24-AD2C-8DEC9D906AA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5091269","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5091269"}}}}}