{"entities":{"Q2804471":{"pageid":2815209,"ns":120,"title":"Item:Q2804471","lastrevid":52519397,"modified":"2026-01-22T20:58:24Z","type":"item","id":"Q2804471","labels":{"en":{"language":"en","value":"From Stenius' consistency proof to Sch\u00fctte's cut elimination for \\(\\omega\\)-arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6575403"}},"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":"Q2804471$D9A15009-427B-44DE-97CF-80FB5D403E19","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8fea899a88186dc71fc4526f12ab01ba4df0522f","datavalue":{"value":"1401.03099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804471$F2E7862E-5D00-4542-92A8-AB249EDE8CD9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92a02030667f535750a387c36165811b14adaa94","datavalue":{"value":"10.1017/S1755020315000337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804471$AE20D3EC-69A6-4D0E-A08F-8AEBBA1C77EB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804471$94B6FF5F-75F4-4FFB-B993-130B7DCA6218","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c64d6bdd320829ec442feaf78067f68056a43a6","datavalue":{"value":{"time":"+2016-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2804471$30112859-0F45-4AF6-AD32-AE555D88E45E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804471$6754C3CD-6895-483C-B5D4-AC712FC9DD40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804471$BD5B2CD1-493F-4704-B691-9EB593FFF5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804471$17CC17E5-C78A-49FA-AAC9-A7759D1E31E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804471$2D076EE9-4B97-47B3-88BE-0DA027E4E0D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9832c101bc8ab8e0ebfb2e28b30f9d5343123e8d","datavalue":{"value":"6575403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804471$1D96EDBD-C6AD-4253-BE33-4E0E37F4AC63","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23e90ddaa65f6143cd7da834aeb12339818a4abb","datavalue":{"value":"consistency proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804471$E5D12D64-EE03-422E-BF3E-5828A89E3954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25fed69bdc606e1faa750dae6f4bec31b114bf5e","datavalue":{"value":"Stenius","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804471$BBFA7AAF-0EF0-4CA1-A1C0-F634E1BED8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c01a9488a32f54bcf9c1d5bc0795b48fd41b7b10","datavalue":{"value":"Sch\u00fctte","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804471$2596235E-2EA4-43ED-B5D5-9E9B6C1CE7C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea68be1d5bbf01a939b97478f823720bfc73a97b","datavalue":{"value":{"entity-type":"item","numeric-id":1734261,"id":"Q1734261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804471$0483C12A-5BBC-4EF0-8D76-0360A3A83EF5","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":"Q2804471$331A4D0A-D8F2-4192-9093-235E01D416F7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"16215d4b6c5f90b07312cc97035cb1a21adefc58","datavalue":{"value":{"entity-type":"item","numeric-id":4774023,"id":"Q4774023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804471$CC4279B6-C809-4E0B-8A28-29C8BCFF36B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3893ee186af9e8e78dd83182082ed20f66a999b3","datavalue":{"value":{"entity-type":"item","numeric-id":5361249,"id":"Q5361249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804471$36A525A9-F790-44A7-8913-F29025A34215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889750e6b63c62516f108fd0d35f770cecc8f256","datavalue":{"value":{"entity-type":"item","numeric-id":1264579,"id":"Q1264579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804471$8FC9A4E1-3BA3-4AE0-BB5F-1640233BD745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"361e0f23746829e48ff0ff918b87727856cdb536","datavalue":{"value":{"entity-type":"item","numeric-id":5928308,"id":"Q5928308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804471$1699779A-A38A-4D56-80E3-0954292C236C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"748541fc241d4158ed3d6e70e259512d4e8bf6fd","datavalue":{"value":{"entity-type":"item","numeric-id":4254567,"id":"Q4254567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804471$F99C6D27-559C-43BD-9A90-BE896B69A455","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fff07a850304d9025e1d1d054aaed13b5d8461e3","datavalue":{"value":{"text":"From Stenius' consistency proof to Sch\u00fctte's cut elimination for \\(\\omega\\)-arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2804471$0CF234A2-0C5F-49BB-AE88-736AC520D47B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ee273efaf044fd8b05b3a4d6620d8d8db317c0bf","datavalue":{"value":"The author reviews the work of the 1950s on a consistency proof for \\(\\omega\\)-arithmetic by the finish mathematician Erik Stenius. His methods are, in particular, compared with the (better known) ones used by Kurt Sch\u00fctte.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804471$A5639F37-5781-4447-B47D-3780A9050C1D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"698ef69cf2501558685cb66472f90d21aa909f07","datavalue":{"value":{"entity-type":"item","numeric-id":194998,"id":"Q194998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804471$A837B6A9-71BD-4860-B91F-5D3AE7A36A00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba423d59bafa06b8a776b37ada6bf919ebfda381","datavalue":{"value":{"entity-type":"item","numeric-id":3318773,"id":"Q3318773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7e1598417725afcb02b291fe56fa156e4b57c41","datavalue":{"value":{"amount":"+0.7097009420394897","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2804471$EB58C79D-5A50-4134-B735-17E79CEE3096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3475e7fd9c250d66f86577ed8febec48a6867551","datavalue":{"value":{"entity-type":"item","numeric-id":4132501,"id":"Q4132501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4054c390a9a4e1fe142d4d9f0969870503eec6c4","datavalue":{"value":{"amount":"+0.7046924233436584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2804471$1DB02A41-41D9-4A7B-ABBE-9CB910E2D891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b333c0c598a5a672794c09cef15eca627aaab82f","datavalue":{"value":{"entity-type":"item","numeric-id":5361246,"id":"Q5361246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"498fcfb47381d97d49cb5b8e8da61235d3496662","datavalue":{"value":{"amount":"+0.7023032903671265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2804471$BDD9A950-F397-4E61-A6AF-6143DEADA507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46c7a541b68918b526a220e9952b282fb0a3d087","datavalue":{"value":{"entity-type":"item","numeric-id":2377348,"id":"Q2377348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89c91eceab48bac6560238c3892d4e4de513e85c","datavalue":{"value":{"amount":"+0.7019752860069275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2804471$073C8153-FC9C-4595-962C-1948A396E0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37741793c3d0f3a1b05809f169056c097bde21db","datavalue":{"value":{"entity-type":"item","numeric-id":5024725,"id":"Q5024725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab5bbd56688351df1b7ceaa5a605510adc7924b4","datavalue":{"value":{"amount":"+0.697845458984375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2804471$56F81133-1860-4FF8-BA6A-FA5A91911FB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2804471","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2804471"}}}}}