{"entities":{"Q4529491":{"pageid":6559083,"ns":120,"title":"Item:Q4529491","lastrevid":47915962,"modified":"2026-01-03T02:03:22Z","type":"item","id":"Q4529491","labels":{"en":{"language":"en","value":"The Complexity of Regularity in Grammar Logics and Related Modal Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1744051"}},"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":"Q4529491$B510F989-5A19-40B2-85EB-7B5BFAD41627","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"504be0f39f28145d89b345ed81af2d164ff1a73c","datavalue":{"value":{"text":"The Complexity of Regularity in Grammar Logics and Related Modal Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4529491$75671160-7A7F-47DE-8C4E-0C2FAE89A576","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0e50b3ffabec2d9f9509b42ff43a342146f73d1","datavalue":{"value":"1002.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529491$3670DB88-53B2-45C6-9A01-CDAA1BC15828","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"487657d41a3727080d9cf416d12bed060ca6cc64","datavalue":{"value":{"entity-type":"item","numeric-id":213235,"id":"Q213235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4529491$54F3C979-5C20-40CF-A24B-E481115E83A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4596813155b5f871fa61ac7e439e59bead33caa7","datavalue":{"value":{"time":"+2002-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4529491$17E6792C-6EDB-4661-815C-28A52F2F5DF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529491$004AED96-72D5-4992-BDFF-C6D67AABF5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529491$D2FD8B52-0D5F-4C6D-8E3E-6B3DE7EAD4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529491$520CC749-700A-4A96-A6D6-FDB61F9C3A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529491$0F403E90-A653-494A-9FC3-9C5A0E5A22CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529491$5E0D641C-6C53-469D-AC8D-457293F096AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529491$4551BB20-D2AB-481D-9A70-4A85F573649E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529491$6C76AD58-8844-4047-8C7D-CB204252D0A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"619753179b2a456542ef31bcda0518778b6f8d32","datavalue":{"value":"1744051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529491$637A95BA-2F1F-4736-B7C9-090A8F430D64","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4529491$139F2B3E-DFE6-4B37-A5A7-F6558D28E0E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4529491$A935C476-8C56-4D2F-B1F5-67D5AD131DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ea9b35a533d874f0a32d77e584c8b61e0e7c2fe","datavalue":{"value":"regular language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4529491$E139D45F-502F-43EC-B3E7-266D914A50FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ac3aa141a5e99f6d4ec0321d581483dfafb5e9","datavalue":{"value":"finite automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q4529491$61D39AE2-C907-4DD2-AB58-536A605ED485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4529491$C4EC4174-EFC8-4E31-89AE-03E3EF2818FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d1b509dcb71fe955951681ec5236d9245a85608","datavalue":{"value":"modal reduction principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4529491$3A3C3F74-FEEE-4E1D-B18C-C770A6BF797D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92553e0593b26e9391d829936c800437ab2b3d14","datavalue":{"value":"formal grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q4529491$169647BC-D27E-4821-9016-1150535A14EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7369b00dcc2de789af51f57c7628c1a00a554901","datavalue":{"value":"multimodal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4529491$F7D613E5-7BB9-4F2A-BD15-D8F763650F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b858cf1271b8c7a995cfc0be529cc9d66cb4651","datavalue":{"value":"regular grammar logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4529491$3CF7D831-EADD-4B84-941C-A75EC76360F2","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":"Q4529491$06D611B5-0325-4662-82C3-A7CB562B93D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6bd6dbd820969d26be2c355908110b21fff4605","datavalue":{"value":"https://doi.org/10.1093/logcom/11.6.933","type":"string"},"datatype":"url"},"type":"statement","id":"Q4529491$3284379A-16CE-46D4-AC72-78280F9A8AD0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"47ced0fa12fa50af5948a6010d787e54465dcff8","datavalue":{"value":"W1970040536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529491$99633791-0DF2-425B-A692-04BA5822853B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a00bc929ab247f6bda2632043190f491f4b6215","datavalue":{"value":"10.1093/LOGCOM/11.6.933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529491$4F1EFD9B-6388-4917-8EA1-7A81F7E1D129","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4529491$C188B9CA-645B-49E5-9378-81379B8D92C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0907db0d905b6c81387ba2c300e96a439cf2b05","datavalue":{"value":{"entity-type":"item","numeric-id":3351355,"id":"Q3351355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b630238b81968b58d4e1b94e1508ad258013ef4","datavalue":{"value":{"amount":"+0.8245064616203308","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":"Q4529491$26C86E9E-4DDA-4898-8D1C-4C631581B0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7f689c83704e49e62803cb94e676cf2d9254dfe","datavalue":{"value":{"entity-type":"item","numeric-id":4430396,"id":"Q4430396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86e08f0d4f9e6457d60a0a556ee17bf207068f7e","datavalue":{"value":{"amount":"+0.8176810145378113","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":"Q4529491$C96873AE-ED37-432A-99D1-4CF8EE7622C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13c267b02e44dc4e518d9141b04e3092a29f547a","datavalue":{"value":{"entity-type":"item","numeric-id":763333,"id":"Q763333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b524c8540043a8e1a3ccafb0b814df84b87d198","datavalue":{"value":{"amount":"+0.8100087642669678","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":"Q4529491$D04BF334-59AE-4843-8B85-77008FACDB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"553bb8fccc21fcd98c66f3bfee4c1a71213ffb01","datavalue":{"value":{"entity-type":"item","numeric-id":5479274,"id":"Q5479274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39d9775e6a3c3b3ba736296219db01d515fbaf59","datavalue":{"value":{"amount":"+0.7944812178611755","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":"Q4529491$820C804F-017E-4E27-AFB6-A4641FBCB97A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9e42ba31e9a4e2566b7e863ec89ebb5ce5c8f74","datavalue":{"value":{"entity-type":"item","numeric-id":5460207,"id":"Q5460207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8807807958bb7aab2b3af2a418373955b28ec2cb","datavalue":{"value":{"amount":"+0.7789543867111206","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":"Q4529491$92DDF99E-634D-4E6E-A6B9-67CC0187545D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4529491","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4529491"}}}}}