{"entities":{"Q2611352":{"pageid":2622095,"ns":120,"title":"Item:Q2611352","lastrevid":44479215,"modified":"2025-11-23T06:10:52Z","type":"item","id":"Q2611352","labels":{"en":{"language":"en","value":"A theory of positive integers in formal logic. II."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2531305"}},"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":"Q2611352$C226E16D-D30B-49B6-B159-BFA485D493DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d25ae650e5b2565eb0060c6420e9966503020cb2","datavalue":{"value":{"text":"A theory of positive integers in formal logic. II.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2611352$4E99078A-D45D-408D-9F6F-DEB4153EC261","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb06625c48bbe3799525b245a05529ade0a77a3c","datavalue":{"value":"61.0056.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2611352$99D4286C-F744-49BB-BDC8-5633B23A308A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e18e778df6f93bfdddde79db4e883e57edab3c80","datavalue":{"value":"10.2307/2371199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2611352$A88D1EE6-2B1F-4B55-8F4C-B4589810DF6B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1add02162fef49a66552187e850c2369475498a6","datavalue":{"value":{"entity-type":"item","numeric-id":559377,"id":"Q559377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2611352$DD000782-7E99-4BA1-BDE7-E5D403AA9923","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f82bec1cbf48dde5b3e142feb51b7b6959e188a7","datavalue":{"value":{"time":"+1935-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":"Q2611352$D12BBE6F-875B-448E-8A3D-644D43547C67","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"125bbc4b1760cbe9d80f99b6d7eb868455c491d7","datavalue":{"value":"Die Abhandlung enth\u00e4lt die weitere Entwicklung der vom Verf. auf der Grundlage der \\textit{Church}schen Logik in Teil I (s. vorangehendes Referat) begonnenen Theorie der positiven, ganzen Zahlen. W\u00e4hrend im ersten Teile die formale Einf\u00fchrung der grundlegenden zahlentheoretischen Begriffe erfolgte, wird hier eine Theorie der formalen Definition und des Gebrauches von formalen Definitionen bei Beweisf\u00fchrungen gegeben. Besonders wird auch auf die f\u00fcr die Zahlentheorie wichtige Definition der rekursiven Funktionen eingegangen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2611352$76A19924-C698-4275-97BC-2AA7B2D39D64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d298295e78e83e5631b64b16383025434176f5c0","datavalue":{"value":"2531305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2611352$A8A621A0-509E-4EEF-B9F6-B88A99DC2437","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":"Q2611352$D67B04EA-5EE9-4D25-888B-BEA9D810DCD8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95deb8105939f57f76e3e24e2157d87d9b19673f","datavalue":{"value":"https://doi.org/10.2307/2371199","type":"string"},"datatype":"url"},"type":"statement","id":"Q2611352$66D124D2-E95B-41E5-A3B9-B538EBAF8A37","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f46070fd6155c8fb02eeeb03bbb69f75ef5e03d","datavalue":{"value":"W2325612495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2611352$F9D26115-D7D0-4808-8EF1-FA957E2B4A88","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7fdd3d6b9cc141f6d005556f1ba7c68d933a429","datavalue":{"value":{"entity-type":"item","numeric-id":6672169,"id":"Q6672169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2611352$7AB5042D-FE93-4BF9-BA46-2AF07E8BD7B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2611352","badges":[]}}}}}