{"entities":{"Q4894720":{"pageid":6924299,"ns":120,"title":"Item:Q4894720","lastrevid":39843967,"modified":"2025-01-27T18:48:39Z","type":"item","id":"Q4894720","labels":{"en":{"language":"en","value":"Canonical formulas for K4. Part II: Cofinal subframe logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 932345"}},"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":"Q4894720$9525E8DB-704D-4A32-8046-60D7205F2694","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38810fd8548646ee86e5178bac2d37fcb9833eb7","datavalue":{"value":{"text":"Canonical formulas for K4. Part II: Cofinal subframe logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4894720$99101230-9291-4F18-8655-BEC70C090FF4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fbe8fc5c847543b360130a5ec689dd6f4c725b51","datavalue":{"value":"0884.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894720$D5651AB3-E6A6-46FE-AFA0-0A3BBB648A47","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68b03cfa835550e35e2c1216e491a3a0db74f866","datavalue":{"value":"10.2307/2275669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894720$34A3FE45-AFC9-4058-895C-60D742A3A6BE","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":"Q4894720$448EA7B9-B9BC-4099-9656-A55CC98E42B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6731495957fce69e0c4829616a87e0bb5b599fc8","datavalue":{"value":{"time":"+1998-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4894720$CCCCA05E-8DB5-4CF9-BE6B-C647913BF58B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894720$8EFE4D62-76DA-4B27-9321-201E953888D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de0ab28c11a5c919f548417502b4c2fe8a012039","datavalue":{"value":"932345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894720$55759B70-21FE-4724-80C2-A7F9DBA93A38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894720$9F69EF2B-91A8-4964-BEE7-2A0A11124B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894720$1CE0C4AF-2627-4C4F-9FB4-4544DE7B1966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bf2a4abd3a68c8d01f25861901d997aa430007b","datavalue":{"value":"canonical formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894720$AC24A1D3-95AF-4EC2-8752-70D277ECE8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4990892a0f22cc41347725fde4312353893c03cc","datavalue":{"value":"subframe logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894720$8A636B83-1820-4331-8F2A-36B2FCF05867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87a4942dcb9ee6c0f0be3b95471ccf4112170dab","datavalue":{"value":"cofinal subframe logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894720$BA65B0C9-8166-42D7-A83C-A9EAA5488A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"148a7759f5abd781de6fa00a5b0f0fc9787993f4","datavalue":{"value":"elementarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894720$E695DF65-81FF-41AE-9E19-4395EC0C052F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e76da76122f5ca32c5c633ce8b9c54e05634dfc","datavalue":{"value":"canonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894720$3CA6FA9E-D775-4C18-B9A1-E6290E222F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894720$02EFDFBA-C262-40CB-B5F2-5C9A3EC1F8DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1374aa2014f164ec1db700cfa8db5643757447","datavalue":{"value":"Kripke-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894720$C935DCFB-F1FD-4CC7-91BF-86939F80109E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bd3b85c6ebb5d53f1511035a1e4768e32cc8cfc","datavalue":{"value":"modal companion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894720$F63D7D10-32E7-496F-B23C-512F660CEFAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aded40c9f28096605e56dcd0af0bd8d0c3083f","datavalue":{"value":"quasinormal modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894720$F0EF96F2-4145-4EFC-8054-DCE08973A373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894720$5225F025-1DF1-4709-900F-D416263B74DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894720$37F2B51E-7AEB-4B43-8DE2-75ABEC2AADA9","rank":"normal"}],"P16":[{"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":"Q4894720$84BDF514-1F53-4036-9FBB-9CCA06F43137","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":"Q4894720$1056A654-E7D2-4AD0-B4D0-C24DBF8B00DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3209440e6145edd8c506adaadf1a7609f57baf8f","datavalue":{"value":"https://doi.org/10.2307/2275669","type":"string"},"datatype":"url"},"type":"statement","id":"Q4894720$8B7E8A98-142B-46E4-8017-C8DCA322F2CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4bb38ea1de79a7f4713d9d074e415029f181ff37","datavalue":{"value":"W2144359719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894720$1EB45DD2-840A-4A3C-AF85-7E9737AB6DD5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3422a46904c0317ecd3a4dbc57c1bc180165ca8","datavalue":{"value":{"entity-type":"item","numeric-id":920079,"id":"Q920079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894720$DFC90B4F-A43E-41F5-9656-4F5B941A92B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d9f4c080eb8a000a64f90365ac6d0f2d002ef5f","datavalue":{"value":{"entity-type":"item","numeric-id":1208113,"id":"Q1208113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894720$EBA1E89C-0465-44C1-ACB2-A251F694C10C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b78f04a769bf9d49ac8bd1c0ab56559bb3ccfe8","datavalue":{"value":{"entity-type":"item","numeric-id":5635425,"id":"Q5635425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894720$51A2939A-D0BE-4B27-8FC7-9FC1478A4D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eac50fc561b33a34acc066243ca0f2a392895e0a","datavalue":{"value":{"entity-type":"item","numeric-id":3984404,"id":"Q3984404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894720$6B34991D-8D97-4A34-A385-9F1CE46E3ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16f3b899aaf802e75d09cb6e9d44c6c7a4e056cc","datavalue":{"value":{"entity-type":"item","numeric-id":4276033,"id":"Q4276033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894720$B538D353-7EFF-4C0C-8FC4-33A7B624E258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cea5f9d9fb9b9d6a750290fe7f7b2898d938f52b","datavalue":{"value":{"entity-type":"item","numeric-id":4835534,"id":"Q4835534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894720$EB575B95-758F-413D-8D19-19CADA8066C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fefae4aad4ffe92f5da65d23427de4252bca48f2","datavalue":{"value":{"entity-type":"item","numeric-id":5533177,"id":"Q5533177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894720$AD4372A7-E601-4C2C-9CD7-4B54899C9B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83ce02106336a8e9ace278c5d22fa3a259641d8f","datavalue":{"value":{"entity-type":"item","numeric-id":1155046,"id":"Q1155046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894720$2CDD1781-5F65-42C1-A89F-05A34342AFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a9c0420aef247f44d1eec39528b10ee9fac6006","datavalue":{"value":{"entity-type":"item","numeric-id":5565105,"id":"Q5565105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894720$40E8E0F7-9251-4EB1-9B1A-2F7752CF9F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ad606f5b66ad05b4a0525f5a938aae1134f6937","datavalue":{"value":{"entity-type":"item","numeric-id":1222645,"id":"Q1222645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894720$FC371B29-72A6-46A3-B35B-F24B5C4A26E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e416c444868174ed34e8b8db32baf7711a11ef","datavalue":{"value":{"entity-type":"item","numeric-id":3691638,"id":"Q3691638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d994acfba00273afd4e76cb5bf977edc8a3ab4c1","datavalue":{"value":{"amount":"+0.86241066","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":"Q4894720$4F48EC7F-1D00-4061-A639-FCA12D788B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f36600e3c654c93d5b57797cb869f58f012d5253","datavalue":{"value":{"entity-type":"item","numeric-id":1327480,"id":"Q1327480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daa5d5d01413958a852a9d79f5f6b0fff525bf28","datavalue":{"value":{"amount":"+0.80638176","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":"Q4894720$8DC947C2-C15E-4A76-B44E-662CD5D48755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73321d23481ef02742cd6e5b16a9ca0b953eb270","datavalue":{"value":{"entity-type":"item","numeric-id":4032666,"id":"Q4032666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d00809f6a3fef9703ea15543cc06da4985f2f34c","datavalue":{"value":{"amount":"+0.7914958","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":"Q4894720$44DBAD25-D061-4771-9DE0-90F5334B1D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efe0da8cbc7e1da738d2746c20004a79853997f8","datavalue":{"value":{"entity-type":"item","numeric-id":4338319,"id":"Q4338319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ed29ef5dcea1d8dd1e1e226d4593c32bc7fa43a","datavalue":{"value":{"amount":"+0.77759624","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":"Q4894720$4A33420E-86F6-4191-8EC8-69E61C6ACF6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20d8e8e5cc0786914df3602ef33b42fa8d1651d8","datavalue":{"value":{"entity-type":"item","numeric-id":540406,"id":"Q540406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a683456777bcbb9d201ac59e9c621842ccbb026","datavalue":{"value":{"amount":"+0.7773115","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":"Q4894720$D117D5B3-BA2F-43CB-A3B6-2262BC1ECC64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b88675521efa8efdd59646b9ebfdfcc6bb00183","datavalue":{"value":{"entity-type":"item","numeric-id":1361249,"id":"Q1361249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aba64fddefac316ed51150c680def6dc5f8d61e6","datavalue":{"value":{"amount":"+0.77615327","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":"Q4894720$9107F7F9-FBA8-49F7-BE60-EBDA53E8C968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2a8a6a3857bbbe70047aa665f7326c9aa6eaa17","datavalue":{"value":{"entity-type":"item","numeric-id":4899969,"id":"Q4899969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca03413be46cf9567897ae27835ebe0ba0307e9d","datavalue":{"value":{"amount":"+0.77163243","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":"Q4894720$7C411E27-AF22-4CD1-825A-B8D398545D3A","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":"79b209e0f9d03a466cc0e05a2762e76d9c26ff79","datavalue":{"value":{"amount":"+0.7699876","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":"Q4894720$C9D510E8-69EA-4BAD-9330-5EC9652A7D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4390ac6a0342a042a5b20950845f5e22e36784bc","datavalue":{"value":{"entity-type":"item","numeric-id":1119622,"id":"Q1119622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f1e501c33b473fa05178a2a42c7be34008c7168","datavalue":{"value":{"amount":"+0.7687974","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":"Q4894720$E4300D91-3741-4B1D-AF9B-1B77F7B86927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9a984db9edaa06beae24e56fbce6f8124a0b5be","datavalue":{"value":{"entity-type":"item","numeric-id":1128179,"id":"Q1128179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b58af5470e02f4097a02c0c5e715816df8fa0e97","datavalue":{"value":{"amount":"+0.7656076","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":"Q4894720$A3F7FD49-1F54-4CDA-BEF4-DEAF93946AB1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4894720","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4894720"}}}}}