{"entities":{"Q800345":{"pageid":802193,"ns":120,"title":"Item:Q800345","lastrevid":64552251,"modified":"2026-04-11T20:39:43Z","type":"item","id":"Q800345","labels":{"en":{"language":"en","value":"That SCI has the interpolation property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3875228"}},"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":"Q800345$3B36EB08-7D62-4534-8552-05B84ABB1A38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5e3d3701920a922e022f50fbd1fcea03cbb93a4","datavalue":{"value":{"text":"That SCI has the interpolation property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q800345$4B51DB21-1DD3-49FA-BEDE-B4172DF82CD7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f942c459aafeec7b00b0d846f50c002e52eb0562","datavalue":{"value":"0549.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800345$69666284-C38B-46A3-95A4-3A24F0B922B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"662f0a7cf0672c25ee5ea20835e68e7c53f473c4","datavalue":{"value":"10.1007/BF00403337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800345$712E3ACA-AADC-4857-8A7B-A3F32AA6B4F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bfee980851e07cbb36b4de5566b751c708126d1","datavalue":{"value":{"entity-type":"item","numeric-id":633162,"id":"Q633162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800345$38BEB7E2-038B-41DB-8E5F-434C6C86A351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce5682efaf790fb272afc85e5eb1b50a94908617","datavalue":{"value":{"entity-type":"item","numeric-id":800344,"id":"Q800344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800345$21AED90A-EDB6-4244-AF53-B620E6A2D6D5","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":"Q800345$82C20864-24CF-4E28-BAC0-BDE056F0B346","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q800345$6AB25889-5346-4DCC-81A9-96FD02F0D271","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dc41c0def5c0ac82ffd5ee88706fa5569f83dc28","datavalue":{"value":"R. Suszko's sentential calculus with identity is obtained from the classical sentential calculus by adding a binary connective \\(\\equiv\\) for identity. The usual definition of truth valuation t: set of formulas \\(\\to \\{0,1\\}\\) is extended as follows: \\(t(a\\equiv a)=1, t(\\neg a\\equiv\\neg b)=1\\) if \\(t(a\\equiv b)=1, t(a*c\\equiv b*d)=1\\) if \\(t(a\\equiv b)=t(c\\equiv d)=1,\\) where * stands for an arbitrary classical binary connective; finally it is required that \\(t(a\\equiv b)=0\\) if t(a)\\(\\neq t(b)\\). The authors prove two interpolation theorems for this sentential calculus, and give some general comments on sentential interpolation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q800345$597655FA-742B-401F-8A4D-E0C08C6A6CFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800345$A84788A8-5FDA-4E94-BA8C-018BB1F7C298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800345$4DC1435D-E0B9-4486-B31D-8831E6EEF440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800345$FA9A13DE-D908-414C-B674-AB971D65275C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3bf60d065ea513502789b92ba8dcc60258e97966","datavalue":{"value":"3875228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800345$12BA5657-7759-4A6C-B1DB-3F151D9B91A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c7385a430a2af8ac65a3ba39f72c19b96d3853d","datavalue":{"value":"sentential calculus with identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q800345$82E6D0F6-6E04-4770-85BC-5F7F32173FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4510a0a87f2ca174df5a2273a8ec981fc9da92c","datavalue":{"value":"truth valuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q800345$18C5E170-FCE2-466C-AA34-0B1E750CE7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3586c805615d8c0e689b9e62dadcfee5ee4d7ee7","datavalue":{"value":"sentential interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q800345$53A23B80-B8CA-4D95-9DA0-85CF55B622C6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e860208dea0a8f07f1622b3764a2f40159457c4c","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800345$E38DED6D-58F4-4D01-8024-CE07A580CAE5","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":"Q800345$59089291-E22E-4023-8189-67B49E08015A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae58cabc6210877500b69d67f8a52d2647519a6","datavalue":{"value":{"entity-type":"item","numeric-id":3268305,"id":"Q3268305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800345$23BF562E-AFD5-4637-829C-31371D1476DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d79d2d75e0cc9489e964970d4a5af8636670f27","datavalue":{"value":{"entity-type":"item","numeric-id":3905255,"id":"Q3905255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800345$FF043560-B281-4D7F-ABA7-F680A9D187AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8675ff52f1344e273450ece3f63a93e98edf943","datavalue":{"value":{"entity-type":"item","numeric-id":4133932,"id":"Q4133932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800345$C09AB63D-2685-4DE8-9B0D-DBD472338CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf6807ec1d11298374f7516f766ca47b48f40dff","datavalue":{"value":{"entity-type":"item","numeric-id":4079581,"id":"Q4079581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800345$1EA50450-7F0C-46E7-AA2B-8A0918A5C1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fdb79decc3d8ac3d7277339c49e07eaf06993aa","datavalue":{"value":{"entity-type":"item","numeric-id":4121875,"id":"Q4121875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800345$1980D9CD-83A6-4D9D-8DDC-D86D8C5AFAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f31b46f2d3e184e0ce2f4ab0cd192d06ae329400","datavalue":{"value":{"entity-type":"item","numeric-id":5606564,"id":"Q5606564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800345$BCE25B96-FA98-46BE-80C5-0677C162C6D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a0f6acab23a0ef1c9df2510844c3229f06b6e54","datavalue":{"value":{"entity-type":"item","numeric-id":3491517,"id":"Q3491517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7ba3061ac9a30b941733438627316654410a0ee","datavalue":{"value":{"amount":"+0.8037134408950806","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":"Q800345$6AD0F57E-5C88-4956-A3F6-8B72134AFAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a2d67d0b77c4ff93f7c9d9bfefb6c9f0f980261","datavalue":{"value":{"entity-type":"item","numeric-id":4039140,"id":"Q4039140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cd60a92a42bd04d917fb8acb8bd9755ea9aeaae","datavalue":{"value":{"amount":"+0.7760122418403625","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":"Q800345$70CAA3C0-E467-472A-A9E8-F910E349D156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b311106d65e6b1a885045817ffa70c2b2a761d6e","datavalue":{"value":{"entity-type":"item","numeric-id":3720568,"id":"Q3720568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfae35b8e6606252569c9809407d12531c513ebb","datavalue":{"value":{"amount":"+0.7591429352760315","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":"Q800345$A36DD60C-3921-4411-AFBD-E062891019FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67bd016e8bf8b3e2fbbc3ca72e54e37f3b47d208","datavalue":{"value":{"entity-type":"item","numeric-id":1065796,"id":"Q1065796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fb21baf7084072646b36a19d4b81579a94aa88e","datavalue":{"value":{"amount":"+0.7430852651596069","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":"Q800345$8F775EA2-B577-42BE-8C5A-7C41561A7BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"483fcc7d7203b91f04b7c53a63102f1ab8004748","datavalue":{"value":{"entity-type":"item","numeric-id":1653652,"id":"Q1653652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fd8a5f3a04d3ba1b025fed1dafb300973cb40ac","datavalue":{"value":{"amount":"+0.7388356328010559","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":"Q800345$590B4C2E-23C9-4803-9199-3CCEDE73F0C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"That SCI has the interpolation property","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/That_SCI_has_the_interpolation_property"}}}}}