{"entities":{"Q5163163":{"pageid":7192734,"ns":120,"title":"Item:Q5163163","lastrevid":54131981,"modified":"2026-01-26T07:44:00Z","type":"item","id":"Q5163163","labels":{"en":{"language":"en","value":"The weakness of the pigeonhole principle under hyperarithmetical reductions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7419663"}},"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":"Q5163163$6A027375-397D-470D-BEC8-B337E6D4EF4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db36a98c686853d7e4df97650d096884327ee7b8","datavalue":{"value":{"text":"The weakness of the pigeonhole principle under hyperarithmetical reductions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5163163$B8B3CE7A-9CDB-46CA-9474-16DF14B2BFEB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51278ddbace02e364398cd744bdc9f1b3b42fb21","datavalue":{"value":"10.1142/S0219061321500136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5163163$84598B33-890F-4E58-A47F-E20CDEF347DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca1eb710782bea5c0b078aa7b9c63a74e1f27829","datavalue":{"value":{"entity-type":"item","numeric-id":1747491,"id":"Q1747491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5163163$49880766-3E78-46A4-8DE1-0312F346FD9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1ef153d9b4f1f3d6db3e86ef08f3ed5191e259d","datavalue":{"value":{"entity-type":"item","numeric-id":490868,"id":"Q490868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5163163$6B461B35-05AD-4CE3-A304-2BFF50AE9FD2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7c127e90f3bdb626ec3e36ebc57f0604031b78a6","datavalue":{"value":{"entity-type":"item","numeric-id":2732505,"id":"Q2732505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5163163$2E40C4F4-D6DD-4428-B096-C621ED565041","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9646bb8b94af16daee7eb7191395758c93317c4","datavalue":{"value":{"time":"+2021-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5163163$8A73FC97-4247-407E-B81D-6FBDD7347691","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da3825b0c4ecffd0b91f72789eac7221300c9ea4","datavalue":{"value":"https://arxiv.org/abs/1905.08425","type":"string"},"datatype":"url"},"type":"statement","id":"Q5163163$71D5EB1C-C93B-48B8-8798-F757F27D66AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5163163$1AB98060-96A0-41EF-B5F9-EF8158D1587C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5163163$E822188C-96C6-42FD-9881-A7891585641D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba1c617c868c8e02c0085e701fa8935fe7cd29c8","datavalue":{"value":"7419663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5163163$188186EB-50A5-4B46-973A-70251DC7C586","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b8e7d033342c99b72c744e65e5d3e8084428c65","datavalue":{"value":"pigeonhole principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q5163163$93297E70-E15D-4C5C-9C3A-90FC661044E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c689706f9420c0de1103e21d1568d16da9a7aa67","datavalue":{"value":"Ramsey's theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5163163$497D8B9F-6070-4604-AC51-1AA2ADEC2A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f401dd9c1f566772595ae85ebc3ea4d1157a2c3d","datavalue":{"value":"computability theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5163163$A03109D4-C34C-43D7-BFFA-F34A1F39C270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a23bcc903b43544eb7da553c06030310075c107","datavalue":{"value":"hyperarithmetical reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5163163$2F4066D3-7347-40E5-955E-B64F4C72D233","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":"Q5163163$10FECCA8-BCF0-4A32-AC7D-5AD97CA69C86","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fc1440d6eff8311a56781a4fabd92c328ab56c","datavalue":{"value":{"entity-type":"item","numeric-id":5711879,"id":"Q5711879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5163163$90CD59D6-650E-47E7-9E21-EE5930DFE6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe1f8f54ba03c49cff0d68f7b9824a34fdf219b","datavalue":{"value":{"entity-type":"item","numeric-id":2732267,"id":"Q2732267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5163163$ADAD6B4E-8E0B-49B4-890E-3F79118200F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15d0e5f24241cfb8167ca25c479e1937313b2515","datavalue":{"value":{"entity-type":"item","numeric-id":5218249,"id":"Q5218249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5163163$0EFEDC6A-0F6C-4BBB-8C8F-29694A49F341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a378e404dff4e3000a20fc509afbdb84993a7fed","datavalue":{"value":{"entity-type":"item","numeric-id":3655258,"id":"Q3655258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5163163$5A1EB52A-732F-4222-93E2-BBBE1BE7162F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f85186927e9336c9a482f6b073e24580eb2fbbc","datavalue":{"value":{"entity-type":"item","numeric-id":3630579,"id":"Q3630579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5163163$2F41A3DC-2C64-4C6E-B247-67DB26C044E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd70416e604ac463a18022a078b0383d85208060","datavalue":{"value":{"entity-type":"item","numeric-id":4599263,"id":"Q4599263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5163163$7BC23C8B-C081-42DA-A3B8-883C181BF1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc68fbc256a340ad9770614b514ab49182f4bdd","datavalue":{"value":{"entity-type":"item","numeric-id":5677475,"id":"Q5677475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5163163$C5ECFAA8-1E89-486A-8B1A-18BDA73F7B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86108cb677c98bb6850d4621a5c75e6c35903675","datavalue":{"value":{"entity-type":"item","numeric-id":5677474,"id":"Q5677474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5163163$1FCA79CA-32DE-4EDF-A00A-7D042D0B5FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dd12138663accb05618816592da311b5edd350e","datavalue":{"value":{"entity-type":"item","numeric-id":2258112,"id":"Q2258112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5163163$5DAD6F45-F3F2-4D43-8265-51F0F58DC31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9f33c4b31058c99898dd9dbc21aeb3e3096923","datavalue":{"value":{"entity-type":"item","numeric-id":2892679,"id":"Q2892679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5163163$13849192-6AE8-4CB6-BED4-A741FCDEB9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20b64398cb1529cae417474540badb39aee7f9e4","datavalue":{"value":{"entity-type":"item","numeric-id":5496642,"id":"Q5496642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5163163$B3C0D565-50E8-4796-B567-1DB317D1CB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79d7d0ce70a3d7d789c8e5efc326bfd040634a0e","datavalue":{"value":{"entity-type":"item","numeric-id":2965517,"id":"Q2965517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5163163$8C54ED7C-4BA7-4E49-9FCB-CF485B0D7688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04f24831738eb8644589db00c578497658443e2f","datavalue":{"value":{"entity-type":"item","numeric-id":2313367,"id":"Q2313367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5163163$2AC6D4AD-5B6E-4965-AC51-1B4370AAEC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f1fc95af4e7f827ce8fddd2751ad977836baada","datavalue":{"value":{"entity-type":"item","numeric-id":5346692,"id":"Q5346692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5163163$72914170-E0C8-4B06-A4D8-F9EE65C7326F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86a2154fb3ad41c80120b50bf3a939097ea843c7","datavalue":{"value":{"entity-type":"item","numeric-id":503277,"id":"Q503277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5163163$4945F107-D180-4CB3-8BC4-7331D301C820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c73c7812841251bf86d3bd44c30249883c22d719","datavalue":{"value":{"entity-type":"item","numeric-id":4593493,"id":"Q4593493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5163163$B79ED608-F472-48A6-A6A3-7C555D194294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cc3a8f34531571ae20544ea221bcfa52bf3e2ec","datavalue":{"value":{"entity-type":"item","numeric-id":894259,"id":"Q894259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5163163$73455B54-B7C5-481C-8534-1EB98D00A90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dc5b7c303301c56a5f402f12441e56a39985fb3","datavalue":{"value":{"entity-type":"item","numeric-id":5609369,"id":"Q5609369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5163163$08665813-5B81-4D74-B5E6-76BA860C504F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e07ae007fd7d2773d6f84a20f1d34b8ce24af5d6","datavalue":{"value":{"entity-type":"item","numeric-id":4040890,"id":"Q4040890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5163163$17A7023A-9549-4B9F-976A-738349CAC215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3145791be41afb1e842f815f01a740997a825544","datavalue":{"value":{"entity-type":"item","numeric-id":1913632,"id":"Q1913632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5163163$13942E6B-6748-4F1D-B46B-7C2ADD82EA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5163163$83BEE32B-8DF8-4594-8678-1A206B3BDFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"453f8a79df3d183d0b1ce6ebed18dba7a8e4ed6b","datavalue":{"value":{"entity-type":"item","numeric-id":3227571,"id":"Q3227571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5163163$251C4649-D7D9-4352-A5E4-92270FEABC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebad6ea8e3d0323b900548a390b1afe889731806","datavalue":{"value":{"entity-type":"item","numeric-id":5583851,"id":"Q5583851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5163163$7AD48665-6977-4019-A2CE-2B0B6868CE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97e143b6ffbbcdecd6c320e7f1c06e4e3de61c2b","datavalue":{"value":{"entity-type":"item","numeric-id":2869903,"id":"Q2869903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5163163$DF1937E6-0D04-43A6-9B6E-D0BE17186CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ae1581f479a8c6f3f58381d12fe820e7e38be48","datavalue":{"value":{"entity-type":"item","numeric-id":386619,"id":"Q386619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5163163$75B0188A-4D93-415B-A311-2530EE7A4998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca570697c2a1f32bcb88f248a216c7b2c53aa97f","datavalue":{"value":{"entity-type":"item","numeric-id":2453567,"id":"Q2453567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5163163$EF5C7213-53F8-4A2A-B730-657BECA9D666","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bfa6eae297280826677d4e790801661b26b32ae","datavalue":{"value":{"entity-type":"item","numeric-id":2313367,"id":"Q2313367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a03e7dc8c75cefe218692d62065b162e6f94b39","datavalue":{"value":{"amount":"+0.7868624925613403","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":"Q5163163$82609431-A80C-4ADF-9E21-563EB8B12AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d888702055863ee42be75bbe7ef25f9da1cd786a","datavalue":{"value":{"entity-type":"item","numeric-id":2976339,"id":"Q2976339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1042d90e6e9a3b8785ffca537239c69553ba8cd2","datavalue":{"value":{"amount":"+0.7735767364501953","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":"Q5163163$1C551F1B-9441-45D4-9343-F62068279EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acd12e15efbc0ba6acf3ef4557da881aadb5736f","datavalue":{"value":{"entity-type":"item","numeric-id":5496327,"id":"Q5496327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d576c175e2a50df551b8211b931536281ee70ca","datavalue":{"value":{"amount":"+0.7735676169395447","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":"Q5163163$A03D1B5C-DAF5-4BD6-819E-96BFFC4163E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39b73d3d0ca97dd10dce841825c231f7475b8844","datavalue":{"value":{"entity-type":"item","numeric-id":2732267,"id":"Q2732267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4c9abb1bea6a462a4102ed57cfee71d62f56245","datavalue":{"value":{"amount":"+0.7705784440040588","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":"Q5163163$44D80980-2C40-462E-B15C-DB2800B5EF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d87cb4787ca121178180fe9c4328032cd29751e","datavalue":{"value":{"entity-type":"item","numeric-id":3630579,"id":"Q3630579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e744ee04d7802aea6459d5965f5b98583cb61b90","datavalue":{"value":{"amount":"+0.7705783843994141","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":"Q5163163$1E5050C3-B9D2-4594-A4F1-1142DB9EA633","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5163163","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5163163"}}}}}