{"entities":{"Q1898417":{"pageid":1909159,"ns":120,"title":"Item:Q1898417","lastrevid":71729988,"modified":"2026-04-14T00:10:11Z","type":"item","id":"Q1898417","labels":{"en":{"language":"en","value":"Categorial generalization of algebraic recursion theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 797260"}},"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":"Q1898417$54B3FD6B-DBBF-46A8-97C1-928EE4304048","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef5b8884eee2a097d198a97a1294d46e0196aca1","datavalue":{"value":{"text":"Categorial generalization of algebraic recursion theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1898417$954651F7-2F6F-4B49-8BAB-B0901248E677","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d61f4b578e2f1a1ec37b6e87e381bb6a47a3d182","datavalue":{"value":"0867.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898417$78965022-052B-44A6-A3F4-B9657B6298B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59b97d90a33edc20a4b153fe99c5559c8984dba7","datavalue":{"value":"10.1016/0022-4049(93)E0184-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898417$C344F2C2-0E1B-476E-AF16-21D9F5A4ADC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898417$4F1DC056-12C9-484B-A1A0-015F6CCA0030","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898417$DB2B6FF4-73D3-4E67-92FB-28EC11389BA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e04800f209034680d3c00e300ab0607f83b08af5","datavalue":{"value":{"time":"+1997-08-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":"Q1898417$4B34C65A-99CF-4C05-A993-98CA5561D066","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b26c5c846ad65b5124b12f3928006443ac0b568d","datavalue":{"value":"A categorical generalization of a point-free presentation of recursion theory, called ``algebraic recursion theory'', is presented. Algebraic recursion theory studies least fixpoints (least solutions of systems of inequalities) in partially ordered universal algebras (poalgebras) with operations, monotone in each argument. The categorical generalization of this approach uses instead of a poalgebra a category \\(C\\) with a set of multi-endofunctors, and an appropriate generalization of inequalities; least fixpoints are taken in the sense of \\textit{J. Lambek} [``A fixpoint theorem for complete categories'', Math. Z. 103, 151-161 (1968; Zbl 0149.26105)]. The problem to be solved is formulated in the following way: given such \\(C\\), find a simple set \\(B\\) of inductively definable multi-endofunctors, such that for every \\(F:C^{n+m}\\to C^m\\) (a) the least fixpoint of \\(F\\) exists and (b) is explicitly expressible by means of basic multi-endofunctors and these form \\(B\\). This problem is solved for so called DM-categories, suggested by the author. They are categorical generalizations of ``operation spaces'' [\\textit{L. L. Ivanov}, Algebraic recursion theory (1986; Zbl 0613.03018)]. Their structure is a combination of monoidal and Cartesian structure. There are three main examples; one is defined using a category of all categories with certain properties (initial object, direct limits of \\(\\omega\\)-sequences, etc.); two others are the category of abstract programs and correctness proofs and the category of logical programs and correctness proofs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898417$B8C84400-80F2-4497-8796-27EFAF2B8B90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898417$4C212744-8F87-4B01-8ECD-97DDB19014CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898417$01A51389-0673-4286-875C-EB513A8BD0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898417$26EA747A-1395-4968-97EE-15CB67748B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898417$12F7DD3B-5AD5-4771-8DA0-C08B2FEA6528","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"951c87b9b42d911c7f828afe88bfd3e749b1c907","datavalue":{"value":"797260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898417$8770F8F4-AF90-4847-A96D-7A1126FB36D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78c3251b5f3202bb9888179402172c42bd11254e","datavalue":{"value":"fixpoints in categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898417$5F40D4C1-D228-498F-A5D0-E32F64283CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0a0fd55dafe404b6c07a0e027f984d9fa0193df","datavalue":{"value":"operation spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898417$1145E7A5-55A8-4E9C-BB3C-D48E313DE5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06b1a3ead0f4a7ba48fd2a416a269d9f67ecdb5c","datavalue":{"value":"point-free recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898417$27AD8298-EE7B-4565-99E5-87D7C3D03EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7cd3a88fdc620cb67302be5cef3d8973f85a25f","datavalue":{"value":"least fixpoints","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898417$1A690689-380F-46F7-BC06-A581B3C695D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"748249051b562eeec6102961f606d6d93caaca6c","datavalue":{"value":"multi-endofunctors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898417$601EF754-D074-4AAC-94D4-3957059ED099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"358c59b61483018ae7057e7e6d5ead74e294919d","datavalue":{"value":"category of abstract programs and correctness proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898417$FEE5CCA1-08C5-474D-A691-2A5A0324767C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f6283271eb91bcf09e1b7926214f1faed067339","datavalue":{"value":"category of logical programs and correctness proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898417$8CFDC1F1-41C2-4659-8D4F-0D1CCE6AB915","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b6c848266fa72da40ff1802d3555a7d072216992","datavalue":{"value":{"entity-type":"item","numeric-id":590478,"id":"Q590478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898417$0EE4C082-9C12-4790-BF84-501ACDD9EF38","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":"Q1898417$55841E6C-F508-4AC4-95BF-718619351746","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84c6388d82bfd37b7eceac94dd56cf906f8abc68","datavalue":{"value":{"entity-type":"item","numeric-id":3753993,"id":"Q3753993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898417$EDE60EA7-2DB4-4A26-8484-BD7FC130B6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dc1b1c6e90fd57884a0b795c855676b976827dc","datavalue":{"value":{"entity-type":"item","numeric-id":2525178,"id":"Q2525178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898417$163561AB-5CA0-44EF-8952-A0AF930A5D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898417$B8BB389F-D16F-4D46-9C23-0EAC362462BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898417$3C9A1D56-8C8F-4025-AFBB-C64D092BC1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d7aca85cb15ac9e39e8aa01ccdded3eceec5669","datavalue":{"value":{"entity-type":"item","numeric-id":4093428,"id":"Q4093428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898417$64920BD0-506D-480B-819A-9BD5B3D1C492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ed7f3f4e4a7ca9ff2c2002d341825734393103b","datavalue":{"value":{"entity-type":"item","numeric-id":3898488,"id":"Q3898488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898417$DCBBC02C-A9E4-4400-A5DA-B4714BBAAC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"910d7b6104c382ad8f66f19c64360cf817c36a29","datavalue":{"value":{"entity-type":"item","numeric-id":4003236,"id":"Q4003236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898417$287C5476-09FD-4C93-A0A0-6EA3A2BA509D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90ac79efe2e44d980226ee27fe0b31c5e6d8f09d","datavalue":{"value":{"entity-type":"item","numeric-id":3333024,"id":"Q3333024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898417$96BB22EF-F44E-4489-90B1-2F83F8F718AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9462cafece40ef9e2822324f783c4644db2b121","datavalue":{"value":{"entity-type":"item","numeric-id":3800024,"id":"Q3800024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898417$90AEC1DD-D5E3-4249-9020-9A1650285AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9941d0893d8a57177acf7400e91a083ba3b7edda","datavalue":{"value":{"entity-type":"item","numeric-id":4694257,"id":"Q4694257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898417$B1AA2EB3-023B-444B-A6D2-0AC78F8FDE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aea8383986fb53c100bfa1a0092de35283c2e1a","datavalue":{"value":{"entity-type":"item","numeric-id":4039125,"id":"Q4039125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898417$1D380B56-15A5-42D8-8B12-D8D728DA2D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aea96c04d394593ed52e73e2d41d21c1aeeba07d","datavalue":{"value":{"entity-type":"item","numeric-id":4325153,"id":"Q4325153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898417$5D5877AC-F0C7-45BC-9275-156282A2901C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bef7a08621884d3d1e39cc260f96033620ef9839","datavalue":{"value":{"entity-type":"item","numeric-id":4325153,"id":"Q4325153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bb22f5cb6f7c249f082fc2f589fa9f9cc99202d","datavalue":{"value":{"amount":"+0.8413013","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":"Q1898417$AAFC278D-A3B0-4A6F-8316-84B0D65965CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5a64600460edddf7307c0d9a1c389c5888d6364","datavalue":{"value":{"entity-type":"item","numeric-id":3679367,"id":"Q3679367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4d1546dd9c3b8096ef6d0da00031e54bdf4548d","datavalue":{"value":{"amount":"+0.8127462","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":"Q1898417$A8E964F0-7F28-434E-BA21-23163E5FE7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b9caaf3d98828388d5b23eb1366badc772481e4","datavalue":{"value":{"entity-type":"item","numeric-id":3720582,"id":"Q3720582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd11ebbe532567d4d1d1d651cd96aa7dfc65c078","datavalue":{"value":{"amount":"+0.81251603","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":"Q1898417$B31816ED-D891-41ED-BE0E-F28BEB087660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9f62f5ff011c86ea40c02f9a39bd5170827d565","datavalue":{"value":{"entity-type":"item","numeric-id":5492828,"id":"Q5492828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b30286f354c897ae94239da49818d496d205a4a0","datavalue":{"value":{"amount":"+0.80275404","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":"Q1898417$D6DBE69D-04B7-49A6-893E-50E17CBEE790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96e34affae303a640ad2574f856b2aaf259f5a66","datavalue":{"value":{"entity-type":"item","numeric-id":3744154,"id":"Q3744154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2427ef585e52d8a52e8a4a2b497f7ed21b9a9db4","datavalue":{"value":{"amount":"+0.80062467","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":"Q1898417$8D738CB8-24EC-458E-90A2-A3A931154288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a6daa84a0e831397bd4d396c96cb42a0082a3b2","datavalue":{"value":{"entity-type":"item","numeric-id":1098617,"id":"Q1098617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c93f5ee633a9b1851c23d69c80b8ce47ce012db","datavalue":{"value":{"amount":"+0.79906774","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":"Q1898417$2B972031-8EEE-498D-8F4E-28D6D9F3C098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cee03811315ba128e8e3078b8e191e4878c9b904","datavalue":{"value":{"entity-type":"item","numeric-id":860876,"id":"Q860876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a77d7c3a5ce1edca0aa8e27a71a37dea66b406ac","datavalue":{"value":{"amount":"+0.793976","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":"Q1898417$8EAE1BB5-DE32-4EDD-A42F-FC6F3CE1BEA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35a35248911f829af7e9696f3dc5efabd8399dac","datavalue":{"value":{"entity-type":"item","numeric-id":1798796,"id":"Q1798796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a7d6a6bf2be51641ac09e60c5750e7bb1529300","datavalue":{"value":{"amount":"+0.7884046","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":"Q1898417$4778694B-8F28-4DF1-B2D2-A6E33782C5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0480547411b8beb959f8cb0f61301aaeac56ba6","datavalue":{"value":{"entity-type":"item","numeric-id":802882,"id":"Q802882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c6fad4ca1c7dd02cc9d8e494f681faa764d4868","datavalue":{"value":{"amount":"+0.78345436","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":"Q1898417$F74B7BC6-360A-4538-A038-540BC570E41F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"026ef6997b9fefc5c9a955f861bd858b1f94fbac","datavalue":{"value":{"entity-type":"item","numeric-id":3365537,"id":"Q3365537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1efb8f1156927762d2f6c5a9727376ea33cb7d5c","datavalue":{"value":{"amount":"+0.78090036","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":"Q1898417$A7C5FE31-6EB7-46D6-AF01-6EC680C3705E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categorial generalization of algebraic recursion theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Categorial_generalization_of_algebraic_recursion_theory"}}}}}