{"entities":{"Q4925156":{"pageid":6954738,"ns":120,"title":"Item:Q4925156","lastrevid":41124392,"modified":"2025-04-18T09:43:16Z","type":"item","id":"Q4925156","labels":{"en":{"language":"en","value":"Lipschitz functions in constructive reverse mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6174079"}},"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":"Q4925156$A8233A47-6982-4399-84F1-C3BCDB9DF13E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"816ad350763e69ceebee753edaaac192113f8f80","datavalue":{"value":{"text":"Lipschitz functions in constructive reverse mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4925156$D60A7E00-A06A-41F9-A8B4-31FE07F4D5E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fee0c5e5dac3e77c18930c144a5485a5bfef0bf5","datavalue":{"value":"1277.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925156$8BE70BB8-7CAF-4513-B077-77077BFAC6B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"454ec0749697ba77b021cb383676266239d5370a","datavalue":{"value":{"entity-type":"item","numeric-id":488355,"id":"Q488355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4925156$3EA15570-3901-49EF-A7FE-8D06830FAE1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f1333f5ea32121d60563094ddcc091f8ab3e533","datavalue":{"value":{"time":"+2013-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4925156$CC482E34-6709-4C12-AA78-35B4148868D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925156$BB98896D-173F-44CA-AD45-9D9D062F3CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925156$26D1349B-2CF0-47A5-8C6C-605F9322349C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a59030ae123e132ed74d2d3533c16aae95c7f79","datavalue":{"value":"26A16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925156$1D5D38CE-4F9B-4CD7-95B1-D230718CC239","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec80241c36340d3eee7810452dfd8171eb499ab4","datavalue":{"value":"6174079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925156$2D661429-EFF7-4B6B-A803-2C1C075F7630","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee01fea2f657b5359bc93a17fff748d906f69493","datavalue":{"value":"constructive reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4925156$112DBF0D-5D02-4C21-82A2-8685AA24829E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"395cbf8c9f4e338a2ea873db699ee29004408858","datavalue":{"value":"Lipschitz continuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4925156$41277F7A-73B7-43C0-AA10-1A92E0C6C885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0051fa7bc7f16a45c398b2aa7da1d79c7c51e142","datavalue":{"value":"fan theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4925156$820AD5A8-C16B-42A6-8B77-B95491A1EE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4925156$51BEC975-3730-441E-B661-7E2072DF935B","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":"Q4925156$7270F60E-10D3-472A-9CAA-021C48B8B769","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1cc2c3a210929c8a7bc911c8e0d3bef5ece19548","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzs020","type":"string"},"datatype":"url"},"type":"statement","id":"Q4925156$349C03B3-9558-4884-8AF4-4CCA5B0A17C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6378e3231272050da0d06b8f6023df94a7b10d7f","datavalue":{"value":"W2037191757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925156$65015286-FDFE-4196-A30A-F57689D46F1A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea8049d82796ac3ca3c39c979924fc0bf97834e9","datavalue":{"value":"10.1093/JIGPAL/JZS020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925156$6EAD0DF3-E67F-4AFC-8588-F5D78C159F92","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7721d53cc0960c3adc43f1b9312cce81c99e2b88","datavalue":{"value":{"entity-type":"item","numeric-id":867406,"id":"Q867406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3303129735551deaa2073e5511a2ec10586f113","datavalue":{"value":{"amount":"+0.754936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4925156$580AF16C-EFB9-4AA7-8ABA-F041610FCBB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10519d938d407624197a29e86d68b44f402c866f","datavalue":{"value":{"entity-type":"item","numeric-id":1001912,"id":"Q1001912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c248bb608926ba7571d50d093f60569b6ab7e72","datavalue":{"value":{"amount":"+0.752124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4925156$B71CA405-1963-4265-8055-C3004031609A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af08d96ef05f980f05c0abc6442b3c5be31f8555","datavalue":{"value":{"entity-type":"item","numeric-id":5310875,"id":"Q5310875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1f7f16bfc3e3067bbb65a0c1c6647a15d424cf9","datavalue":{"value":{"amount":"+0.7477107","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4925156$65750040-77A4-497B-97E4-011BFF87193F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b355453abcca48819c1bff1785bc4cd344d7218d","datavalue":{"value":{"entity-type":"item","numeric-id":3613303,"id":"Q3613303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09f0595ef0e39793818918290984649d92fc8bde","datavalue":{"value":{"amount":"+0.746956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4925156$8738B10C-A9BB-4488-8FDE-B6F145702F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb6b1f1044d854c704c156a04af4e3d8505f4dda","datavalue":{"value":{"entity-type":"item","numeric-id":3507452,"id":"Q3507452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f114020f0cf7f28f35e4c0342afa94b1dc1a94fc","datavalue":{"value":{"amount":"+0.74206364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4925156$B9C4F946-E9D6-4651-9FE5-6DBB2E1698A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d96ca71ebd1bf40f0e9ae420799f041969b7fc71","datavalue":{"value":{"entity-type":"item","numeric-id":5480634,"id":"Q5480634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fb83570962607cc958219f3ae88cf03892f8c16","datavalue":{"value":{"amount":"+0.7229744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4925156$A69C44D9-6FA7-4B2A-9720-5B7935072E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78f01c1be3a8179619af1772e22f7fe8fd55d4c3","datavalue":{"value":{"entity-type":"item","numeric-id":2851185,"id":"Q2851185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ea8803309875e093fe5599b0628bf0d3b76a432","datavalue":{"value":{"amount":"+0.7229701","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4925156$2843E5BE-A455-4423-9DAF-7D2A785B1752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd32d64a2ee32df16eb57f0d97e7b47034e1dcca","datavalue":{"value":{"entity-type":"item","numeric-id":1734272,"id":"Q1734272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0de979f2251d0301b121c373b5d6cfe155b8bb4","datavalue":{"value":{"amount":"+0.7206583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4925156$FD5B4328-C617-4CC0-85D8-1F4293CE6B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c025382a2a835a9cb3498273b5ead77b4553674","datavalue":{"value":{"entity-type":"item","numeric-id":3418084,"id":"Q3418084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9847497555b7f6315768adbf6e0a64381600144","datavalue":{"value":{"amount":"+0.711025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4925156$111257B8-95D5-423E-A122-DB8EA9A6FCC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a7eb97d308de87bbe862ad0ce50764d03c6211e","datavalue":{"value":{"entity-type":"item","numeric-id":5693110,"id":"Q5693110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b54d5668ab14756f4ad7a9586d3f9d9318f7ad09","datavalue":{"value":{"amount":"+0.7017131","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4925156$B7C01755-9260-4263-AE80-E1419D366608","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4925156$4E7BE475-BAE6-4BEE-B260-90FECAEADE2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4925156","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4925156"}}}}}