{"entities":{"Q1820768":{"pageid":1831510,"ns":120,"title":"Item:Q1820768","lastrevid":70909029,"modified":"2026-04-13T18:10:42Z","type":"item","id":"Q1820768","labels":{"en":{"language":"en","value":"A new semantics for intuitionistic predicate logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3995635"}},"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":"Q1820768$CFF1537A-6ECC-4BE0-A30A-6CA440B6500B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee62d851c80b35fdd4b1ceff75ce9ef5831db72b","datavalue":{"value":{"text":"A new semantics for intuitionistic predicate logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1820768$E17B95CF-674C-4BAA-B4EC-D3CF531AAD65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3edb57c243a486c90fe30f41454371fb4061044","datavalue":{"value":"0615.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820768$DEDAA364-85FF-472D-BCC8-6504D5A7BDFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91f19c676c3b758130a445d56c09c352d6eaf72c","datavalue":{"value":"10.1007/BF01881545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820768$AEF3C168-680F-4D57-AA90-A481B5BD0729","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"284b349575b4cf80ae5ff7dbd50dcd981e4aa70a","datavalue":{"value":{"entity-type":"item","numeric-id":1089329,"id":"Q1089329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820768$9FB792EA-B604-4482-ABD5-C6F640B0AE28","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820768$893F6AAD-0CE5-4927-8F12-CB4EEBB0DE95","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1820768$106891C7-6DF8-433A-BD8B-B1244E995561","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b7d8ade3b2b10c54860bf0de50a62e0c46c34ebc","datavalue":{"value":"The main part of the proof of Kripke's completeness theorem for intuitionistic logic is Henkin's construction. We introduce a new Kripke- type semantics with semilattice structures for intuitionistic logic. The completeness theorem for this semantics can be proved without Henkin's construction.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820768$D0470CC0-ED24-4E89-8EEB-25F20EB642DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820768$25A23160-0035-4E26-9B49-21C73AFDA12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820768$E8EC9862-98B2-4319-A40F-CEE2B885FB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820768$D64E6249-1B23-4BB8-A1EF-377D9EE3812D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbe593e579f264c05c9ad919a719ec07550a7242","datavalue":{"value":"3995635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820768$F0CC2676-5488-48A8-B5D6-4201255F9E95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80586be223f2a47737ac5e47e42ca601c3b11ca5","datavalue":{"value":"Kripke-type semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820768$F4C1DFAC-2B13-4849-85D8-BD587EDE564B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0d9d18bd4c7d94439b859cc5e944dfb5a29e179","datavalue":{"value":"semilattice structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820768$77C6511C-D957-48A3-ACEC-196329D664A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820768$18480307-1F40-4436-98F9-A4F50BE4AC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820768$F3686C14-7CA5-4B9D-9DA5-5576EC17BD47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecab59b5ac77d4b2798efcaa3b2b779016492328","datavalue":{"value":"Henkin's construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820768$42462513-3368-473D-911E-7273A5E5C78F","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":"Q1820768$B8FB7FE5-5BED-4364-9E6F-D88DF9E0F307","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b40211716e772b4a2f4dcb616dccc635488709a","datavalue":{"value":{"entity-type":"item","numeric-id":5582318,"id":"Q5582318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820768$E03CAB26-3DF6-44C3-AF3E-5D6D1D01AB8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b6b300fd3bd5747b77d40923494f545def96f42","datavalue":{"value":{"entity-type":"item","numeric-id":3684108,"id":"Q3684108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820768$1ADCF384-E779-4438-AE34-BE95CAEAEE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"830d20fb103db09e7a9b7bc086aa89f02fdefba3","datavalue":{"value":{"entity-type":"item","numeric-id":3322079,"id":"Q3322079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820768$BA5B403A-70FC-4A95-AA55-BD25109D2A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c35270007a8b5b5aab8e168d2707e8c4fcf0f52b","datavalue":{"value":{"entity-type":"item","numeric-id":1843560,"id":"Q1843560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820768$11EACB9E-3232-4203-992E-6CEC83CF6B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"019bd4c75dfd12975ef47facd414f509a089febe","datavalue":{"value":{"entity-type":"item","numeric-id":3669380,"id":"Q3669380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820768$A3077775-61CE-45E6-B23A-BF7A8779C4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc09538a5c77707bd740c1af4339f9cfde82b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820768$A9CDF225-0515-427E-AA85-36C0162D044D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fbad96c23cad31354bcf15e84b11b9961bf645a","datavalue":{"value":{"entity-type":"item","numeric-id":4487377,"id":"Q4487377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe349d45b11961170263e3919125db87adb8c93a","datavalue":{"value":{"amount":"+0.8140327334403992","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":"Q1820768$8CBB4476-F918-4055-A4FE-A267823060CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bda8203e90c35ad1cc66854ea0db74d933291f4","datavalue":{"value":{"entity-type":"item","numeric-id":5502819,"id":"Q5502819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7e3cf46b73512d44149356ffc9e1f48e0588569","datavalue":{"value":{"amount":"+0.8043644428253174","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":"Q1820768$3776FCAC-A722-4E7A-A28B-392088A63BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a2f9922d5061b80fae17ab5f2047cc077af168e","datavalue":{"value":{"entity-type":"item","numeric-id":3684111,"id":"Q3684111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49e07750d0de769e8d4326a62f5ce525e0c36db7","datavalue":{"value":{"amount":"+0.8036841154098511","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":"Q1820768$E62E2743-5105-4ED0-8736-9C722C05824E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1cf0092b223699992e363dfeb119325463eb344","datavalue":{"value":{"entity-type":"item","numeric-id":708927,"id":"Q708927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29d71c6c93a6ff1aaf2b9bdd4458f4c65ee07aa4","datavalue":{"value":{"amount":"+0.7996557354927063","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":"Q1820768$A1992B87-AB52-4F9C-AC80-713EDB441CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bdf29a2f675b4cd9c6f50f62e20f57377b89d5c","datavalue":{"value":{"entity-type":"item","numeric-id":3775557,"id":"Q3775557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ef0647079209bea25e2f8f11bc96b62018961bc","datavalue":{"value":{"amount":"+0.7916390299797058","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":"Q1820768$3F1369B7-90CB-4712-89F2-EE201C82121E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new semantics for intuitionistic predicate logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_new_semantics_for_intuitionistic_predicate_logic"}}}}}