{"entities":{"Q3845372":{"pageid":5875277,"ns":120,"title":"Item:Q3845372","lastrevid":54508169,"modified":"2026-01-27T15:37:33Z","type":"item","id":"Q3845372","labels":{"en":{"language":"en","value":"Cut-Elimination Theorem Concerning a Formal System for Ramified Theory of Types Which Admits Quantifications on Types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3177724"}},"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":"Q3845372$60255BDE-2D3B-47CA-A72D-ABF010A11411","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"392a6c04cc7f46043c1ab3e4daa4c6824406c7aa","datavalue":{"value":{"text":"Cut-Elimination Theorem Concerning a Formal System for Ramified Theory of Types Which Admits Quantifications on Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3845372$320F6596-E450-435B-A27F-43F3A958DBA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b503f8ee7d3bd24d2db1d2ca7db2ede72957a9b9","datavalue":{"value":"0109.00804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3845372$384B20A4-86D7-4AD3-A0AA-6C23666FF154","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3a0bf1dfe04ad12e1226221d4ab68e1adf5a243","datavalue":{"value":{"entity-type":"item","numeric-id":766668,"id":"Q766668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3845372$46143D1A-17BA-474B-8F95-72927DEB53C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"867ca8ba9c2b21164f93afbfe4c0c7d87d88a038","datavalue":{"value":{"entity-type":"item","numeric-id":2759798,"id":"Q2759798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3845372$4C294E39-D2BE-4FF8-AE07-113D217AE782","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f1151d44c801a909256f62362ee2b01f3c904af1","datavalue":{"value":{"time":"+1962-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":"Q3845372$956D0DBD-B273-48FC-9186-AAD89BD4997E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3845372$824993D0-711B-4759-BD63-4B640ABFBCC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6af39765317bbe5e59e20893519c98d0a702845","datavalue":{"value":"3177724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3845372$2348E3C8-51C7-4200-B665-A23F736E982A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3845372$CB91F8CE-F433-49C0-A6C1-054236EC75B5","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":"Q3845372$64710679-17A2-4375-BE8C-33186E3F72F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a438a8f665f91cbdfc812ba16d94e7decb577ea","datavalue":{"value":"https://doi.org/10.4288/jafpos1956.2.55","type":"string"},"datatype":"url"},"type":"statement","id":"Q3845372$98120D80-C472-41F3-B1DE-9375B205B7F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"475bafd50ce39ac1b53bc3ebdc2ca9edf644dcec","datavalue":{"value":"W589649260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3845372$47AE396C-7722-464C-9D7C-3380C7DA1B90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd69ebe1546f478ceb4eeb20620e1506f34f83ca","datavalue":{"value":"10.4288/JAFPOS1956.2.55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3845372$6FE41854-664B-455A-888A-B73E16822062","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3845372","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3845372"}}}}}