{"entities":{"Q4212918":{"pageid":6242519,"ns":120,"title":"Item:Q4212918","lastrevid":41064248,"modified":"2025-04-18T02:12:56Z","type":"item","id":"Q4212918","labels":{"en":{"language":"en","value":"Explicit mathematics with the monotone fixed point principle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1208086"}},"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":"Q4212918$6B40AD9B-1B78-4106-BAC1-9F6AB4B02455","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4743b39c74a2872a7721ae8adc4b8ec05f5e874","datavalue":{"value":{"text":"Explicit mathematics with the monotone fixed point principle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4212918$A5EA6003-E6C8-4CFE-B127-BE6E6EFEADA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1eb3697adffc13025a00a2dd3ad54ca5b0d08d7d","datavalue":{"value":"0912.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4212918$9EE54E2A-8AF3-476D-83AA-1F5AA148A646","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aef6f86c76361e75ec7be1de3b4ad615454a2ff4","datavalue":{"value":"10.2307/2586846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4212918$B9B3EF28-C172-479F-A5BD-45D59F0145DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e64bf31f7adc7949599b7092674140bc267c6785","datavalue":{"value":{"entity-type":"item","numeric-id":206562,"id":"Q206562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4212918$AC0DBC7C-39DC-47E0-94A0-F578928D91E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a3c575e36516431240b6ca5a34b66619e132b26","datavalue":{"value":{"time":"+1999-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4212918$AC2B262B-3231-4510-95D1-F9E4E9221705","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4212918$57C07420-62D1-4BF6-9D93-A8591CA9B538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4212918$73FAAF42-48D8-4D83-AE6D-40D0CD0E7106","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3df7e45fea495d15d94375b59098dfbad9dd78f0","datavalue":{"value":"1208086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4212918$E598EC72-A643-4A64-A6A0-E3F6EAEA5B0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5c3650c9b69d15e37911074c3dff1d02919ffd1","datavalue":{"value":"proof-theoretic reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q4212918$D548622E-0E66-4B34-8684-A1063D3E0489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50ef7d9e7fc9882bbae1db0036cc5d28c9b16662","datavalue":{"value":"explicit mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4212918$7B5703FB-2513-4AA7-BBF6-797C9634BF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab88b045bce6135fddec66eabdc3c57ab6a2bd2c","datavalue":{"value":"monotone fixed point principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4212918$E19D6B16-33CC-421D-A48E-48C0191F7524","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":"Q4212918$8ABF15DB-EE02-4D32-B4E5-3BEA42B86EC7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"def359cbd2e6dd3fec78880307106ce62d48553b","datavalue":{"value":"https://doi.org/10.2307/2586846","type":"string"},"datatype":"url"},"type":"statement","id":"Q4212918$D95B97C0-1FC1-4CF8-95E1-ED00C88A940B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"73f7a3f9ff3cb8cd71ef2fdd40941ce29f484cca","datavalue":{"value":"W2002495770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4212918$A3C2047A-DF09-4C72-9983-819EF575191D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"045ae5e777edb3a58b627ec4c6354cd75db85ce0","datavalue":{"value":{"entity-type":"item","numeric-id":2542514,"id":"Q2542514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4212918$4CE91A00-5B28-4F1C-8691-C1E8CE7F9CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4212918$D1D8D112-85A8-4E23-99DB-2BA3B24F044A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"232e5da865693eab46aced866efa8defb58ee7e3","datavalue":{"value":{"entity-type":"item","numeric-id":3792676,"id":"Q3792676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4212918$A9ED9930-BA8C-47CB-8BA2-7259B9BD7466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"287785aa8651b26f912f2bcca2b2a743939d591e","datavalue":{"value":{"entity-type":"item","numeric-id":4146722,"id":"Q4146722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4212918$7178F547-CB32-4234-A495-CA330A8CBE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"899c9a22395694a3b6e2931d1309092fea9c536a","datavalue":{"value":{"entity-type":"item","numeric-id":1356976,"id":"Q1356976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4212918$7647F030-2E59-444A-B061-40E6E59F557A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3f7d9f6a5b9c0765fd0ae6fa8a639661ef197e","datavalue":{"value":{"entity-type":"item","numeric-id":1115865,"id":"Q1115865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4212918$C90F7158-8BDE-4ADB-BB1E-01C06EF48522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391494fb166ee662c227e7a07c48725fd20bad41","datavalue":{"value":{"entity-type":"item","numeric-id":2529601,"id":"Q2529601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4212918$0C4F3B52-EE43-4A7C-B0A9-708B062A497D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89e08f8e981b15d9e994bd9b66679f47871eb79","datavalue":{"value":{"entity-type":"item","numeric-id":5528627,"id":"Q5528627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4212918$0A9700E2-DE3A-4FE9-A760-7DEF61321EBB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a12a6bb3df40bd72b73bfe003d9bfd10f327548","datavalue":{"value":{"entity-type":"item","numeric-id":4879904,"id":"Q4879904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a128807beb057916b9f01ff36948329aaca7a11e","datavalue":{"value":{"amount":"+0.8985847","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":"Q4212918$5173D658-32BF-4AEC-BDD2-B494995951E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"743f7896bb12cb37d3c08727ce80999fa6c28a6c","datavalue":{"value":{"entity-type":"item","numeric-id":4262568,"id":"Q4262568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11b2b9f6bc3ab81bc398ad989e04fc8a6cd00e24","datavalue":{"value":{"amount":"+0.8944213","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":"Q4212918$E57E7993-7B4C-451F-8DAD-DABC8F8AC1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54b6ae67938b0e985f8058a65d7525bc4a60ca45","datavalue":{"value":{"entity-type":"item","numeric-id":5013911,"id":"Q5013911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47d59d40085b5818cb486e6a3b770aa1cf8f9d76","datavalue":{"value":{"amount":"+0.8198842","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":"Q4212918$B240CA7E-9B68-4B4F-AC49-2E3B5A75F783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c35cb0fa3c71429050b1ae1f8973100d43dcc9a","datavalue":{"value":{"entity-type":"item","numeric-id":1356976,"id":"Q1356976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d43e10879d3d10f6982ada6a1f13038c821329fc","datavalue":{"value":{"amount":"+0.79455477","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":"Q4212918$C8B715A5-148F-419D-89CD-69B31907F7CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1cef65c62131f10994654048beb60025545828b","datavalue":{"value":{"entity-type":"item","numeric-id":5957853,"id":"Q5957853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"370bb01f5eb2d0d2364a18b055f337cf6c26ce13","datavalue":{"value":{"amount":"+0.7863527","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":"Q4212918$04B17E8E-FDE5-4334-A5B2-9E11EC680705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91ba9e1c5707cf410022f46b44512743ef44f288","datavalue":{"value":{"entity-type":"item","numeric-id":5939842,"id":"Q5939842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8f00c2e1208befb332c50f349e8621fec3d4f2d","datavalue":{"value":{"amount":"+0.765031","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":"Q4212918$0AC32CB3-149D-47FA-A100-FFA5EE13D4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29b0b908fa5cde520fe133ea8f94d55f03b9ef3a","datavalue":{"value":{"entity-type":"item","numeric-id":4793037,"id":"Q4793037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b273016f22d9f8b53a64ef02e6f570e100e3f33d","datavalue":{"value":{"amount":"+0.75908124","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":"Q4212918$CFCD33E8-F417-4EDB-95E4-0056F8DD1EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b6c7721c70860bbb05a7223c6c91e3f9f9b7769","datavalue":{"value":{"entity-type":"item","numeric-id":1314542,"id":"Q1314542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69acc248ea922a302cb5a65e4b32c0f603237a2d","datavalue":{"value":{"amount":"+0.7565471","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":"Q4212918$2E323B47-EDB2-48F3-AEAF-54DCF7AB3E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"715dfc83428df757ebf108f9f594d982b63fc5e4","datavalue":{"value":{"entity-type":"item","numeric-id":1861330,"id":"Q1861330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3738f401c87e69f204c0375252e104bfe4c2314a","datavalue":{"value":{"amount":"+0.7545943","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":"Q4212918$B946DF38-E346-4E69-9E6E-5E23CDC78643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa1eeefac3bfb0a416ca92232f30fd7cd5c33eed","datavalue":{"value":{"entity-type":"item","numeric-id":2344720,"id":"Q2344720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a0bb63510fb2ed5fc6253175a23d0d1d67c24ab","datavalue":{"value":{"amount":"+0.7534678","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":"Q4212918$8EA800DB-6ED1-4805-A35B-4A36C47FB6F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4212918$D23514D7-F8C2-4A7A-BBA8-9AD26DA5CAD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4212918","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4212918"}}}}}