{"entities":{"Q5311753":{"pageid":7341327,"ns":120,"title":"Item:Q5311753","lastrevid":48538540,"modified":"2026-01-05T03:49:20Z","type":"item","id":"Q5311753","labels":{"en":{"language":"en","value":"On the intuitionistic strength of monotone inductive definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199958"}},"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":"Q5311753$9752E7DC-09F9-4744-833A-6C928E3C4C36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3aee05f30477bedf622e81ce05e6fcbaf0eff69e","datavalue":{"value":{"text":"On the intuitionistic strength of monotone inductive definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5311753$7C6E8004-D9F0-438E-B4C5-A28F8936B2A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86d684fbebe945a3aacff192279c33d57d4053c9","datavalue":{"value":"1070.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311753$51175A7E-6F93-4039-A37A-DB09F54E95EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6beb43d86d5f358e4b3c554f2d0e523cdd059c36","datavalue":{"value":{"entity-type":"item","numeric-id":1861329,"id":"Q1861329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311753$3F843761-420C-497C-B6C4-0F9F886E99EB","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":"Q5311753$6896A8FC-3D2B-4EB0-90DC-BBB3FDD6624B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0bf6b2a1195bceb76e95a6eaf6480b71590f9114","datavalue":{"value":{"time":"+2005-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5311753$AE202EA5-1943-48CE-A9D5-80B395B2B462","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311753$3C5BB812-8A25-4004-B9F5-B11A00CE7A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311753$C7CC8EC5-1B33-40C5-85AB-FAABA57FCFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311753$DC14A6A5-6558-4033-8DB1-8E04C19A8B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311753$2F48BDF5-FCF7-4101-9CDB-2B49F5CBD87A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"396fd4a5833ae458e28ab099979419c0795d3692","datavalue":{"value":"2199958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311753$64D5582E-749F-42C8-9A1D-BD09875A1FDC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dd3b4288480cd33c6aeb2e83b7095592dbb1df0","datavalue":{"value":"Explicit Mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311753$EC34AF1C-F04A-4D8B-BE6A-E1040A1B9011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8f2ff7a51fb7ae563b94666f1310927cdbada7f","datavalue":{"value":"double-negation translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311753$145057EB-A3CA-4291-A4D0-24D70B132F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"953f08c1202a35a33f95f3d5c8a1cc7ef9afec5f","datavalue":{"value":"second-order \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311753$150D7E56-7ACA-4FE2-8850-6B597727CDA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3821a467b1a320c76bc16f6199b37f9451c38b97","datavalue":{"value":"intuitionistic \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311753$1966089A-0A9D-4B91-9FBC-0CFE795BA425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6417d461b2f1224184aba5ae1e7e6a39c4867847","datavalue":{"value":"monotone inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311753$F10B3DFC-59B8-42F6-A113-F515403A0953","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":"Q5311753$F4D05179-4B06-4E43-8FE6-030D1064E862","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f1dcf9c6bdacf61760ab394274a28a9f791cf74","datavalue":{"value":"https://doi.org/10.2178/jsl/1096901767","type":"string"},"datatype":"url"},"type":"statement","id":"Q5311753$EF3EAFD3-3E10-4D07-ABA9-B8798510994B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66924aac8b4aaf36e6f040d0f983f41be80a1775","datavalue":{"value":"W1965295069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311753$950F5C0F-A044-4C7D-B6A2-941CE793FCD4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb43f99617f4f32f64ac0d14dc91fb2d9b5dcfff","datavalue":{"value":{"entity-type":"item","numeric-id":1861330,"id":"Q1861330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311753$67742D60-4ACC-405E-A80C-0C049ACE5DFC","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":"Q5311753$FAFDF537-42F6-4F63-B895-9233D259551D","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":"Q5311753$F056EB61-54D9-4EB0-AD64-9E056DB6F759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d6328a8e957c4e03f846607d83586f006ef66","datavalue":{"value":{"entity-type":"item","numeric-id":4262568,"id":"Q4262568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311753$DE88BDDF-E072-4CBB-9DE8-FFD0EC48376D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"174ffcd80a0a880e94d886e142fb6220aef9c4fc","datavalue":{"value":{"entity-type":"item","numeric-id":4786451,"id":"Q4786451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311753$94CF6895-FA60-4111-B6D5-C189B59741C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59cd3e7046d927769616bef5d8a7bcaab65634c8","datavalue":{"value":"10.2178/JSL/1096901767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311753$7C7BBB14-7C85-466A-ABBE-EC1E5A61A5EC","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":"1e52477fd76ce157710f76ef509f3761f615fb8b","datavalue":{"value":{"amount":"+0.8376568555831909","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":"Q5311753$CF014F51-BDCB-4F24-B69A-7BE67FBE6DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eefabe3b9392c3ab382e2aee5b28966470e1dfe","datavalue":{"value":{"entity-type":"item","numeric-id":1115865,"id":"Q1115865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e52477fd76ce157710f76ef509f3761f615fb8b","datavalue":{"value":{"amount":"+0.8376568555831909","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":"Q5311753$198C6DC0-35CC-44C0-A2CF-F20AE39A7A8D","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":"30b05a1a03721e8b1205fba394cd0576ae8d39e5","datavalue":{"value":{"amount":"+0.8231462836265564","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":"Q5311753$579B64F4-7B99-42B7-AA70-2B58A7C03570","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":"30b05a1a03721e8b1205fba394cd0576ae8d39e5","datavalue":{"value":{"amount":"+0.8231462836265564","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":"Q5311753$0158E1E9-E39F-4BD5-B14B-828FAD95AD79","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":"f101ea16be6370cd67630c5e9bdb61e034ba9250","datavalue":{"value":{"amount":"+0.8054519891738892","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":"Q5311753$73369D3D-8694-4946-85AC-E9862C79908B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5311753","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5311753"}}}}}