{"entities":{"Q753945":{"pageid":755794,"ns":120,"title":"Item:Q753945","lastrevid":42675823,"modified":"2025-07-08T09:21:47Z","type":"item","id":"Q753945","labels":{"en":{"language":"en","value":"Fixed points in Cartesian closed categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4181606"}},"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":"Q753945$419730A2-5DA1-4C8D-8065-ACB4A1283FC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d66d2686f0c7ffd926a4910ebee4484133931e8","datavalue":{"value":{"text":"Fixed points in Cartesian closed categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q753945$EB5185FB-61F0-4B33-8447-1B91FDD5B052","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25263d9faf815e25b9230b37843b7a1f81b724c6","datavalue":{"value":"0717.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753945$456CE933-18BC-4E19-92D0-732C50030A98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5279ac443ac3c228002ea7a0c20623c8bf4eddd7","datavalue":{"value":"10.1016/0304-3975(90)90152-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753945$582AC9C3-4D27-4B08-AF8E-641A8F45BD0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98927fdef2ca764d37388c9b78c07b1c49fd21c5","datavalue":{"value":{"entity-type":"item","numeric-id":599897,"id":"Q599897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753945$990F2567-2CB0-405B-B261-5830B2C2979B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753945$BCB1E6A2-4FC2-4622-AE92-93034D078120","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q753945$F0E9E686-B50F-43D6-B24F-6DEF51668E6B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9abca7e02864374f3f03abbeee4d10e66655c2a9","datavalue":{"value":"The author studies one aspect of domain theory in the setting of a cartesian closed category with finite limits and a natural numbers object. A notion of \\(\\omega\\)-complete partial order in such a category is defined as well as notions of increasing sequences and an object of sup- preserving morphisms. There is shown that in such a setting an \\(\\omega\\)- complete partial order with bottom has as fixed point operator in the sense of a mapping from the object of sup-preserving endomorphisms to the object itself that realizes the least fixed point.","type":"string"},"datatype":"string"},"type":"statement","id":"Q753945$A6FFD813-DE1B-4DCD-AAA5-31BF6A3CC666","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753945$DB2E290E-20FE-41B3-883D-94C2F9218F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753945$5335081A-B23F-476B-9F19-14C3F87B9894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753945$476B3825-B99F-48DC-80C5-DAD0E1E13270","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef49f3954189bcee5a975a15c3ce96524668330c","datavalue":{"value":"4181606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753945$B784D8BE-65D7-4E0B-8219-35D8A592870B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dba8efd60bcb4b091dde6c1e38ff7d961839ab4","datavalue":{"value":"least fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q753945$338EF76B-77FF-4106-8251-AFA7ADC55A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b5ac13d48ef0eefd188a71e5d493f5b874d9ff8","datavalue":{"value":"\\(\\omega \\) -continuous endomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q753945$E460BAEA-6D51-455F-B0E1-58ECB833FCCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443e796d30a9a7c10499432df73c84da618b03","datavalue":{"value":"domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q753945$B0E90F2D-8CBC-4302-B016-13F251A99FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2c121b69deecbecad46a17d0e2d94bae14f79e5","datavalue":{"value":"cartesian closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q753945$143B979A-A2D6-4EBF-8FB9-356CD8F06BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1574534d1810ad20ec282f1f1a59e29d1e01236d","datavalue":{"value":"natural numbers object","type":"string"},"datatype":"string"},"type":"statement","id":"Q753945$90D64E0E-868F-4F8F-A96F-F77A42C34022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03af4d6e076799c56c97892912c3831711b4e71b","datavalue":{"value":"\\(\\omega \\) -complete partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q753945$382690F4-ABBC-47F1-AFA3-5761D312FA0D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b1b74122c6aa7ae21165dde17a679367278501a9","datavalue":{"value":{"entity-type":"item","numeric-id":587743,"id":"Q587743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753945$46FCFAF1-A6D4-496A-B140-7CB9666ED8E4","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":"Q753945$A3879ECA-8F1B-4ACA-A1F0-73C3C9BA9056","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f865064fa7a8d6cf26267edbc8c78692cfbc22fb","datavalue":{"value":"https://doi.org/10.1016/0304-3975(90)90152-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q753945$B4AC912D-FB35-44A8-A1D2-FFD63DF007D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"757d908621e89e997061edd8afeed103bc0d4348","datavalue":{"value":"W2026298965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753945$B9A12AB6-8B20-461E-9A9A-C7928BC22ABA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e99f41142e6d56c13ef3a05fd3f9bb055e348","datavalue":{"value":{"entity-type":"item","numeric-id":3682648,"id":"Q3682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753945$0E3BBB9E-AC92-4E40-B0A7-54B7BBB5BF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa3c1f6c5208cbe85d065b63d195e43c8b24cb4c","datavalue":{"value":{"entity-type":"item","numeric-id":3795831,"id":"Q3795831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753945$A78DF1C9-2F2D-4DAD-9387-E433409AB123","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":"Q753945$B429C9EB-5274-4F82-8C85-4D644846F7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5598cf522edbbba51e11baa5b22dbc2fb83702e","datavalue":{"value":{"entity-type":"item","numeric-id":1813970,"id":"Q1813970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753945$A2240DB7-7FB9-49AB-8C02-81BF2119077C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c710e855a61cc8b7548a0edc8f8269daa05d811","datavalue":{"value":{"entity-type":"item","numeric-id":3353232,"id":"Q3353232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753945$8807BFCC-5B86-4244-B46C-2E12CD84043B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa9457bed3a56f290e2cc5291783aab1e7d8fd2e","datavalue":{"value":{"entity-type":"item","numeric-id":3216629,"id":"Q3216629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753945$3FB3B1DD-55F7-4475-8B85-CC1D0F4E1A5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c07b8520003a50a4a34298f384d9fd7ee48e47bd","datavalue":{"value":{"entity-type":"item","numeric-id":749648,"id":"Q749648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"032dfef6b94222f252912739d6628e05491155fc","datavalue":{"value":{"amount":"+0.9255816","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":"Q753945$519F8148-0F61-4C66-99EC-2214C8D75AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bbff95c1b0bed0e6103a4eabcd1acfd22d15c99","datavalue":{"value":{"entity-type":"item","numeric-id":2486008,"id":"Q2486008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55cb11a3a4aa94700ce10500b1c9cd2eda65ef69","datavalue":{"value":{"amount":"+0.92067707","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":"Q753945$D0097880-C5E9-4B71-A322-D211C2449133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05be75889219340750a7252ad12c7960aaa4f103","datavalue":{"value":{"entity-type":"item","numeric-id":5057473,"id":"Q5057473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1501b65f5369f8a0598f51d5aa34b4f77d33d615","datavalue":{"value":{"amount":"+0.918395","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":"Q753945$484B6126-BAB8-4E28-8D7A-DC7806F20208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e360565ea58d407716eeea08d8a930899e9af676","datavalue":{"value":{"entity-type":"item","numeric-id":4279245,"id":"Q4279245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c3d00f1326255c928576947837b9c2f929194f3","datavalue":{"value":{"amount":"+0.91332054","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":"Q753945$1AD97A81-D23E-43DD-9EEC-3C6967D29333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2930299a6a9f00cdf9092103a36291b0811f99bf","datavalue":{"value":{"entity-type":"item","numeric-id":2914814,"id":"Q2914814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae2378bec1a7c1742a4b90bed6d12fed70d318d0","datavalue":{"value":{"amount":"+0.9104448","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":"Q753945$E369A64C-120B-44E7-8113-4024A10B4910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fd2172811e43e46d01f55ba21ea8f44c8f3a2e1","datavalue":{"value":{"entity-type":"item","numeric-id":3812427,"id":"Q3812427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54949a147f6e8ac6d46993d0be36bfee7a965d3d","datavalue":{"value":{"amount":"+0.9097383","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":"Q753945$0A74C4EF-1BE5-43F6-9D9A-CB51CA7C577E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9012eb2d8909a4a4524e4df586e9cc62e16c2452","datavalue":{"value":{"entity-type":"item","numeric-id":3997287,"id":"Q3997287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e01d9b1a9547a6ed4ea97b8b78e45247ce5b5386","datavalue":{"value":{"amount":"+0.9097381","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":"Q753945$FB0C5E30-B35F-4FA5-832E-1C96B709BD66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b30d28864abb8c7d5cc5094f209e6f4fe57ddd6c","datavalue":{"value":{"entity-type":"item","numeric-id":3832739,"id":"Q3832739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68e22c0c9a84ce33d4f64138b6fb3691e8fdfd5c","datavalue":{"value":{"amount":"+0.90822846","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":"Q753945$F5731369-6DD3-4F04-860F-234B80B3A73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6119fa61c5d96a4b48aeedb994748d9572ac498","datavalue":{"value":{"entity-type":"item","numeric-id":4714248,"id":"Q4714248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee616f483f6f5e4128e11a2178ddd184ae339077","datavalue":{"value":{"amount":"+0.90819436","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":"Q753945$943A5A5E-9C0E-47DB-900D-EF71CB3C5096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ac524b29373bf5023842fac353da79816fdf915","datavalue":{"value":{"entity-type":"item","numeric-id":1948710,"id":"Q1948710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59c5fffbe84fa4bfc030b1dbec0101cf5a941875","datavalue":{"value":{"amount":"+0.907581","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":"Q753945$BB3DBD23-F1C8-490C-9C08-E4BC5554BA4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:753945","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:753945"}}}}}