{"entities":{"Q775346":{"pageid":777195,"ns":120,"title":"Item:Q775346","lastrevid":64243377,"modified":"2026-04-11T18:34:31Z","type":"item","id":"Q775346","labels":{"en":{"language":"en","value":"An alternative generalisation of the concept of duality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3171970"}},"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":"Q775346$A6F06862-2441-44E8-A954-76896291EC64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"daa7d120b30ed4348741f6a875c2d37a52056ee5","datavalue":{"value":{"text":"An alternative generalisation of the concept of duality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q775346$4F08041B-B20A-45CC-8D59-B585B2B834CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14744abcb2f1bc2936f465b2be3ba9f69c1ae4ee","datavalue":{"value":"0105.24702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q775346$AC898FB5-8DCA-4848-B9E6-D5C7F411B7E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00b13687ba454c4e9a6b7dc9a4e155108bc5eb52","datavalue":{"value":"10.1007/BF01440954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q775346$AC17E4EC-8E0D-458C-BF40-BDCC24675135","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3189b12ebf23fee110343ef607d820c0385da92a","datavalue":{"value":{"entity-type":"item","numeric-id":775345,"id":"Q775345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q775346$82295EC6-4D07-4036-8F9D-081FB1A92B57","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q775346$83D31737-9AC0-4DA7-8D70-EFD0B8E6CAEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f1151d44c801a909256f62362ee2b01f3c904af1","datavalue":{"value":{"time":"+1962-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":"Q775346$0E7AF1AB-345A-4258-A1D3-CC81C5E1814B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c4a3135468d0badb6042f4d5c3c0485fd69b68f","datavalue":{"value":"https://eudml.org/doc/160974","type":"string"},"datatype":"url"},"type":"statement","id":"Q775346$714A7A23-F3E9-411A-9ADA-69E1B530B5DB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6665e0fd9f02d08746df271996131738f048f7a0","datavalue":{"value":"The symbol \\([Y, X_1, X_2, \\ldots, X_m, Y]\\) was introduced in an earlier paper of the author [Math. Ann. 123, 76--78 (1951; Zbl 0042.00702)]. As the generalization of the dual of a formula in the two-valued propositional calculus, there is defined a relation between two formulae \\(\\Lambda\\), \\(\\Phi\\) of the \\(m\\)-valued propositional calculus, namely that \\(\\Lambda\\) is an \\(m\\)-al of type \\(i\\) of \\(\\Phi\\) (the definition is inductive according to \\(i)\\).   There are proved four theorems each of which asserts or denies the existence of a functor of the following nature: the \\(m\\)-valued propositional calculus with the functor (as the only primitive) is functionally complete and the functor satisfies various conditions expressed in terms of \\([\\ldots]\\) and \\(m\\)-ality.   The last theorem is a generalization of a result of \\textit{A. Church} [Port. Math. 7, 87--90 (1948; Zbl 0034.29101)]; it states that certain \\(m-1\\) functors form a complete set of independent primitives for the \\(m\\)-valued propositional calculus.","type":"string"},"datatype":"string"},"type":"statement","id":"Q775346$A74A1559-25A6-4818-BFF5-0D93CD382D6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q775346$064B61B3-F8FC-4EA5-A61D-3BF661FB3B2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f0312e3f8ad554fad2f0ee57248b30a0c82fc18","datavalue":{"value":"3171970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q775346$911A2452-80E5-43BC-897F-89381723AE9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q775346$D7DB65EE-B128-4BBF-94DE-26B1D4FFED5E","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":"Q775346$2A3B73A1-B861-4533-BC26-D8217370D234","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a73cc33340f6af0b7dbab2d80c642f48df06ad8","datavalue":{"value":{"entity-type":"item","numeric-id":2649134,"id":"Q2649134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q775346$894C3E28-8EC7-44C3-A28D-B861A2EBC2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838aace2541d9a159605527312ce5c1f82265420","datavalue":{"value":{"entity-type":"item","numeric-id":2651240,"id":"Q2651240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q775346$E4DA6ABD-1476-4638-9414-A4F24C185FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"994a6c05cbacaf256505acc85d4d4bd9e2d012ba","datavalue":{"value":{"entity-type":"item","numeric-id":775685,"id":"Q775685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q775346$3ACA43A0-3ABB-4FB4-B74B-971DE434B5D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf3a9b07e4875696a2ee5a849ccd992c8faf4306","datavalue":{"value":{"entity-type":"item","numeric-id":3843600,"id":"Q3843600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a95c290b587ef85eaddee946ef73489b0b3c00a5","datavalue":{"value":{"amount":"+0.8346315622329712","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":"Q775346$B60C6C8E-BA81-445C-B73C-44D0A276AADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a9afce8dcd7b1e0518e164779d92098b360fc0d","datavalue":{"value":{"entity-type":"item","numeric-id":3705425,"id":"Q3705425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d53a6c7ee2b97e21df1d44b4f11198684e5f6f9","datavalue":{"value":{"amount":"+0.8264063596725464","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":"Q775346$6EE5AA63-3F81-417A-9AAC-89385CCB8295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dac94ae203596afb6d86018840ea8950d344cbd4","datavalue":{"value":{"entity-type":"item","numeric-id":5722252,"id":"Q5722252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5982cc12f979c3fb6c2e603b348af339d77fbac1","datavalue":{"value":{"amount":"+0.8196691870689392","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":"Q775346$64FB7B4A-1F14-4B6E-93DC-A9B61D606BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77bd4d296c2758bbd8bf294fd1d12874c6130705","datavalue":{"value":{"entity-type":"item","numeric-id":3347858,"id":"Q3347858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99bf5e50feed3e6988d07bce3ee919998a2387a6","datavalue":{"value":{"amount":"+0.8149494528770447","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":"Q775346$5C86581F-5FCD-4EA4-96C2-26C34479762E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8246ac9fdc2a485b66998dfb39ba932253cace7","datavalue":{"value":{"entity-type":"item","numeric-id":5722251,"id":"Q5722251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17e0296430dec68803bd963260f245de70a43b95","datavalue":{"value":{"amount":"+0.8025478720664978","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":"Q775346$D441F294-04B9-4AB6-9E75-278A30E50502","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An alternative generalisation of the concept of duality","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_alternative_generalisation_of_the_concept_of_duality"}}}}}