{"entities":{"Q2576642":{"pageid":2587385,"ns":120,"title":"Item:Q2576642","lastrevid":48612490,"modified":"2026-01-05T09:31:14Z","type":"item","id":"Q2576642","labels":{"en":{"language":"en","value":"Diagonal fixed points in algebraic recursion theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2238615"}},"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":"Q2576642$BFEAEDAC-6E91-40B5-B0FC-B9AE1BDD3C89","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5bf22f0ef0526db96dbeab304103951f50255398","datavalue":{"value":{"text":"Diagonal fixed points in algebraic recursion theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2576642$CBF644C5-8AC1-4962-9E0C-02C222842A0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"267444403369afc4d96959cc59c6fc05f894fe9b","datavalue":{"value":"1115.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576642$D1C47A25-F63A-4E05-B241-5D866829284E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef2cf979773eb3275881695135da6d75e7e85be9","datavalue":{"value":{"entity-type":"item","numeric-id":2576641,"id":"Q2576641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576642$DBE77026-D59E-42A2-95DE-65044FFD3875","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576642$87D90249-6C32-4789-BCDC-D681BD61DA49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5cc985b1fbecc72e2f3dd52fd00812d9e418d970","datavalue":{"value":{"time":"+2005-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2576642$9F1D8B8B-042D-4B7E-841F-92D83D2452F6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a41ee54084cc9180f389f63ae1aefc9baa053f81","datavalue":{"value":"In algebraic recursion theory diagonal fixed points originate from the so-called normal form theorem -- an analog of Kleene's normal form theorem in classical recursion theory. In this work a special type of partially ordered algebra, called intensional combinatory space, is considered. For such algebras it is established that, under some weak first-order expressible condition, the least fixed point coincides with the canonical diagonal fixed point for any inductive operation w.r.t. a suitable normal representation procedure.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576642$D5E6CE36-4AA0-4C6E-9E09-48A16B2B12B0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5a03c77f7b094c62085e038e7319825eeca971a4","datavalue":{"value":{"entity-type":"item","numeric-id":593174,"id":"Q593174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576642$7501D2EA-4464-4273-B2A4-6328EA4BF768","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576642$B18B8454-1C13-4C3C-B6A0-D8D210D664B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576642$988B639A-E579-430D-A900-247CB6BCE73C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc8d6090af7364adc218e0ccf4db6c28fa21f3b6","datavalue":{"value":"2238615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576642$FC2D0ED6-5B1B-490A-9238-C7109216940D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbffaa3aa5e46ed7cd34aa70b2bb6b52bdd55067","datavalue":{"value":"algebraic recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576642$2070AFF4-FDEA-4BDD-96CB-4A044F4A6846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576642$D02A1FCC-DA41-434F-9BDE-1BCD142E8E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b98241ded7975c0f16318c85fe17a6847618e0","datavalue":{"value":"fixed-point theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576642$0995303E-CDEC-4F8E-B465-9D29F3C39210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ad5b2b6ef3aa2e648a974b94c2a1bdd6d18651a","datavalue":{"value":"intensional combinatory space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576642$03186350-6F21-4427-AB50-E083CF194BAB","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":"Q2576642$2C90D71E-EFB9-445D-9A82-D0456CE30F20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"931933d0910813d06355280e88c9ca72a8a0cc56","datavalue":{"value":"https://doi.org/10.1007/s00153-005-0307-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2576642$7EFE0AD9-033A-44DE-9D6D-ADB8AE2A2D1B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8249ab18332977ea4a88b79d229932faa72d042c","datavalue":{"value":"W2044490292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576642$05D6EDED-23B9-4CC9-99B4-A74520873A3C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576642$8D8392ED-C90D-4214-A01A-1BF3B4AF08EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"397846898dc0eb528b4e23925a126fc41d923fab","datavalue":{"value":{"entity-type":"item","numeric-id":3794173,"id":"Q3794173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576642$1B3984A2-3464-4779-AC87-CA8EE8DC9DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f2aa3258db97c4476a61c0c711b77c989e36b41","datavalue":{"value":{"entity-type":"item","numeric-id":3895454,"id":"Q3895454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576642$651B6221-2158-489B-B9F0-EF6AF4F3FF15","rank":"normal"},{"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":"Q2576642$7D97A50B-B1D4-4361-8D12-2C33BBFFF72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576642$527B4DA5-12E1-49A7-9F25-AE9CE0C0E136","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":"Q2576642$B7503501-CF16-44F2-B055-B9C3E433BFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"764ff6cb229a9b11ee828e80df20e5be49712b58","datavalue":{"value":{"entity-type":"item","numeric-id":3322087,"id":"Q3322087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576642$0E561918-1F37-4898-A97C-DF7F146C392D","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":"Q2576642$FF396864-0DEB-4568-99AE-1F52274F0109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b71cbce218ec735bd84847b3274d2e49166d5cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3365468,"id":"Q3365468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576642$DD5FEA24-0B3E-4462-BF1E-F7D019D6CAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba368a4ed51cf1c4d38b7d8ffc8cc3d940dcdbb0","datavalue":{"value":{"entity-type":"item","numeric-id":4328830,"id":"Q4328830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576642$9BAAC813-D9F2-4958-B494-E552767EB14E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95d90356f4f468e8f1caba55600ea8005c8e30ef","datavalue":{"value":"10.1007/S00153-005-0307-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576642$8BC0B9AB-AB87-4B63-9474-9237D7EF879C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7197feb8a5314517fd5eee202dbd523906a3d2f3","datavalue":{"value":{"entity-type":"item","numeric-id":4694257,"id":"Q4694257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a1b33ab5ab01cb15bb86c77e0c91c724488c82a","datavalue":{"value":{"amount":"+0.8427406549453735","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":"Q2576642$0CC28E89-5F6A-469C-9BC0-9231F5528EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebafa44c84cfd44237ae268a4acfbd6a5a21cb9f","datavalue":{"value":{"entity-type":"item","numeric-id":3322087,"id":"Q3322087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a1b33ab5ab01cb15bb86c77e0c91c724488c82a","datavalue":{"value":{"amount":"+0.8427406549453735","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":"Q2576642$373DA794-1783-4B9D-91C5-58EE53E24943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0d2b3e834916cad1b9cd3aeba6a5d1ac5df8b58","datavalue":{"value":{"entity-type":"item","numeric-id":1688969,"id":"Q1688969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fd62783874efa69c9b25870005df620bb9a6a99","datavalue":{"value":{"amount":"+0.771397590637207","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":"Q2576642$6A1D83B9-631A-4F05-AC9A-457E78CC74C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86b7f2177e3470514bd81c308186108724da3ae5","datavalue":{"value":{"entity-type":"item","numeric-id":3333024,"id":"Q3333024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81e8132f50364ffbeebd1bbcbd5340a34a908fc8","datavalue":{"value":{"amount":"+0.76756751537323","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":"Q2576642$8CBA096E-EE28-428A-8447-7282FAC80261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61d3e104108f2ea51202013e79605bc1e77bb691","datavalue":{"value":{"entity-type":"item","numeric-id":3032243,"id":"Q3032243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"930e70e167fb01f3c53bd64a17088bf1e4b9b4af","datavalue":{"value":{"amount":"+0.7487720251083374","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":"Q2576642$E4BBEB16-22E7-486A-B5E3-B4822538C0A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2576642","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2576642"}}}}}