{"entities":{"Q5037213":{"pageid":7066790,"ns":120,"title":"Item:Q5037213","lastrevid":55399882,"modified":"2026-02-17T15:38:26Z","type":"item","id":"Q5037213","labels":{"en":{"language":"en","value":"Reverse mathematics and Weihrauch analysis motivated by finite complexity theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7481738"}},"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":"Q5037213$EEFEF3AC-19A4-47CA-B987-4F08392E31AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7899db0ab34a4bf501c2062e556728463d53c7c6","datavalue":{"value":{"text":"Reverse mathematics and Weihrauch analysis motivated by finite complexity theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5037213$511E0B53-6E3E-4C86-9F8A-58E7CB2751D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"408cb0a372b99cceeeb6694aa3d1053f4273e706","datavalue":{"value":"10.3233/COM-210310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5037213$158D05F0-38C1-4928-BDCE-B4F25D3E0AEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b11ed8cbd77c78195f37ce6159f863817aa2282f","datavalue":{"value":{"entity-type":"item","numeric-id":5037211,"id":"Q5037211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037213$A6C5FA19-425E-4058-A747-2536276ACEB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5122a321cfb515186c4448a4fbfba8604b1bf26","datavalue":{"value":{"entity-type":"item","numeric-id":335001,"id":"Q335001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037213$282801EA-0CD0-4B09-92EE-E794A0592E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52bb645fc1bf19b1918a03ccdb1cefa222dd4945","datavalue":{"value":{"entity-type":"item","numeric-id":5037212,"id":"Q5037212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037213$E80ABFD7-21AF-4929-A999-54D68252344F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5e8a3b9e7335900ac902ebad9aeb9e9b12596e42","datavalue":{"value":{"entity-type":"item","numeric-id":2799745,"id":"Q2799745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037213$5CB99214-281F-4C55-952B-296B330E8F3B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0f8b3c6faba5d9d4300af24b095d7831ca46f12f","datavalue":{"value":{"time":"+2022-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5037213$0BB2A864-B9BE-452F-8514-EB8AE6C83FEE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"864a9a8f4966ec4dd45162e022942fc87fea0b27","datavalue":{"value":"https://arxiv.org/abs/2105.01719","type":"string"},"datatype":"url"},"type":"statement","id":"Q5037213$7A179D8D-CC6D-4A7A-BC96-20E93D493B04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"56528a547afad658a2bccf50696c0882526c82f7","datavalue":{"value":"03Dxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5037213$9EB0B2F9-6012-43F5-8A67-70FFE4E79CCE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa800a06c13ee7dfe5f8be9f37cfd9206387eec4","datavalue":{"value":"7481738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5037213$419F42C3-ACCB-4D21-9983-08549BA80CE4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5037213$4734C4AD-4BD9-46D2-A762-5880038E1313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fb4e17882d9042b55e4bc66df0677e29e6d1b1b","datavalue":{"value":"weihrauch","type":"string"},"datatype":"string"},"type":"statement","id":"Q5037213$6D09A472-963B-42BC-BDCC-82A933944D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7aab8b7d350cf095a66af4800e61efa49179549","datavalue":{"value":"isomorphic subgraph","type":"string"},"datatype":"string"},"type":"statement","id":"Q5037213$84F23DB5-109C-4112-A44C-72CE9CD1047A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f98542a0560bc37605caaddebff8c50a3bc711c","datavalue":{"value":"LPO","type":"string"},"datatype":"string"},"type":"statement","id":"Q5037213$04BC9DBE-CE8C-4D92-83F3-CDE0760A9C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"461d39200e573b893247f72bc707a68f4eb77ea1","datavalue":{"value":"ACA","type":"string"},"datatype":"string"},"type":"statement","id":"Q5037213$76B0E216-32D1-4EC0-95D9-1A70E3491122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67a5b769d83bf9c8259f2a2df78b98090540d081","datavalue":{"value":"\\(\\Pi_1^1\\) comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q5037213$F00944D0-2F35-410A-B857-6FA7AA7EF87F","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":"Q5037213$630258D4-4EDA-4B43-962B-F922098BCB90","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"79d410c9bfc2cb2ec49057149c42c8ee51c20366","datavalue":{"value":{"entity-type":"item","numeric-id":2443117,"id":"Q2443117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037213$01BC2A84-8456-40CB-8B3E-4D483CCEF091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ad30dcf51cc217162bdb5a03b006ed2d9c1e1c0","datavalue":{"value":{"entity-type":"item","numeric-id":2796522,"id":"Q2796522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037213$8B64AE16-81A9-484A-8399-7D8B760F04CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc03b1118ad8a55b89eed0e1c4c8dfcd8e26c0b","datavalue":{"value":{"entity-type":"item","numeric-id":5131654,"id":"Q5131654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037213$04D50184-12E6-422C-86CF-944A32A38057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da9c49f0ea3f51aaa8fb5f2ffd0d29b066571de","datavalue":{"value":{"entity-type":"item","numeric-id":1374209,"id":"Q1374209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037213$C7CC8689-E7BB-4E63-85AF-133256C571B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ae890d102328ee8a14a47f99cbedb8b8afc8a34","datavalue":{"value":{"entity-type":"item","numeric-id":540402,"id":"Q540402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037213$AF3E728B-E545-4EC3-B97C-81051FC11792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbee67ab8c44770293b5eb16031c6aabe2ec7054","datavalue":{"value":{"entity-type":"item","numeric-id":2274133,"id":"Q2274133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037213$99983B40-F66E-4402-863E-7717D9AC3D7C","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":"Q5037213$C7665DDE-FD39-4E08-B31C-AE65A4F1710F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94042dd8c8a2dd58c982e23eaecd8f2cd7a5713c","datavalue":{"value":{"entity-type":"item","numeric-id":5855746,"id":"Q5855746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037213$7A61FE44-EC86-4E1A-A95A-8FE6276B656F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"372ac7410c3602549aaffbccc69cf9a80d4b9494","datavalue":{"value":{"entity-type":"item","numeric-id":5711891,"id":"Q5711891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037213$C3496506-5C04-435F-B50D-2B3A96C8C63E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e73cbdc4f532ed72bacdc9e85f4929b162897095","datavalue":{"value":{"entity-type":"item","numeric-id":5450521,"id":"Q5450521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037213$BACF945B-5C67-48B1-9B14-F03715BD3BAE","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":"Q5037213$BA704252-2F59-4D5E-B837-2AA0F2C5A03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037213$188D16D2-17A5-45FD-8C93-C995DE18AFB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8c5ba7d93ed91fbc3a75a3c304f8e604629dae8","datavalue":{"value":"W3172444865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5037213$91F7605C-6D37-4CF9-9AD2-8643BD54A233","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31c6ccf1a73edc074f8175cb4fdd9adf298f066c","datavalue":{"value":{"entity-type":"item","numeric-id":5024577,"id":"Q5024577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"170c2ef968548e68842bb1b7414cee551ee5258b","datavalue":{"value":{"amount":"+0.7823832631111145","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":"Q5037213$DB173733-66B6-43AA-B322-492D9450A62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60aeaa7d0c82e1767b4fecb28dfffc3f1b01a251","datavalue":{"value":{"entity-type":"item","numeric-id":4600462,"id":"Q4600462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a54e05c1b504cc8b1be5e299faafb91659237095","datavalue":{"value":{"amount":"+0.774044394493103","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":"Q5037213$7E3C6B05-DD10-4928-B99C-2E62296F8EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53574332ee7065128626836c1e1b0f103a4f4cc8","datavalue":{"value":{"entity-type":"item","numeric-id":5095937,"id":"Q5095937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50bd2b6a914d97898e5ab64527ce881d743efd1f","datavalue":{"value":{"amount":"+0.7576520442962646","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":"Q5037213$5B961735-913A-4063-B7BB-2B2007AF6D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a37891e23c649d536522fc4eb3a7d84afa97ee28","datavalue":{"value":{"entity-type":"item","numeric-id":3464661,"id":"Q3464661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d36093b6322e9abbedb7585970fe527ac5d8f712","datavalue":{"value":{"amount":"+0.7507910132408142","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":"Q5037213$84E67F02-788C-48AC-ACFE-7A69494F9FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9a06ff516807fa63eab15b9fce9968cf598b481","datavalue":{"value":{"entity-type":"item","numeric-id":5855746,"id":"Q5855746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c6d50faae885653805b9838953794698232e940","datavalue":{"value":{"amount":"+0.7482027411460876","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":"Q5037213$805754FE-C65B-4EA1-8FF3-6B279B7F937F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5037213","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5037213"}}}}}