{"entities":{"Q1412830":{"pageid":1423570,"ns":120,"title":"Item:Q1412830","lastrevid":71145288,"modified":"2026-04-13T19:46:47Z","type":"item","id":"Q1412830","labels":{"en":{"language":"en","value":"Induction-recursion and initial algebras."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2009281"}},"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":"Q1412830$6FEBDD05-EB1C-4DEA-973F-51D1B774642C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"669dadac243230e6f54e7686d1cc5667f939658f","datavalue":{"value":{"text":"Induction-recursion and initial algebras.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1412830$3CAC25AE-CBE5-432C-87E2-7E0A410C159B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a830e499e995379f4d340b3700cb0be71bead120","datavalue":{"value":"1044.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1412830$D539F640-77B1-42AD-85CB-47BE9236AEB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16fcbbe41d33d53587f9a8f825843988e73f552a","datavalue":{"value":"10.1016/S0168-0072(02)00096-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1412830$03EBEE72-3F37-4982-8A81-E2EC3B9C2B7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d75275853fb84ac426baf809ec86decf612055f","datavalue":{"value":{"entity-type":"item","numeric-id":651314,"id":"Q651314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412830$15471733-4CC6-442F-BACD-9A881895FDA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"726d6d17ffd7097481aaa7acac69959461b65139","datavalue":{"value":{"entity-type":"item","numeric-id":587965,"id":"Q587965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412830$F263945C-59B2-47A8-8026-86916427C596","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412830$6AA307EC-030C-4412-B634-77B210C40B26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2027a5844a08629c82b420a166b4f5c31271f073","datavalue":{"value":{"time":"+2003-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1412830$07065D44-09A8-4A94-B98B-F6519776931A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cbf3ba7c467c1d68182170cbf0b3ea7f884cb150","datavalue":{"value":"Induction-Recursion (IR) is a method of definition in Constructive Type Theory (CTT). One of the first examples is to be found in the work of Martin-L\u00f6f in the definition of his universes. Less explicit examples can be found in the theories of Feferman. Martin-L\u00f6f's universes are introduced with rules such as the following.  \\[ \\frac{a:U\\quad f:E(a)\\Rightarrow U}{\\sigma(a,f):U}\\qquad \\frac{a:U\\quad f:E(a)\\Rightarrow U}{E(\\sigma(a,f))=\\Sigma(E(a),\\lambda x :E(a)\\cdot E(f(x)))} \\]  Here the members of the universe are codes of types and \\(E\\) is a function that maps the code to the type it denotes. There are two ways of viewing IR. In the first, such definitions are viewed as principles of reflection where the emphasis is placed on the relationship between the types themselves and the codification into the universe: external properties are reflected internally in the universe. In the second, IR is seen as a simultaneous inductive definition of two objects: the universe \\(U\\) and the decoding function \\(E\\). These two perspectives are complementary: for certain mathematical purposes one is better than the other. However, the second leads more naturally to implementation.  Previously, in the theory known as IR\\(_{\\text{refl}}\\), these authors produced a finite axiomatisation of IR from the first perspective. The present paper provides a formalization of the second one. The new axiomatisation IR\\(_{\\text{elim}}\\) is based upon modelling them as initial algebras in slice categories. The relationship between these two theories is explored in some detail in the paper. The comparisons are carried out in a category-theoretic setting and for this, extensional versions of the two theories are formulated. In addition, to facilitate the comparisons and to act as an intermediary, they provide a third formalization of IR -- the theory IR\\(_{\\text{init}}^{\\text{ext}}\\) that is extensional in the standard sense of CTT.  Generally, the paper is well written and the technical work clearly motivated. Section 3 provides the new formalization by using algebras in slice categories. Section 4 introduces the theory IR\\(_{\\text{init}}^{\\text{ext}}\\) and establishes that IR\\(_{\\text{elim}}\\) can be interpreted in an extension of IR\\(_{\\text{init}}^{\\text{ext}}\\) with operator elimination (OP\\(_{\\text{elim}}\\)). Section five displays the correspondence between IR\\(_{\\text{elim}}\\) and IR\\(_{\\text{refl}}\\): the former can be interpreted in the later and IR\\(_{\\text{elim}}\\)+OP\\(_{\\text{elim}}\\) can be interpreted in IR\\(_{\\text{refl}}\\)+SP\\(_{\\text{elim}}\\). Section six changes tack and looks at a specific application of the theory, one of the main conclusions being that the external Mahlo universe is representable as an IR in CTT.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1412830$6561B8A1-8963-4BD2-A28F-197DFF10C693","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7f2b12b50d8f4bf4fd034ae08284068300d3049a","datavalue":{"value":{"entity-type":"item","numeric-id":236812,"id":"Q236812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412830$FE060686-86DB-4E1A-8B3B-4D94FE7809B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1412830$D023C217-937C-480D-83F3-885D3394C014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1412830$758E1651-8518-41AB-84F6-EC4672351308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1412830$9E922E36-95B8-473F-982F-F4BA7C0A3FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1412830$8D3A4333-1A15-492D-A332-35622FAACBE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1412830$5DA66F58-20B6-435E-9CBA-B9C43CF1EBDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1412830$B77B38F1-685E-499A-974E-D8CE29694442","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b56b6ba21046903a48ae6ceb5d9d88ec6ab257e2","datavalue":{"value":"2009281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1412830$65210CD2-00BF-40F4-8010-A9FD95407958","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1412830$E514BB67-8182-4871-BDCC-D620F4A426D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae973dea0bce1781f54a2b7f8606c1e8a434cfdd","datavalue":{"value":"initial algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1412830$35925DCC-4EB5-4B4E-B391-D050795714C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b24cb501a3c8e23295ba8f4faf29b0f2b5e15c4","datavalue":{"value":"Mahlo cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1412830$E5272E49-2659-4A82-B561-B235AB1DAC6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f451aa5befd3d2e22057fef6061d63039039da19","datavalue":{"value":"inductive-recursive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1412830$556A188F-83EE-46D7-ADD8-67AA329EC761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1412830$D94BBB36-713A-46EA-BC77-1DB59E5188A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"454090389315247a59dda8a7c520ea2795715012","datavalue":{"value":"Martin-L\u00f6f type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1412830$3687902F-5E7F-4E18-BD2B-5C3FDD7DA42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba29bc695092e1012b615eb49ec43774f5b5c42a","datavalue":{"value":"inductive definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1412830$EF6EC9BB-8A30-4192-B83F-D82751BE9922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03d9c094f3e846e23d1e9465fa36eeb796ae7e8a","datavalue":{"value":"slice categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1412830$B045744F-80DA-432A-951F-14A90AC3D2DC","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":"Q1412830$03705684-6A52-468D-89C4-F6B6AB764C07","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2913641d9c5dee8401341c953da633b8a057ae","datavalue":{"value":{"entity-type":"item","numeric-id":3912779,"id":"Q3912779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412830$5ADBDA2D-5BDC-43A1-8AF4-EA8391DE4DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d9f1a305ee2c3ee75952830300a9c991be53707","datavalue":{"value":{"entity-type":"item","numeric-id":4281248,"id":"Q4281248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412830$BEF98E7C-B69B-4556-9C9D-57CDF2B9AA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5adae15f6654acfbcf7621f32cd882969fbf6d8f","datavalue":{"value":{"entity-type":"item","numeric-id":1096716,"id":"Q1096716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412830$65B7E659-791B-45C5-8DC4-BBE2F39AFB46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541bc36e9357802534d1e52134710ec758d76fb7","datavalue":{"value":{"entity-type":"item","numeric-id":5753923,"id":"Q5753923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412830$3122FB89-4573-4711-B850-0FC202766978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b5b3e1d2709e0f5c17896cdfac83364e530049b","datavalue":{"value":{"entity-type":"item","numeric-id":4012883,"id":"Q4012883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412830$B6B76E03-565A-40CD-8ED5-6DA444E0C074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0191c8d55bfb13f05e230de930538ee944fa6808","datavalue":{"value":{"entity-type":"item","numeric-id":1336951,"id":"Q1336951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412830$723CA75A-0A2D-4C17-B645-0C4D7908516B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e544e438e6837b40684be8afb567ee872639a802","datavalue":{"value":{"entity-type":"item","numeric-id":4647575,"id":"Q4647575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412830$B025C834-133C-491F-BE65-3651BBB0BA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364525b70d80e5ad032dd4bcb752b39f36195669","datavalue":{"value":{"entity-type":"item","numeric-id":4508246,"id":"Q4508246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412830$30E85EF0-6422-461D-A847-BBAAE501DD99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5765b1c70da77537c6e225225ff527afc50bcc4e","datavalue":{"value":{"entity-type":"item","numeric-id":4263867,"id":"Q4263867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412830$5521E6CC-D079-4525-8DB7-98B5B7474998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa9b23edb892289c99e8d75e027b4261a7065357","datavalue":{"value":{"entity-type":"item","numeric-id":4436029,"id":"Q4436029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412830$A41F2761-63A2-4027-9587-A9F64A8314F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a73b0bc94774198cd192d06e32293454cda383","datavalue":{"value":{"entity-type":"item","numeric-id":4225149,"id":"Q4225149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412830$6970D948-8EA7-4F49-BB4E-DA15786E0985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412830$D9CD7B5E-0552-453C-8F88-E0C9C18CF91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412830$9C6FA16C-D93F-4BF4-84E3-236281EA79DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"009122af7eb8e6ecc8feb2892d4b88e663912c90","datavalue":{"value":{"entity-type":"item","numeric-id":3328540,"id":"Q3328540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412830$54860052-09A8-4415-B514-89AFBA6B95DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412830$AA3CABF1-6B83-4A9F-BF01-3FF74655961A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412830$0DB3DBC6-5558-4F5A-BDCA-E5FBBE6C2DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d583a014f94ffbe5c2d58985db23d4061ed52f5","datavalue":{"value":{"entity-type":"item","numeric-id":688845,"id":"Q688845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412830$7EE65187-DFF3-4419-9377-A1B277AA895F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3f5182c5f84b08fd5162da8260189a7d667355c","datavalue":{"value":{"entity-type":"item","numeric-id":4247308,"id":"Q4247308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412830$3189DA60-6C80-479C-AF32-6D5ED4D7B03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9579a4ebc8fc362938d3ee4c1626b4dbb8862f2","datavalue":{"value":{"entity-type":"item","numeric-id":4281483,"id":"Q4281483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412830$19DF138D-F367-49B6-9440-CD26A471E969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f8ff59a19c433a03526d2993fc18dbdfceed2bd","datavalue":{"value":{"entity-type":"item","numeric-id":920986,"id":"Q920986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412830$52439FAE-2EF0-4D3F-A652-3B265BAD4340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ec6af83f9a6c90ef054757ef63aea9bbf0884e2","datavalue":{"value":{"entity-type":"item","numeric-id":803124,"id":"Q803124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412830$E7D74437-A44F-474F-9356-B55482A8A95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3eab381919a0f8ddd112866505d097b2c043172f","datavalue":{"value":{"entity-type":"item","numeric-id":1322453,"id":"Q1322453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412830$0974A5FC-3BB2-45B2-B3EF-7A6053B6885E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7399a1989b7371f5be019e41f394e87e42894303","datavalue":{"value":{"entity-type":"item","numeric-id":1295396,"id":"Q1295396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412830$8DBB4901-4BC7-4BE1-A96D-215DF401648F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d7584ed6cc70daf42406ddf381c9c7a48384e95","datavalue":{"value":{"entity-type":"item","numeric-id":5606586,"id":"Q5606586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412830$3E4ACEE3-2A19-431A-A55B-0C2B9F8A4DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d33e928887af0bb982765db1d362caa615f098d3","datavalue":{"value":{"entity-type":"item","numeric-id":3325725,"id":"Q3325725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412830$17ECAA94-A3AC-491D-BB55-DFFFA7AAD4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f26adabcc39dd027a7ac9b73459f012db8e58f7","datavalue":{"value":{"entity-type":"item","numeric-id":4715478,"id":"Q4715478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412830$D35DFE3F-130B-4FE4-8D34-7FA927D435CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc1ad39823e87bfa0461332d92468ea40681b5f","datavalue":{"value":{"entity-type":"item","numeric-id":1568707,"id":"Q1568707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1412830$63595EEF-CB87-49D4-BB50-356CB07B0EA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0788fafc739e0f188a97085e8a5b1d704e33a82","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(02)00096-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1412830$F592A63C-4022-4E71-8F47-411D9BE8C3F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"997a2bb2b3c29a90ada75b9280d32cf8ef52ee86","datavalue":{"value":"W2088156780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1412830$265E520D-C303-400D-BF6A-185604F2A21E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fe0854e42106907d74a67488260bcedeeba2e84","datavalue":{"value":{"entity-type":"item","numeric-id":3824302,"id":"Q3824302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfe444818ae41307b161006e5ea97fcc9c14f51f","datavalue":{"value":{"amount":"+0.89093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1412830$4FFA87A5-BBF8-4D8E-BE2D-6F6808711AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec1f642314305fda430872fabf19b330c6630590","datavalue":{"value":{"entity-type":"item","numeric-id":4302839,"id":"Q4302839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5576ba6ea5893e0d58497ca765bcaefe438af9f","datavalue":{"value":{"amount":"+0.8861111","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1412830$69629FFE-8BA3-4FD0-906A-321915DCB0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"936e77ea02442278ec9caaff7da6283b031f7089","datavalue":{"value":{"entity-type":"item","numeric-id":3546313,"id":"Q3546313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64d71bb6e4e13526a50ad3157954ad8e58ed7ec4","datavalue":{"value":{"amount":"+0.8732073","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1412830$57F5FE8C-E85A-46E0-BD80-1A5AB9209DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26b9805fb26f615a046c647f48f7fbb5d782850e","datavalue":{"value":{"entity-type":"item","numeric-id":5477644,"id":"Q5477644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"508a5280e088e879422c964cb3d3f96ec8f60ab6","datavalue":{"value":{"amount":"+0.8732072","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1412830$8F78AA0D-1D9D-41A0-B46D-A98C6E86DBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba3b0b7f20774d7ec6eb34df5c2f8b805c5fad22","datavalue":{"value":{"entity-type":"item","numeric-id":4317750,"id":"Q4317750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1711f6d6b8109fbd005dee40d1597d44a14689e6","datavalue":{"value":{"amount":"+0.8730398","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1412830$EF4D34B1-2765-47BB-8776-EB2581655296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74bb53d50f0de49896db59ac8ed3f681d45d20b5","datavalue":{"value":{"entity-type":"item","numeric-id":5701936,"id":"Q5701936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed07b51c7fedb98f1f3d39ba77f645b2e193159c","datavalue":{"value":{"amount":"+0.8729322","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1412830$01319757-AA29-40A7-85FD-CF73D40D204B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de872dbfa6215cdff63257d6555bdd2e790afff4","datavalue":{"value":{"entity-type":"item","numeric-id":4946107,"id":"Q4946107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58a3bf1d0c77b67860c45aadd423f0caae353a69","datavalue":{"value":{"amount":"+0.8717619","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1412830$6988D9CB-1E00-45B6-9F1B-A137373D9063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b7afeb5e6e6cc8d88de254a6cef99665bf629aa","datavalue":{"value":{"entity-type":"item","numeric-id":5403201,"id":"Q5403201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21918db50424ea194fc7c15cdec1de28276d4640","datavalue":{"value":{"amount":"+0.8685796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1412830$919D65D5-72B9-4348-B7AA-386EA4B43104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7edc436daa89e0df76b95e959498522ed5b3bb65","datavalue":{"value":{"entity-type":"item","numeric-id":5411641,"id":"Q5411641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0bdff8fc4945b8b5353c5450446bf1edcbb7bea","datavalue":{"value":{"amount":"+0.86650115","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1412830$959B4523-E100-4A8D-9BF1-17AC03039013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86b9e756b0270ccc6c827f851e4194143a302f21","datavalue":{"value":{"entity-type":"item","numeric-id":1098615,"id":"Q1098615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"850accd420ded69d30e1fb2634153fe0b29d0c5a","datavalue":{"value":{"amount":"+0.86293983","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1412830$6A30657C-9CD4-4AB1-B472-B34A10D2F0E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Induction-recursion and initial algebras.","badges":[]}}}}}