{"entities":{"Q922543":{"pageid":924391,"ns":120,"title":"Item:Q922543","lastrevid":65434749,"modified":"2026-04-12T02:34:00Z","type":"item","id":"Q922543","labels":{"en":{"language":"en","value":"Interpolation property for extensions of intuitionistic provability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4168677"}},"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":"Q922543$1E6C496D-2A7D-4598-A98E-49BF790E05E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ab02409ddd42de256381637e70e3f46c19b8037","datavalue":{"value":{"text":"Interpolation property for extensions of intuitionistic provability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q922543$87A05D56-484C-44ED-869C-14C15D3128A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1891f3a068837d1415a8c3bc0d0886678e38ba4d","datavalue":{"value":"0711.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922543$4A9ECA63-61D8-4DE5-B913-8D683E4FB9EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"745085fb6ce77d4cd23255b3179190bdde36517e","datavalue":{"value":"10.1007/BF01158092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922543$43A5284C-AD8C-45B0-BC55-D6F9F087847C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"752e2d6e8a74a3c54443dd9b48488c790347e113","datavalue":{"value":{"entity-type":"item","numeric-id":922542,"id":"Q922542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922543$163B9A6A-3B7D-4B78-BE64-BEB79015CE61","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922543$B9D1D005-93FC-45D9-9BDF-3B9701183297","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q922543$AF0D1BE3-CBAC-40E1-85FA-5B801864F368","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"50fb2cf07a80f5ce42455158d13bd9ec992c17ba","datavalue":{"value":"The provability-intuitionistic logic \\(I^{\\Delta}\\) [see \\textit{A. V. Kuznetsov} and \\textit{A. Yu. Muravitskij}, Stud. Logica 45, 77-99 (1986; Zbl 0623.03027)] can be considered as a model extension of the Heyting propositional calculus by the following axioms: \\(p\\to \\Delta p\\), (\\(\\Delta\\) \\(p\\to p)\\to p\\) and ((p\\(\\to q)\\to p)\\to (\\Delta q\\to p)\\). The author proves that there exists a continuum of extensions of \\(I^{\\Delta}\\) having the interpolation property, and gives an example of an extension of \\(I^{\\Delta}\\) which does not have the interpolation property.","type":"string"},"datatype":"string"},"type":"statement","id":"Q922543$0A8C351D-DCE8-469A-819D-FF5FDC4EE5DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922543$AB525238-846B-43A2-869C-B0AA1E337127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922543$FB9E1612-DCEA-4259-B9C0-4292F1522D4F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fcf2aff0b09e058cfd8280a8bfd9509c0118c10b","datavalue":{"value":"4168677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922543$5D97D35A-9A29-45CF-B973-AFD769EDEBC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q922543$B825A189-E349-4A87-B9BE-FF6A82C201FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8c66bb8f74c8dd5ca03df3e513e0dccc9769fc3","datavalue":{"value":"provability-intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q922543$2944F160-20E5-479B-8DFE-5DFF312E0CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1488f9a366e224f4e9f874b07c7a8b57cf50236b","datavalue":{"value":"interpolation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q922543$1A92E1EE-D0FA-4168-B301-E0D8A34CD06C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b87c2901b1d9462aa6fffa26502c8ee861836b0","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922543$6BBA9C0D-F567-418B-AA22-D22CAB163B74","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":"Q922543$894DD5E2-439B-4211-9B80-E1D52E67BA81","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"046c424c7923ae1143897958de3a45f9701bd825","datavalue":{"value":{"entity-type":"item","numeric-id":1091383,"id":"Q1091383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922543$6855095E-CE99-481F-97B4-C7232AD4071D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c2d458089c007c8c0c501a9472e422b5147481f","datavalue":{"value":{"entity-type":"item","numeric-id":3743301,"id":"Q3743301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922543$90489ED7-A52E-4F28-85FE-308E6D4190E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa98592016b26fa67b4b929ee89a172a4ba385cb","datavalue":{"value":{"entity-type":"item","numeric-id":4187817,"id":"Q4187817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922543$8C85CB91-9376-4E43-8053-4138C2E664F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4009a0d62c1c3c8a81e3a24ef36c7037ab090a00","datavalue":{"value":{"entity-type":"item","numeric-id":3290722,"id":"Q3290722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922543$6E257AEC-C87A-4672-BFED-F03D92E6B0E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"549c0bb617887d9d15aeb3507db1de67d38fcc6e","datavalue":{"value":{"entity-type":"item","numeric-id":4904131,"id":"Q4904131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48199efc53c99b03924b26063d2f95dc61b43ada","datavalue":{"value":{"amount":"+0.850088894367218","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":"Q922543$92630970-27C6-4F88-BA3D-2ABE05892FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d767dec74c6b4e94fdf419d7da11f540877c3de","datavalue":{"value":{"entity-type":"item","numeric-id":920973,"id":"Q920973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ef04f5eaee4a2ae0933f29a1b76bfa65a958a7d","datavalue":{"value":{"amount":"+0.8062264323234558","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":"Q922543$F29E0997-1149-4D6B-AF03-04D79F3251B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e511f07b51b07cbdd78c98a72cfad9a5124924a6","datavalue":{"value":{"entity-type":"item","numeric-id":3495352,"id":"Q3495352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aabc0fcdba29408782b82b2d4c4548ca713973e","datavalue":{"value":{"amount":"+0.8056343793869019","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":"Q922543$67C3E2B6-36BB-4731-B06D-1D924C8ADA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18b6d3584847cc376508c0cb4dd85cbd11170a5f","datavalue":{"value":{"entity-type":"item","numeric-id":3731572,"id":"Q3731572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"500053d3830256bafc03880a57149a08fa3722ce","datavalue":{"value":{"amount":"+0.7971175909042358","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":"Q922543$6850A805-61D1-4182-82FA-C3ABB637E10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cff3df00c7f165081310916438d70b857cff5d5","datavalue":{"value":{"entity-type":"item","numeric-id":3708775,"id":"Q3708775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72634bf2fe010972bb05eb4675805570af714045","datavalue":{"value":{"amount":"+0.7922894358634949","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":"Q922543$656A2F9F-16F7-4BB8-8BA6-0622CF428A3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interpolation property for extensions of intuitionistic provability logic","badges":[]}}}}}