{"entities":{"Q6481811":{"pageid":13977951,"ns":120,"title":"Item:Q6481811","lastrevid":104427202,"modified":"2026-07-10T19:39:26Z","type":"item","id":"Q6481811","labels":{"en":{"language":"en","value":"cut-elimination"},"de":{"language":"de","value":"Gentzenscher Hauptsatz"}},"descriptions":{"en":{"language":"en","value":"theorem"},"de":{"language":"de","value":"mathematischer Satz"}},"aliases":{"en":[{"language":"en","value":"Cut-elimination theorem"}],"de":[{"language":"de","value":"Schnittsatz"},{"language":"de","value":"Cut-elimination"}]},"claims":{"P239":[{"mainsnak":{"snaktype":"value","property":"P239","hash":"ee720d5e4e47c1e148a5d67e90b8c2253b6d306d","datavalue":{"value":"/m/03p1l3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481811$07D0D0EA-1244-4361-8321-3099D75D8A15","rank":"normal","references":[{"hash":"6499e90742e6a3b2d9cb91c8c38ff13ffd6eb773","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"765c249748dbeb69c8c4d98de780dc063f8e09cf","datavalue":{"value":{"entity-type":"item","numeric-id":56521,"id":"Q56521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P28":[{"snaktype":"value","property":"P28","hash":"ad31989710dc3c2a167cc95050bb6ea34e0bbe88","datavalue":{"value":{"time":"+2013-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P98","P28"]}]}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"c8566a493116758818d5a26d859f86220f609b7b","datavalue":{"value":{"entity-type":"item","numeric-id":6480412,"id":"Q6480412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6481811$759D72F8-6FC7-4856-9DFE-C138F9CA2127","rank":"normal"}],"P1192":[{"mainsnak":{"snaktype":"value","property":"P1192","hash":"8300095d2493b704b21392838c68c37c6d06a4bc","datavalue":{"value":"CutEliminationTheorem","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481811$A5D0DBDD-1D30-4FB2-9792-E9E3D550C493","rank":"normal","references":[{"hash":"e095c1777d78c6310fee7299bfc6f5735414b4b7","snaks":{"P180":[{"snaktype":"value","property":"P180","hash":"0c2cea297152a3f12f4296fca42de18f460a63f3","datavalue":{"value":{"entity-type":"item","numeric-id":56456,"id":"Q56456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P180"]}]},{"mainsnak":{"snaktype":"value","property":"P1192","hash":"8300095d2493b704b21392838c68c37c6d06a4bc","datavalue":{"value":"CutEliminationTheorem","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"63dc644f2cb2512f75c5871167a87112b816a509","datavalue":{"value":"Cut Elimination Theorem","type":"string"},"datatype":"string"}]},"qualifiers-order":["P96"],"id":"Q6481811$A234B19B-8F62-4DCC-A597-75C714400976","rank":"normal","references":[{"hash":"e095c1777d78c6310fee7299bfc6f5735414b4b7","snaks":{"P180":[{"snaktype":"value","property":"P180","hash":"0c2cea297152a3f12f4296fca42de18f460a63f3","datavalue":{"value":{"entity-type":"item","numeric-id":56456,"id":"Q56456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P180"]}]}],"P373":[{"mainsnak":{"snaktype":"value","property":"P373","hash":"be5910d5c5d44a37d41c4c5443103bb3c71d004f","datavalue":{"value":"111404639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481811$5D14D2D4-AD85-46A7-94C9-45D9F613B149","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7835bea146ee3c0115ffad405a0b394c40ce72ea","datavalue":{"value":"C111404639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481811$965C7E70-99D6-4194-8739-AC486E8AC245","rank":"normal","references":[{"hash":"b61840b5e4c07320c0aa508d1e9d37d18264ae22","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"d98ff3d8cd81c87263e3f0008a1ae470fbcf55ae","datavalue":{"value":{"entity-type":"item","numeric-id":56612,"id":"Q56612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P69":[{"snaktype":"value","property":"P69","hash":"a8b2a7e9de45fd3832b36f489407e826769f65b6","datavalue":{"value":{"time":"+2022-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}],"P56":[{"snaktype":"value","property":"P56","hash":"f7cf0fc8f94cea909ab2fa761ee0f84fb1ca5b1a","datavalue":{"value":"https://docs.openalex.org/download-snapshot/snapshot-data-format","type":"string"},"datatype":"url"}]},"snaks-order":["P98","P69","P56"]}]}],"P389":[{"mainsnak":{"snaktype":"value","property":"P389","hash":"86ceab1f1d64201ba39361d0e39f2975c7936e5b","datavalue":{"value":{"entity-type":"item","numeric-id":6481230,"id":"Q6481230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6481811$F2DC02A0-E0DB-4BA6-A1B1-244D06523791","rank":"normal"}],"P558":[{"mainsnak":{"snaktype":"value","property":"P558","hash":"3209d23d2f601f369c290621fb5294961aef86d0","datavalue":{"value":{"entity-type":"item","numeric-id":6481809,"id":"Q6481809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6481811$0EE83602-D849-472C-9FE3-BEC066BECED1","rank":"normal"}],"P1576":[{"mainsnak":{"snaktype":"value","property":"P1576","hash":"22df8ee519eb4ecac2920e96cfec841830d935b9","datavalue":{"value":{"entity-type":"item","numeric-id":6481809,"id":"Q6481809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P140":[{"snaktype":"value","property":"P140","hash":"5c7c54696e8bf74c8b995e186cef6b1ef4abcc3a","datavalue":{"value":{"time":"+1934-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}],"P200":[{"snaktype":"value","property":"P200","hash":"d02e76825b90116ced65e19591ad8968f8efb2c1","datavalue":{"value":{"entity-type":"item","numeric-id":6481810,"id":"Q6481810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P140","P200"],"id":"Q6481811$96F9125A-C7AF-488C-967D-25920389FBF7","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"ceb72e8792937a8b01ebf71f4977ee16c1bd3b2a","datavalue":{"value":{"entity-type":"item","numeric-id":6480413,"id":"Q6480413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P34":[{"snaktype":"value","property":"P34","hash":"897e7608d12ed086dd74eb339efced091b10fb25","datavalue":{"value":{"entity-type":"item","numeric-id":56366,"id":"Q56366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P34"],"id":"Q6481811$5219ED7B-93B4-4DAA-A6CA-E44FB4CBD627","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5e05ee175384396092913d664082923359bb6e42","datavalue":{"value":"Q376166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481811$D97B360E-67E9-422A-A53B-E0F21D361084","rank":"normal"}],"P1994":[{"mainsnak":{"snaktype":"value","property":"P1994","hash":"548a1e11adf00549e195989f8eac3163a11ba2eb","datavalue":{"value":"cut elimination","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481811$3C2AFB82-8F44-4960-9406-3FB4C91F1D96","rank":"normal"}]},"sitelinks":{}}}}