{"entities":{"Q2601637":{"pageid":2612380,"ns":120,"title":"Item:Q2601637","lastrevid":44447283,"modified":"2025-11-23T00:18:22Z","type":"item","id":"Q2601637","labels":{"en":{"language":"en","value":"Postulates for Boolean algebra in terms of ternary rejection."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2519801"}},"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":"Q2601637$AD03D897-B1AF-43F4-ABF2-90E1F5EB06B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75d3f7e544330bf35c4679caba7a26260301aab6","datavalue":{"value":{"text":"Postulates for Boolean algebra in terms of ternary rejection.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2601637$58F00697-C4E1-4F9C-95D2-A9162ABD75F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1fcee520ef4c0e255b42a352afb2addb1ee775d","datavalue":{"value":"63.0025.04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2601637$CE3A04C3-4BB7-4D29-A9B9-1FA1D502FF73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f08735e4efed44c98541f21d0b097d6bcbf5405e","datavalue":{"value":"10.1090/S0002-9904-1937-06538-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2601637$87C18096-94E8-46D6-92F7-FE271D6B4033","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ed2e50fab8aad72cbb7a906da42ba85b1de079d","datavalue":{"value":{"entity-type":"item","numeric-id":559421,"id":"Q559421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2601637$05044C8C-AAD6-48E2-AAAF-631DF6F0F451","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b5727a7c5b8fd0294ba23bb629bc28c096c780c","datavalue":{"value":{"time":"+1937-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":"Q2601637$06D344EF-DAEC-469A-AE57-CBBBBD9EB8DF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fface4236f86418473e84fc44e4bfb943ca572f3","datavalue":{"value":"Verf. w\u00e4hlt als unerkl\u00e4rte Begriffe eine Menge \\(K\\) von Elementen \\(a\\), \\(b\\), \\(c\\), \\(\\ldots\\) und eine tern\u00e4re Operation \\((abc)\\). \\(K\\) soll wenigstens zwei verschiedene Elemente enthalten. Mit \\(a\\), \\(b\\), \\(c\\) sei auch zugleich \\((abc)\\) ein Element von \\(K\\). Ferner gelte:  \\[  (abc)=(bca), \\quad (a'bb')=a, \\quad \\left( (abc)' (abd)' e \\right) = \\left( ab (cde)' \\right),  \\]  wobei \\(a' = (aaa)\\) gesetzt ist. Dieses Axiomensystem ist gleichwertig mit dem \\textit{Whitehead-Huntington}schen (Trans. Amer. math. Soc. 5 (1904), 288-309; F.~d.~M. 35, 87); man hat nur folgende Definitionen festzulegen: \\(u\\) sei ein beliebig gegebenes Element von \\(K\\), \\(Z = u'\\), \\(a + b = (abu)'\\) und \\(ab = (abZ)'\\). \\(u\\) wird dann das Nullelement, \\(Z\\) das Einselement, und es gilt: \\((abc) = a'b' + b'c' + c'a'\\).  Die Widerspruchsfreiheit und Unabh\u00e4ngigkeit des Axiomensystems ergibt sich auf dem \u00fcblichen Wege.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2601637$45D58BC4-82D0-42BC-ABF1-652239B31E5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9768ff6f7c0f7d4b350964c2f969e6b1ff6c89b4","datavalue":{"value":"2519801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2601637$F3EE1F1D-F7EA-429F-87A4-8E444CB3EC38","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99735d05cc96c75226a766def7c909e4c6ab644f","datavalue":{"value":{"entity-type":"item","numeric-id":767307,"id":"Q767307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2601637$8CB180E9-4DC8-4CB8-A6BE-0CA8813CF0DB","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":"Q2601637$2BE35667-ADBA-4558-8699-7C3D32DEE26C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2601637","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2601637"}}}}}