{"entities":{"Q2105091":{"pageid":2115834,"ns":120,"title":"Item:Q2105091","lastrevid":47782027,"modified":"2026-01-02T16:32:46Z","type":"item","id":"Q2105091","labels":{"en":{"language":"en","value":"On Kripke completeness of modal predicate logics around quantified \\textbf{K5}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628764"}},"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":"Q2105091$B8FDFEEB-0AE6-4BDB-BDBE-C1DAF35EE443","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f93fe65d6c063798b9acf9bee3dc4610c075458c","datavalue":{"value":{"text":"On Kripke completeness of modal predicate logics around quantified \\textbf{K5}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2105091$004F1741-13EC-445D-92DF-E1187127BC3A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105091$B6B6DC27-8FE6-44A6-BA2A-A3EF1B7292D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ffbf7a5071d227412d80225c3d73ff104ccb41d","datavalue":{"value":{"time":"+2022-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2105091$76A01AFD-FB04-4CB8-87B1-490F552E55C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105091$E04E7F6F-3171-4998-9C76-E605D5F28D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105091$0E14A825-DA8B-4D98-A917-CC62677DC2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105091$D70CD0DB-7664-4058-A8E7-C62188149EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105091$31AD5188-E703-4011-97BC-8D943CB9446E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31d09981a774a697fea631376f5c1c8542b76562","datavalue":{"value":"7628764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105091$DB373087-4C24-4B2E-8C37-0C9D3EC23B49","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4675a74524331a8e00fee8d0a123bcb4e843ca78","datavalue":{"value":"modal predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2105091$1DDE4DB6-E4EE-48B4-BAC7-D3401A205326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810500790c3bf4aae7a430c18a31e7af9ae3ecad","datavalue":{"value":"Kripke completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2105091$C3B12ACD-7727-42A9-8EB0-2FE88BD9B372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e31014c046bfcdcab1931d9d433c199f595c7d10","datavalue":{"value":"Kripke sheaf","type":"string"},"datatype":"string"},"type":"statement","id":"Q2105091$548A76EC-E093-4CFA-9B76-C29225681E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8267e3656381f171a34e6298be2117e4269a71d","datavalue":{"value":"Kripke bundle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2105091$CE98A0C7-ADE2-4617-8F4F-AA74B494DD55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b9a595a4b125ce1fa50908c629a08fcabd3e593","datavalue":{"value":"canonical model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2105091$8B6BF61D-F578-41ED-AF6F-54E0A3290AD2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b54eb6f24cdec251693dac073683f53f8dacf64c","datavalue":{"value":{"entity-type":"item","numeric-id":472807,"id":"Q472807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105091$7EA13BE3-1977-4922-BFF5-0D06F1DF28B5","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":"Q2105091$2CECBB8F-9FC5-49D2-984F-56A5AFD4C186","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7b8eeff3bfedc91cecd15215294020ed869d8c5","datavalue":{"value":"https://doi.org/10.1016/j.apal.2022.103202","type":"string"},"datatype":"url"},"type":"statement","id":"Q2105091$A7525D5A-EB3B-4ECF-965E-1423FFEF3A95","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"879757b11fc1faf05dff9dc1bb7108177915bb3c","datavalue":{"value":"W4306181908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105091$6C82779B-009A-4727-86B5-8F7C1EFAA8FB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105091$147A8702-5ED6-437C-9E5A-D588F1DC43DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b2f9e2ad93b06ab1b713950faadf42f86b42e23","datavalue":{"value":{"entity-type":"item","numeric-id":1264135,"id":"Q1264135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105091$651F5F40-3F2E-412B-AA42-EDC147366EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"964ba3736ca0c520fca67a7eb345d58fb5a05f6f","datavalue":{"value":{"entity-type":"item","numeric-id":1309336,"id":"Q1309336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105091$60933519-B404-498A-AD2A-7548353A1BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d2065d700f2825fdfa933ca5dcce9965a089dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1264137,"id":"Q1264137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105091$A3528B4E-B1F7-4B17-8AED-6D1318F36497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60812a8c7a2db281839deda54bed257eb72fccd8","datavalue":{"value":{"entity-type":"item","numeric-id":2735848,"id":"Q2735848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105091$D5EC46F1-4EA0-42DD-A5C6-23DCFB57776E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f4057b6de7f9953ee6be786f1e2f9f481b867be","datavalue":{"value":{"entity-type":"item","numeric-id":4329237,"id":"Q4329237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105091$2DB3A53D-26C5-41E1-B9AD-82ACCAC830AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09b4735cc1f5a60bfef583599fdacac66c6ca8dd","datavalue":{"value":{"entity-type":"item","numeric-id":4063119,"id":"Q4063119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105091$AD4FC1E8-ED64-44E2-8257-5699F56F65F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3be6adbacb915dbf54fc550a4feb912036627eb","datavalue":{"value":{"entity-type":"item","numeric-id":731484,"id":"Q731484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105091$143961AD-0805-4A0F-87A8-50CE2968BDB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"821ee4ebee9996e0e65a2825268a79270ff5cef2","datavalue":{"value":{"entity-type":"item","numeric-id":3984427,"id":"Q3984427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105091$44AF743E-24B5-4B61-B6BE-6793F49D42A2","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":"Q2105091$507BFC7E-76CC-4C53-9F56-7CC316572975","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":"Q2105091$BDD9CB7B-4858-4BE2-A892-C1F0C4B68AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc609a3fa4e4dfcdb73d9d6f8570a5dc1eb983f7","datavalue":{"value":{"entity-type":"item","numeric-id":3712313,"id":"Q3712313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105091$6BC46C18-7214-4CA0-9F2F-F2416ACBD25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c07023087728f8081153df7e16faa8a3c3b9b8b2","datavalue":{"value":{"entity-type":"item","numeric-id":5224587,"id":"Q5224587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105091$CB771850-C65B-476A-A455-254D5F091468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07be17a47b8932e3c742bc872bd64dd1b30bbb45","datavalue":{"value":{"entity-type":"item","numeric-id":688796,"id":"Q688796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105091$AF365F05-8107-46B1-BB90-5F550461E741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9056278c17123acc0c2448aadcda92f8dfa9ee37","datavalue":{"value":{"entity-type":"item","numeric-id":1208117,"id":"Q1208117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105091$9A801F8F-1331-4A8B-AC98-C769A7CE299D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da541083afe0ca5eeb71ebcf76f23461936fbb3b","datavalue":{"value":{"entity-type":"item","numeric-id":4887107,"id":"Q4887107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105091$3DB8AB96-71EB-4A51-8351-D74F0B737A0D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ec454a6113634bb4621bfb09f941ec120e479c2","datavalue":{"value":"10.1016/J.APAL.2022.103202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105091$9B8B1BB3-9462-4868-A834-74EFABD29074","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2eb0c66507e60f7c8b5ecd843790ecc80d91a91","datavalue":{"value":{"entity-type":"item","numeric-id":4853321,"id":"Q4853321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8fb0f3fe11a0affb1d660ec88ea446ed49ca12a","datavalue":{"value":{"amount":"+0.818813681602478","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":"Q2105091$83E9F547-EAC7-4BAE-8F16-CBD9DF2CE1D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab63c5076c9d4f93a5121b9a9ad68047086c5e29","datavalue":{"value":{"entity-type":"item","numeric-id":4329237,"id":"Q4329237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f3d688ba98524a42cb3313cd24ff2e7aec966a0","datavalue":{"value":{"amount":"+0.8179627060890198","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":"Q2105091$7C9C3797-31D6-4ABC-9A8C-75301C0271EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98c6df409f01aabcef2a75ff642540b8e435089d","datavalue":{"value":{"entity-type":"item","numeric-id":2735848,"id":"Q2735848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45cb23d65c8a99d722948b5b213edfe007f1943d","datavalue":{"value":{"amount":"+0.8116939067840576","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":"Q2105091$E3EBEAB2-39E8-4B7C-AF53-F1663CE63CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcaf5dcbbc41b337e20d7a68e812ee7476d08ba1","datavalue":{"value":{"entity-type":"item","numeric-id":701294,"id":"Q701294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e06c3c1153d97f8e24d8891ad7d1b28718df321","datavalue":{"value":{"amount":"+0.8091344237327576","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":"Q2105091$D2291D2B-0482-4C72-932D-7820B82BEEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eea9e30a2aba55171c506fd3e0a835872d48fcd0","datavalue":{"value":{"entity-type":"item","numeric-id":1580656,"id":"Q1580656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35162c6d00d8913dcef0f5ecd9c87e8794b9ee50","datavalue":{"value":{"amount":"+0.7986624240875244","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":"Q2105091$60101335-0DA4-4255-B08A-C0858D91E658","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2105091","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2105091"}}}}}