{"entities":{"Q577753":{"pageid":579520,"ns":120,"title":"Item:Q577753","lastrevid":62902599,"modified":"2026-04-11T08:55:34Z","type":"item","id":"Q577753","labels":{"en":{"language":"en","value":"Sur le probl\u00e8me fondamental de la logique math\u00e9matique."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2560525"}},"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":"Q577753$5185219D-10DE-48EB-9078-44B54399B7E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5eddf3b2f527c45ad9dfa25118a6f9c8dd4bcb4c","datavalue":{"value":{"text":"Sur le probl\u00e8me fondamental de la logique math\u00e9matique.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q577753$4798AAD6-1B73-4A5D-9DEB-AB4A616323EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0649b0630cd6553cb0f97b7f7879ca1138e3af2","datavalue":{"value":"57.1320.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q577753$E5027B32-0E54-49BC-A912-C393155ED151","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b6e3b81ec4d5475a2bfffbbdd018403195b8d13c","datavalue":{"value":{"entity-type":"item","numeric-id":559529,"id":"Q559529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q577753$986B22B7-4D3C-43DC-97B4-7B7373750AA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0130902a9dcdeca58c7452ef77c67f7d7741a88","datavalue":{"value":{"time":"+1931-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":"Q577753$01AEA264-0A25-4BC3-B1DC-2B2B3CD6034D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"93276fa8474e06ceac78ce78dbbd92a31072dcd8","datavalue":{"value":"Die Arbeit enth\u00e4lt zun\u00e4chst eine Zusammenstellung der damals bekannten Einzelergebnisse zum Entscheidungsproblem, die unter Benutzung der in der fr\u00fcheren Hauptarbeit des Verf. (1930; F. d. M. \\(56_{\\text{II}}\\), 824) dargelegten Ideen zum Teil noch exakter formuliert werden. Au\u00dferdem werden die folgenden wichtigen bisher unbekannten Reduktionss\u00e4tze bewiesen: Man kann das Entscheidungsproblem allgemein l\u00f6sen, wenn man die L\u00f6sung f\u00fcr die erste Stufe besitzt. Beim Entscheidungsproblem der ersten Stufe kann man sich auf die Untersuchung von Formeln beschr\u00e4nken, die nur eine einzige dreistellige Pr\u00e4dikatenvariable enthalten, oder auch auf solche, die nur drei zweistellige derartige Variable enthalten.","type":"string"},"datatype":"string"},"type":"statement","id":"Q577753$4748A393-112B-42D8-A2B2-C371B3AE452B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66b3629edb36aace2723f37ec0203d1e4d810ee8","datavalue":{"value":"2560525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q577753$F2077DA6-79B3-4A0E-9833-48E6C9D77518","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":"Q577753$6E61FEE2-A56E-4E14-95A7-CD33620A44EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ce2cecb13fb137686defc1a678182111b0fecc1","datavalue":{"value":{"entity-type":"item","numeric-id":6481166,"id":"Q6481166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q577753$FEEFD837-2CD4-492C-AA97-ABF4E1326377","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sur le probl\u00e8me fondamental de la logique math\u00e9matique.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sur_le_probl%C3%A8me_fondamental_de_la_logique_math%C3%A9matique."}}}}}