{"entities":{"Q799665":{"pageid":801513,"ns":120,"title":"Item:Q799665","lastrevid":64464597,"modified":"2026-04-11T20:03:39Z","type":"item","id":"Q799665","labels":{"en":{"language":"en","value":"Realization of not everywhere defined functions of the algebra of logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3873296"}},"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":"Q799665$D2C0FF3A-5E26-4D57-9357-80DF857F9D56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f643ccae2ea1367b5198f78dee58839ef5cb196f","datavalue":{"value":{"text":"Realization of not everywhere defined functions of the algebra of logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q799665$A323D47E-D4BB-41E8-82A3-1BEA702F2329","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5498b0f09d7018367525493b8fe4b83fcbf2a5f3","datavalue":{"value":"0548.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799665$249E6295-8022-4D56-89EF-6090F7A2FC53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b825b75b00ebd8e7b19eb237d3ae279d22c67aa","datavalue":{"value":"10.1007/BF01137228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799665$967CCDA5-C184-4E5C-87BC-2D9C04B48463","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa834dab9890f1918de9d7e0c1f8460ced8eeb03","datavalue":{"value":{"entity-type":"item","numeric-id":174204,"id":"Q174204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799665$EB15131B-0CB4-4F8D-9F77-048CA7B1BD1F","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":"Q799665$202C9713-68F0-4F2A-9299-06F1C57BC0CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q799665$BC9F138B-0769-4020-B660-3E57425F8407","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c8db6425ad11668a2ebed0d4c9340a4f0dd0c56a","datavalue":{"value":"Let \\(P_ 3\\) be the set of functions of 3-valued logic. For \\(y\\in\\{0,1,2\\}^ n\\) denote \\(A(y):=\\{z\\in\\{0,1\\}^ n:z_ i=y_ i\\) if \\(y_ i\\in\\{0,1\\}\\), \\(i=1,2,...,n\\}\\). Define the map \\(F_ y:P_ 3\\to P_ 3\\) as follows: \\(F_ yf(x):=f(x)\\) if f(A(y))\\(\\in\\{0,1\\}\\), \\(F_ yf(x):=2\\) in other cases. (Here \\(x\\in\\{0,1,2\\}^ n.)\\) In a previous paper of the author [Probl. Kibern. 30, 319-325 (1975; Zbl 0414.94040)] it was proved that \\(F_ yP_ 3\\) is not closed under superpositions. In this paper the author introduces the so-called ''quasisuperposition'' operation and gives necessary and sufficient conditions for \\(F_ yP_ 3\\) to be closed under quasisuperposition. A similar theorem is proved for \\(F_ yP_ 4\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q799665$8E4859BD-ADFC-4D38-BC79-7577B1CFDEC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799665$0A28894E-5848-4557-A7E0-25ADB8A30909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799665$4DDFAEF4-F240-459F-AF74-B84B08550A57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"661cd1c92e9e569c713802adb56897b7de7c70ac","datavalue":{"value":"3873296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799665$0EC10BD3-E4D3-467F-9891-B4F5AD7A6A07","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2a800d62470a98a18d5b33dcf15a9084b4efbb4","datavalue":{"value":"three-valued logic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q799665$9C4F92FD-C190-4F25-BD7F-F044DCB28392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9a7b03c1290f4420f511d8fcb71a4d38b5c445b","datavalue":{"value":"closure properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q799665$26307C69-203E-4103-B9B3-78556461AC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d5c1b9628a94d4dfff517bbd510b687ba1f24bf","datavalue":{"value":"quasisuperposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q799665$EC3EE5DA-6850-434F-B6D4-C310BAD7F8D2","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":"Q799665$3A26A905-4008-41C7-A9B1-90D03AB7A3CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ca343ae82fccec37b244ba47545d8587186c7ff","datavalue":{"value":"https://doi.org/10.1007/bf01137228","type":"string"},"datatype":"url"},"type":"statement","id":"Q799665$7B5DFA9E-A1D8-4A40-9B21-7440E0C379DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d04244527b56a37da6325a903e7b1b84c11b497","datavalue":{"value":"W2088918320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799665$4B8F8E5C-2AC5-4D61-9155-D8792E7C1F2F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d04791bcec6c75ab9dbac8d7cf5210dc1ba6d7","datavalue":{"value":{"entity-type":"item","numeric-id":5693208,"id":"Q5693208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c205f33a800d629eaf76d4f558f7b907a44bd505","datavalue":{"value":{"amount":"+0.790754497051239","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":"Q799665$3D0AFF40-C4C3-40E6-949A-E131ADA64DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89b39ddc2548164b1468af27ce8b32cef8edd129","datavalue":{"value":{"entity-type":"item","numeric-id":3544732,"id":"Q3544732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeee48aff49ba5b9c21c994f5e28e9b0d4957f12","datavalue":{"value":{"amount":"+0.7739191055297852","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":"Q799665$64CA5979-A641-4C3F-9CAD-D87768D03BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eee2e7d46ee1a25bab68753daaf0b4689d71752","datavalue":{"value":{"entity-type":"item","numeric-id":2782030,"id":"Q2782030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21ce9c4ff62e888c4359981fc102154b9f1043e0","datavalue":{"value":{"amount":"+0.7730918526649475","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":"Q799665$F9782579-3F32-4F14-87A2-F8C9C62EDF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf2c9e01e345e2de84781abf555952c9e5954db","datavalue":{"value":{"entity-type":"item","numeric-id":2354944,"id":"Q2354944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c5d3ac2b70083938afc82d5eaf5c861022353a8","datavalue":{"value":{"amount":"+0.7725353837013245","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":"Q799665$8DDE97C3-AF1C-42CE-8839-11FF9ACCB3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25e7171c5d563a17bf36f117c090a9b7ec924e7e","datavalue":{"value":{"entity-type":"item","numeric-id":3824393,"id":"Q3824393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"269edf11fcbbe2e70546bc955768012a511a74b7","datavalue":{"value":{"amount":"+0.7667471766471863","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":"Q799665$66FF1143-4A2C-44C5-83B3-066856A81896","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Realization of not everywhere defined functions of the algebra of logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Realization_of_not_everywhere_defined_functions_of_the_algebra_of_logic"}}}}}