{"entities":{"Q5958302":{"pageid":8135104,"ns":120,"title":"Item:Q5958302","lastrevid":47755036,"modified":"2026-01-02T14:52:27Z","type":"item","id":"Q5958302","labels":{"en":{"language":"en","value":"Dot-depth, monadic quantifier alternation, and first-order closure over grids and pictures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1715303"}},"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":"Q5958302$DE1D728F-648F-4936-A265-8D3388FDD223","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff6276e68d028a71ad19434956eaa189b1275949","datavalue":{"value":{"text":"Dot-depth, monadic quantifier alternation, and first-order closure over grids and pictures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5958302$E6710380-3474-4B1A-A51D-0C33531CD039","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"341c41ffde3c0d5b7a5b826d0bb4a62639de7e06","datavalue":{"value":"0992.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958302$6260B6C2-1B70-4DBC-A187-312751F0E06D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c439064d2ca1d0f6a01bf54daed91633d193b14","datavalue":{"value":"10.1016/S0304-3975(01)00277-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958302$AA9C22B7-883E-423D-A520-190A16993A59","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae097d0983e7138d40c378e8e3da34570f8303a1","datavalue":{"value":{"entity-type":"item","numeric-id":235629,"id":"Q235629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958302$751A11F4-CCCE-418A-8DFB-D9F4C4265FCE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958302$D3963CF6-2E2B-48C0-BD97-BDDA138728EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de0bbc1f0efc0eda52d8a37720ec217ae66c93cd","datavalue":{"value":{"time":"+2002-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5958302$9172572B-BD9C-4E99-AEEA-BC672EF8D99C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958302$95C4BFF0-9CB3-4DBF-A542-1BB757F6D5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958302$B13C3644-B81A-4631-AA2A-AF84098DC485","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ce8e1182983d8c4b6bcdc6709f8bf5206421ed2","datavalue":{"value":"1715303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958302$3D4F3802-D07E-4718-BFF9-632331185B10","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958302$B94EEE47-2E23-4729-AF7D-8844108A58DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f3199458cb9d6c64e3e4ac577d92b9754ac1e31","datavalue":{"value":"starfree word languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958302$617C4C7D-1502-42A1-8F19-2EC36946C635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b9049454449bd1d698da3a3ca3f368257fdb3ea","datavalue":{"value":"starfree picture language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958302$5F75D85A-56E1-4BD4-A3E0-C5AB1CD27956","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":"Q5958302$0C33FA57-44DC-4BEB-8AFE-5B47D4DF43EE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bff850f03023409c6bb7b1dcbc62d43f9effba1e","datavalue":{"value":{"entity-type":"item","numeric-id":4542549,"id":"Q4542549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958302$15568705-B788-433C-BF4B-02010199D3CE","rank":"normal"},{"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":"Q5958302$5D62B6F3-139E-4B43-8027-FAF1DE6DE8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"972ff908209cbae1dc0a10a9462932031345a6a7","datavalue":{"value":{"entity-type":"item","numeric-id":1099644,"id":"Q1099644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958302$CFFCF502-5BAE-45F4-A39E-612AB7028EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ecc2c2ae16f1f5c8b1f75af0eea6da5fd5819e1","datavalue":{"value":{"entity-type":"item","numeric-id":4867181,"id":"Q4867181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958302$F19675A6-5AFB-4B11-9067-CD7B2E1A5CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b670815da7dcdd09819fb6de23ae9ecf44b551aa","datavalue":{"value":{"entity-type":"item","numeric-id":1917078,"id":"Q1917078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958302$C618C4A7-C406-4C53-8D73-C0957A1600CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb8026630bf2512e9d180c6b819820e9eb0bd46f","datavalue":{"value":{"entity-type":"item","numeric-id":2762794,"id":"Q2762794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958302$9CB2D3BF-7EB5-4C2B-8F3F-33D46C2A6583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d26592fc27de192112fa9ef673257f1c2dbd18b","datavalue":{"value":{"entity-type":"item","numeric-id":1376420,"id":"Q1376420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958302$17CFFFE5-337B-4C10-8315-A8824F26ED9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19c13cdf2f852301408e90c2296828cc820f914c","datavalue":{"value":{"entity-type":"item","numeric-id":4218153,"id":"Q4218153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958302$665BD3A8-8EE0-4512-B5D2-7EE957C37D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1cc8e9754750356918bc32ec4527b459dc5c2b8","datavalue":{"value":{"entity-type":"item","numeric-id":4951166,"id":"Q4951166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958302$E125E478-1C32-45D8-A876-F803DCE8BE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1e9815fac0d68e12739ba69d2d4e83721370536","datavalue":{"value":{"entity-type":"item","numeric-id":2506497,"id":"Q2506497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958302$019BA7E0-1E46-4701-A763-7492245124AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed68160731cf55d219ba94647825683328472c30","datavalue":{"value":{"entity-type":"item","numeric-id":3769981,"id":"Q3769981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958302$04FC00FE-0AA8-4380-8221-4F0C9DE39348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c77aa265133dff917f243c31cce9a7181ecc84ca","datavalue":{"value":{"entity-type":"item","numeric-id":4218948,"id":"Q4218948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958302$93F5F09E-9869-4B06-B794-13804409DE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822cc9fb46c110774ba75bc823e0586b1897ee30","datavalue":{"value":{"entity-type":"item","numeric-id":3885822,"id":"Q3885822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958302$BDDF483A-6BB2-4C31-8384-A9E0F5CC00C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb61aae900bc7a7a7d7d33598979276a88b71272","datavalue":{"value":{"entity-type":"item","numeric-id":4571966,"id":"Q4571966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958302$8EE4597A-7D87-4D50-9387-903F8C3EC3D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfc8359d20744d2da6d765ddc5ceff5cc535730a","datavalue":{"value":{"entity-type":"item","numeric-id":4218948,"id":"Q4218948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65445fd19814194c460d38927009c38ac67b3fa4","datavalue":{"value":{"amount":"+0.8786342144012451","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":"Q5958302$137EAE3F-805B-4CCE-8212-BDE42BB28540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7a2fc4aef0c59ab788dd4a099a6a5621bcd2c94","datavalue":{"value":{"entity-type":"item","numeric-id":2506497,"id":"Q2506497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da98924540c82054158d768b400c62fbddb349c8","datavalue":{"value":{"amount":"+0.8088722229003906","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":"Q5958302$0281AE04-102F-450F-9AF4-F7BF3353C4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba33f73f8cf3e949aa159d68bc3cd85503d95314","datavalue":{"value":{"entity-type":"item","numeric-id":3086932,"id":"Q3086932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e4db4b6b61f5c9303ce9e97bcbe35a55d8710d7","datavalue":{"value":{"amount":"+0.7901553511619568","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":"Q5958302$234E983C-615B-4AAA-B96D-422ADC235D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01b663e42e16167f767820b45f94dd7f5ffb45fa","datavalue":{"value":{"entity-type":"item","numeric-id":5311712,"id":"Q5311712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"631f022d6b1cc9c36522b10d7f705f417a8fece5","datavalue":{"value":{"amount":"+0.788232684135437","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":"Q5958302$B38C9DE2-86F7-4468-A1DC-4AD3DE077012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b4cc5d832fed6ad2546383878c8df92455a9211","datavalue":{"value":{"entity-type":"item","numeric-id":4218153,"id":"Q4218153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f38d06a3e7dd68adee4e5f6be4a853ac2f376b3","datavalue":{"value":{"amount":"+0.7731900215148926","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":"Q5958302$1037E0D1-443B-4110-8108-49EB54476E64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5958302","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5958302"}}}}}