{"entities":{"Q2535674":{"pageid":2546417,"ns":120,"title":"Item:Q2535674","lastrevid":44293899,"modified":"2025-11-21T18:59:43Z","type":"item","id":"Q2535674","labels":{"en":{"language":"en","value":"Some applications of Gentzens second consistency proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3292841"}},"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":"Q2535674$B6FEE559-490E-4F75-AD08-3BD2C420295A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16d5e95c2c5fd981105ee1adb63a9c07b116c9fc","datavalue":{"value":{"text":"Some applications of Gentzens second consistency proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2535674$443DA536-7589-4BCD-B90D-C2676F22F99B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"929055d8f18e35d3812d4610ca06ea602d8d210e","datavalue":{"value":"0184.01202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2535674$D32A20EE-6939-4F4B-830F-B3D5A6E689CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"125a03bd9d7185872fabb92d337cd5f0e37ecf9d","datavalue":{"value":"10.1007/BF01350671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2535674$3E33ECCA-76AF-4AF9-81DA-D1008DEEEFA3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2535674$AECCB11D-B814-471D-AFCF-6B19D96D60E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7ebb271ba779bdc18e731b88d6d6d8739d7e37f","datavalue":{"value":{"time":"+1969-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":"Q2535674$AE3A62AE-5F4E-4D54-B221-638DB2E4F5AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86e5e7801aab588cfa415658e41414b946681baa","datavalue":{"value":"https://eudml.org/doc/161842","type":"string"},"datatype":"url"},"type":"statement","id":"Q2535674$9C7CDEFC-1490-4659-A43C-4E61863C35D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2535674$81A7E697-4F64-4F78-A5A8-5FA338C99592","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72de0149ba0948b8d167c8d2d7123d4a2893726d","datavalue":{"value":"3292841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2535674$A46490CF-5C13-411B-A6F6-942486D34672","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c121d0b4540e7ec170cfab417fe7f119976eb282","datavalue":{"value":"algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2535674$39B9A563-C8B4-4AFF-BC11-18C13A8EAB16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2535674$C0C75E7B-0EA6-4E9E-AEBF-BCF90504D415","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6cc4c083d5cb82a5c48ffbb3d27cb0e0019a5bc","datavalue":{"value":{"entity-type":"item","numeric-id":580584,"id":"Q580584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2535674$4810C3E0-189E-4822-AEB4-FE17E7D46525","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":"Q2535674$5645A46A-8EE6-463A-AA8A-8D6FA370614F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"24f052a64cf669c48b098163e065f113a757924c","datavalue":{"value":{"entity-type":"item","numeric-id":3278334,"id":"Q3278334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2535674$31AE4E73-F10C-4EDD-B7D8-B13BDA2AF02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2535674$97FBB79A-8217-4771-93CF-D1E261A9D6E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78529980a5954018f5a0a13cb9282bf059b803fb","datavalue":{"value":{"entity-type":"item","numeric-id":5525322,"id":"Q5525322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2535674$0CC8BD41-9671-4B8B-9839-177FCBE2BD76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90049b19da6424ee09d03afefd43087776bfde24","datavalue":{"value":{"entity-type":"item","numeric-id":5343336,"id":"Q5343336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2535674$6CE9A37F-202C-4607-A70C-59683B2FB6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6417ce0278550a9f24ecbb6fdfb3e528d0f47f91","datavalue":{"value":{"entity-type":"item","numeric-id":2527939,"id":"Q2527939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2535674$FD03E47F-6BAF-4944-9B2F-9E2716DBB6A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2535674","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2535674"}}}}}