{"entities":{"Q6845927":{"pageid":20572234,"ns":120,"title":"Item:Q6845927","lastrevid":84279176,"modified":"2026-05-14T14:09:16Z","type":"item","id":"Q6845927","labels":{"en":{"language":"en","value":"Expressive power of propositionally quantified modal logics on variable domain structures with accessibility"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8171296"}},"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":"Q6845927$02718387-DF2A-4E63-8849-33020ADE46D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"feb56642ed519c5fea62807e1d5317fd3d7d619e","datavalue":{"value":{"text":"Expressive power of propositionally quantified modal logics on variable domain structures with accessibility","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6845927$19DD1959-E2C9-4F70-B088-58D7688D6E6C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9dcccfc25105596d1315f689253033db555c902","datavalue":{"value":"10.1007/S10992-025-09823-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6845927$AF853D3B-EAE1-415A-8B8F-D0AD98B451E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"877a95fa57315d2bfa6a02958f05555a3a53b057","datavalue":{"value":{"entity-type":"item","numeric-id":6845926,"id":"Q6845926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845927$C69C6272-892D-4369-ADAD-E418F5C17039","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845927$DF9BBB34-2853-4C3D-9551-2168A4D99BDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0e78489bbe47ef60a61d243e2d28e513b4676ba","datavalue":{"value":{"time":"+2026-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6845927$929AA4A4-10A8-41CE-B275-42EDD4E5EAE3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6845927$DDC4D1D2-42DF-4EEC-9728-36EA75EC89C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c61a7b9d39c50cd3c311eb10457dfde3c061a29","datavalue":{"value":"8171296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6845927$C578E8B8-18F8-4853-8DDE-055627108520","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q6845927$4FEA30B1-B4EB-4585-8807-10FBFE553A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fe5fd4ad4b27a13cd8f0190c4e682a5deba6409","datavalue":{"value":"propositional quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6845927$A043DE4A-ABA7-4BF0-8FBB-C7D8A7012283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6845927$7EF0E0E8-EF77-4AF7-96FF-A1B9AFF665F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c44ba1d9a0d30823ea0a2219b0c690e26f654ae8","datavalue":{"value":"variable domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q6845927$61ACA234-04AB-49C2-94DA-594A4C29189F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77ba0e0c7d028654e6526cc48d8c5b8b16622154","datavalue":{"value":"contingentism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6845927$FFA9C745-C6EB-4BAB-B4D8-B43F966F9BD6","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":"Q6845927$1993F786-F82D-445D-9C4C-97E913FEC824","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a0236ccf2806909432e7cbeebb1de0ee519759a","datavalue":{"value":{"entity-type":"item","numeric-id":4779649,"id":"Q4779649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845927$DCFE02E1-8815-4CF4-A03E-0A975F6B2D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a70836d25636d00e121a0498e9f12785c5208d29","datavalue":{"value":{"entity-type":"item","numeric-id":1633208,"id":"Q1633208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845927$9E986E3B-A7FB-431E-9F97-282915A9C870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6d026ff51c8fe4d14911cca223e8865ee3c6fd0","datavalue":{"value":{"entity-type":"item","numeric-id":6654467,"id":"Q6654467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845927$DFF4229A-A240-4993-B6B4-821AEF2389C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b79e4cfcf3bcd78a7377aa411e54feaeeebfe9","datavalue":{"value":{"entity-type":"item","numeric-id":1731834,"id":"Q1731834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845927$E4035193-F893-4F6B-A613-B594B7A10519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845927$45BF6DAB-899C-4306-A4A8-7FD721462F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a142e7981f1be1361835a4a2b1a28d5260a8164b","datavalue":{"value":{"entity-type":"item","numeric-id":5576251,"id":"Q5576251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845927$65DB1052-8129-427E-8832-004C9FA021DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9829f78088e5de60aab3bfb941e6df04200f54a","datavalue":{"value":{"entity-type":"item","numeric-id":5224568,"id":"Q5224568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845927$1F699A65-B5DD-4F6D-9166-E00BFC4D1B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68358e5e9b74cd417344d70ee4760c38519ced99","datavalue":{"value":{"entity-type":"item","numeric-id":2240550,"id":"Q2240550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845927$9EB34CAC-8298-4AB5-8FDA-8068A3F510D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e52f372fafe719de5108c59e0672833ae8788a32","datavalue":{"value":{"entity-type":"item","numeric-id":4055622,"id":"Q4055622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845927$E78FF8E1-ED5C-43D8-854A-ACF98C67EFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c3f6afb8d0cc773a790af443ea3902bf1cc8701","datavalue":{"value":{"entity-type":"item","numeric-id":2804476,"id":"Q2804476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845927$ED7A6DFB-BD21-4012-BB70-6D5EC3CE417C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ecb9ab7621e6f05d3e36510a433dfff009ee98","datavalue":{"value":{"entity-type":"item","numeric-id":5274876,"id":"Q5274876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845927$09BF89A1-A4B7-4385-854A-B1093901E11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c184e53b332234357624b7459c05402755e62a91","datavalue":{"value":{"entity-type":"item","numeric-id":6536114,"id":"Q6536114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845927$91A4EB59-7329-41D8-95C7-E16F7BF4BD30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f27eb9a20fd6a9d31f55db4a6edaf7fc30bcc0a1","datavalue":{"value":{"entity-type":"item","numeric-id":5632542,"id":"Q5632542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845927$FCD5B874-94F1-4170-BEF4-9EFB77F86D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee824d2e0910e556fcc580e2b02e6de025931f8","datavalue":{"value":{"entity-type":"item","numeric-id":1902553,"id":"Q1902553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845927$E45AC8A4-FDF6-4116-B41B-6CE2CEA94348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb019838f7e83d63569fdc9c7d517b95c9c37f34","datavalue":{"value":{"entity-type":"item","numeric-id":3714043,"id":"Q3714043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845927$5AA5C287-00FC-4224-99C4-FCA50BBE0EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07cabedbd94001e0dfdf04c1494230debc5788a6","datavalue":{"value":{"entity-type":"item","numeric-id":2319895,"id":"Q2319895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845927$8AA03D6D-6EC7-4D90-97C2-43FD0785D900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f9121dd34ea4e958d5202f7a6d3cd94c99febb","datavalue":{"value":{"entity-type":"item","numeric-id":5224576,"id":"Q5224576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845927$72232427-14AC-4E84-B980-63CC0BFF4119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845927$D9E864DD-665B-473F-BD95-0392FE9B7F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002460162e95ba276012863faeb6722ea601f64","datavalue":{"value":{"entity-type":"item","numeric-id":1924326,"id":"Q1924326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845927$CB06AD24-DCD8-42FB-B066-3F1597BE3ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"121c2b77a2e6f0b6bdb52f35e082e117e95f7c7d","datavalue":{"value":{"entity-type":"item","numeric-id":5287696,"id":"Q5287696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845927$8CAD96D5-09F2-4999-A270-29F116AB1677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adcd56a0617efad5383d484676cc25701bc6e22","datavalue":{"value":{"entity-type":"item","numeric-id":4358053,"id":"Q4358053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845927$1B8E1D71-EBBE-4FF1-ABD9-52B654AC1DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c0c2a23ca9c426c0ff8823373e47e70770af962","datavalue":{"value":{"entity-type":"item","numeric-id":4961741,"id":"Q4961741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845927$63FD0416-6E0C-4307-A3E1-CD8F5DDC26BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaaee3a935b71da0c5fd895e355092a513197bd2","datavalue":{"value":{"entity-type":"item","numeric-id":3265659,"id":"Q3265659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845927$15FC907E-B4B8-4CDB-A647-89D371CA4F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b008c640b2d8061e30defcaaf98e0ace1773df","datavalue":{"value":{"entity-type":"item","numeric-id":5339289,"id":"Q5339289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845927$931089E3-0DBD-422D-8F3E-A92FBDA114EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0b48eaa38a9421051d21dea5ff88d1310e330bb","datavalue":{"value":{"entity-type":"item","numeric-id":558415,"id":"Q558415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845927$19723285-5903-4626-B989-1C1D17728740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1fb1869eeda22b80b779f24041d282533cbf11","datavalue":{"value":{"entity-type":"item","numeric-id":3085169,"id":"Q3085169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845927$57C86BB3-48A7-4391-A50D-37EEE2F7AA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2d708a5be8b4240027a8f4744778c558e24c64b","datavalue":{"value":{"entity-type":"item","numeric-id":466445,"id":"Q466445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845927$0B7F9DEE-45BE-47EE-B6B2-785140CDDE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e74281b4fc2275e559f91f3c4723880845ce829","datavalue":{"value":{"entity-type":"item","numeric-id":2522269,"id":"Q2522269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845927$87A0EF45-B0A8-4446-AECB-72A2ABE984AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"180abb7bd1ccb50b9190f5eab21e36d8e8a1d487","datavalue":{"value":{"entity-type":"item","numeric-id":5892761,"id":"Q5892761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845927$54C4B88A-5153-4823-B869-57F274E6F606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c451ae4bc57a2401ca0a06eefdc1ba5da11477","datavalue":{"value":{"entity-type":"item","numeric-id":5848891,"id":"Q5848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845927$84216F3C-A060-4B93-B0E0-559EC8C0B6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9725a65698f7598808da2e2091ed170cd9a7d90f","datavalue":{"value":{"entity-type":"item","numeric-id":3916564,"id":"Q3916564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845927$76F866F7-07ED-438D-9247-A2D7FCA0F306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5cf8fa535605290547950c58b065116b31c50c3","datavalue":{"value":{"entity-type":"item","numeric-id":1188502,"id":"Q1188502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845927$A35DD455-D339-44C8-8D69-AFBB683B8DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d938e2cf16a516c25169e92ed68817a27d01f44d","datavalue":{"value":{"entity-type":"item","numeric-id":5845382,"id":"Q5845382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845927$C43DB41B-22F5-4F2F-9447-8D0214E3A4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a87021c2b940923dd9b6d58954bdf1a5350b5a7","datavalue":{"value":{"entity-type":"item","numeric-id":2499295,"id":"Q2499295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845927$48940B83-6394-4FEE-BD92-3E401666D6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f32d674744e33d33ff2d01f51e300197666c7e9c","datavalue":{"value":{"entity-type":"item","numeric-id":1826435,"id":"Q1826435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845927$0690DD5C-3FDE-4B95-AA7E-E2AEF8243C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aa3a343358c2292e5427ad6310372de0b6fcc99","datavalue":{"value":{"entity-type":"item","numeric-id":5495322,"id":"Q5495322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6845927$D76494F1-126B-4176-943E-553732FD28EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Expressive power of propositionally quantified modal logics on variable domain structures with accessibility","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Expressive_power_of_propositionally_quantified_modal_logics_on_variable_domain_structures_with_accessibility"}}}}}