{"entities":{"Q5072245":{"pageid":7101821,"ns":120,"title":"Item:Q5072245","lastrevid":91315787,"modified":"2026-06-04T22:51:28Z","type":"item","id":"Q5072245","labels":{"en":{"language":"en","value":"Cousin\u2019s lemma in second-order arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7514667"}},"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":"Q5072245$0EE84920-AC06-43D2-8E81-46D95FDCC860","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19f856963374f51c92a99d495bd763c3856ecca5","datavalue":{"value":{"text":"Cousin\u2019s lemma in second-order arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5072245$09F1B6E2-5CC9-4DCB-8EC3-A3A10AFE2F1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a63bea76ab54ab26d817688907301b72b0b2bb86","datavalue":{"value":{"entity-type":"item","numeric-id":831333,"id":"Q831333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072245$D7F0B0C9-0C36-4C7E-B021-31E42CBC8907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8aa819e8a26b7e07cf0d79026024c3692da5103","datavalue":{"value":{"entity-type":"item","numeric-id":277527,"id":"Q277527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072245$3F21E6F6-FE11-4F50-91AB-B5DC332F6E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2356fe1f1f6d7960e11f0114cbd6aa7fe05024f7","datavalue":{"value":{"entity-type":"item","numeric-id":247180,"id":"Q247180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072245$18D199D0-26D7-4063-BF75-FC6F0C5447D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cdf868ff8b41c587a40760401251c535783dd4f4","datavalue":{"value":{"entity-type":"item","numeric-id":2795851,"id":"Q2795851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072245$C2B4F856-C757-4477-A61D-FE0672E74290","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fb92150f4e7ba6ad94427d659f8564387023a05a","datavalue":{"value":{"time":"+2022-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5072245$97D4209B-9143-45B4-8B3C-199FD2EFA162","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"492c9f56926c990c2e1fb731f325ad029d16ea9f","datavalue":{"value":"https://arxiv.org/abs/2105.02975","type":"string"},"datatype":"url"},"type":"statement","id":"Q5072245$D8BCBCB4-2299-4B15-A5A7-44964E74A8D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5072245$6DE797E6-D7E2-4E8A-8E72-89889AFDABFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5072245$1917768A-0986-4DE5-A487-A2FC2E0AF0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d21a69e3457646e46a9bbf0d57100c034be8348f","datavalue":{"value":"03D78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5072245$BEA7BBD6-4B43-4573-8B7C-CF87E4EECE72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8e79eda5abd9211d776b9190a719dedd7878bb0c","datavalue":{"value":"26A39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5072245$EF090130-A75C-4A65-B50C-B525014874EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e464f4eb10e26f2f2ce0cfd5061ec52c40aaa4e","datavalue":{"value":"7514667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5072245$5AB0ADCA-912F-4375-9F8B-0FC13FC993AF","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":"Q5072245$00441744-7693-403D-B729-A78EEA494D25","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d16406db6fab969d3bc7b8838c49ff44286abe5d","datavalue":{"value":"W3160565071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5072245$022A6904-C3A8-47F4-92B6-F390E332C838","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ac9b709619d8395c4a2a2200f66c03de16a2fef","datavalue":{"value":{"entity-type":"item","numeric-id":4694271,"id":"Q4694271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072245$548E54AB-BA14-49A4-BC2B-B029C7363229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"484b33a23731622b7a03120825b542b46d1ab8b6","datavalue":{"value":{"entity-type":"item","numeric-id":1178488,"id":"Q1178488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072245$86564554-EE88-4FAA-B4D1-5764A352B388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fd10a5e643730e591a7fa3e0d5c9ab297cf80f6","datavalue":{"value":{"entity-type":"item","numeric-id":4307619,"id":"Q4307619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072245$6589994C-D357-4D9F-8782-0B9F0F9776F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bde55662c19ffe7f95cd8836e1a0c81026a0366","datavalue":{"value":{"entity-type":"item","numeric-id":1382432,"id":"Q1382432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072245$6699F0E3-DA0D-48EE-A881-9F39FA9930DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f150e200af1a9ff48fcbf8545c7c121147eeb884","datavalue":{"value":{"entity-type":"item","numeric-id":1590191,"id":"Q1590191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072245$8CCE3D37-A11C-45D1-AE94-DED01E0EDC46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1fc4268b7b4c1394556e337577b5148da680a16","datavalue":{"value":{"entity-type":"item","numeric-id":3033755,"id":"Q3033755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072245$29BCAF59-1E25-42C9-960E-40763AA9063E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"079a643241a1e7c5459f858a9295d228bc2aaf09","datavalue":{"value":{"entity-type":"item","numeric-id":2930874,"id":"Q2930874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072245$73925A8F-399F-4EAD-82BA-C21B44AF455E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d427c69ec07f9a7bb3b8425d574cbebb3512a60","datavalue":{"value":{"entity-type":"item","numeric-id":3264978,"id":"Q3264978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072245$2A10AB87-D9A2-4AD7-BB7A-ADF624AF8F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f774356b2559d2ed4dd55413aa790e0fe381016","datavalue":{"value":{"entity-type":"item","numeric-id":3760781,"id":"Q3760781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072245$CEA04E8F-D69A-4CF8-A8F0-D116049C4857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ed83d79ac2e42ce9242da4277967b9ce274421","datavalue":{"value":{"entity-type":"item","numeric-id":5223120,"id":"Q5223120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072245$5AC4864C-D127-4239-BC5E-D5D63F3946B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e50b119e57b8c8d11d0e2b6ad38ebbc0b08eb84","datavalue":{"value":{"entity-type":"item","numeric-id":5140330,"id":"Q5140330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072245$A9450538-37ED-46FA-BA14-20BCE3000E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfebefb97f1d4f033976fa06095dd2c39d835ed7","datavalue":{"value":{"entity-type":"item","numeric-id":519888,"id":"Q519888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072245$77FC7869-B57C-4D10-9687-90FA9D978445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c3775af1c4b634235ca04555a9c63f06aad4c6e","datavalue":{"value":{"entity-type":"item","numeric-id":1188710,"id":"Q1188710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072245$1BEDC5FA-D2C9-410F-9BFE-2542AAEF706C","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":"Q5072245$90F8DC77-EE84-44CA-976D-9F437FBB6496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15736a1fabe53e34c9adbd1c3f77269c133e2124","datavalue":{"value":{"entity-type":"item","numeric-id":4040892,"id":"Q4040892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072245$2405C34C-6765-4901-8E14-7771A9E8DD71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d06022a302d3d4bbce195eabf5821bb5bb6a77c3","datavalue":{"value":{"entity-type":"item","numeric-id":2966798,"id":"Q2966798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072245$681E8EF4-F0FE-4221-9441-0FF600B078E6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f9c8121d745aed24b3a9e24fccb01329eecc2f0d","datavalue":{"value":"Q124982447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5072245$7EFDD0B9-AAD1-4FE5-9652-3CDCC7514ED3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41beb60d80e9459e11647b2abc21a196a343260f","datavalue":{"value":"10.1090/BPROC/111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5072245$6CC1CDC1-C283-41F4-B070-061EDC5E9EA1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5628ad45dcfc86e69e386c6c6a01022861c545fd","datavalue":{"value":{"entity-type":"item","numeric-id":5223120,"id":"Q5223120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"429ce2fb3e2a4389b2260a50e6a8fbdff6fb97e5","datavalue":{"value":{"amount":"+0.7836267352104187","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":"Q5072245$805BFFEC-B4BF-4ECA-92F4-BDC7C0DA2F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94e0219e9ead33cd26a63f0db377d879e730ce13","datavalue":{"value":{"entity-type":"item","numeric-id":4304143,"id":"Q4304143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef602a410f9e0649574e8ea1797819b4da9d6851","datavalue":{"value":{"amount":"+0.7551377415657043","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":"Q5072245$EA34D77B-5636-4806-8110-FFE0F08F9033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13082ed675a72ec435a8e50495da0a3f8efd9a2b","datavalue":{"value":{"entity-type":"item","numeric-id":2639061,"id":"Q2639061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"707d7eb333d178e6ec48659e8f1b75af560c8bdd","datavalue":{"value":{"amount":"+0.7535570859909058","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":"Q5072245$D931A9D9-2910-4063-A377-E5CC8C5D8127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfb4c35244cdd0c35d7a64689752470136d33d22","datavalue":{"value":{"entity-type":"item","numeric-id":502680,"id":"Q502680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acdc0ffd2149b1672738904b7f098dd983922f09","datavalue":{"value":{"amount":"+0.7519264817237854","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":"Q5072245$37D5347C-8512-4A3A-9CE3-7AC3F9582A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"547f343fda4410ac86090652f163d49ee3353385","datavalue":{"value":{"entity-type":"item","numeric-id":1267845,"id":"Q1267845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b51f530e4927acdc8d9340ebbbeaa6355ca115d9","datavalue":{"value":{"amount":"+0.7366728186607361","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":"Q5072245$EB8EEA84-8A91-424A-A054-9077B8A6D33D","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"bee1ddd2bb542a0e64ca96574e4fab1bba361385","datavalue":{"value":{"entity-type":"item","numeric-id":57074,"id":"Q57074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072245$73125A3D-4DEE-4854-9DC1-8E24E76AC6AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cousin\u2019s lemma in second-order arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cousin%E2%80%99s_lemma_in_second-order_arithmetic"}}}}}