{"entities":{"Q4262568":{"pageid":6292169,"ns":120,"title":"Item:Q4262568","lastrevid":46853997,"modified":"2025-12-25T17:40:55Z","type":"item","id":"Q4262568","labels":{"en":{"language":"en","value":"Explicit mathematics with the monotone fixed point principle. II: Models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1335191"}},"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":"Q4262568$200B801C-DCDB-4F6E-9A5F-EFF28D7E73C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82a4a04d2dea0ec79d283be54c88a55fcd8bb37e","datavalue":{"value":{"text":"Explicit mathematics with the monotone fixed point principle. II: Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4262568$B42D2496-4F11-4584-9408-656EBF231582","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"613510850f6b604d008103c7a69e88c650afe425","datavalue":{"value":"0930.03093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262568$931DF688-EA96-4BA6-BC42-2ACCB6A5CBE6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9233d9360034ad2c77ba73f1a48395e7633b01e","datavalue":{"value":"10.2307/2586483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262568$BAC4AE9C-3EA2-4AED-9109-64242A2C27AE","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":"Q4262568$C1CA648A-D1FE-40B1-A434-85D3909AFAD3","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":"Q4262568$58467CA4-9A96-452A-9810-0F85492E5298","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24ed60e311a3dce35e332152ceed7e3958c9282f","datavalue":{"value":{"time":"+2000-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4262568$1C4EC8CC-9DE1-4EA6-A158-352247330DDD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262568$4D094D3E-7DCC-49BD-9C55-B469703B647B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262568$5283BFD1-DA35-4A5C-B43A-6AC7FB1658A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262568$EAEC078F-2EAC-4FF4-AFBA-748D7847BC1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d7135861be5f4cae1dcbbc40cb958c0785f8953","datavalue":{"value":"1335191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262568$0128EA37-A8F4-4224-A6AA-296E3966CD84","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab88b045bce6135fddec66eabdc3c57ab6a2bd2c","datavalue":{"value":"monotone fixed point principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4262568$DF79AC51-CF2A-42C4-A190-48FA1D48571E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50ef7d9e7fc9882bbae1db0036cc5d28c9b16662","datavalue":{"value":"explicit mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4262568$FA11D909-BD56-4AF3-B71A-0A8F06286FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4262568$7C226058-DB7E-4988-951C-5041B1D2D7CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edd91c982e8597e70a8b6c33bdbee31f953b18e4","datavalue":{"value":"generalized recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4262568$3D761961-2A66-41EA-9BE6-47388FA4BDA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7010c2da262ae30262762edb52a75765cd41a6f5","datavalue":{"value":"fragments of second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4262568$E2BFC6FD-70B9-4E92-958F-D50E3205CE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2d7e1d87371f61fbbc8e12e0a4cba7ffee29faa","datavalue":{"value":"\\({\\boldsymbol\\Pi}^1_2\\) comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q4262568$727D7DF6-6A57-4EC2-A22C-C0DBC37BC5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc2777ec01b75e57d1b6ab95a043444d7be1edc","datavalue":{"value":"set-theoretic models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4262568$5E501D0E-6EF0-43A3-AF4D-954C39232ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4142d8ef9d9208f8e7c6d76c1d9739e37712bfd","datavalue":{"value":"extensions of Kripke-Platek set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4262568$DC47EB86-04E1-4A29-B75B-2E97A4CF6762","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":"Q4262568$27B9D476-9E68-4516-B2B7-0987DCC22B62","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f4af2b9bbe98a21f22037ded036a5f5f59134cdb","datavalue":{"value":"https://doi.org/10.2307/2586483","type":"string"},"datatype":"url"},"type":"statement","id":"Q4262568$F4AB4878-E02D-4F75-BAD3-EB7E269E6D99","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad35b850d6ce7b4108db92a04e863dfa7425efff","datavalue":{"value":"W2121715826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262568$01928DA0-0BD3-4F95-9C15-D27C3FED643A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b0eb072ea0d5308b432065c9b8eb95644c2c21","datavalue":{"value":{"entity-type":"item","numeric-id":3329455,"id":"Q3329455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262568$5BD3B7FD-1809-4603-B38F-DF2168BD6AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21df1d3055daa4725f01a29fad1e4853704fa4c","datavalue":{"value":{"entity-type":"item","numeric-id":3762311,"id":"Q3762311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262568$EA1F1F1E-DA56-4D70-9286-78495B3382E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24bf6d1dcd21c3dedd0cf1599d2fc44662529f11","datavalue":{"value":{"entity-type":"item","numeric-id":4879904,"id":"Q4879904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262568$19E2E5F6-C23D-406F-BF61-B6F980900F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26764e82c9ce1a5fcfcc1bf552b3a6da2b17f4c","datavalue":{"value":{"entity-type":"item","numeric-id":3778746,"id":"Q3778746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262568$F5B5DC41-74B5-49E9-BE2D-212336627364","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":"Q4262568$E34619BA-3A49-4B20-805C-380D3962503C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"557eec930bee0c47a139b84a1c5cfe6cccd25912","datavalue":{"value":{"entity-type":"item","numeric-id":4212918,"id":"Q4212918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01b7f2a6791b9eaeed4848df810b86529fdfd49f","datavalue":{"value":{"amount":"+0.935048282146454","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":"Q4262568$296E7210-53E0-4F5D-8CCD-23A54E1EEB38","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":"a85bf50356d244412ddcd476e8e1e6503a619d2c","datavalue":{"value":{"amount":"+0.8554679751396179","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":"Q4262568$AD93A7C1-3EE6-4C86-B7E2-F67AEFF1865A","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":"c94495788cbb617a5bdd6e6b933991fa9e733779","datavalue":{"value":{"amount":"+0.8393570780754089","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":"Q4262568$4A6D91DC-C899-4B07-91C6-4A5A78AFD459","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4262568","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4262568"}}}}}