{"entities":{"Q3712313":{"pageid":5742219,"ns":120,"title":"Item:Q3712313","lastrevid":50576207,"modified":"2026-01-14T11:06:01Z","type":"item","id":"Q3712313","labels":{"en":{"language":"en","value":"The extensions of the modal logic <i>K</i>5"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3939324"}},"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":"Q3712313$A330DC7C-785D-4F16-99F3-84F1EE4CD6F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea28c83853a5db63fb227be7693f43472ba022d3","datavalue":{"value":{"text":"The extensions of the modal logic <i>K</i>5","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3712313$A9940056-18FF-49AE-A097-A54D2F2DE996","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef5e59168a15f2957ceeb57a70f2d4f46aa9f07a","datavalue":{"value":"0586.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3712313$BCED3863-4B08-485E-A4DD-FA52582F4262","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03ba7168faff16d0d8bb668528f7f460fd934c3d","datavalue":{"value":"10.2307/2273793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3712313$FE136ADA-EAF6-4234-AA23-79635B6FDE30","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b38134607b39dd19b4aa8c623b50b8c9ababdb66","datavalue":{"value":{"entity-type":"item","numeric-id":3712312,"id":"Q3712312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3712313$6BBB332A-88E0-41A8-A5EB-51D42BCE829E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"529761d87c3b7fad4f3ccd3d1405b0154ef73f11","datavalue":{"value":{"entity-type":"item","numeric-id":761435,"id":"Q761435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3712313$E942F11B-8D31-41C3-8641-28EA1DD60150","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3712313$9B522C64-9E66-4AC4-B0D2-D3E6B44B5DE7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3712313$7D8132D4-D764-474A-9D42-4DEEDF2278B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3712313$87DF85BA-AAAF-4601-8DFB-5B721CD7BE54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3712313$9EA229BE-51BC-4374-8A8E-1F346EFF40AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd4a6548669944fd4440bc14ef9682369c401893","datavalue":{"value":"3939324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3712313$8F5D2959-AFD4-44B1-BB53-5DA0674AD8B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2ac2883b93bc6d38f9b54353e42de243081356","datavalue":{"value":"propositional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3712313$CA4C540F-3E56-4C67-BA09-5F9C41445896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77b35f4b1695664418654586e1a7a750700e54cd","datavalue":{"value":"effectively decidable properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q3712313$C692B25A-AF2F-43D2-BB07-D0B7C469D5A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5d4b7c7525319c06bcb7ac9a7f9c61dac2ebc0e","datavalue":{"value":"Finite axiomatizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3712313$2A0423D7-42CD-4FFF-8254-9BA58872E50F","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":"Q3712313$8E4E6F94-DFB1-4CC1-9BC3-F017B7F96E6A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2bab0498961eeb4829406893e9434a7d1ee2fb6","datavalue":{"value":"https://doi.org/10.2307/2273793","type":"string"},"datatype":"url"},"type":"statement","id":"Q3712313$122F2596-32FE-45C1-9DF9-23C77F2C7BEC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee895340249b241a18427b32bef124ef689f4b0a","datavalue":{"value":"W2127907968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3712313$9F30E0AB-2292-45F0-880F-CBDBFC69270D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f128356198a31a1cf984e999fe616b287aa36f8","datavalue":{"value":{"entity-type":"item","numeric-id":2377059,"id":"Q2377059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"287dc2dcc914ea7c96f5c26382517a91583a84fe","datavalue":{"value":{"amount":"+0.7909777760505676","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":"Q3712313$12033AB7-A9BE-49A4-AA28-F74264FDCF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a007750dc527e0cbb7e0bc2b2c346bebfce94685","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43df78936b29fa5a1236498e3b48575a3269219f","datavalue":{"value":{"amount":"+0.7819603085517883","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":"Q3712313$CE3A8DBB-E3A9-4A33-9268-5C93B0BD2912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"174973572bd3a7fea8f1cac37bcc534be25a0434","datavalue":{"value":{"entity-type":"item","numeric-id":1066883,"id":"Q1066883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a9dc715510a6790533c62464bb7016f4a0f6775","datavalue":{"value":{"amount":"+0.7800816893577576","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":"Q3712313$4C6268EB-B2B2-490F-B35A-8230C79BB885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"165115f64178eae9e237f560bd6f7810ce00ed82","datavalue":{"value":{"entity-type":"item","numeric-id":4323828,"id":"Q4323828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed738c6bdc3fc160396db6b29c76d4449e18b8a5","datavalue":{"value":{"amount":"+0.7792513370513916","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":"Q3712313$3CED6539-1E4E-4898-880E-0666908B803E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a0b0ce6ef3bb346ac15cbb17532a398c57a7108","datavalue":{"value":{"entity-type":"item","numeric-id":4532193,"id":"Q4532193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e849883e8713c4d85af1dea764c83ea9a0e2f94","datavalue":{"value":{"amount":"+0.7788198590278625","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":"Q3712313$4E17DA7E-9A61-4221-B754-2B9AF704AFCD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3712313","badges":[]}}}}}