{"entities":{"Q2624159":{"pageid":2634902,"ns":120,"title":"Item:Q2624159","lastrevid":44513475,"modified":"2025-11-23T11:11:25Z","type":"item","id":"Q2624159","labels":{"en":{"language":"en","value":"\u00dcber die Erf\u00fcllbarkeit derjenigen Z\u00e4hlausdr\u00fccke, welche in der Normalform zwei benachbarte Allzeichen enthalten."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2545690"}},"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":"Q2624159$855B4515-E757-4BBC-9E90-1F39F8562401","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f20a2ab093d4b49d0b0802568c5fd06af9f49ca7","datavalue":{"value":{"text":"\u00dcber die Erf\u00fcllbarkeit derjenigen Z\u00e4hlausdr\u00fccke, welche in der Normalform zwei benachbarte Allzeichen enthalten.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2624159$DDDF9AEC-754C-4C55-BE2A-475FBF7503BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"362c9f75d1ac1218033a93ce15f92b3fb6549390","datavalue":{"value":"59.0864.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2624159$D96473F7-983E-4980-BD8A-406591EAE24C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc712ea07c069e579ae43cd458877f4f5818dd1b","datavalue":{"value":"10.1007/BF01452848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2624159$2C7EE5E2-6C05-4BD2-B0BC-76966DCBAD06","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":"Q2624159$D6F2F0FB-04E3-4E5F-B196-E0BEA11FEBE6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5229eeedf2f969cf3cb5fc8ccac583c702705ed8","datavalue":{"value":{"time":"+1933-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":"Q2624159$1A8A2E4E-71CF-4289-9301-187C7D008A63","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"794a8c483c6b9ecfd458f7c7c00a9b1c015381d3","datavalue":{"value":"https://eudml.org/doc/159648","type":"string"},"datatype":"url"},"type":"statement","id":"Q2624159$EC3600BF-263F-486C-BE9D-CE3AD2763B89","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2a14545d529cf043e7acc465d003368b730bac21","datavalue":{"value":"In dieser Abhandlung wird ein Verfahren angegeben, mit dessen Hilfe man entscheiden kann, ob ein Z\u00e4hlausdruck, worin au\u00dfer Semszeichen genau zwei benachbarte Allzeichen vorkommen, erf\u00fcllbar ist oder nicht.  In \\S {} 1 beweist Verf. drei Hilfss\u00e4tze \u00fcber Modelle und Tabellen. Dabei bedeutet ``Modell'' eine Folge von logischen Funktionen \u00fcber einem Individuenbereich, und eine Tabelle \\(p\\)-ter Ordnung ist ein Modell \u00fcber der Menge der Zahlen \\(1, 2,\\ldots, p\\). Hilfssatz 1 dr\u00fcckt f\u00fcr Tabellen einen \u00dcbergang von einem Individuenbereich zu einem anderen aus. Hilfssatz 2 gibt die notwendige und hinreichende Bedingung daf\u00fcr, da\u00df eine gewisse Anzahl von Tabellen \\(T_1,\\ldots,T_k\\) f\u00fcr gewisse Individuen mit einer einzigen Tabelle \\(T\\) \u00fcbereinstimmen kann. Nach Hilfssatz 3 kann man aus einer unendlichen Folge von Tabellen wachsender Ordnung, wobei jede eine Fortsetzung der vorhergehenden ist, ein Modell \u00fcber der Menge aller nat\u00fcrlichen Zahlen bilden.  In \\S {} 2 betrachtet Verf. die Z\u00e4hlausdr\u00fccke der Form  \\[ (x_1)(x_2)(Ex_3)\\ldots (Ex_n)K. \\]  Wird angenommen, da\u00df dieser Ausdruck durch das Modell \\(M\\) \u00fcber der Menge \\(M\\) erf\u00fcllt ist, so ist der Kernausdruck \\(K\\) f\u00fcr die verschiedenen \\(n\\)-tupel der Individuen auf mindestens eine Art erf\u00fcllt, d. h. man bekommt eine nicht-leere Menge von Tabellen \\(n\\)-ter Ordnung, welche den Kernausdruck erf\u00fcllen. Verf. zeigt, da\u00df diese Menge drei charakteristische Eigenschaften \\(A, B, C\\) hat. Danach beweist er, da\u00df auch umgekehrt die Existenz einer nichtleeren Menge von Tabellen mit den Eigenschaften \\(A, B, C\\), welche \\(K\\) erf\u00fcllen, zur Erf\u00fcllbarkeit des gegebenen Z\u00e4hlausdrucks gen\u00fcgt. Dies gelingt dadurch, da\u00df er alle geordneten Paare \\((\\alpha, \\beta )\\) mit \\(\\alpha, \\beta = 1,2,3,\\ldots \\) in bestimmter Weise abz\u00e4hlt und mit Hilfe dieser Abz\u00e4hlung eine Folge von Tabellen \\(Z_k\\), wo \\(Z_k\\) die Ordnung \\(1+ k (n-2)\\) hat, rekurrierend definiert, und zwar so, da\u00df er nachweisen kann, da\u00df \\(Z_{k+1}\\) mit \\(Z_k\\) innerhalb des Individuenbereiches f\u00fcr \\(Z_k\\) \u00fcbereinstimmt. Nach Hilfssatz 3 folgt daraus die Existenz eines Modells \u00fcber der nat\u00fcrlichen Zahlenreihe, und der Z\u00e4hlausdruck ist dadurch erf\u00fcllt. Da es sich offenbar durch endliches Probieren entscheiden l\u00e4\u00dft, ob eine nicht leere Tabellenmenge der erw\u00e4hnten Art existiert oder nicht, so ist hierdurch die Erf\u00fcllbarkeitsfrage gel\u00f6st.  In \\S {} 3 wird in einfacher Art bewiesen, da\u00df man das Entscheidungsproblem f\u00fcr Z\u00e4hlausdr\u00fccke, die mit einer Reihe von Seinszeichen anfangen, auf dasselbe Problem f\u00fcr Z\u00e4hlausdr\u00fccke zur\u00fcckf\u00fchren kann, worin diese Seinszeichen entfernt sind, w\u00e4hrend die Zahl der Allzeichen nicht ge\u00e4ndert wird und benachbarte Allzeichen benachbart bleiben. Zufolge \\S {} 2 ist dadurch das Entscheidungsproblem gel\u00f6st f\u00fcr alle Z\u00e4hlausdr\u00fccke mit blo\u00df zwei Allzeichen, die benachbart sind.  In den Schlu\u00dfbemerkungen gibt Verf. einige Gr\u00fcnde an, warum das benutzte Verfahren nicht gen\u00fcgt, um auch f\u00fcr Z\u00e4hlausdr\u00fccke mit mehr Allzeichen das Entscheidungsproblem zu l\u00f6sen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2624159$BEE91386-C435-4F82-9F13-AE89113A5214","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5617f8073b677bf603dc599a52205b8ff896ddf","datavalue":{"value":"2545690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2624159$B5EC7A27-2EBB-4E05-85C2-657AE3AED4EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"295925f173150a9d627e4cb0a9939fc4fa3feb64","datavalue":{"value":{"entity-type":"item","numeric-id":562906,"id":"Q562906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2624159$48A29212-C57F-464D-AE07-8845A6423DE5","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":"Q2624159$BBE04CBB-6866-4227-86D7-E896FE7F3F3E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"850b01f29d8fac6dd0ba94059ecf97677f06259b","datavalue":{"value":{"entity-type":"item","numeric-id":4477873,"id":"Q4477873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2624159$FA369763-327F-4024-B92C-0A1179CF0DF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2624159","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2624159"}}}}}