{"entities":{"Q5145637":{"pageid":7175208,"ns":120,"title":"Item:Q5145637","lastrevid":58460124,"modified":"2026-04-05T07:52:47Z","type":"item","id":"Q5145637","labels":{"en":{"language":"en","value":"Extensions of \\(\\omega \\)-regular languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7299474"}},"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":"Q5145637$808138B7-C4EC-43B2-B554-B72343457DBF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17787ef5b7ec63f91f4b5dd5e2daf119287ca6a3","datavalue":{"value":{"text":"Extensions of \u03c9-Regular Languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145637$B80F8C52-5C38-4A5A-B370-561BAEE550F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2ffcb8c01840ace21236bd710c2a867334a33ef","datavalue":{"value":"1498.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145637$E8CC10A8-97A6-4034-8F10-B76EDB2E7AB5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae52fae75312ffc70f4d7af32f5ff0c55ed6115f","datavalue":{"value":"10.1145/3373718.3394779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145637$1CB533B1-B329-4990-A81B-E6069CC3A9CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f5b3c3247f723a8dd053286a58f85570c0f08c2","datavalue":{"value":{"entity-type":"item","numeric-id":290907,"id":"Q290907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145637$B3C18057-3B68-4038-8701-EC993F8296B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f406cdd9c58c8bc4d0426cf18b76c9626a907936","datavalue":{"value":{"entity-type":"item","numeric-id":2399251,"id":"Q2399251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145637$9BDF08B8-38A3-4278-95F2-C59BC9C3B45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe0c4444bead8b7ed8a4c2b95e9d242a83e708b1","datavalue":{"value":{"entity-type":"item","numeric-id":5145636,"id":"Q5145636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145637$7E32437E-B390-47EC-9AFF-E739CF13CD5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a981040b7cfe2c1a3a7b860b2700c236f2b8a237","datavalue":{"value":{"entity-type":"item","numeric-id":1675162,"id":"Q1675162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145637$FB75ECB4-470E-4BFD-812B-150A02F6BE2D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d6acabd1d03c7bf4038f1fe09f6b50384b32deb5","datavalue":{"value":{"entity-type":"item","numeric-id":5145612,"id":"Q5145612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145637$C4FB5684-AD61-4759-A2E8-DE7189205D20","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2be4cfc06a63d907ae95fa44423b78da0f5c0eb3","datavalue":{"value":{"time":"+2021-01-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":"Q5145637$C1470DC4-DDBD-4F80-998A-71336E261294","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe44171c5bdcd7081b94a089a0bd20c06aacacfc","datavalue":{"value":"https://arxiv.org/abs/2002.09393","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145637$C773C860-DA31-4E01-A88B-359F277F8E9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145637$DBC6CDD9-FA72-4BEF-952D-D5953A60697C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145637$B628E5BD-F8D1-4EA3-BC24-8424A7B1990A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145637$A3CC6F83-4BD2-41B0-BEF2-294A2E87FC3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26ec750919915c7de5576bc038ba63380346f254","datavalue":{"value":"7299474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145637$542DF58E-ACB9-47B5-A2C6-9044C5B1623A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b14cd685c98a4ba07bb03380be5fdb0df906771e","datavalue":{"value":"congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145637$F884A0E8-C311-4876-B68F-ED655A9367A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cce8834fa9a373b95cfd784c57bea8289cf91fd3","datavalue":{"value":"extensions of MSO","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145637$914B1E7B-7E66-4086-A240-82E3221F4830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1c3cdc830e2879f4990dad5f4ca4c2ac65574a","datavalue":{"value":"extensions of omega-regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145637$AF9F2256-56E9-4371-BFC6-D6F697C93886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cca9027eead1aa5d4bcb128cb17b7e9e2f51ee3","datavalue":{"value":"full-trios","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145637$65F12BFF-D853-46F7-B9B1-16B28CBEB49B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba6f406d812969a65f4bc487c37b43f67806f99e","datavalue":{"value":"MSO+U","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145637$2305563E-FD1F-4DA5-BF83-9B5C339565CE","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":"Q5145637$22DF5A2B-E90D-486E-93CF-FF8379D32677","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27482fe72b7ae7e9d0d8db8db75ebcc8f32cdc7b","datavalue":{"value":"W3013591603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145637$F3FF3A64-BE11-4647-8DB3-0ACAC6A07FB0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d53a4ae8851a3e3c503057692654d128f306d89","datavalue":{"value":{"entity-type":"item","numeric-id":1882913,"id":"Q1882913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9af542d504d445866b88a9d34cabce7bf200b66","datavalue":{"value":{"amount":"+0.7688554525375366","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":"Q5145637$9DF4F7F3-4B17-451F-A3EB-52C8AEB42903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03f9440d7154a4bea9236416dd142aaaca699124","datavalue":{"value":{"entity-type":"item","numeric-id":1989336,"id":"Q1989336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07e030a038fb30498b208a42e52963d60cb5b4a0","datavalue":{"value":{"amount":"+0.7665795087814331","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":"Q5145637$EDBAE9F7-CC30-496E-9DCC-1CC19A909D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1a24b75fa6c5928ce8df6944f94b49b2c174aca","datavalue":{"value":{"entity-type":"item","numeric-id":1822511,"id":"Q1822511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d727339df17e8af95133b841bf8e2b82c3a7b3da","datavalue":{"value":{"amount":"+0.7510907649993896","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":"Q5145637$3C9FF0FA-F2D7-4EBE-BBF7-EBB30EB53295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88260dcccca7a949bd71bf27d56f52655193835f","datavalue":{"value":{"entity-type":"item","numeric-id":4281563,"id":"Q4281563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a444ab4bac06b8376316257c0d769eedfe39d37","datavalue":{"value":{"amount":"+0.7385583519935608","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":"Q5145637$88BCA798-17AB-4823-9CCD-CD47A56A6BE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145637","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145637"}}}}}