{"entities":{"Q527337":{"pageid":529104,"ns":120,"title":"Item:Q527337","lastrevid":62504838,"modified":"2026-04-11T06:33:00Z","type":"item","id":"Q527337","labels":{"en":{"language":"en","value":"Reverse mathematics and order theoretic fixed point theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6714188"}},"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":"Q527337$3C6ED420-8BCA-471A-860E-4F89836DF8C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57d71947ecf00f9b71d31cb87d5815660ec6ae96","datavalue":{"value":{"text":"Reverse mathematics and order theoretic fixed point theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q527337$38393B6B-0316-4600-A812-4769DE1250ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce548d97c10fd878147e0e5f15556f33762f975d","datavalue":{"value":"1420.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q527337$1B951EA9-96EF-4429-8F17-AF657BA12772","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dedfb39b4592d2280e09d7e79051c1c088a7f4f","datavalue":{"value":{"entity-type":"item","numeric-id":315863,"id":"Q315863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527337$0EDCDDCD-4F5B-4931-B34A-A4B5684AB292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6bb43a942f467a7751dad22d578372df9f5bcd8","datavalue":{"value":{"entity-type":"item","numeric-id":527336,"id":"Q527336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527337$08449087-C0FA-453B-820F-896D99964271","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527337$9A058308-358A-43E6-B491-6A279E414115","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9e8b439653b9d6355317e4dbf4602d7c9d2cabd","datavalue":{"value":{"time":"+2017-05-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":"Q527337$87D001D5-5BF0-49EB-8E59-4ED019BDBD90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q527337$9CB52473-3676-4D09-8FCB-51B554DFED03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q527337$94ADC916-A979-4BA1-995E-5191DB327921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q527337$08C482B8-F7E0-48E3-BC19-5C84A1972222","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a591c2121762fc797ae54900ba6d240f079ab2c","datavalue":{"value":"6714188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q527337$66994FCC-C451-4A48-8D19-C817A54A3C37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q527337$A2241D1B-C9F9-413E-8662-B34B255EFDD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q527337$1ED226B4-ADEE-47FB-AC97-92C4733B08C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc5d9de8682eaec01d389788d457f31dd029a1b6","datavalue":{"value":"order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q527337$CB72088F-C9F6-4807-AF9D-04362278B896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92ee87dcc78f29415678bf06ee680a61d5c12c8f","datavalue":{"value":"countable posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q527337$CCDCACCB-343D-4915-B04F-563E7FDADF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65d410626c74129f92a478d82e96997e826ca7fc","datavalue":{"value":"countable lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q527337$2C87264D-DB55-4AE6-BE90-1C47BC700290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5cdb35b853c0f6bbf6c4d7efe1270c8d41aa94f","datavalue":{"value":"fixed point theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q527337$C416E147-4159-4A44-BAB4-23B9A38E4EA2","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":"Q527337$9FFFE446-1E73-40D3-A228-66AC4F852F48","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f80fc4ba8ceaf7362b617d51c085d7c695b42ae","datavalue":{"value":"https://doi.org/10.1007/s00153-017-0526-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q527337$0E24050A-1523-4B9D-8F74-F285DE64BF87","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6126e1c6761b5cb86df596b9235af6011ac018d9","datavalue":{"value":"W2593141400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q527337$478F83B5-EF63-46B3-B456-C98FA7C7CBB5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2adef61f68c26ac5bba6a41b3cc1d7c0a3f9a3ab","datavalue":{"value":{"entity-type":"item","numeric-id":3278374,"id":"Q3278374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527337$4F63879B-A5EA-4764-B910-A187CF77486A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f2bc507607ffddcaaffe1b4c02781fd7322297","datavalue":{"value":{"entity-type":"item","numeric-id":5841991,"id":"Q5841991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527337$2FFCD424-FEEB-4B6A-95E2-5405051D15A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a3f157eb9fb8ce360dd2db17c88b593e185dced","datavalue":{"value":{"entity-type":"item","numeric-id":2649887,"id":"Q2649887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527337$C7A88FB1-34F0-40AA-81D1-B1C6FB6F7A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527337$EFA61E83-5122-4C23-9C07-1EBE02D2651E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"722e6764a5b1c423f659904eb24f07acea7589ef","datavalue":{"value":{"entity-type":"item","numeric-id":2653568,"id":"Q2653568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527337$53567C5C-02DA-4F0C-B25C-D2CC77EE6457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"783b9fac2baabff5e51cc0fada443666d71a3c55","datavalue":{"value":{"entity-type":"item","numeric-id":3144869,"id":"Q3144869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527337$B9B9D0A7-7AB8-43CE-ACCE-8A47B4449BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f69b42a8a60c99417cabbfede6572df81b1f5849","datavalue":{"value":{"entity-type":"item","numeric-id":3941926,"id":"Q3941926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527337$ADBC3084-6D6D-4BFB-82B0-3A81447BE83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9393b42a89db709a1810e63354bd87bc393c7f4c","datavalue":{"value":{"entity-type":"item","numeric-id":4421936,"id":"Q4421936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527337$6B0B68F0-ECFF-4647-AB58-D3601395B8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd1db7dcd2da9fc394dcd951ad62461c4f9bd451","datavalue":{"value":{"entity-type":"item","numeric-id":1227632,"id":"Q1227632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527337$EDE7C399-F93D-43BF-8083-A6AFD808A6E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7662b5735b32817d95622075b0e896a7f4a6220b","datavalue":{"value":{"entity-type":"item","numeric-id":3539342,"id":"Q3539342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527337$0CF2C804-F625-4E89-99F4-59F306BB7A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bbba6cd1f1c8123f083e2f7c6bcf7bf52744286","datavalue":{"value":{"entity-type":"item","numeric-id":922541,"id":"Q922541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527337$558A6921-73ED-45C7-B288-8561FEE8781D","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":"Q527337$80AB8206-1975-4153-9FF4-AB651D44AC18","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":"Q527337$46C09D0A-5119-4E20-9A5F-9DB3DC7424F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527337$370C525A-CA67-4D7B-9C10-D92B107EB876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78204cbee8858331477c8efb0ce846f3c88dd9ce","datavalue":{"value":{"entity-type":"item","numeric-id":5803373,"id":"Q5803373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q527337$BC4748CF-A76D-412C-A466-F7884D8A8749","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eec035d1702e60cb835aba0fa8a2d1d89eaf0e26","datavalue":{"value":"10.1007/S00153-017-0526-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q527337$24CB4FA8-127C-408E-AE9E-2AD0D7EDEB57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"449838dd14883a8197ca8071f57388e9bec4a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":922541,"id":"Q922541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f243de18da750b50ae31d52bf7e4157cb3dac299","datavalue":{"value":{"amount":"+0.8191215395927429","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":"Q527337$D5B7B66E-C0DD-4A42-B8CA-03126835476F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc503475ecd3cf8e015c2335e40b4a7cc98c8547","datavalue":{"value":{"entity-type":"item","numeric-id":5108123,"id":"Q5108123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b155094f7effcc048bbe6bd54f8127d85cb31cf","datavalue":{"value":{"amount":"+0.8016928434371948","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":"Q527337$97BAB529-29A1-45F8-8493-094D02A039D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25039b6171b2485eba382bcb26f5369f48506ee7","datavalue":{"value":{"entity-type":"item","numeric-id":3699664,"id":"Q3699664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6510682a565fcce1edd84c706d512858aab46897","datavalue":{"value":{"amount":"+0.7885753512382507","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":"Q527337$A5B90DE0-3362-4E5D-8717-3CC37B623FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcd113729941f0d3a4acd181c8c2cd8dafc69415","datavalue":{"value":{"entity-type":"item","numeric-id":1849323,"id":"Q1849323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bc7553bc4060cd03ff723e627cdd0d2d4d92717","datavalue":{"value":{"amount":"+0.7674978971481323","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":"Q527337$5795272C-9CB1-4624-B89A-F60AB58DC326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b9dffd742df7b4133cf956d248793fed2440a26","datavalue":{"value":{"entity-type":"item","numeric-id":4440538,"id":"Q4440538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f68afea1dc5a3aa7f85ab8e2f441279b47e22a0","datavalue":{"value":{"amount":"+0.7652265429496765","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":"Q527337$1C45C241-3294-41A7-A3BC-4850FC2ECCC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reverse mathematics and order theoretic fixed point theorems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reverse_mathematics_and_order_theoretic_fixed_point_theorems"}}}}}