{"entities":{"Q2610716":{"pageid":2621459,"ns":120,"title":"Item:Q2610716","lastrevid":44476839,"modified":"2025-11-23T05:42:06Z","type":"item","id":"Q2610716","labels":{"en":{"language":"en","value":"Der Hilbertsche Formalismus. I: Der Formalismus H\\(_{\\text{I}}\\)."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2528631"}},"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":"Q2610716$DCA0D4FD-BE84-4D1E-8B9D-2272D8D33D0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34f4e742e033cd8afffad5d93b38638240a623f0","datavalue":{"value":{"text":"Der Hilbertsche Formalismus. I: Der Formalismus H\\(_{\\text{I}}\\).","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2610716$31A9AD5C-5631-4035-AE9F-5E4BB7FD232C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76cb84078e10cbf2cd6fdc0dcb5e98fc66063e5b","datavalue":{"value":"62.1048.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2610716$503586FE-880D-49E1-938E-CBDA7F1BE3AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4fd24e618322be35613a64fc5f86a90753a27b1","datavalue":{"value":{"time":"+1936-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":"Q2610716$90B45EDC-E582-4503-9D2B-976EE488E0A9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b97b23d9034c4287ce001e6b4060d39d20ad46bf","datavalue":{"value":"Der Verf. stellt sich die Aufgabe, das formale System des gew\u00f6hnlichen Aussagenkalk\u00fcls ohne jede Bezugnahme auf seine inhaltliche Deutung zu beschreiben, und zwar pr\u00e4ziser, als es \\textit{Hilbert} und \\textit{Bernays} in ihren ``Grundlagen der Mathematik'' (Bd. I, 1934; JFM 60.0017.*) getan haben. In der Symbolik schlie\u00dft sich der Verf. an das erw\u00e4hnte Buch an und gibt exakte Definitionen aller Begriffe, die in den Untersuchungen \u00fcber den Aussagenkalk\u00fcl n\u00f6tig sind. Es werden ferner mehrere bekannte S\u00e4tze, z. B. \u00fcber die Vollst\u00e4ndigkeit und Widerspruchsfreiheit des Kalk\u00fcls, bewiesen. Erst nachdem der Aufbau des Systems beendet ist, zeigt der Verf., wie man die gewonnenen Ergebnisse auf die Klassenalgebra und die Satzlogik anwenden kann.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2610716$E78A3F36-7BD5-4380-A11A-2EAA78418BAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b84b5bdf727522ecd851c1e3deceb482023ab736","datavalue":{"value":"2528631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2610716$6E1DC1C6-B600-4A6C-8A7C-B0589B14B13A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa63973b674fafa4d37765fae2d94b0964be93c2","datavalue":{"value":{"entity-type":"item","numeric-id":559374,"id":"Q559374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2610716$3770214E-01E5-4197-86C3-9BA6E916BCCD","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":"Q2610716$E376F251-76FF-43BD-AC36-727594096D78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2610716","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2610716"}}}}}