{"entities":{"Q911584":{"pageid":913432,"ns":120,"title":"Item:Q911584","lastrevid":49367620,"modified":"2026-01-07T01:13:58Z","type":"item","id":"Q911584","labels":{"en":{"language":"en","value":"A categorial approach to the theory of computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4142026"}},"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":"Q911584$DE2C0B53-BEFE-4B9B-9582-44C3C63B665B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"040652a3898e1ea9f67e588f63105f0581b68857","datavalue":{"value":{"text":"A categorial approach to the theory of computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q911584$097DF07C-5000-4945-8852-B524D8E442DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"017a88a0ceda87d1510c31a5789fe4545991e3d2","datavalue":{"value":"0697.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911584$E26E6C0C-A4DA-44FF-BE07-D5C03D9273E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1072e01daa9cbb50358ca4ba34669a5c8916d15d","datavalue":{"value":"10.1016/0168-0072(89)90072-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911584$BD59D37D-FE59-4F48-9B6F-D633B63BCCC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"843372140793d9d5527f1f4336e74b5f117ec778","datavalue":{"value":{"entity-type":"item","numeric-id":581395,"id":"Q581395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911584$EB178D24-ABE9-4798-BF6F-CFF346D7CCC8","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":"Q911584$520C33D2-A7CC-4AE1-9672-7A4D358338FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q911584$854B4248-5B0F-4017-A7AA-12E89D431547","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"101b2d2c38678c4a6c12a67c946ca785935d5bd2","datavalue":{"value":"This paper is part of the spirit of studying recursive function theory from a categorical point of view, especially using the theory of topoi. In section one the author gives an introduction to the recursive topos. In section two the author proves theorems involving effective operations. In section three he applies the previous results to the category of effective domains. In section four there are theorems on fixed points.","type":"string"},"datatype":"string"},"type":"statement","id":"Q911584$B6D93205-B8DF-4F7B-89C2-0E03A5F701CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911584$386FAA50-4D6F-4DC9-B86E-B5DC2FDEEA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911584$C34A5D0E-2E36-4BED-8368-454391776FF6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"936b53a5d16453283f320b683fec975e7c9722e4","datavalue":{"value":"4142026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911584$97842B19-CB4D-4E8A-B712-D35EAC7DBE3D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36f4baae39391bb189c6bf65d0e31b1b6c6b2ee1","datavalue":{"value":"recursive topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q911584$28C832F4-475B-4D88-9AD0-9D1A8D87B483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db29ba75028c92db1ee6defa67dc2f1cab44029b","datavalue":{"value":"effective operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q911584$38A0F9B7-5043-48C1-ABFE-08D6B9CCE29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1763bb12a2b3dc8d112794467323a6e3faf2b05b","datavalue":{"value":"category of effective domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q911584$1FBF6861-404A-4CA8-B1F9-98DE116455E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q911584$4E30E8E8-3258-43D0-B976-A87A4B38F322","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":"Q911584$A94CE6A1-DC5F-406F-A1D0-E1A065744F08","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5bc01a99df0c10673efcc90dd3167d5023ef306d","datavalue":{"value":"https://doi.org/10.1016/0168-0072(89)90072-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q911584$81F5D364-AEC4-4440-9A69-DABC418ADBDA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d71ed1ffda64bf0f489c84bf9640872d1ce9130","datavalue":{"value":"W2086248250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911584$0DBD5E97-5C33-48FE-BDC8-2F91B94FAC5A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac19a1011204e80b47aab53956c4a56827f7643b","datavalue":{"value":{"entity-type":"item","numeric-id":4168604,"id":"Q4168604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911584$F3EBAC34-3860-4A1A-8DBC-904D72337744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bc1503ebe805f85a1cd71b88071e3eea323bd8d","datavalue":{"value":{"entity-type":"item","numeric-id":3671978,"id":"Q3671978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911584$A8910457-02D9-4BC7-BD70-289B282EE201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a7073698898958171b3a748b22b754af919d34b","datavalue":{"value":{"entity-type":"item","numeric-id":5622402,"id":"Q5622402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911584$7E153371-17CC-42EF-837E-53DCD9664E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d08a7e7d403cea257b26647f08cfb168edc0c81d","datavalue":{"value":{"entity-type":"item","numeric-id":3734394,"id":"Q3734394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911584$49357E03-CB5F-45B9-94E8-086900DF8B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9616c6e9e07e030df0ce064aa2b8a0a6da1558ab","datavalue":{"value":{"entity-type":"item","numeric-id":3677755,"id":"Q3677755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911584$DE1D5108-1E56-4F6D-9509-C6985896A918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8e2ff5d4943e38d73207e7174bfebcd9fc5e22","datavalue":{"value":{"entity-type":"item","numeric-id":1167158,"id":"Q1167158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911584$500892E2-695F-457B-AF62-CE79A952D608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a801378e0465ec02e4ecafd41c79cbc0f0abf8d6","datavalue":{"value":{"entity-type":"item","numeric-id":581396,"id":"Q581396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911584$70CD0FD9-2A47-40D0-9988-1F988C4AB2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f709e8a417d2a861f2b421a86391d16b52b6cc1c","datavalue":{"value":{"entity-type":"item","numeric-id":4207894,"id":"Q4207894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911584$41178AD0-A589-442D-8451-F6D277D34BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60acf17ccf9773494a593a4d4b0e60ee35e0b1a5","datavalue":{"value":{"entity-type":"item","numeric-id":1054723,"id":"Q1054723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911584$13A071ED-1C40-41DF-8D40-702F34988445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911584$70CCA89E-1956-48ED-9EF8-BEBE7E7B655D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0d31edeae3ebaca208d5e79c437b221022654f7","datavalue":{"value":{"entity-type":"item","numeric-id":2551094,"id":"Q2551094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911584$A316CCE7-1EC2-4D78-9334-E115107E7D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dc9805b5fa6bfdbbc40963bf99daff64ad8032d","datavalue":{"value":{"entity-type":"item","numeric-id":3664454,"id":"Q3664454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911584$BA8A14C6-E1C1-4C92-A9DC-6211A719EE96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e87cd42afa1fd7961c1db195a75b892706e9970","datavalue":{"value":{"entity-type":"item","numeric-id":3784071,"id":"Q3784071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba6542306bb6a721a1712107cd05ab7e6e61e794","datavalue":{"value":{"amount":"+0.8209764361381531","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":"Q911584$50CEC704-9AC5-4B46-B679-A3A53DC8CA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdd0a1a83454cb0cf1ab9b42a8cf8934fe72b596","datavalue":{"value":{"entity-type":"item","numeric-id":5014598,"id":"Q5014598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"897be438e9d20588cc0e033797c0f48b977519ba","datavalue":{"value":{"amount":"+0.8078492283821106","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":"Q911584$87188B35-E538-4406-BFE2-2F9AD8AC5D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af810ccae94c6503c544d1198647bddfc5ca6845","datavalue":{"value":{"entity-type":"item","numeric-id":4333486,"id":"Q4333486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcc88b8c249dc1a20e95030667a69d6a52a06cd7","datavalue":{"value":{"amount":"+0.803699791431427","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":"Q911584$F6AD7655-5F3B-40FF-9D80-1E7344BAD69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aefd638234b551976a8fc863886a8e15d7c64418","datavalue":{"value":{"entity-type":"item","numeric-id":4850324,"id":"Q4850324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acf3bc3e4190179fd46ecf11a458240c9b252de3","datavalue":{"value":{"amount":"+0.8017973899841309","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":"Q911584$0487FBBC-45E6-4043-A86C-536B00E4A9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30203f47bdef4ce69358bdde5dfe8f5b2b0a067f","datavalue":{"value":{"entity-type":"item","numeric-id":1813970,"id":"Q1813970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acf3bc3e4190179fd46ecf11a458240c9b252de3","datavalue":{"value":{"amount":"+0.8017973899841309","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":"Q911584$4EB45C61-7E99-4F7F-9903-CB8AA117DAB2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:911584","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:911584"}}}}}