{"entities":{"Q1097882":{"pageid":1108634,"ns":120,"title":"Item:Q1097882","lastrevid":70305705,"modified":"2026-04-13T13:52:30Z","type":"item","id":"Q1097882","labels":{"en":{"language":"en","value":"An independence result for \\((\\Pi^ 1_ 1-CA)+BI\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4035824"}},"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":"Q1097882$D9D1CD58-BD93-4217-9690-1B9F664CB07F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df5a08c22b79ad2b08a2c933deac6ec94eabd48b","datavalue":{"value":{"text":"An independence result for \\((\\Pi^ 1_ 1-CA)+BI\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1097882$57FEF00C-31EE-45CF-986F-CAB78C938EB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a7a1604eb6d9327d2ee0e0d03ec0d6393dcca0c","datavalue":{"value":"0636.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097882$A2C14813-FDC2-448F-957D-ABB52AD6CCE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1233df428a8c105ea2b44b259fe7af9c5cf27d5","datavalue":{"value":"10.1016/0168-0072(87)90078-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097882$2F688745-C514-4FD2-A266-A017D1034F8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca3d0fdc4dfe73f15e4cc6198de2fda062014c98","datavalue":{"value":{"entity-type":"item","numeric-id":204229,"id":"Q204229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097882$F2294548-A245-4051-B2DC-18328D8AD2A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097882$977A2079-F29D-40FF-9F00-D342614C7B00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1097882$015CE54E-F1DB-4FEC-9A9B-78116B8A2743","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c4282b5df003fbdf5b96a34d2f2388e25ebe7dd","datavalue":{"value":"https://epub.ub.uni-muenchen.de/3842/1/buchholz_wilfried_3842.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1097882$DA909ECF-A0A4-447C-A678-83AF2E2C2F7C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8e595214b5dc7892e3e71ec12a934b371433e5ab","datavalue":{"value":"This paper meets a combinatorial problem by modern means of proof theory, which can be clothed in the legend of Hercules and the Hydra: A hydr AB This paper meets a combinatorial problem by modern means of proof theory, which can be clothed in the legend of Hercules and the Hydra: A hydra is a finite tree, each node of which is labelled by some element of the set \\(\\{+\\} \\cup (\\omega + 1)\\). Cutting a head ( = leaf of the tree) of the hydra is defined in such a way that from stroke to stroke the beast seems to increase. But surprisingly, it can be proven.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097882$857C0F53-9303-442E-83E8-C95FD43F31FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097882$50B38A32-C97A-4E1D-B5BA-8355042F8641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097882$680F1B54-A248-44C8-BBBD-7050B68EF7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5da87a72c21717089feda882f568938059a9d84","datavalue":{"value":"05C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097882$F6ABAE89-8731-4CAE-8B62-1D48C02B21C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097882$00A8141A-1A5A-41A2-8C91-3A056B13D8EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1be7b844c34618210f39787e2ddd14a865303e71","datavalue":{"value":"4035824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097882$5E37F82F-2372-4D30-839B-B86A6DE11B83","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097882$5E366F75-CC58-4A19-82E5-28C0A9B147B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b123e48de00dd9100456885e1e87cee3d475ae9d","datavalue":{"value":"Hercules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097882$628B9334-C64A-4E99-ADC2-CCEC5597AC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57b1fcf4bee164a31557e5c695fb0406f777b924","datavalue":{"value":"Hydra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097882$797305AB-2BAA-4B38-ABFF-7D2B38481239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcc697c472da25231e196209df2eea34ddfe7cd4","datavalue":{"value":"finite tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097882$274BC950-52ED-4763-B067-8C0F1B3FB51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96b245369787e42fb3f6d56d142c8a08f03dcf5f","datavalue":{"value":"wellfounded trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097882$8C3906D8-5C6A-4EB8-AD80-F18A443AFBC3","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":"Q1097882$ADCC2FC1-A461-4947-94C2-0A9E020EDA4F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b406eaacdfeaf9c4a637a9e17c316db8e1d72f3","datavalue":{"value":"W2084179139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097882$DC9172F6-5D21-4188-B7AB-254100B55E11","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b822b85db8677253a219ea1a385eddacb5927738","datavalue":{"value":{"entity-type":"item","numeric-id":1166517,"id":"Q1166517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097882$34E68BC1-2833-4076-83C1-2E2FA72F2B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4069fc99cb46e4a17e82773855cf96a50af6be28","datavalue":{"value":{"entity-type":"item","numeric-id":4750638,"id":"Q4750638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097882$C387A593-875C-4CAA-9E20-7F16B6EA827D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e243aafa636ab09d990564f754a991e6ab8e8228","datavalue":{"value":{"entity-type":"item","numeric-id":1168967,"id":"Q1168967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097882$9FAF47C9-2A5A-4CD6-AB40-1B96C94DFCEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81c8a262b904aee920dd09909420810680e3358","datavalue":{"value":{"entity-type":"item","numeric-id":3966112,"id":"Q3966112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097882$16651966-DEB4-4691-AA51-14D7751006D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b0e0b2a158d81c3c802d9b9bb91e68548cb7441","datavalue":{"value":{"entity-type":"item","numeric-id":4133629,"id":"Q4133629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097882$C5C5E4C2-CDC6-48FF-A886-BBAD67D82F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be85b3951fe2b4ee7f07bf10003c515b5749abc6","datavalue":{"value":{"entity-type":"item","numeric-id":5605873,"id":"Q5605873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097882$8BBBBEF4-71C2-4FA1-B507-D84C0F623BA1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6b8b0a4c238e707d6ee9a7a6673d9b8153bdbd7","datavalue":{"value":{"entity-type":"item","numeric-id":1128173,"id":"Q1128173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f84cd2a966ec735ae1c089b4a2e0e69d2939621","datavalue":{"value":{"amount":"+0.8304924964904785","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":"Q1097882$BA199865-22DD-4C49-9676-F44C6C4DD3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b31ecf6dae9f39559873a2d2c4e477f6e90bb23","datavalue":{"value":{"entity-type":"item","numeric-id":4793023,"id":"Q4793023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f84cd2a966ec735ae1c089b4a2e0e69d2939621","datavalue":{"value":{"amount":"+0.8304924964904785","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":"Q1097882$F318FA69-70D3-49E5-A777-5CB5BB3008C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7077a3cba1ce57ff07c7c67f8eb31d5328f0f3dc","datavalue":{"value":{"entity-type":"item","numeric-id":1399971,"id":"Q1399971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b73edde30b3dec461ea0d492900f5760553d3df2","datavalue":{"value":{"amount":"+0.7762084007263184","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":"Q1097882$6BBFCF79-5D33-4C59-9BC9-5FDF5CC03C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f041b1d6dc9138c4241ccb63ec3c06c437281f47","datavalue":{"value":{"entity-type":"item","numeric-id":3818328,"id":"Q3818328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7568148f6235e4f6b2b67cc3f36594ea6dc18eac","datavalue":{"value":{"amount":"+0.7736914157867432","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":"Q1097882$51149DF9-BAD0-4277-8167-79C5659508F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf0ca38629ee1d8c9e1fc5296fc7a92aff3e902a","datavalue":{"value":{"entity-type":"item","numeric-id":3772200,"id":"Q3772200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3906dba475021109a38a53311105fd89e8c72abc","datavalue":{"value":{"amount":"+0.7396242618560791","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":"Q1097882$9BED62F4-AE75-4F2E-95AF-121A2B4BFAAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An independence result for \\((\\Pi^ 1 1-CA)+BI\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_independence_result_for_%5C((%5CPi%5E_1_1-CA)%2BBI%5C)"}}}}}