{"entities":{"Q2537964":{"pageid":2548707,"ns":120,"title":"Item:Q2537964","lastrevid":44300529,"modified":"2025-11-21T20:07:38Z","type":"item","id":"Q2537964","labels":{"en":{"language":"en","value":"Cut elimination theorem for second order arithmetic with the \\(\\Pi^ 1_ 1\\)-comprehension axiom and the \\(\\omega\\)-rule"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3304029"}},"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":"Q2537964$B79680C6-CAAF-4140-8B3F-DF3B65CC1E77","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd3c9a8e14b127e81e0a9bdcdc1de54252741960","datavalue":{"value":{"text":"Cut elimination theorem for second order arithmetic with the \\(\\Pi^ 1_ 1\\)-comprehension axiom and the \\(\\omega\\)-rule","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2537964$787A7537-80B8-464D-896F-C290D2974A04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ffac883dd7fea2ca1d0cd0e527ecc6f2793c432","datavalue":{"value":"0191.29401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2537964$FAF62CB6-0A87-49FE-A107-D2E1F7D98FE9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e3301a6b980c5e366145dcc00594aa89b08fc93","datavalue":{"value":{"entity-type":"item","numeric-id":1058512,"id":"Q1058512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2537964$162A33E9-D157-450C-8A58-3F66DA0262DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6db4bd470edb111094f50a346a34a8ff7644b14","datavalue":{"value":{"entity-type":"item","numeric-id":176973,"id":"Q176973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2537964$E8479149-5703-435D-9930-169FF86977F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e293d9e9c8dba13b0feb4b9b16887fc748f70c6f","datavalue":{"value":{"time":"+1970-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":"Q2537964$8E6C9763-E30C-484F-A099-0CF4CB255D9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e63bd7889c0ce9585397f2d0fbd18478c42a963","datavalue":{"value":"3304029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2537964$3060B9D2-A7E9-4C62-9F16-4343C4F0ABC4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c246fcf4677bd1d7953725a68fc2c0ec1f5c0f5","datavalue":{"value":"algebraic logic, model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2537964$972A1F6E-3CD7-48E4-AEA3-742DA05BA5AA","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":"Q2537964$6AD7EF23-228D-4099-9B89-E1BD4AA76053","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a16fad56ed8a926257aa196070ab3d493cb0d78","datavalue":{"value":"https://doi.org/10.2969/jmsj/02230308","type":"string"},"datatype":"url"},"type":"statement","id":"Q2537964$E8872D77-B8FA-4690-AFC5-DEEE39812CDF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6631397e359fa7e890421cf9e5404b9cbc7f1935","datavalue":{"value":"W1966651244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2537964$CFB51D18-4D16-4CFB-8C00-7331A95B001B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1ac826ea4f2b72943895fef6cd19e5916c4c1e1c","datavalue":{"value":"Q114585010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2537964$83B18C3A-226D-4940-9B0C-CF557910BF27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43bf2608faeb0d22fdf841c8d18a70fe37bf2be2","datavalue":{"value":"10.2969/JMSJ/02230308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2537964$44DDC275-AC72-4767-A1F6-7D6454B77EF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2537964","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2537964"}}}}}