{"entities":{"Q5922582":{"pageid":8055851,"ns":120,"title":"Item:Q5922582","lastrevid":27076988,"modified":"2024-03-05T06:45:00Z","type":"item","id":"Q5922582","labels":{"en":{"language":"en","value":"Canonical expressions in Boolean algebra."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2517755"}},"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":"Q5922582$6C4F531A-9EC3-47FD-A6EE-D4A1A2F4F926","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56560382471f9376548c71df779f2ffc75ebd425","datavalue":{"value":{"text":"Canonical expressions in Boolean algebra.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5922582$2A677EA6-4E07-4C8A-928D-6A84E3E78A12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"734bc4bce37a9c44a7112f8e6e7d8dfa690da660","datavalue":{"value":"64.0926.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5922582$F8321602-308C-41F5-9D7D-5DF2DCBC3D80","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b59abbb6142caabaa86662a3210cd4f087e851ac","datavalue":{"value":{"entity-type":"item","numeric-id":562900,"id":"Q562900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5922582$9BB63EA1-8722-4BEA-9233-04681D957FCD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f858b81427e0400eb7de4859b32f6d4c81a704f4","datavalue":{"value":{"time":"+1938-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":"Q5922582$9EDBFC47-4F8D-411D-97B4-20BDD1B69942","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"963b8668d0a6b2a35132196bbb3704ce156df5b0","datavalue":{"value":"Die vorliegende Arbeit enth\u00e4lt Beitr\u00e4ge zur Darstellungstheorie in der Booleschen Algebra, jener Darstellungstheorie, die in erster Linie von Boole, Schr\u00f6der und insbesondere von Poretsky entwickelt worden ist. Die benutzten Bezeichnungen sind die von E. H. Moore. -- Das Hauptst\u00fcck der Arbeit ist das zweite Kapitel. Es enth\u00e4lt als neues Resultat das Theorem, da\u00df es zu jedem Booleschen Ausdruck einen \u00e4quivalenten Ausdruck gibt, der ein syllogistisches Polynom ist. Der Begriff des syllogistischen Polynoms stammt vom Verf. Es ist dies ein Polynom, das jedes Polynom, das es enth\u00e4lt, ``formally included'' enth\u00e4lt. Ein Polynom \\(p_1\\) hei\u00dft formal enthalten in einem Polynom \\(p_2\\) dann und nur dann, wenn jedes ``monomial'' von \\(p_1\\) enthalten ist in einem ``monomial'' von \\(p_2\\). Ein ``monomial'' ist hierbei ein Boolescher Ausdruck, in dem das \\({}'\\)-Symbol -- wenn es vorkommt -- nur Buchstaben zukommt, und in dem das \\(+\\)-Symbol gar nicht vorkommt. -- Das dritte Kapitel enth\u00e4lt eine Anwendung der Booleschen Algebra auf den Pr\u00e4dikatenkalk\u00fcl der ersten Stufe. Es wird ein Verfahren angegeben, durch das jedem Ausdruck dieses Kalk\u00fcls eine unendliche Anzahl von Ausdr\u00fccken einer zweielementigen Booleschen Algebra zugeordnet wird, so da\u00df gilt: Ein Ausdruck des Pr\u00e4dikatenkalk\u00fcls ist allgemeing\u00fcltig dann und nur dann, wenn wenigstens einer der zugeordneten Ausdr\u00fccke dem 1-Element der Booleschen Algebra \u00e4quivalent ist. Da es f\u00fcr eine beliebig vorgegebene Menge von Ausdr\u00fccken einer Booleschen Algebra kein generelles Entscheidungsverfahren daf\u00fcr gibt, da\u00df wenigstens einer dieser Ausdr\u00fccke dem 1-Element \u00e4quivalent ist, so ist damit -- wie Verf. selbst feststellt -- keineswegs ein Entscheidungsverfahren f\u00fcr den Pr\u00e4dikatenkalk\u00fcl der ersten Stufe gegeben. -Wegen einer wesentlichen Korrektur zur vorliegenden Arbeit vgl. die nachfolgend besprochene Note.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5922582$20CE11FD-C5E2-451A-B04F-194E61CCC272","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e100c5f16bc941f3e18c74fa10c343101c30ef8","datavalue":{"value":"2517755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5922582$7CE8AD2A-4F08-4C5D-A33A-1A5F5E951749","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":"Q5922582$F70F180A-6995-4678-A0F3-8EEBF61479D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5922582","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5922582"}}}}}