{"entities":{"Q2147175":{"pageid":2157918,"ns":120,"title":"Item:Q2147175","lastrevid":73434852,"modified":"2026-04-14T15:58:13Z","type":"item","id":"Q2147175","labels":{"en":{"language":"en","value":"Determinization and limit-determinization of Emerson-Lei automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7546592"}},"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":"Q2147175$3748ABAB-C684-4A14-8AF6-46E5F9F34D0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"590cadafae9ec6fac24031c3e97d6212de05ea7b","datavalue":{"value":{"text":"Determinization and limit-determinization of Emerson-Lei automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2147175$9D8517FB-4F70-4C0B-B370-832DA15CC87C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82dc5e3b8b2ac405609b5e6f819da1bbfec349e4","datavalue":{"value":"1497.68270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147175$C04A072A-A1C7-4A92-A753-1B5F4B16D18D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b346417a72e9197960465cdbf417f5105853d6b","datavalue":{"value":"10.1007/978-3-030-88885-5_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147175$A55522CE-4C1C-4CAB-A27F-954AB40549C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"851aa4735e3523f1e2c2cdc47cd7e6ec6c7877b3","datavalue":{"value":{"entity-type":"item","numeric-id":2147174,"id":"Q2147174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147175$ED889759-FC0C-4A42-BE5D-5033663BAF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38fcb30a53aadaa16c67f4c81a6c40126b13614f","datavalue":{"value":{"entity-type":"item","numeric-id":832240,"id":"Q832240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147175$F108DF5A-736A-40D7-8136-57F2A110CD65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46e921d835845969ea465c2330db5171d968f1ff","datavalue":{"value":{"entity-type":"item","numeric-id":436314,"id":"Q436314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147175$BB24333B-3221-456D-9C7B-23A1CE13A051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed2781b53a0a8b46d604dc9c062a87a23780da56","datavalue":{"value":{"entity-type":"item","numeric-id":967522,"id":"Q967522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147175$D80BE248-6C0E-40B6-80DE-BE64EF7E623D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffa612dd361e50848b97ee1c8010430ebd9d5009","datavalue":{"value":{"time":"+2022-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2147175$721627E3-D2A0-4108-81E5-FB67BE7C7712","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2ec338a372b02262b24c49174e4c4d6d54b86fb","datavalue":{"value":"https://arxiv.org/abs/2106.15892","type":"string"},"datatype":"url"},"type":"statement","id":"Q2147175$055BD102-CB6A-4304-8788-D4D34116FE8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147175$B14B347A-891B-41CD-9F43-ADCF57D378CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22bd396cdf2f00b82c08d77f700683899cef94d6","datavalue":{"value":"7546592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147175$A5630DAB-C16C-4D4F-904A-FEBF23DAA325","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"696e320e2d8b10e90c96ad9aa5b5ad1a3466b619","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147175$F87C7483-B40F-429A-BF63-2C3EDF6A29F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80c494a39646d97b02d2041c6facf8d30cf21133","datavalue":{"value":{"entity-type":"item","numeric-id":3297604,"id":"Q3297604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147175$73D7D762-3436-4FA4-9451-074F152F4917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147175$26307520-CB04-44F0-BDE2-C0730EB3278E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d52ac13fddfe2dc0c6676e5b4f8c299aff04944","datavalue":{"value":{"entity-type":"item","numeric-id":5452300,"id":"Q5452300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147175$B5341B86-F7BE-4516-AAB8-A7F13791ED2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25358c2adfefa5ad4a0861cf970b27b1e1a651b1","datavalue":{"value":{"entity-type":"item","numeric-id":2279120,"id":"Q2279120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147175$C9E472E2-323D-4CDE-8289-55BE1EEB22CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c71ee253892b177799592f03938a61eb6c7732cc","datavalue":{"value":{"entity-type":"item","numeric-id":4369884,"id":"Q4369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147175$32283C7D-3E1B-4129-BD2D-F4F13F1180C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b1ca4463eaad5e2b392062cef8e5e6abde5678","datavalue":{"value":{"entity-type":"item","numeric-id":4493881,"id":"Q4493881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147175$8D1B610E-F382-41BD-91BF-4433858B64A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41a2647fee8eb7cf5d678ffc97a89bf21bd7e58c","datavalue":{"value":{"entity-type":"item","numeric-id":3648699,"id":"Q3648699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147175$AA9D21B6-5C1E-40BA-991B-CDF9EBADE152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bed96517ad5ba1babe6b302ab098c89d0358319","datavalue":{"value":{"entity-type":"item","numeric-id":1820578,"id":"Q1820578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147175$CDC4F4F8-E9E9-485E-B255-9BC758AA8527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"618c35694b758a9839ac566e69a497bebcf10591","datavalue":{"value":{"entity-type":"item","numeric-id":5145312,"id":"Q5145312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147175$74151701-DCCF-4CBB-B8E1-600F44944D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257bde29cf31ef8d11489aceabb19d4387394d07","datavalue":{"value":{"entity-type":"item","numeric-id":4422087,"id":"Q4422087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147175$E5D5ABCF-9ED1-4C1C-A720-7254AAB3DECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"781f94707fe3f5b866a579370646ed71f0cd6fe7","datavalue":{"value":{"entity-type":"item","numeric-id":5357715,"id":"Q5357715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147175$EF21A5F4-1781-4FA6-9925-EEDA2BDCBC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99f5490494d2220aedd8c40458b30c41d211242a","datavalue":{"value":{"entity-type":"item","numeric-id":5039514,"id":"Q5039514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147175$29C85359-A764-4AE8-B85F-BB3A3ED6C7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4de4f71fe7795e06eacc97834f5add086e47ac26","datavalue":{"value":{"entity-type":"item","numeric-id":5404935,"id":"Q5404935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147175$CDEE21DD-123F-489E-BE5A-8A4AB730A4DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d04c5f4ad33f5228976d2d495af9a574068a0c","datavalue":{"value":{"entity-type":"item","numeric-id":6109606,"id":"Q6109606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147175$C1E78348-841E-4F04-BAE1-01C5D00F61ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b83c9d4efd413897503b85c80b118615a4b61f90","datavalue":{"value":{"entity-type":"item","numeric-id":3297598,"id":"Q3297598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147175$6840B8E8-FB18-46B0-9052-79F5E8360394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9159e9095f8ca510d538d7e9904c6f3ff891ad","datavalue":{"value":{"entity-type":"item","numeric-id":796990,"id":"Q796990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147175$7B680F21-1358-4C06-9F6E-7310C3EBDCB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0be5d2185f8c51f7a3428dc8fb1cb0ae85aadb0a","datavalue":{"value":{"entity-type":"item","numeric-id":3384171,"id":"Q3384171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147175$5DCF6E2D-B03F-4233-9810-09F4A1EAA1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c8d4ae13a37c46d4c1c81628960f47d5dea327","datavalue":{"value":{"entity-type":"item","numeric-id":673778,"id":"Q673778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147175$CF001C33-50FC-4364-A0B6-A3538DCCF885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147175$A3D0866D-89C6-4B09-A1C0-AE375352BED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"086d47125b4187e2eb771d2a658eb5d9a5ff7ee9","datavalue":{"value":{"entity-type":"item","numeric-id":3168197,"id":"Q3168197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147175$1339A520-85C1-407A-ADD2-B0E823F50790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5405c014915b7b0d71a0db89fdd8d5534a1cb60e","datavalue":{"value":{"entity-type":"item","numeric-id":4649286,"id":"Q4649286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147175$2A5A33F5-37D4-4115-B061-D7E4DAE723C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72d789ac168a4414aaee7be5ed0816585e0b06ce","datavalue":{"value":{"entity-type":"item","numeric-id":4633559,"id":"Q4633559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147175$0DF14304-308A-4883-A3A6-E54BF1F1D304","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147175$1A7670CD-2015-4075-8D61-E87A1245E1B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"36c9d6fcaf477a579c7792b357595ef21fc9cc19","datavalue":{"value":{"entity-type":"item","numeric-id":19660,"id":"Q19660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147175$CEE8F9D0-7DD7-4DB9-8F2C-14B8B086A738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147175$51B5BA4C-AEC7-416B-8B3F-72263450761B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"552fb94da027a8fb9ad249dd880ff1062aea71b2","datavalue":{"value":{"entity-type":"item","numeric-id":21456,"id":"Q21456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147175$083F2892-5C80-4AE5-9E39-6DF8E0FA9278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9a85031fb0713ae5c27d157a52cfd6a0c9a84230","datavalue":{"value":{"entity-type":"item","numeric-id":5972836,"id":"Q5972836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147175$13C08ED3-A4A8-48DA-9031-BBD3850F0D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6976c9708a5aa9505c1c237bb7aa5bd5a0ecc30d","datavalue":{"value":{"entity-type":"item","numeric-id":5972886,"id":"Q5972886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147175$4BE4868E-60EB-4A46-AF1F-8A24626E9695","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":"Q2147175$A9217BE9-9249-4D9F-88CD-716D7DCA49D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"445368a3a37688601f3c9d1c144dd33ffc7f1538","datavalue":{"value":"W3208208968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147175$41665124-8892-469F-9173-82C5B53F8F05","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a34e7ec5b85905f180d47ae6a75b19224378551","datavalue":{"value":{"entity-type":"item","numeric-id":6485860,"id":"Q6485860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d79275e11f1206a28284279cc4c0971b49bbfbb1","datavalue":{"value":{"amount":"+0.8252473473548889","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":"Q2147175$D505C68B-3752-4C52-AB50-A4C29997C398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa216bf7272d243ffe26b544ec086ceb7f5db8d8","datavalue":{"value":{"entity-type":"item","numeric-id":3384171,"id":"Q3384171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4852e2a54624cfbfe42a6159633834c7ade9959a","datavalue":{"value":{"amount":"+0.8089834451675415","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":"Q2147175$BC022826-EC53-4C12-9F0F-69D9B925CBAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fe3ab0db80df592b300954cdae307d8a4b79a4f","datavalue":{"value":{"entity-type":"item","numeric-id":4633559,"id":"Q4633559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b52a97a0256c9994c4e8d39e9f96212264c16e","datavalue":{"value":{"amount":"+0.7680925130844116","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":"Q2147175$63CE0BE1-23FA-4411-9D34-3B2DD006903A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"027d8e8ea4dd01c3670b74e3bab39554de8a41a0","datavalue":{"value":{"entity-type":"item","numeric-id":5404935,"id":"Q5404935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48bae47a3795d74709cb2078748b07a25d154ecb","datavalue":{"value":{"amount":"+0.7478376030921936","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":"Q2147175$65F783B4-FE16-4021-8EDA-5F19E3ABF0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bc46a3873de73c896dad3f48b557df241d2d816","datavalue":{"value":{"entity-type":"item","numeric-id":5452723,"id":"Q5452723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61d832e3de9e84dfa6c36ff352afeadca91a269b","datavalue":{"value":{"amount":"+0.7429097890853882","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":"Q2147175$7F69A1CB-961B-4478-B96E-337FF6B0F97A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Determinization and limit-determinization of Emerson-Lei automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Determinization_and_limit-determinization_of_Emerson-Lei_automata"}}}}}