{"entities":{"Q3297599":{"pageid":3308307,"ns":120,"title":"Item:Q3297599","lastrevid":80753915,"modified":"2026-05-06T16:55:25Z","type":"item","id":"Q3297599","labels":{"en":{"language":"en","value":"Approximate automata for omega-regular languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7222930"}},"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":"Q3297599$43238EB5-4BED-4183-B491-526497BCE70E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75c1062cac44a0757542cb5749b71579eccb9cb7","datavalue":{"value":{"text":"Approximate Automata for Omega-Regular Languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3297599$CF526C2F-D7C2-443A-A08C-0A1A165A0122","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c451e94c51932ee7a1c51818c7a7715630338dd6","datavalue":{"value":"1437.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297599$5CE3F468-D6EE-41E1-B089-99492F6C0D10","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb854b1d5cf6b4145b291e70c90be858b833b5e3","datavalue":{"value":"10.1007/978-3-030-31784-3_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297599$04C0992D-2867-4413-AC51-E6C6E3DEC153","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7327543f3fd83acc38c0b22bf0231e3136bbbf7d","datavalue":{"value":{"entity-type":"item","numeric-id":1683927,"id":"Q1683927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297599$7E1B4C42-AEED-4649-921B-22C7D8E2461E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda9ef52c721036bc2c5ca8408bcb7b43075ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":515653,"id":"Q515653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297599$C20B9262-0FE0-49E3-A9DE-8112D8A8C52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1e6ca78795ba5f1656360fb5231707af1dab8cb","datavalue":{"value":{"entity-type":"item","numeric-id":832290,"id":"Q832290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297599$7BAFEB61-DB92-4CC1-9CFA-BB29E1EFC73C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297599$D34B0D36-02D5-4C9C-BF10-7EAC9C2F66BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93d5f4948d316121f295e91de8563e97eff620a8","datavalue":{"value":{"time":"+2020-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3297599$F61755BC-64E7-4D04-BB4A-D6AA94632E8A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa7dc795104dfa62762914f55c6e51b1dc893648","datavalue":{"value":"https://arxiv.org/abs/2012.14590","type":"string"},"datatype":"url"},"type":"statement","id":"Q3297599$EEF3C37D-F1E0-4F6E-8561-E1E3BFC00098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6a629ef498b8884ef41cc923ce47da588548692","datavalue":{"value":"http://eprints.whiterose.ac.uk/156422/1/atva19.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3297599$C7A39833-91CF-42B8-A150-11899CA904B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297599$9FBF7547-2775-48EA-A87A-92A6402B320E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb07d6d7d9d395018f705a638ad9726f1b7a7c3d","datavalue":{"value":"7222930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297599$D98EE2AD-66C0-41BD-ADED-52DC49D30E49","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7f2469d411e2768bc47538ae7e680705572b900","datavalue":{"value":{"entity-type":"item","numeric-id":22908,"id":"Q22908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297599$245925DF-FB3D-4E2B-9F5F-C9894BF90D38","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":"Q3297599$F5ED19F3-D48B-405E-B2C7-857C5BCF5919","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f2bbf9564a4babfda14690fccc0975c94d11350","datavalue":{"value":"W3114817139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297599$7C14B7E0-0A51-4E7F-B0E6-DFF4F5483AAA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6af1feed9420fbd9bfd80527390996ecd04d3fa9","datavalue":{"value":{"entity-type":"item","numeric-id":439954,"id":"Q439954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297599$A82927E7-BA62-4BEE-8E41-96980B8E6700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00429d7d61e8bc73c2ae2b2c0966928c9609ae67","datavalue":{"value":{"entity-type":"item","numeric-id":5222950,"id":"Q5222950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297599$A452A646-7B1C-46A8-B051-32861BF03776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257a1d2953e29e353acc85e75297d9fc4987bd53","datavalue":{"value":{"entity-type":"item","numeric-id":5890066,"id":"Q5890066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297599$2B86FB49-7741-49EA-AA77-7553F772C6CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cdaa2ec8eceac1d3a0c164dd76be4ed6c68bc4d","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297599$0EDC66F6-A65A-4F46-9FC0-D43CFF064BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43e62e85bf289b357c4a11a4bd93b6f0d4fe69bf","datavalue":{"value":{"entity-type":"item","numeric-id":6194576,"id":"Q6194576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297599$F9126B5D-9EB6-486F-AE8B-2000E752961A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5b46a43271cb7bdb8bd8f6aed80d0b79118e81","datavalue":{"value":{"entity-type":"item","numeric-id":4536600,"id":"Q4536600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297599$C6DE417F-E584-45AD-AF68-D9FB5D41F5C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa9496983c523e576ed7e030ef8b8418be0e0d0","datavalue":{"value":{"entity-type":"item","numeric-id":3510817,"id":"Q3510817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297599$D94877B0-C99E-4A95-9CAC-28E2D2E0FEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0574fc8aa6c55067445811299d5f011463b0c1ae","datavalue":{"value":{"entity-type":"item","numeric-id":5096078,"id":"Q5096078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297599$B9312677-2DC9-46C5-B6B4-207ABA073D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b7a2ec3c749152e7b4afbc524ed973549c96f3","datavalue":{"value":{"entity-type":"item","numeric-id":4551134,"id":"Q4551134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297599$8957B18D-610F-4D58-80F3-AE6DD2CEE200","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":"Q3297599$76870D57-2122-421B-9531-D25D58F9FDD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297599$FF4186DE-2832-477C-A149-1F1856CB60FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c261992e258a963f7d6f336b7fb4438bcf95f645","datavalue":{"value":{"entity-type":"item","numeric-id":4596617,"id":"Q4596617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297599$C1161D57-D43F-44A5-B68C-E34B231C41C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45eb1b44e38fc6dae101b6039e684cf59dd727c1","datavalue":{"value":{"entity-type":"item","numeric-id":3113724,"id":"Q3113724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297599$463B0612-1FEF-447E-B75E-3C42F806CBFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e514071c007ff2e5c95dfa454cea6895bddf3ec8","datavalue":{"value":{"entity-type":"item","numeric-id":2922042,"id":"Q2922042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297599$14A1F44A-2F9B-43E0-9DF3-06B0B6FC69A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a423bed1db1f89dfd75f51e2dddb86d00ac7188b","datavalue":{"value":{"entity-type":"item","numeric-id":1816738,"id":"Q1816738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297599$BE77E3C4-A5ED-4EEE-9524-4B28AB84A8D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53badae1ac14e01c92acfd0865301614b3daf6b4","datavalue":{"value":{"entity-type":"item","numeric-id":3564867,"id":"Q3564867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c1514ad7beff26160044c3e15470836e5296346","datavalue":{"value":{"amount":"+0.7884601354598999","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":"Q3297599$988027E4-4067-4652-BE28-537D5D8F5138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49f642d659a7b790e81ea08b9d55741848ae8247","datavalue":{"value":{"entity-type":"item","numeric-id":4525725,"id":"Q4525725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8374aebbf6c7711d9c81a99c04f850f262dce058","datavalue":{"value":{"amount":"+0.7748637199401855","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":"Q3297599$8771DAF4-F9D0-47DD-855A-167828117FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc7c10c6769e3e708636f0e81992d7a7c8613afa","datavalue":{"value":{"entity-type":"item","numeric-id":3599062,"id":"Q3599062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb2c88df5a55001d4f2db5c5c482e89bc22753b9","datavalue":{"value":{"amount":"+0.7639771699905396","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":"Q3297599$B9B3ABD1-3D68-4798-8032-D5F8D507E88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3b06f2845e0d0c125183886d192f3c5a5eabaa7","datavalue":{"value":{"entity-type":"item","numeric-id":5146511,"id":"Q5146511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd9ee2c365545b21fe5857bb6f798f7f4f05a9fd","datavalue":{"value":{"amount":"+0.7610598802566528","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":"Q3297599$5B94E31F-E003-414D-AC33-81662E0A6EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"412a7dd767299ba647fb8efa763d2894c1e26b29","datavalue":{"value":{"entity-type":"item","numeric-id":5395674,"id":"Q5395674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"575e0a30389ebdb673667c6430ef8c028c8e6cdf","datavalue":{"value":{"amount":"+0.7515044212341309","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":"Q3297599$70EE7FE6-1880-4175-9F76-0DBC7317F53C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Approximate automata for omega-regular languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Approximate_automata_for_omega-regular_languages"}}}}}