{"entities":{"Q5907239":{"pageid":8020291,"ns":120,"title":"Item:Q5907239","lastrevid":37295477,"modified":"2024-07-30T09:31:38Z","type":"item","id":"Q5907239","labels":{"en":{"language":"en","value":"Zum Entscheidungsproblem der mathematischen Logik."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2575342"}},"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":"Q5907239$8C36F0AD-B72E-441A-990E-767D1790AB2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"994f2470717ac81451154c4711cfaafb02dacedc","datavalue":{"value":{"text":"Zum Entscheidungsproblem der mathematischen Logik.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5907239$8D56BC0D-E2FD-47EB-B046-AD64C7EEE9E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"223468d2bb75a52ba3416c45ba50aca3db25bf03","datavalue":{"value":"54.0056.05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5907239$5A154B45-1E93-4CA4-99AA-286EB3342274","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e67eaefe4b7d099b3ecd26c383c23068e8318ed","datavalue":{"value":"10.1007/BF01459101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5907239$06F75FDF-5D57-4C19-8D27-67D73C211B82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c887bd58a1c83ce1a0f24bbd111e5ee9b28b888","datavalue":{"value":{"entity-type":"item","numeric-id":1437033,"id":"Q1437033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5907239$C73AC850-02FD-4106-BD5D-EEA5EC3B7034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7bded477e59b3cb6b643bdf452478a61dadd136","datavalue":{"value":{"entity-type":"item","numeric-id":766898,"id":"Q766898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5907239$D6F936BE-FED4-4963-B6DA-3A09579217F8","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":"Q5907239$B391F57A-9100-4ACC-997E-70B42AC347F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cee67bf913068b532a11633afecd10dd06aeb073","datavalue":{"value":{"time":"+1928-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":"Q5907239$1FB9E693-4A31-4CBD-9927-D952AC9622C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5101d9c240040f1beedd0f7c35c5f7734810c310","datavalue":{"value":"https://eudml.org/doc/159260","type":"string"},"datatype":"url"},"type":"statement","id":"Q5907239$E3156321-7E0C-4605-B331-CB156A370D1C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d36c41865e12ed3b3546b38473d2860086e38dfb","datavalue":{"value":"Die vorliegenden Untersuchungen befassen sich mit dem Entscheidungsproblem der ersten Stufe. Es wird der Bereich derjenigen logischen Formeln zugrunde gelegt, die sich aus Pr\u00e4dikaten- und Individuenvariablen, den Aussageverkn\u00fcpfungen und dem ``alle'' und ``es gibt'' f\u00fcr Individuen aufbauen. Innerhalb dieses Bereichs war das Entscheidungsproblem bisher nur bei Beschr\u00e4nkung auf Pr\u00e4dikate mit einem Argument durch die Arbeiten von \\textit{L\u00f6wenheim} und \\textit{Behmann} gel\u00f6st. Die Verf. behandeln besondere F\u00e4lle des Vorkommens von zwei - und mehrgliedrigen Pr\u00e4dikaten. Da nach einen bekannten Satz der mathematischen Logik sich jede Formel durch eine \u00e4quivalente ersetzen l\u00e4\u00dft, in der die vorkommenden All- und Existentialzeichen unverneint zu Beginn der Formel stehen, so kann man die Formeln nach der Art des Vorkommens der All- und Existentialzeichen klassifizieren. Die Verf. untersuchen zun\u00e4chst die Allgemeing\u00fcltigkeit der Formeln, die nur Allzeichen oder nur Existentialzeichen haben, oder in denen die vorkommenden Existentialzeichen s\u00e4mtlich hinter den Allzeichen stehen. Diese F\u00e4lle finden eine sehr einfache Erledigung. Als unvergleichlich schwieriger erweist sich das (im allgemeinen vollkommen ungel\u00f6ste) Problem der Allgemeing\u00fcltigkeit der Formeln, bei denen Existentialzeichen Allzeichen vorangehen. Hier wird ein Entscheidungsverfahren f\u00fcr Formeln von dem Typ \\((Ex) (y) A(x,y)\\) angegeben.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5907239$B9FE9B05-EC68-47A6-986F-FFDA98290B50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4331da316e4debf16ca1b1b3547e3c497a9e2935","datavalue":{"value":"2575342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5907239$B3F7A3C4-DCF5-4E5B-8426-B4D42D62C723","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e0848322f1ebf64a83fe3dc4f9fc9e3d1cf74106","datavalue":{"value":"Q56430834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5907239$010243BB-722E-474D-9ED5-A7E9663C4280","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":"Q5907239$FD6151CD-4F25-4C51-A939-A1D4B22D9282","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52fc7566c9b5e9559e4e434bac7c1debbb10e648","datavalue":{"value":"W2018189786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5907239$ACBE5BEC-3129-4891-A028-F56A9D952B61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5907239","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5907239"}}}}}