{"entities":{"Q5224588":{"pageid":7254157,"ns":120,"title":"Item:Q5224588","lastrevid":91627202,"modified":"2026-06-04T23:39:29Z","type":"item","id":"Q5224588","labels":{"en":{"language":"en","value":"A remark on the superintuitionistic predicate logic of Kripke frames of finite height with constant domains: a simpler Kripke complete logic that is not strongly complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7084854"}},"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":"Q5224588$476FE497-DC42-4DE6-99E7-835975DB3709","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8657bb352b62f9caa11cddfd2623a9fe03004211","datavalue":{"value":"1418.03132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224588$4ADAD55E-C1BE-4FDF-94BC-2A4A858294E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b15b47a077f77642632b896f7ca72a0919fa276","datavalue":{"value":{"time":"+2019-07-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":"Q5224588$D361B4F5-61BB-473A-97D5-20F58B913BA7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224588$5059A73E-127E-4AF2-8559-301D0E619D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224588$35546EAD-1B3C-4D38-8EE5-57FA4904FC26","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"092e629cde0d7dec3b8744281987559718a91d5f","datavalue":{"value":"7084854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224588$44B1D62C-6AE0-437E-9CA5-5BBEC553903B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b012ab48c2faa74275f2481de54c4e7b9f98617","datavalue":{"value":"superintuitionistic predicate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224588$F84B1906-3D8B-423D-A238-F3A41F3928FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224588$090F43DE-F50C-42CB-9CC3-FD7DBF11C3A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810500790c3bf4aae7a430c18a31e7af9ae3ecad","datavalue":{"value":"Kripke completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224588$ABAD6A2D-A887-4A73-A8F0-12277613CEA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d4d5997157a5a72c0fbf2312c86cf3a0129fc33","datavalue":{"value":"strong Kripke completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224588$1FD81E56-97CC-49B0-8D30-93071246494B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92e5c7a0fa17b322a9e2262053ffff4fc6798d1e","datavalue":{"value":{"entity-type":"item","numeric-id":731483,"id":"Q731483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224588$646FBD3E-91C4-4A22-AB1F-525B4F8182AB","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":"Q5224588$045E774C-F3D5-4337-985F-A199C6C50F3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a7b889c1674e58013b75aa14640580f135194f3","datavalue":{"value":{"entity-type":"item","numeric-id":454383,"id":"Q454383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5c84702003358ace6072f63c2319b70dbd41823","datavalue":{"value":{"amount":"+0.8373557925224304","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":"Q5224588$756D2594-D2EA-48F9-924D-1BEA325C666A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beffcec4b90f77b8bbb35573d98e8c6b0bc3790a","datavalue":{"value":{"entity-type":"item","numeric-id":3094149,"id":"Q3094149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5888bf2cbd16ec953ce3be2ba570795104541401","datavalue":{"value":{"amount":"+0.8357113003730774","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":"Q5224588$6D4B31CA-8484-4ED7-9714-5EADF9D0AAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc12c011dfdb175e03f973b4afac65d8b5ad0b91","datavalue":{"value":{"entity-type":"item","numeric-id":3431969,"id":"Q3431969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fe7f54189269eb6ba66555e275c83b0c8ee749f","datavalue":{"value":{"amount":"+0.8323193192481995","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":"Q5224588$555442FF-812A-4CC0-9244-B229CD4D4875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dc0d3defdf4688b61f02b8a131384e87cf9d289","datavalue":{"value":{"entity-type":"item","numeric-id":1208113,"id":"Q1208113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4d7a0b729c16ba8001c2b0e3c53a133e6ca67fe","datavalue":{"value":{"amount":"+0.8305477499961853","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":"Q5224588$4A3AAFE4-4D6B-40DF-8D6F-5BA79BCCA459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3296a5f8733ae44dc771721dc76c22f25e2cd35","datavalue":{"value":{"entity-type":"item","numeric-id":1208117,"id":"Q1208117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15805261b67992fc0fb39ea87c6747c8b79151da","datavalue":{"value":{"amount":"+0.8287916779518127","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":"Q5224588$21BD9385-4C12-4567-B201-F0BE200EEAFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A remark on the superintuitionistic predicate logic of Kripke frames of finite height with constant domains: a simpler Kripke complete logic that is not strongly complete","badges":[]}}}}}