{"entities":{"Q4835534":{"pageid":6865114,"ns":120,"title":"Item:Q4835534","lastrevid":41130408,"modified":"2025-04-18T10:22:15Z","type":"item","id":"Q4835534","labels":{"en":{"language":"en","value":"On the Independent Axiomatizability of Modal and Intermediate Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 761114"}},"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":"Q4835534$C1AECCDC-2BCF-43A8-8B7E-8723312CEBB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13e1f75eba0770f78529d1631ee6f0b51d3e1696","datavalue":{"value":{"text":"On the Independent Axiomatizability of Modal and Intermediate Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4835534$8BB5E129-2224-4B3B-8A20-0F48B5960D7D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f38bfbe0236ee3201c13d067bf50e407c6559775","datavalue":{"value":"0856.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4835534$8D3971FB-C21D-4AB7-913F-59B97DDA4BCA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d3360b6b943b694e0d876edcc46e387fe24c809","datavalue":{"value":{"time":"+1997-02-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":"Q4835534$7DF84AB8-BF35-450C-9E2F-BDAEAA17FB8F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4835534$BD060CC8-287F-49C6-9F59-3746B5C5D42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4835534$ED3092A0-533C-430D-9D5C-77DFB101680F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e35f1cc4826e06af410160b968e877d4afc06540","datavalue":{"value":"761114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4835534$57DE369B-3E12-48AC-9649-280832644CC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c9db1c19472072ab87094a231bf8425bee80950","datavalue":{"value":"strongly coatomic lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4835534$A9568604-2DAD-433E-8F59-CD8307A1E85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"556fefebba52f15c4abbc3ce2ec4f9cbde5960ae","datavalue":{"value":"differentiated frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q4835534$1318153F-3B70-4549-ABCB-3364BB32C1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1be9c7f9061e71374cdf3fcdde9f2be907b9ee7","datavalue":{"value":"canonical formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4835534$8CCCF68E-99A9-4B1A-8666-8816A4BD1B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26ded8ecd0a0661b0861c090de5cd4a1c75bfc03","datavalue":{"value":"independent axiomatizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4835534$3165584A-5296-4C4A-845E-C4619D5F2DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4835534$DC01AC53-7726-4E03-A2C9-EC1FECAB5E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ccc36dd4b829a804cb35634e3fec1befde97fe","datavalue":{"value":"intermediate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4835534$AC7956F8-4CF4-474F-9980-A3A137A8D2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a01cedacdd5d7fedd625de50de09464f3aa2c0","datavalue":{"value":"Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q4835534$BE3DEC7F-3ECB-40D6-8C75-4237E0D6FE73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9766154da8868329ab713f56377e5e5d3217fc5","datavalue":{"value":{"entity-type":"item","numeric-id":1181480,"id":"Q1181480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835534$8A3622E6-AC7D-4F9E-870B-BA9F8EBED784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a400f63fb65fdbb9cd5ac7576d054d4b1a7834c","datavalue":{"value":{"entity-type":"item","numeric-id":1181481,"id":"Q1181481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835534$78E389DD-D054-4A0E-A14E-3EA42F105FEC","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":"Q4835534$A7C681F5-0EBE-4E2A-8DD0-86FEDD1369FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4976370771af51dc488e620b616d6a46687f7a97","datavalue":{"value":"https://doi.org/10.1093/logcom/5.3.287","type":"string"},"datatype":"url"},"type":"statement","id":"Q4835534$83B33B28-F24E-4593-BC72-0CDE46CA83E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"973603cc31cdd840c4f2c0975d42a3175c68265a","datavalue":{"value":"W2049433056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4835534$4975F8B5-27E0-47AA-AE6C-C86BB66B8ED2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4738d285d37139bdff243b12fe4dd571070b902d","datavalue":{"value":"10.1093/LOGCOM/5.3.287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4835534$AF445160-8C89-4C42-BC49-DF0AE7C47C17","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02914676961ea20adba25e8af504c2bfc869aafc","datavalue":{"value":{"entity-type":"item","numeric-id":3340837,"id":"Q3340837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63bbbed2aa691ad2400f72075cd6c33071b8a08b","datavalue":{"value":{"amount":"+0.7717484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4835534$0C0C2824-A5E5-4FE9-ACF1-D20F24BE28B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cd0204cadfbbfa08b5971765237aefa1104065a","datavalue":{"value":{"entity-type":"item","numeric-id":3830978,"id":"Q3830978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29d20c2642d8c34a8f2d4a1c2933c00b5aa8038e","datavalue":{"value":{"amount":"+0.76966393","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4835534$BC43F3F7-9DED-403F-A569-2C12A8C7973C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13cc9d173ebedade2fbea141a1459a60bb2d9782","datavalue":{"value":{"entity-type":"item","numeric-id":1378430,"id":"Q1378430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5575f2f3d9274f37cc72b8260197f086234eb18","datavalue":{"value":{"amount":"+0.76357776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4835534$57F8B25A-B58F-4BF2-852C-E489866DB1A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d6a7ae00126343a233499b8536886a6f2ea3f9e","datavalue":{"value":{"entity-type":"item","numeric-id":1091385,"id":"Q1091385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2e3e0eb54e826d382990e780b58472dcb0c9f0a","datavalue":{"value":{"amount":"+0.7598559","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4835534$66FD08C1-C153-46DB-AA3B-D5DF9C2011AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c81e45520edc73efbbabb478aee815766c58e9d","datavalue":{"value":{"entity-type":"item","numeric-id":4304115,"id":"Q4304115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f0f1fa410a2682c9d57ae85db146843b0e53757","datavalue":{"value":{"amount":"+0.7540189","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4835534$0017BD2E-1900-4CE4-9CD9-01A3BB4640E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6c5ff9241c625dfaa8e73ceb5f8a8f39a50f3b7","datavalue":{"value":{"entity-type":"item","numeric-id":1096618,"id":"Q1096618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5695f0d072cc1a487e52bf95113fcb12ae34b399","datavalue":{"value":{"amount":"+0.7504791","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4835534$15A2A370-FE6B-410C-8A36-B9B39D13DBA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9430167a2d56fddacb222fe5bc24cd9c16d8f2e","datavalue":{"value":{"entity-type":"item","numeric-id":4896535,"id":"Q4896535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b720b6be6935c9cf7d25789938b055f3fa40a675","datavalue":{"value":{"amount":"+0.74690783","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4835534$3A02D6FD-270C-481E-BA54-332F6B42D03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b053e5a8e21ea5a0b7e860fdedfebafea004bf53","datavalue":{"value":{"entity-type":"item","numeric-id":3346288,"id":"Q3346288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b63569bb7f951e56fd233011f7198cacc5dfe746","datavalue":{"value":{"amount":"+0.74472636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4835534$DB562DC6-5504-4823-BD87-78EF88A9F828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da1e044d9142550238c8c1bb1923b20759f6b691","datavalue":{"value":{"entity-type":"item","numeric-id":2276947,"id":"Q2276947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa0495bb5c1b0e94f3240c3ea9334f2ee4053f6f","datavalue":{"value":{"amount":"+0.7380617","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4835534$1BC76202-9163-4497-9DD5-5A41F28CFED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e947bc4f6efd1c0bc3f1ef70a8ca3af135df9098","datavalue":{"value":{"entity-type":"item","numeric-id":874750,"id":"Q874750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf6dda2a7138064274d94d25298fc3b82a5da76d","datavalue":{"value":{"amount":"+0.7344496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4835534$C38A04EF-B8B6-4450-BECD-2959800E205B","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":"Q4835534$CD93DADE-6D4A-4712-95B7-C517654AC9E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4835534","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4835534"}}}}}