{"entities":{"Q5945567":{"pageid":8122369,"ns":120,"title":"Item:Q5945567","lastrevid":47683222,"modified":"2026-01-02T10:24:08Z","type":"item","id":"Q5945567","labels":{"en":{"language":"en","value":"Basic propositional calculus. II: Interpolation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1657162"}},"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":"Q5945567$3FDF497C-FFC6-457D-8378-47063A534A1D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"938e12e200af70cddefe09c7263cf5505a104dc5","datavalue":{"value":{"text":"Basic propositional calculus. II: Interpolation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5945567$36021DA2-AAA7-4BDE-95F4-BBF48B02EB3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00e08f47c924451b0a2771c88e21716e1653b8d0","datavalue":{"value":"0976.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945567$3EEDFBF8-00E1-4C21-B053-A4973D0682C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e63f0f7326486d44dfb43d06e0b528a89a70ef2c","datavalue":{"value":{"entity-type":"item","numeric-id":190271,"id":"Q190271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945567$C4AAA413-5840-47B8-B989-30B1A22EB20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02d955a17ce895bcc975b0ea6d4eead2e64dcf81","datavalue":{"value":{"entity-type":"item","numeric-id":190250,"id":"Q190250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945567$D7483204-ACDF-4934-9778-1E09BF5C8739","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945567$8AF29C19-51F6-4EF0-8088-BB508ACC43F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d6f630a8f9062cc7a61bf0b0d4072e8f242af2b3","datavalue":{"value":{"time":"+2001-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":"Q5945567$2058E531-7491-444F-950A-5E693FB73AC0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b046e15e1ae59e63432de19fb75b69ee25af00d9","datavalue":{"value":"[For Part I see Math. Log. Q. 44, No. 3, 317-343 (1998; Zbl 0912.03005).]   Basic propositional calculus BPC is a proper subsystem of intuitionistic propositional calculus IPC through a weakened modus ponens. Consequently the interpolation theorem permits a generalized form, and requires an original proof. If \\(A\\) is a formula over a language \\(L\\), and \\(C_1\\) and \\(C_2\\) are formulas over a language \\(N\\), such that \\(A\\&C_1\\) entails \\(C_2\\), then there is a formula \\(B\\) over the intersection language of \\(L\\) and \\(N\\) such that both \\(A\\) entails \\(B\\) and \\(B\\&C_1\\) entails \\(C_2\\). Additionally, if \\(A\\), \\(C_1\\), and \\(C_2\\) are conjunctions of implications, then \\(B\\) can be chosen to be a conjunction of implications.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945567$07686219-E7F1-49C9-81BC-0B528A4A89DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945567$847F2C3D-CE84-4CC2-B206-4BBC64D81B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945567$E126E00B-E02F-4C64-BDCF-B94AD60470F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945567$4BE2DB90-4F9B-4108-A56A-D4F63E7DBFF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed57cf77727a0cfe483ba6b0dc483ac3468d44f3","datavalue":{"value":"1657162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945567$2EE3B78B-C1A7-4ABA-B9F1-9CBA99EA50BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945567$03FA0ADD-1F03-4850-A645-0D4A74445495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"926e90d0d7cee1ca48a8bd29ba24507a3210a0ae","datavalue":{"value":"basic propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945567$09F05481-F8A1-480C-9DE7-E6591D101E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45861a2de947a0260e5bc94a2ab7e7492c299a67","datavalue":{"value":"subsystem of intuitionistic propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945567$83CEC3AE-CD3B-4215-AB06-94435C3344B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95f110016dae64bbca4b33ef4bec57fcc96b4306","datavalue":{"value":"weakened modus ponens","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945567$5964FE58-4CBD-46C0-B745-2378909B2343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4838bcb38e8f0202533cfd16a7693ed4b09c3e6","datavalue":{"value":"interpolation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945567$C37EBB18-67DC-4768-A67C-2C582D2C5475","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":"Q5945567$73F68FFD-16F6-43FC-95AF-38F7FD0D8113","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93090afa9a5db7b1a3f451621a046719fe671d11","datavalue":{"value":"10.1007/S001530000062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945567$24BE2AA8-9E20-4629-ACD0-6FD55856A4E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7831872d208bee061f436ff757a77e2205876192","datavalue":{"value":{"entity-type":"item","numeric-id":1130509,"id":"Q1130509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e489c6b6ec3ad7028984f00fffa5c6f745e054db","datavalue":{"value":{"amount":"+0.781339704990387","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":"Q5945567$E8C15E19-430A-440F-AF4E-95CD17D7FB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d63586cbec6a2dc4a917b3c0ae0b568d724bc7a","datavalue":{"value":{"entity-type":"item","numeric-id":3486539,"id":"Q3486539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52a3d4566d5cff345c508693d33372262c334961","datavalue":{"value":{"amount":"+0.7771638631820679","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":"Q5945567$7019981E-13C2-4394-9DFF-48E6FDA9524C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13c333501388da7f7d83c2fdb2bf7af09b199e52","datavalue":{"value":{"entity-type":"item","numeric-id":4008745,"id":"Q4008745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfd042805f2dc1a276f2c846664f1f5783631477","datavalue":{"value":{"amount":"+0.7643898129463196","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":"Q5945567$0621742F-38F4-4180-B6BA-278EFE82D96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a2f57ff74cc16c6d2e4cca08d4f026a7fbdc47e","datavalue":{"value":{"entity-type":"item","numeric-id":5702666,"id":"Q5702666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3477774572a126e8fb4dd801a94d1bed85054be1","datavalue":{"value":{"amount":"+0.754498302936554","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":"Q5945567$E32B0D4F-4F2F-4F51-86E4-63B24D46738C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf44d1f82c6ce4667c0ac890c08bb4d0eec7d71","datavalue":{"value":{"entity-type":"item","numeric-id":5957915,"id":"Q5957915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9960f3f3ab180e91616e471568e97afdbefe4b6f","datavalue":{"value":{"amount":"+0.7487236261367798","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":"Q5945567$F7CEAE64-BF2D-489D-ADD6-CB1FBFDC04BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5945567","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5945567"}}}}}