{"entities":{"Q1834563":{"pageid":1845305,"ns":120,"title":"Item:Q1834563","lastrevid":69294429,"modified":"2026-04-13T06:03:08Z","type":"item","id":"Q1834563","labels":{"en":{"language":"en","value":"Elementarer Nachweis der Widerspruchslosigkeit des Logik-Kalk\u00fcls."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2569001"}},"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":"Q1834563$F1074D06-F34C-4694-9F55-A150F6270FB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f13807ddef497eceeff405ceba57eb78acb3496","datavalue":{"value":{"text":"Elementarer Nachweis der Widerspruchslosigkeit des Logik-Kalk\u00fcls.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1834563$A890A7E3-711C-4930-816C-9159BCF2915B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7454b60cbbdb06eeadd698c07efc4f10f5d0bd16","datavalue":{"value":"55.0033.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1834563$72BC8D67-83EC-401F-B29D-B96F6FF4D224","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2828f309a2db02506fc0bd627a3bb8cd9b584ab5","datavalue":{"value":{"entity-type":"item","numeric-id":562773,"id":"Q562773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1834563$BC599110-CBA6-420F-ADA8-153FC5B5BD52","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"79327704d6d4548ce97be34ab84df8a1bb1515ff","datavalue":{"value":{"entity-type":"item","numeric-id":256938,"id":"Q256938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1834563$85ACEEFE-864F-4EFF-91B5-BD473690A33C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf0ec0ec92278a4e809216de2b4777e9692e96ea","datavalue":{"value":{"time":"+1929-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":"Q1834563$23E78094-A90D-46CF-B9A4-0954816A3150","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6a5292656cfb49c6862fb41ec7e783d5b223aa2","datavalue":{"value":"https://eudml.org/doc/149697","type":"string"},"datatype":"url"},"type":"statement","id":"Q1834563$DF9DFA12-73E7-42F2-A1B8-A3F1C5D90338","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"22b016996146631cbacc6c747f552f08839173c3","datavalue":{"value":"Das System der Ausgangsformeln und Operationsformeln (ohne die Axiome der Typentheorie), auf denen die \\textit{Principia Mathematica} aufgebaut sind, wird elementar als widerspruchsfrei nachgewiesen auf Grund einer Methode, die an \\textit{Post}s Aussagentheorie (Amer. J. 43 (1921), 163-185; F. d. M. 48, 1122 (JFM 48.1122.*)-1123) ankn\u00fcpft, also insbesondere Werttafeln logischer Funktionen benutzt. (II.)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1834563$21AA80A6-6109-44A7-B53D-E069287423AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff3c6ac3e87ce889aafbeb4055b834d918315a20","datavalue":{"value":"2569001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1834563$DAC60F1E-EA91-4CAC-A200-8B6FC9B5630B","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":"Q1834563$B3CDE927-AB9A-4873-9D19-414B2942EA1A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2388ccf9692cab490098f00e378a5c81dfecbf9f","datavalue":{"value":"W4231634585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1834563$DB3B3E5B-67F9-4566-8D11-E869E8B7295A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ecfb4056e41c8964e505b06d83293b1f716e6c0b","datavalue":{"value":"10.1515/CRLL.1929.161.107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1834563$7CB376F7-F46C-47A6-8084-19942D424E44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elementarer Nachweis der Widerspruchslosigkeit des Logik-Kalk\u00fcls.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Elementarer_Nachweis_der_Widerspruchslosigkeit_des_Logik-Kalk%C3%BCls."}}}}}