{"entities":{"Q5459745":{"pageid":7489304,"ns":120,"title":"Item:Q5459745","lastrevid":50347655,"modified":"2026-01-13T21:06:07Z","type":"item","id":"Q5459745","labels":{"en":{"language":"en","value":"Denotational semantics for programming languages, balanced quasi-metrics and fixed points"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5270135"}},"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":"Q5459745$2C70AB00-6D4B-4561-9931-696EE59A656E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27654efd15716de8585f452ec0061cb3674f7d44","datavalue":{"value":{"text":"Denotational semantics for programming languages, balanced quasi-metrics and fixed points","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5459745$DC21DE42-6823-49EF-A605-3B3EDEDA6AD9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29499cb46ba147e984bdf7c9c41c7bcfca31cd97","datavalue":{"value":"1146.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5459745$EA757AD9-5436-48B2-95D5-583C28BB6780","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a5907a3ee8a143073c17d6c70161510f3820d2f","datavalue":{"value":"10.1080/00207160701210653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5459745$BFCA1C95-6C8C-4EE9-81DE-C1A8C7419DCB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7887f4e5dc25fa30c049679913bde5b98bd46302","datavalue":{"value":{"entity-type":"item","numeric-id":416439,"id":"Q416439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5459745$EC880CFE-C6C0-4081-A71A-BC8DF74CF546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"61dfdbe28352e39273102969764010e51381382a","datavalue":{"value":{"entity-type":"item","numeric-id":266306,"id":"Q266306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5459745$7EA60977-B716-4064-8DFB-178ED5813087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0086a0074bf9d0ca5da7baecd3f9c993c7842dee","datavalue":{"value":{"entity-type":"item","numeric-id":269978,"id":"Q269978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5459745$52407BD8-E9D8-4166-9A0C-6A0204C9312C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1f8a1cf422dc8a39955e3a7180ef4ce8229538d6","datavalue":{"value":{"entity-type":"item","numeric-id":2710741,"id":"Q2710741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5459745$F929BF27-B95E-4B63-8259-E845D10E5A1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"556750df24c21153fcb785f7068c27ffbf372e44","datavalue":{"value":{"time":"+2008-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5459745$DA50ED45-A861-4369-8D21-2FAD8F0FA5D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5459745$CCBB7670-152B-4608-BBF6-59A76466ADA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5459745$6EEA8D6F-FCFB-44B9-A772-4A31169D799D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5459745$A24A49F7-E277-40B2-95BD-2887DA1FB97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9934057d10323980704e6b94db4ebac54a6fd5ff","datavalue":{"value":"54E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5459745$5E055AD7-C3B0-4DCC-96C8-142E6B7C3589","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b167008884f44e0107aded59c28f54ff40d123b","datavalue":{"value":"5270135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5459745$995D8116-45B8-4DB3-A1B0-7C54DF89D49F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5459745$9CD604E8-5BF4-4B61-8DFF-F01EA84E878B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c5277aa263c11d753bedf025e603f92ca414dca","datavalue":{"value":"Baire metric","type":"string"},"datatype":"string"},"type":"statement","id":"Q5459745$6916057F-05F5-4867-97DB-3F67BB7A3AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"046a53731cd421c919e031790a90600a87989432","datavalue":{"value":"balanced quasi-metric","type":"string"},"datatype":"string"},"type":"statement","id":"Q5459745$6CB67568-8767-496B-95AA-3BAD18680C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2f5523637741b4dc23168bd542af6481b386f92","datavalue":{"value":"domain of words","type":"string"},"datatype":"string"},"type":"statement","id":"Q5459745$355DDE43-34F1-4E68-9E0B-82ACB710AE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8df144eb65e2e180d71b01ce64f882ad106c0f7a","datavalue":{"value":"recurrence equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5459745$8CF73D7E-67B8-4017-80F0-05267C51C9E6","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":"Q5459745$3D3E13A5-0990-4648-8ADD-0BC4BD8AE5D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d43817643cefd9f8e8d22b338892b66e50af5d70","datavalue":{"value":"https://doi.org/10.1080/00207160701210653","type":"string"},"datatype":"url"},"type":"statement","id":"Q5459745$73140D7F-9CB4-478F-936E-7CB12F003246","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c9639eb642fd042f37d6d9227e297c647539614","datavalue":{"value":"W2068718645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5459745$9C40CC86-DE97-4007-B42E-DB63698DCB3C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eece21ee5f735c2580a17912d99a0d76651b555","datavalue":{"value":{"entity-type":"item","numeric-id":4348453,"id":"Q4348453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5459745$5EFE3E28-3081-4FF6-987B-047D6A30AC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0759fc85373bb23ed9bfa8dbe3c6f4db309f2fa","datavalue":{"value":{"entity-type":"item","numeric-id":4373409,"id":"Q4373409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5459745$C2CF2846-90EC-425D-867B-E6FF82C8AE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b3a19501ea09b85cb37c7acf7e18ea9d4710e5a","datavalue":{"value":{"entity-type":"item","numeric-id":1295293,"id":"Q1295293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5459745$9A6529CA-575E-40B8-B1D4-AF7523166A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac2fbc634fbdb9d77466cdaa19f2497c66ba7c3b","datavalue":{"value":{"entity-type":"item","numeric-id":1410673,"id":"Q1410673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5459745$94BCAC7A-1F45-4236-9272-FE182ACC3CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"243ed6f1bbf9fe5996d19f8f7f1b87de1e93d7a2","datavalue":{"value":{"entity-type":"item","numeric-id":4228829,"id":"Q4228829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5459745$2E7142DD-889D-4B95-AD11-CB7C90C55C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"150a27d99e3a1ee9292e51bdc4c3e2252f6c79b8","datavalue":{"value":{"entity-type":"item","numeric-id":818425,"id":"Q818425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5459745$9973DD53-ABE5-43CD-A532-1B6BBA186760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4613a628f7e118132e06f856df7607e5c8c1898c","datavalue":{"value":{"entity-type":"item","numeric-id":1826629,"id":"Q1826629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5459745$35A46EBD-7A77-4617-9A8B-BE3B0BC85CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cf4b3fbf7bb34dec9ef45add591e72af3e074e6","datavalue":{"value":{"entity-type":"item","numeric-id":3966761,"id":"Q3966761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5459745$0761AD5C-5DE2-4F7E-851E-CB5334E8B216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08edf625e55acc1a5cfdeaa58ff46aa0b1abd860","datavalue":{"value":{"entity-type":"item","numeric-id":4371050,"id":"Q4371050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5459745$448F9621-699A-4AA6-B121-280335F40978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"974073ad74708f0e3b23675014db48b2b7e11583","datavalue":{"value":{"entity-type":"item","numeric-id":1404910,"id":"Q1404910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5459745$7DDFBFE8-2318-4195-9156-86DCF5FEBAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8990941b259db495daa16a6202621e17a1be3d23","datavalue":{"value":{"entity-type":"item","numeric-id":1118196,"id":"Q1118196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5459745$916788BB-3EA9-44F1-AB83-DE7A383A9B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9814641c2e7b80c801be28de352639a0bbd26bdc","datavalue":{"value":{"entity-type":"item","numeric-id":1157805,"id":"Q1157805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5459745$8D802231-2989-42F9-AD4C-C4499B39EC91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f59c7119edbc36b50f72d8f1853f74b7a96b84d7","datavalue":{"value":{"entity-type":"item","numeric-id":3618612,"id":"Q3618612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2957f5f2e515db13c32efb6d5bc92184c71c2ba0","datavalue":{"value":{"amount":"+0.7581794261932373","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":"Q5459745$9AC11EB6-2649-4494-9027-E38BCD6FDEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab636b1a612b03a0a68b2f0664e093baa33dd702","datavalue":{"value":{"entity-type":"item","numeric-id":1295293,"id":"Q1295293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4800a59f68098d844b6045cb7011537c73441c78","datavalue":{"value":{"amount":"+0.7561079859733582","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":"Q5459745$276E58F1-B881-4DC5-B8CB-7C5FBE7B40AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93e9821ce8eac759c87aeb3ad420cc4873acc3c2","datavalue":{"value":{"entity-type":"item","numeric-id":886315,"id":"Q886315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9faa680bc20d927ea638256043c6149a3e545632","datavalue":{"value":{"amount":"+0.7446084022521973","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":"Q5459745$4F1DAEA2-A184-430E-8097-B214812786DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eb4375d77f2f88e747397bc2e8c52321dd00e3a","datavalue":{"value":{"entity-type":"item","numeric-id":2319341,"id":"Q2319341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dc83b095a135d0b0e1adf4e399bf854c5c6697c","datavalue":{"value":{"amount":"+0.7382346987724304","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":"Q5459745$686A7D0A-3D00-437E-A2E5-98ECD4F8652C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"918a06bc1df55e268bff514cbc76482648f22688","datavalue":{"value":{"entity-type":"item","numeric-id":3643150,"id":"Q3643150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69f3b6b6f0faa7fb813524a880db71323d4d29b5","datavalue":{"value":{"amount":"+0.737171471118927","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":"Q5459745$A92C207E-0007-44B4-8EB9-95D8E5D40FA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5459745","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5459745"}}}}}