{"entities":{"Q911578":{"pageid":913426,"ns":120,"title":"Item:Q911578","lastrevid":49367581,"modified":"2026-01-07T01:13:58Z","type":"item","id":"Q911578","labels":{"en":{"language":"en","value":"Interpolation theorem in many-valued logics with designated values"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4142007"}},"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":"Q911578$1D5EC933-F178-4E09-9E0B-C3398C795736","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c6f15b6899b5f504315ca0f020852373db52e03","datavalue":{"value":{"text":"Interpolation theorem in many-valued logics with designated values","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q911578$1FA0A656-3FA2-4281-B06E-F9B22351D648","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f49a87bb2a3eb4f71e1aca2feef0bbf4a156d17","datavalue":{"value":"0697.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911578$A9A21F0E-0DA0-4940-8DA0-33371B96DBD5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"718103527fb94c5b8eda2837ebad09b692a833cb","datavalue":{"value":{"entity-type":"item","numeric-id":332075,"id":"Q332075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911578$036915AE-52B1-452D-AC41-4300B85A8CC0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"738d105e42d51f4b031b87220ad3d6b3409cc1c3","datavalue":{"value":{"entity-type":"item","numeric-id":169983,"id":"Q169983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911578$6E4EAA84-B16D-4F58-8CBF-09C385C60561","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q911578$958F8EDF-638D-4020-BACA-352B939EA95A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f638a7dd5754ada3db8b5bcdcb73aeed318f756","datavalue":{"value":"https://semanticscholar.org/paper/b4dd6194639dc06c6deb41532f6184fa61790d5a","type":"string"},"datatype":"url"},"type":"statement","id":"Q911578$BEE9C9B6-821F-4281-A732-62E6BC32B519","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"64629d04eb5305cc2cef2ddfd58495c6bc5e65aa","datavalue":{"value":"Let L be a functionally complete many-valued logic, with a set T of truth-values and a set D of designated values. Let \\(R_ f\\) be a binary relation on T induced by the function \\(f: T^ 2\\to T\\) such that \\(\\mu R_ f\\nu\\) iff \\(f(\\mu,\\nu)\\in D\\). Then it is shown that if \\(R_ f\\) is transitive and connected, then the interpolation property with respect to f holds, i.e. if \\(f^*\\) is the formula of L representing f, and \\(f^*(A,B)\\) is designated for any valuation, then there is a formula C such that (i) \\(f^*(A,C)\\) and \\(f^*(C,B)\\) are always designated. (ii) Every propositional letter, predicate letter and free individual variable occurring in C, occurs both in A and B.","type":"string"},"datatype":"string"},"type":"statement","id":"Q911578$42A7028A-B85D-4F8E-A5D9-A2B8A4DF6731","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911578$F6A81ACC-0FC1-4E3F-949E-698DD9E53F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911578$D6F702C7-1676-4942-AC3B-8B038E2B4FAC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f8de55d6da20b085c18afe2f833f59056cf7367","datavalue":{"value":"4142007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911578$D6164828-070C-4EB1-B89C-BA0C07EB8052","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q911578$59C4942F-DC29-4254-B1E5-61989CD7F107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q911578$96EE489F-F781-4358-9FB8-0009DFC9BF52","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a70eb255db58b1b2b90f33f4fe4a154901c6aeb8","datavalue":{"value":{"entity-type":"item","numeric-id":590723,"id":"Q590723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911578$AA7A3C74-9DDD-4952-94E1-89D64C226564","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":"Q911578$FB569F71-7D38-4611-A932-98714250ABBF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"308e8e248be83404b1646cb595f9c8777849f764","datavalue":{"value":"W1979832758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911578$7CFE9B1A-58A8-4CF6-9A21-35F2AFF295DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f8a2cf544d4b383fc9cb899942e1552321e9fce","datavalue":{"value":{"entity-type":"item","numeric-id":5613914,"id":"Q5613914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911578$78C9B638-318D-4532-8B85-1B46C7406330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c19dadf9b34ceccef295135c91616151eee2f540","datavalue":{"value":{"entity-type":"item","numeric-id":3028980,"id":"Q3028980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911578$E6329A00-2CC5-4561-9B35-2AE5C38B7E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999c8fe94a19a2d0a1c3cffca1245dbdea8ff1ee","datavalue":{"value":{"entity-type":"item","numeric-id":5736158,"id":"Q5736158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911578$62AF8AFD-7A83-42DE-B12C-65399784443A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e72c94050b46aa3275f8a9b20baad7936f7fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4081209,"id":"Q4081209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911578$D1BE784D-8ED0-4B03-89F9-2F018596D1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feb21bca2a7ce7c1abe5391046e050b78e2fb7a3","datavalue":{"value":{"entity-type":"item","numeric-id":5654015,"id":"Q5654015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911578$ED921F50-0BCB-4610-9759-E65BF3B96A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e02c8fd5a0c3234de52455be624291c050a5c6e6","datavalue":{"value":{"entity-type":"item","numeric-id":5534913,"id":"Q5534913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911578$FE5683A8-7B83-405B-8E78-C08C57AC211D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc26fa796a66a72c66c59c6965003f439a477bdc","datavalue":{"value":{"entity-type":"item","numeric-id":5559532,"id":"Q5559532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911578$580E3B2D-BB61-4572-8C37-A2696C4048C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"058eea150b9df2856b4c1fa01610e8100a8e4283","datavalue":{"value":{"entity-type":"item","numeric-id":5966925,"id":"Q5966925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911578$2998FC64-3F39-44BF-9602-ACF43C9F0672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0defa92ac4454cbab85eee5c1814a83c5b354c06","datavalue":{"value":{"entity-type":"item","numeric-id":1143390,"id":"Q1143390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911578$0A94394D-81B5-46B8-8257-4A329A30671B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30887e409e1cd6dab6f2d7995e330ab2511fd5c6","datavalue":{"value":"10.2996/KMJ/1138039033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911578$A13F912C-203F-42C4-B8F7-765F48F024BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0edce4ed7e90500306ae38efe5549e19b8a77ff","datavalue":{"value":{"entity-type":"item","numeric-id":2498905,"id":"Q2498905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2ac5a4dacc1c2318a464abc4316445ecd87d6e6","datavalue":{"value":{"amount":"+0.7684668302536011","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":"Q911578$505AC1DA-4EFF-4F2F-89C4-F6E27FF3483E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"193f9229012e4ad6df4b8f0f5493a8328009d972","datavalue":{"value":{"entity-type":"item","numeric-id":1818593,"id":"Q1818593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1f77863391b6f558b018a0f46d3a63fe2708412","datavalue":{"value":{"amount":"+0.7637847661972046","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":"Q911578$860A164F-97BF-43A0-8436-BE97E6A1BD49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0090e119c84bae189a9643a15a5400196cd26ea","datavalue":{"value":{"entity-type":"item","numeric-id":3028980,"id":"Q3028980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b57b2bcfaf738344baffca09de655f73ba0f2d9","datavalue":{"value":{"amount":"+0.7629521489143372","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":"Q911578$4093B306-F58A-47A6-AA83-401F29E12BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"662eb6e4eefa1f5db35a2895064671fe5e587446","datavalue":{"value":{"entity-type":"item","numeric-id":5488263,"id":"Q5488263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a67be22e85825c396f74de69acd6d06d87d3ed4e","datavalue":{"value":{"amount":"+0.7489652633666992","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":"Q911578$CBB47884-6D0B-4F33-8AFE-3A094D6FEE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"706a7d009322dc77804cbe8ffbdb1e4cc73aca55","datavalue":{"value":{"entity-type":"item","numeric-id":1744000,"id":"Q1744000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4db05c825a3ab4e706b319a9f02a307f39e06cff","datavalue":{"value":{"amount":"+0.7238544821739197","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":"Q911578$A116ED86-BE3B-41E6-B23C-6A73127DA367","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:911578","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:911578"}}}}}