{"entities":{"Q4286209":{"pageid":6315810,"ns":120,"title":"Item:Q4286209","lastrevid":47240464,"modified":"2026-01-01T02:41:28Z","type":"item","id":"Q4286209","labels":{"en":{"language":"en","value":"On the Correspondence Between Modal and Classical Logic: an Automated Approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 540328"}},"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":"Q4286209$D9C6B506-E229-4F28-9B7D-6ABDC8B3BCB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e479f9c62a68e09f90ff7a7ab17588a5c4b2660","datavalue":{"value":{"text":"On the Correspondence Between Modal and Classical Logic: an Automated Approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4286209$73AA1318-8F80-4E6B-9305-CE0D1978AD07","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ec5e2a2a3b0607d29a7db17c0f4472396103d60","datavalue":{"value":"0802.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286209$8A55D306-5120-4D45-BE1A-723922B11AE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca60e4abfd0c45cace511a7d7434a08b65f8249c","datavalue":{"value":{"entity-type":"item","numeric-id":763332,"id":"Q763332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4286209$BC7FFE93-DA76-4BED-871A-B943F79FCEDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"198e1cf6b5241864422b78fe5a16d94ea3d08eab","datavalue":{"value":{"time":"+1994-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4286209$7DADF80F-AE9A-4479-A1BA-9611DC9B62D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0174e1d51c4db35b35dd0d30eb3b188f3f45c4a5","datavalue":{"value":"http://hdl.handle.net/11858/00-001M-0000-0014-B1BE-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q4286209$33241C39-8A21-4157-90CA-73B44CEEF674","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286209$A2C6E986-92D9-46D4-BC7C-1296BDF9AE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286209$7E44A858-85CA-459F-9DA7-CBA1CD44EF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286209$E3E25A0D-083C-4F2B-A7E9-D733A0E1A878","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3ed0b43992a96c6acf43330af755916cecec7a5","datavalue":{"value":"540328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286209$4129A8D2-8E18-4B74-996D-24C8AADCAA51","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4286209$E229E536-1905-4FA7-929A-89B225FBFBB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938291902bb3e4845daf0eaa389aaf4471596780","datavalue":{"value":"automated translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4286209$AEA26DD1-D79F-4790-AB1B-26708E8796B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4286209$7B4DBB87-ACB5-4AAB-A40B-C00454592A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca46e58b49a03847ea8bdf055981dbc0e59afb3d","datavalue":{"value":"elimination of second-order quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4286209$C08FA019-D667-4851-A8F7-0E571EF63981","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":"Q4286209$A794A071-229A-4840-B8E8-04114FFCA56B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91d5cbbc222531160878f3510f8d9ebbb2bdd1f1","datavalue":{"value":"W1989151171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286209$E0C2E6BB-7F03-4CD8-B104-1C632B09E547","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b0b377dd36a97d2fd4789f78b3ac1365f19c327","datavalue":{"value":"10.1093/LOGCOM/3.6.605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286209$1D5F7EBC-910B-470B-A224-922105D4C5E8","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":"Q4286209$CB7678A0-49E2-4201-A1C9-C19F936E4DE4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a34590024e296261db3e421cb1e76a7a33f346d9","datavalue":{"value":{"entity-type":"item","numeric-id":4317726,"id":"Q4317726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c738547d73aaa78bd60fdf5bf14c4e8459b8f789","datavalue":{"value":{"amount":"+0.8604419827461243","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":"Q4286209$DF4A70C8-904F-4B30-BBAE-DFC0633BDDD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a1a2c4792d537cd358d40c69db6fc45a56b8cfe","datavalue":{"value":{"entity-type":"item","numeric-id":4291871,"id":"Q4291871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c058dbaa89ee9732ca082e44036d1b088dcca6d7","datavalue":{"value":{"amount":"+0.8002526760101318","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":"Q4286209$399E27A0-1388-4D27-A227-189D3CD21617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf0bc3db9f544a0d2af7b777694ee79acef8ed47","datavalue":{"value":{"entity-type":"item","numeric-id":4282526,"id":"Q4282526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44988284ef53bc6b750d79a80791a1dbf6b8f0cd","datavalue":{"value":{"amount":"+0.799665629863739","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":"Q4286209$981D178A-C52F-4051-9E39-44BB19B10671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21319596713599630288e9a37aee41780d72e2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5277784,"id":"Q5277784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed15b3933e9f83f8a3ac13234bd0a62b2ce839cf","datavalue":{"value":{"amount":"+0.7934718728065491","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":"Q4286209$EC4A8D52-8D50-404A-8536-D446A78A972E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f1a068d35d562d02668f24ef2466262100aa9a4","datavalue":{"value":{"entity-type":"item","numeric-id":3983938,"id":"Q3983938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b333bb744fc3873a198ba1f571bd561b9189dfbb","datavalue":{"value":{"amount":"+0.7887767553329468","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":"Q4286209$D42CA08B-BA5A-4D10-8D88-001B12235991","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4286209","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4286209"}}}}}