{"entities":{"Q5893004":{"pageid":7931075,"ns":120,"title":"Item:Q5893004","lastrevid":93281612,"modified":"2026-06-05T04:08:08Z","type":"item","id":"Q5893004","labels":{"en":{"language":"en","value":"A logical expansion in mathematics."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2550899"}},"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":"Q5893004$47361E93-A427-44BA-B90D-05B485FBCECE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6fda4785e2641f8d669a1fa7bbb3611d02cc734e","datavalue":{"value":{"text":"A logical expansion in mathematics.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5893004$0345BF1B-2B7E-43D4-9722-A5BBB7056E26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"725247ea01b050250878274a7b3687b59dd20da9","datavalue":{"value":"58.0605.08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5893004$F92EF803-E87C-4EB3-A613-0C0FAC8A5F55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7100b5aab984450a6a2301c7af5bcbe2295a7bf3","datavalue":{"value":"10.1090/S0002-9904-1932-05460-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5893004$02AC7E17-A319-4B22-93E7-D71447B4A5DA","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":"Q5893004$0833E60B-EB1F-454C-9EED-CC0497B98136","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bbb53abe68aac0eeb25dacc2ea1a7274c90a69a","datavalue":{"value":{"time":"+1932-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":"Q5893004$9D5784DC-BEDD-4366-AA25-7D8326785160","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4c76d874a0825b31049ebfe937088e0ab0e01bcd","datavalue":{"value":"Gegeben sei eine endliche Anzahl \\(n=n(1)\\) von Elementen. \\(A_i\\) \\((i=1,2,\\dots,m)\\) bedeute je eine Eigenschaft, \\(n(A_i)\\) bzw. \\(n(\\overline {A_i})\\) die Anzahl der Elemente, die die Eigenschaft \\(A_i\\) haben bzw. nicht haben. Dann gilt:  \\[ \\begin{gathered} n(\\overline {A}_1\\overline {A}_2\\dots \\overline A_m)=n-[n(A_1)+n(A_2)+\\cdots +n(A_m)] \\tag{*}\\\\ +[n(A_1 A_2)+n(A_1 A_3)+\\cdots +n(A_{m-1}A_m)]-\\cdots +(-1)^m n(A_1 A_2\\dots A_m), \\end{gathered}  \\]  wobei der Ausdruck rechts unter Antwendung des Distributivgesetzes durch formales Ausrechnen von \\(n[(1-A_1 )\\dots (1-A_m )]\\) gebildet ist. Verf. gibt einige Beispiele von mathematischen Antwendungen dieser Formel: je eine aus der Primzahllehre und der Wahrscheinlichkeitsrechnung sowie eine Ableitung der \\textit{Birkhoff}schen Formel f\u00fcr die Anzahl der F\u00e4rbungen einer Karte bzw. eines Graphen mit \\(\\lambda \\) Farben, derart da\u00df\\ benachbarte L\u00e4nder bzw. verbundene Ecken verschiedene Farben erhalten (\\textit{Birkhoff}, 1912; F. d. M. 43, 572 (JFM 43.0572.*); ferner auch 1930; F. d. M. \\(56_{\\text{I}}\\), 499. Vgl. auch Verf. 1931; F. d. M. \\(57_{\\text{I}}\\), 727 und nachstehend besprochene Arbeit). Elemente sind dabei alle m\u00f6glichen F\u00e4rbungen des Graphen \\(G\\), die Eigenschaft \\(A_{ab}\\), die f\u00fcr jedes Paar von verbundenen Ecken \\(a, b\\) definiert ist, bedeutet: \\(a\\) und \\(b\\) haben gleiche Farbe. Dann ist  \\[  M(\\lambda )=n(\\overline {A}_{ab} \\overline {A}_{ac} \\dots \\overline {A}_{ik}), \\]  wobei in der Klammer rechts alle \\(\\overline {A}_{ab}\\) stehen. Ordnet man nun jedem einzelnen Glied der Formel (*): \\((-1)^s n(A_{ab}\\dots )\\) (wobei \\(n\\) gerade f\u00fcr den Durchschnitt von \\(s\\) Eigenschaften \\(A_{ab}\\) gebildet ist) einen Graphen \\(H\\) zu, der aus allen Ecken von \\(G\\) und denjenigen Strecken von \\(G\\) besteht, deren Endpunkte in dem entsprechenden \\(n(A_{ab}\\dots )\\) als Indexpaare auftreten, so ist \\(n(A_{ab}\\dots )\\) offenbar gleich der Anzahl der F\u00e4rbungen von \\(H\\), bei denen zusammenh\u00e4ngende Bestandteile von \\(H\\) gleich gef\u00e4rbt sind, also gleich \\(\\lambda ^p\\), wenn \\(p\\) die Anzahl der zusammenh\u00e4ngenden Bestandteile von \\(H\\) bedeutet, und  \\[  M(\\lambda )=\\sum _{p,s}(-1)^s (p,s)\\lambda ^p, \\]  wo \\((p,s)\\) die Anzahl der Teilgraphen \\(H\\) von \\(G\\) mit \\(s\\) Strecken und \\(p\\) zusammenh\u00e4ngenden Bestandteilen bedeutet, oder auch  \\[  M(\\lambda )=\\sum _{i,j}(-1)^{i+j}m_{ij}\\lambda ^{V-i}=\\sum _i m_i \\lambda ^{V-i} \\quad \\text{mit}\\quad m_i=\\sum _i (-1)^{i+j} m_{ij},\\tag{**} \\]  wobei \\(V\\) die Anzahl der Ecken von \\(G\\), \\(m_{ij}\\) die Anzahl der Teilgraphen \\(H\\) vom Range \\(i\\) und der Nullit\u00e4t \\(j\\) bedeuten. F\u00fcr die \\(m_i\\) gibt Verf. folgende Deutung: Bildet man alle Kreise von \\(G\\) und daraus - unter Beachtung gewisser Anordnungsvorschriften - die unvollst\u00e4ndigen Kreise (``broken circuits'') durch Weglassen je einer Strecke aus einem Kreis, so ist \\((-1)^i m_i\\) die Anzahl der Teilgraphen mit \\(i\\) Strecken, die keinen unvollst\u00e4ndigen Kreis ganz enthalten. (III 2.)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5893004$2CBA4379-F68F-4A2D-88EE-CE0B25D89FE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e4b10da5a967f9ddd0d6d261d5035ac2076b68e","datavalue":{"value":"2550899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5893004$4F12708D-3483-45DE-A089-0BFFA323D8B4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"144a6eebf639ea543bd03fa2e7064384b1e7bf2e","datavalue":{"value":{"entity-type":"item","numeric-id":593326,"id":"Q593326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5893004$FFF49AB6-BB1F-479B-86AD-70D4DD00E778","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":"Q5893004$3D768187-F45D-45FF-B884-B63653FB75C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d31ddd2a071b5cbac90da3e8f29d3f22b0ba0eba","datavalue":{"value":{"entity-type":"item","numeric-id":6480746,"id":"Q6480746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5893004$2B571313-7D1E-424A-85E2-0BE55470173B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A logical expansion in mathematics.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_logical_expansion_in_mathematics."}}}}}