{"entities":{"Q5540436":{"pageid":7569996,"ns":120,"title":"Item:Q5540436","lastrevid":101427449,"modified":"2026-06-06T01:14:51Z","type":"item","id":"Q5540436","labels":{"en":{"language":"en","value":"Eine Grenze F\u00fcr die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3253945"}},"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":"Q5540436$6DB54089-2CAD-4EEC-8FE5-75D94F5C355F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ac5a89f7e444026cc7af0f2ad2bde6fe295dc3b","datavalue":{"value":{"text":"Eine Grenze F\u00fcr die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5540436$834086A1-2E4D-4BA6-8E5A-F0D62D8866BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d39b37e0d95fad00e73931d8eeb967fde4d4e7ec","datavalue":{"value":"0158.00705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5540436$CE5C85B0-4EFC-47A4-9E8D-EEF80CE5EA8F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"282e71e372bb944ec3fbedfc0f434323f454f3a7","datavalue":{"value":"10.1007/BF01972460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5540436$7AFC11D3-61D6-466B-84B8-083199C9818E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e5fef2cb58ba7e72630b708054b000e89de9ad0","datavalue":{"value":{"entity-type":"item","numeric-id":766353,"id":"Q766353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5540436$31E6AEEA-E384-41D0-9B29-128EB6A045A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7d35598f1714d10c3581343f7ef77742ea3131a","datavalue":{"value":{"entity-type":"item","numeric-id":3043132,"id":"Q3043132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5540436$8F261CAF-61DC-418C-BBF5-B104DDB2B781","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc846cc700dc846702740028966828f297420cb4","datavalue":{"value":{"time":"+1965-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":"Q5540436$8A705C59-28A8-4323-A6CE-15178C026FD8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f207737d9cddd82e85af429d47d61d4dc236564","datavalue":{"value":"https://eudml.org/doc/137771","type":"string"},"datatype":"url"},"type":"statement","id":"Q5540436$DC1C829F-8782-4DA4-9F12-78D8DB137B46","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20c544c3192aa258ad0033e859d3264c2bca4425","datavalue":{"value":"3253945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5540436$AF4AF22F-0AB7-47EB-86C5-308555A959C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5540436$B83964D6-1779-401D-B25D-590F5F1134B6","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":"Q5540436$0941C10E-6F7F-4BB7-82F8-AD01FE2828C9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b97dc288c0e9f823be86d021de4ec9cff71dce18","datavalue":{"value":{"entity-type":"item","numeric-id":2647392,"id":"Q2647392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5540436$EA985929-944B-40AF-BFAC-9664033DD9E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48f390b3f8491335aa4a184d8fc646c85008fe6e","datavalue":{"value":"W2087489880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5540436$EA48BD48-C0DC-4DF6-8BA3-9520955813F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Eine Grenze F\u00fcr die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Eine_Grenze_F%C3%BCr_die_Beweisbarkeit_der_Transfiniten_Induktion_in_der_Verzweigten_Typenlogik"}}}}}