{"entities":{"Q1088982":{"pageid":1099734,"ns":120,"title":"Item:Q1088982","lastrevid":66912021,"modified":"2026-04-12T13:41:29Z","type":"item","id":"Q1088982","labels":{"en":{"language":"en","value":"First-order logic and star-free sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4002076"}},"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":"Q1088982$3F4E4595-C216-414F-A7E4-0230FB48AB6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02025ce0f2902b9ae81d8a6f8fe6676b605cda36","datavalue":{"value":{"text":"First-order logic and star-free sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1088982$349692C6-4AAA-4A90-939F-6001B73B0071","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"545a85ec92da671a3e5aa3b12cb58917eb662eb2","datavalue":{"value":"0618.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088982$3F4F5E88-B4D8-4C16-B1EB-88B36787A35F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22bcce489cefa762db687615df19bca9b76f24a0","datavalue":{"value":"10.1016/0022-0000(86)90037-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088982$40E9F20C-97EA-4BBB-86F0-47BD1E876AE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6749bcdead989847e012c6d63fa055fe98296ad","datavalue":{"value":{"entity-type":"item","numeric-id":230066,"id":"Q230066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088982$BF524CDD-7666-48DD-949E-8727BE2F1493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd7534d49be8f15cc7d26daeab10531db6ccc7a7","datavalue":{"value":{"entity-type":"item","numeric-id":213071,"id":"Q213071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088982$136E083C-4FED-424B-AC86-8A90493D3D40","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088982$5A9D296F-9DEF-40C7-BD98-FA23E9969B2B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1088982$D7E1AABA-6325-4F3D-A30D-429D26B54717","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f499d2fdc8c4bdb5f453cbf08a286758b8a1b256","datavalue":{"value":"In the paper a version of the Thomas theorem on the correspondence between star-free languages and a hierarchy of first-order logic formulas based on the alternation of existential and universal quantifiers is proved. The proof is based on the Straubing hierarchy of aperiodic languages. The main result is generalized to the case of languages with infinite words.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088982$585C8B9A-71EE-4222-BAE8-CB1A8321A89A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088982$BCA583D2-15D2-4888-AD40-D9477D4A2260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088982$AF458004-6905-4104-968E-F76190DB572C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088982$18927808-4277-436D-AA77-01267F287691","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63cb7eb05203d1ecf7d2d516f80c92838d4fd54d","datavalue":{"value":"4002076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088982$1A7838E0-7F72-4947-9A2B-88603E62DF77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32490d15e9a9f0544e6b80bbcf0c5a6a20c3be6f","datavalue":{"value":"star-free languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088982$6DA44A0E-FCF3-4FFB-98DB-2A3FDD262398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93f7ec7eb2abad9008f9dcaabab980282c79ff98","datavalue":{"value":"hierarchy of first-order logic formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088982$AF2E044E-CFC8-43EC-A448-DCEBCFC40AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1204b435382a6cfc235e1e32dd30aaee5063dea","datavalue":{"value":"alternation of existential and universal quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088982$4BC254CA-402F-426C-9C59-F9D68A5C5DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dec720f0f91f9db73cf4f0b917fe0094f66cc75f","datavalue":{"value":"Straubing hierarchy of aperiodic languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088982$40556F59-2D7B-4F66-BCE4-B45E5AE2C541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8d52890c2dfbb9ba9d9e42d2f549d1adfaf5493","datavalue":{"value":"languages with infinite words","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088982$23765A32-AC62-4F2D-B944-58192B57A160","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":"Q1088982$714DB9F1-4A9A-4A04-9DBA-77ACB869996C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f22e25acbbf23cf740e153293cd0ff4f15e8db61","datavalue":{"value":"https://doi.org/10.1016/0022-0000(86)90037-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1088982$9F4A7C7E-B521-4424-8C27-44E968775E04","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8b3f67ffd8322d2948432fadd70880a517103a5","datavalue":{"value":"W2020558489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088982$D8D36B3B-C237-4A94-8065-345A66CF0B85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2299871f8da3ff873a8d3556c58e2f6c60e4e2b9","datavalue":{"value":{"entity-type":"item","numeric-id":1242697,"id":"Q1242697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088982$1032240A-0A33-4E86-8E0D-72B000801A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf4dae9a78ba0faf4348899879d3cffee2a4636","datavalue":{"value":{"entity-type":"item","numeric-id":5618355,"id":"Q5618355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088982$F09F8EA3-A0F8-455C-91B9-935A21E79640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dd225cb7a1f1b5d01838e5961bac1df864370d","datavalue":{"value":{"entity-type":"item","numeric-id":5641083,"id":"Q5641083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088982$2B3B42AF-6CA5-41FA-BCD9-3CD3AA061931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56342b2bb0e046650b72466b0f3cffb53f92c5ba","datavalue":{"value":{"entity-type":"item","numeric-id":3718174,"id":"Q3718174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088982$EF68BA35-B925-4BDE-BD26-DCE81C26EE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb3b2dad008e8798709d54196e1a1032baf80921","datavalue":{"value":{"entity-type":"item","numeric-id":3698327,"id":"Q3698327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088982$CEF0BC17-4045-4BD3-BEE1-B94F798F51E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70149cae8f99255f0ad252fb21c7901c2462fe82","datavalue":{"value":{"entity-type":"item","numeric-id":3776657,"id":"Q3776657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088982$50CD5EA0-9D95-446A-9618-B434EF6B91FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ad71e0c47b486677961310ebe80bdd31a6c3125","datavalue":{"value":{"entity-type":"item","numeric-id":2266068,"id":"Q2266068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088982$4CD51F18-D808-4FD2-8EB4-506E8138F3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"342e773b9e30385be9547647e572658e43d226c4","datavalue":{"value":{"entity-type":"item","numeric-id":4198738,"id":"Q4198738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088982$0EFFA87D-C394-4A4A-87BF-7B2737587FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee6d83667516f08e057d913a2b054f4d07e596f","datavalue":{"value":{"entity-type":"item","numeric-id":1173413,"id":"Q1173413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088982$87C23262-36B2-407C-914A-3F60D2CBC407","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"857c9c4c7040038cd85ae5a8b3ce3794d9ab66b4","datavalue":{"value":{"entity-type":"item","numeric-id":3700853,"id":"Q3700853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9efed0fac87a1ef12761cd9e163ed2eb18c98a6d","datavalue":{"value":{"amount":"+0.8639827966690063","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":"Q1088982$A34404DE-67BB-4B50-BDA7-70121D9D9576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cb49a3db0b0197aaa262f0e261150b6199aa1a6","datavalue":{"value":{"entity-type":"item","numeric-id":3978766,"id":"Q3978766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"802384e0b62fdab042089c595ed30ab73d02e14e","datavalue":{"value":{"amount":"+0.7982622385025024","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":"Q1088982$549D1B8C-988D-4E64-91E0-EBD7373731E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff1560088a5306487dc496aeaff2c54e80ff7093","datavalue":{"value":{"entity-type":"item","numeric-id":1575940,"id":"Q1575940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3833e5eb10cd7dfa147aeb22a0750fc889796173","datavalue":{"value":{"amount":"+0.7931761741638184","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":"Q1088982$3EF6755F-0E2B-4AFC-A53A-B9EAD9A6B423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a55dc00c8669677509bb3d6d5fb601caced8c7","datavalue":{"value":{"entity-type":"item","numeric-id":1854423,"id":"Q1854423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"518c8fb31a51effdfdf214749aeae702a94f7652","datavalue":{"value":{"amount":"+0.7812037467956543","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":"Q1088982$54F1532D-AD92-456D-804F-86C4CD49641E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a228f3a9234be74041c4f48ff90ea25d280dd7a0","datavalue":{"value":{"entity-type":"item","numeric-id":4571966,"id":"Q4571966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be4b9ddb9519ac6f8df6c39d197ddbded30885d6","datavalue":{"value":{"amount":"+0.7792481184005737","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":"Q1088982$7D1C0A4A-5DC6-4569-AE5A-A325A4BDA3E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"First-order logic and star-free sets","badges":[]}}}}}