{"entities":{"Q2319341":{"pageid":2330084,"ns":120,"title":"Item:Q2319341","lastrevid":73689690,"modified":"2026-04-14T16:55:37Z","type":"item","id":"Q2319341","labels":{"en":{"language":"en","value":"On 0-complete partial metric spaces and quantitative fixed point techniques in denotational semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7095559"}},"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":"Q2319341$5194C7EB-9250-422E-AC85-9CE00F6C1C96","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc553f7e6caae3b52122587774f493c1423c99bd","datavalue":{"value":{"text":"On 0-complete partial metric spaces and quantitative fixed point techniques in denotational semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2319341$09275B94-6B06-4BD6-BAA1-E98B75A6A1FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"507c1194067329c5aa926f179f6cdbecad189a7c","datavalue":{"value":"1470.54112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319341$B39CCA33-7EA1-472A-8C76-6EFE5A6B22A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6480f7720636f74942970b0c8367a3ab8914238","datavalue":{"value":"10.1155/2013/985095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319341$3C0E1A68-8ED2-4964-B31C-17B018401C12","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7cbd71c775b9fd4797b0a2e0e048835167bbbbd","datavalue":{"value":{"entity-type":"item","numeric-id":184947,"id":"Q184947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319341$A6C6E49F-0CCC-4EC0-B6DF-3B3EC2565B84","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":"Q2319341$41AB111E-5F6A-4D44-AA37-307DBD746356","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d57614e948fd3618212cc11761c25c64d9f566a6","datavalue":{"value":{"entity-type":"item","numeric-id":162718,"id":"Q162718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319341$BDFE68C0-5317-474C-B4F1-1FB0C592C3BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db92a5a084a50be9bc08381a8639d63f1d75e1c6","datavalue":{"value":{"time":"+2019-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2319341$FF86B4BA-EC15-4399-9D75-623FAB011015","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"54ae68ce1360605429cc34fb98d126605579abdf","datavalue":{"value":"Summary: In 1994, Matthews introduced the notion of partial metric space with the aim of providing a quantitative mathematical model suitable for program verification. Concretely, Matthews proved a partial metric version of the celebrated Banach fixed point theorem which has become an appropriate quantitative fixed point technique to capture the meaning of recursive denotational specifications in programming languages. In this paper we show that a few assumptions in statement of Matthews fixed point theorem can be relaxed in order to provide a quantitative fixed point technique useful to analyze the meaning of the aforementioned recursive denotational specifications in programming languages. In particular, we prove a new fixed point theorem for self-mappings between partial metric spaces in which the completeness has been replaced by 0-completeness and the contractive condition has been weakened in such a way that the new one best fits the requirements of practical problems in denotational semantics. Moreover, we provide examples that show that the hypothesis in the statement of our new result cannot be weakened. Finally, we show the potential applicability of the developed theory by means of analyzing a few concrete recursive denotational specifications, some of them admitting a unique meaning and others supporting multiple ones.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2319341$B7E61100-0864-4224-AD76-5E707F65AF12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"be4cd99f0aaa2688661b2002577944d759906919","datavalue":{"value":"54H25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319341$057F4C29-28CF-43C5-BAAB-49B4D0D12C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319341$7F64090E-AE47-4830-B105-8F0B5E8EB101","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55af813c29cabb742e2e6bc535bc505b2cb96aa0","datavalue":{"value":"7095559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319341$99AA2F75-0ECA-4D4B-8BE6-69390D9BAA7B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c80f39e8863549326d04fc3d5812a11ba38d4caf","datavalue":{"value":"Q58917851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319341$28ABB0FE-E499-4278-9D66-4CE1931CFF87","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":"Q2319341$E896193B-4277-42C5-AF2B-6B295FFA5CD7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f64e0bd996d60ef27113a336c3d4f6e9e66caf7","datavalue":{"value":"https://doi.org/10.1155/2013/985095","type":"string"},"datatype":"url"},"type":"statement","id":"Q2319341$E551CD2C-6C3A-4662-8421-B9F9877E8473","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"415ca99092d125878d89dd22139c26b7ef619090","datavalue":{"value":"W2009579760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319341$55F0C074-83FE-4523-AB68-1BCD949E29F2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f894835a06dff0f50849bd4ff97552acc97d9b5","datavalue":{"value":{"entity-type":"item","numeric-id":3853124,"id":"Q3853124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319341$41A89384-431C-4232-AEDC-C9AB2D9D68C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319341$A25ED1C6-0B8B-45C3-8F8C-750DBA8082F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"006b8adecb513622090da5fdb35cca1c10fb27fc","datavalue":{"value":{"entity-type":"item","numeric-id":4222778,"id":"Q4222778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319341$9575E249-E4A7-4587-B476-B31BFF3C9E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319341$DA659ACE-A191-490A-8D96-2B57A452DD45","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":"Q2319341$90221D86-8133-4255-8622-2F6F9801B19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abdae267994926cf7b56d40947a7223a6fab0f2b","datavalue":{"value":{"entity-type":"item","numeric-id":2881011,"id":"Q2881011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319341$EDD42845-B120-4879-A4EA-E00C22B82CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d268c777f080393e331d908adc4d00aa405e7c9f","datavalue":{"value":{"entity-type":"item","numeric-id":2252670,"id":"Q2252670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319341$8C9735FF-D3D9-4986-B9FD-87BF6C7FEF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6233ca847e6796b858a03a9246e79238cbfa06d7","datavalue":{"value":{"entity-type":"item","numeric-id":4376045,"id":"Q4376045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319341$8B63DC09-D64F-4321-99A0-3C5F315DE41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69015927e412fc12323819aee166235fd89b4e7b","datavalue":{"value":{"entity-type":"item","numeric-id":692921,"id":"Q692921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319341$487221E7-BEFD-432E-B9D0-05E8E24EEBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b6809fdb994c3dbad10a8d9d4c66bcb1679c3d","datavalue":{"value":{"entity-type":"item","numeric-id":1306708,"id":"Q1306708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319341$7E163D48-0BEC-47FA-8255-2F68BA8EA961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6c40d64d8e9dcd4fceb6011d51187ba4b800ea1","datavalue":{"value":{"entity-type":"item","numeric-id":4373431,"id":"Q4373431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319341$425B5805-9B4A-49D8-BA71-F0104D92B3C6","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":"Q2319341$87DD1304-E55E-45AE-A4D6-04C1BCC5C0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acb0ab97acbf670952b55cb3bc13a962510d9b21","datavalue":{"value":{"entity-type":"item","numeric-id":5891574,"id":"Q5891574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319341$3323BB49-F063-473A-93E1-94E9F679361E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1860b5bf7a6b48f8162debf522f1bcecb21b2cdb","datavalue":{"value":{"entity-type":"item","numeric-id":3636910,"id":"Q3636910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319341$D2015BEC-E600-4457-8CF9-DD24D830963D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89c4d8b07ccaa00380c184fc8d17a3dd75d5d132","datavalue":{"value":{"entity-type":"item","numeric-id":3564344,"id":"Q3564344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319341$3554EB93-0229-48CA-AF00-A53E611C57D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b950a648be7eb8df8a4837bbe3c43990db57828c","datavalue":{"value":{"entity-type":"item","numeric-id":1427788,"id":"Q1427788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319341$100BC1E0-B1FE-4414-9A1E-E5FE7DAA8852","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":"Q2319341$F1ADBE7B-9F72-47BE-A14F-20FD4F97E6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f045e6bcbb3e84f75cdb218641f6c2059ab17a7a","datavalue":{"value":{"entity-type":"item","numeric-id":671995,"id":"Q671995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319341$534B29E4-4381-46A1-8B02-3386827C41FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc5e0219ffed5fc4019434bf9dbe7c40c95e36c1","datavalue":{"value":{"entity-type":"item","numeric-id":1935063,"id":"Q1935063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319341$649B35DF-C2A2-49F0-8461-AF7F8C03E092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a0b0dd91df675ad8228271c18a4300f7f1b5876","datavalue":{"value":{"entity-type":"item","numeric-id":385690,"id":"Q385690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319341$EC0F7584-16D3-4A4F-9A5E-94FF2EB9F1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a95b24e5ec23091beee8b71bc042e145e2de025","datavalue":{"value":{"entity-type":"item","numeric-id":623555,"id":"Q623555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319341$37BF3B20-8A2A-4DDC-8724-2981A0FB3A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79eaa16a648566e0c20d611889f53eaf344e4ba4","datavalue":{"value":{"entity-type":"item","numeric-id":368398,"id":"Q368398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319341$CC568E6D-FA42-4060-BA73-FC64229C2230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b247a3df628058237338bc006b56cc1c6ddd223","datavalue":{"value":{"entity-type":"item","numeric-id":441421,"id":"Q441421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319341$A6927D31-E6C9-4E5F-B8AD-6AB81D2FBB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8212ad5715ffc2a9e57812d7f53320444d0406cd","datavalue":{"value":{"entity-type":"item","numeric-id":375408,"id":"Q375408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319341$C4D407A6-CF4C-455F-ACB7-2DFD8A25B007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"434021ae1ce40992fdcb0b2ca3d2511f691f84b7","datavalue":{"value":{"entity-type":"item","numeric-id":425414,"id":"Q425414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319341$2D5F21AB-623D-4356-A251-094B7C2E409C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40e6d0deefb8398a9afe9e10b1819ad3d418296e","datavalue":{"value":{"entity-type":"item","numeric-id":540278,"id":"Q540278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319341$A1664D6D-75AC-4B9A-8FE3-B5624B1657BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e3613ca6c61a6ad237953da01bd1248e838ef7","datavalue":{"value":{"entity-type":"item","numeric-id":1930998,"id":"Q1930998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319341$783C0F30-B108-4599-9CB9-BA3C261F9B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0595408dafd46a5bd94e1b7736a1eccb800bea6","datavalue":{"value":{"entity-type":"item","numeric-id":5716726,"id":"Q5716726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319341$E6F702F5-B092-49FA-B408-9DA47FA82E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92234aeefda0a4c2177f4fd120729cd903e4594f","datavalue":{"value":{"entity-type":"item","numeric-id":649814,"id":"Q649814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319341$44941889-98B5-4FB7-9A59-242993DC38CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4da2d55a7d5fe22fd3036b61c78dda6cee94bf3","datavalue":{"value":{"entity-type":"item","numeric-id":3638673,"id":"Q3638673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319341$BBA563EC-933F-453D-9AEA-A150EFAC1F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6bf375f83ab42d82ff0d22a6f6865830eb590b2","datavalue":{"value":{"entity-type":"item","numeric-id":3376452,"id":"Q3376452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319341$C8B4AF9F-477C-4AA0-A3E3-3F59FD3B1339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7662b5735b32817d95622075b0e896a7f4a6220b","datavalue":{"value":{"entity-type":"item","numeric-id":3539342,"id":"Q3539342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319341$93BF849A-19ED-4352-9F0F-BD4E1CA8CFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a8d813fd4a33b39000e97f58966abe7a913630","datavalue":{"value":{"entity-type":"item","numeric-id":1807591,"id":"Q1807591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319341$8D67100D-BF0E-41FF-AF7B-EF6AB97BF542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c039c1a30cf765d0de498d9047201d20839c09f","datavalue":{"value":{"entity-type":"item","numeric-id":2569761,"id":"Q2569761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319341$16B6F71B-9F0D-4BB4-99F4-0D1FCB8CE3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf3c05b724e3efbdaec27e4fc7d5ed11bcbb1172","datavalue":{"value":{"entity-type":"item","numeric-id":3075664,"id":"Q3075664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319341$BA2AE2E0-CC70-495A-A3D3-9E65C16FBCC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88432032f78480a27c35064e0dd0dc1cd8ed0888","datavalue":{"value":{"entity-type":"item","numeric-id":1939201,"id":"Q1939201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319341$863B2C2E-17C6-4EFC-B5ED-E950B31C51D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa29ea6e4c2472e088e5a4872adab6c6de9303bf","datavalue":{"value":{"entity-type":"item","numeric-id":1185093,"id":"Q1185093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319341$6BDC4301-48F7-45D5-B115-4806427C886B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b58947cb7a079bac0db1d082fc9f925471e0be3","datavalue":{"value":{"entity-type":"item","numeric-id":4023828,"id":"Q4023828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319341$3CAC6918-FF2B-49A8-9B85-03F232E37B6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efeec8c6a2c2dbefe3db72e9564f83d4c6a8e344","datavalue":{"value":{"entity-type":"item","numeric-id":668250,"id":"Q668250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3d74d2d6b64ce962caaa48113ae7385da6abd90","datavalue":{"value":{"amount":"+0.8405830264091492","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":"Q2319341$DD288EC8-05AE-431A-9397-5534741F85FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"857c0e07e18a1704ae5eb378d6bdee9386d162c4","datavalue":{"value":{"entity-type":"item","numeric-id":395232,"id":"Q395232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8978cad208ed47c06dacaee7703303df5ecbf40a","datavalue":{"value":{"amount":"+0.8242397904396057","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":"Q2319341$0FD542DB-3C9C-4857-9983-99DB03925CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a14847b779b6802749eb3b40c81d9fad37df04d5","datavalue":{"value":{"entity-type":"item","numeric-id":2252670,"id":"Q2252670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bab6bc0afd5501731ba164ebe60fa2bdbe31ed5f","datavalue":{"value":{"amount":"+0.8231842517852783","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":"Q2319341$B3C4BFC8-ABF9-4795-85DC-92838E036BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1be733f82c45a5bd1391d2c38495813d8e20d23a","datavalue":{"value":{"entity-type":"item","numeric-id":5716726,"id":"Q5716726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8be9295395e047a8245ebfe5e68e642e739624f1","datavalue":{"value":{"amount":"+0.810566782951355","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":"Q2319341$0113DC87-7551-41CF-B992-991BA5D423FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c056dceab5f74ad5f3dac60abb769e2074b600da","datavalue":{"value":{"entity-type":"item","numeric-id":5496413,"id":"Q5496413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbc029d8aba40b1c8e824303b6838ddd7c791e85","datavalue":{"value":{"amount":"+0.8033021092414856","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":"Q2319341$7F1CCF83-9EC3-46FD-A14E-4A0C24C7C77D","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"daf5f856a5d861312ad309ab567540337a5f61d6","datavalue":{"value":{"entity-type":"item","numeric-id":57050,"id":"Q57050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319341$B879C606-844F-4EAE-92B6-EA86055D1677","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On 0-complete partial metric spaces and quantitative fixed point techniques in denotational semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_0-complete_partial_metric_spaces_and_quantitative_fixed_point_techniques_in_denotational_semantics"}}}}}