{"entities":{"Q1295293":{"pageid":1306043,"ns":120,"title":"Item:Q1295293","lastrevid":43010011,"modified":"2025-07-16T20:49:35Z","type":"item","id":"Q1295293","labels":{"en":{"language":"en","value":"Denotational models for programming languages: Applications of Banach's fixed point theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1307993"}},"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":"Q1295293$473ABA86-3F4F-44DA-8BDB-FDBC90531A74","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94fc382cff57624b91dc35022410a22fe9c12f7d","datavalue":{"value":{"text":"Denotational models for programming languages: Applications of Banach's fixed point theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1295293$2C4AA9C6-19EC-4A70-9CD6-05A8F5DBB4C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb67be344741bc3f6ac616c54e75c6f0ce1b3ce6","datavalue":{"value":"0933.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295293$D3E88C52-2CE8-4CD5-89A8-113643A669DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fbd52593fa302d5798d3ae113d0f998526677dc2","datavalue":{"value":"10.1016/S0166-8641(97)00140-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295293$7B5DF182-606D-47EB-9581-A26CB50EFCB2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a570112bd3074b9470b5a0d571863e20309ed27c","datavalue":{"value":{"entity-type":"item","numeric-id":789889,"id":"Q789889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295293$C5B1C201-3CDB-4263-BE38-33026885F448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24a50c23c3978492e58521f1c41f776352eabb0d","datavalue":{"value":{"entity-type":"item","numeric-id":541684,"id":"Q541684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295293$4D15AEA6-1232-40FD-8F27-E9BD9B951726","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295293$A7DB7F42-263D-443E-A842-4CF4D30CE7F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"991e475abd37be734cb0d7a05f99118046b2fc75","datavalue":{"value":{"time":"+1999-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1295293$381610B4-20A7-465A-885D-5EEFBD0A90B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295293$4599676E-00A6-4DD7-914D-FD51BDC971B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295293$3F5EE15D-21DB-451F-8045-3E78E21C39E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295293$C9D57FDD-C79C-47CD-8824-E8E8CBAEF2DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d3685b56133c324274c21edd127daea3fcbe7ff","datavalue":{"value":"1307993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295293$4CD69DD5-DFAE-4F41-91E8-5B72383DF523","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":"Q1295293$7E659E71-BB03-4E9D-9411-AF595E6E2983","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ed20ac2b82505e98bc5c4af30c3293334f3d3a1","datavalue":{"value":{"entity-type":"item","numeric-id":3698292,"id":"Q3698292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295293$218E18A2-879B-4BC8-8D1D-6876AB3A4703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b159f74ed2c8fbb9ab9a5766a2be48bdac6241b","datavalue":{"value":{"entity-type":"item","numeric-id":4003187,"id":"Q4003187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295293$A90C9DBD-41D0-4918-B777-846848647F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ab4ee3ee8ef05ab2de5721210c2223252774bf","datavalue":{"value":{"entity-type":"item","numeric-id":753944,"id":"Q753944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295293$36CED86F-54D7-40AF-9485-CC140FFC1388","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":"Q1295293$709BC74E-98EF-4C79-8FDA-902CA6F28576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac796153c4e11c5b4f023b3b9d7021d53122ce2","datavalue":{"value":{"entity-type":"item","numeric-id":4746777,"id":"Q4746777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295293$D3ABD4D2-AA0C-42DE-A35F-5620E16AB4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6af56092ac7d59558df3b0b65c04aeb844b4c18","datavalue":{"value":{"entity-type":"item","numeric-id":1341758,"id":"Q1341758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295293$345A61BB-5DCB-45FB-AFA8-BE20B8142B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10be44b382ceb44eaafeb4044db6f2b193dbf650","datavalue":{"value":{"entity-type":"item","numeric-id":3907039,"id":"Q3907039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295293$935127C4-5CDB-4C29-A517-8223F2347B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d970d5073ac838cac148b1cf627c77e02a2b90d","datavalue":{"value":{"entity-type":"item","numeric-id":919834,"id":"Q919834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295293$7725DE26-9325-4AA9-9DD8-CBA2A592FB45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7576a6c74e20f889070981f0f9d0a3a9e2ea8646","datavalue":{"value":{"entity-type":"item","numeric-id":3236794,"id":"Q3236794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295293$5923901F-35F4-4AAE-89F9-842AF9F69BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d51b5d0db40d75b67412f6dea1f24c565d22aa3","datavalue":{"value":{"entity-type":"item","numeric-id":1173767,"id":"Q1173767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295293$392B6398-B5EA-4E1D-8945-28B337468775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbbece7571be501a7c5bea5b915e00289f365146","datavalue":{"value":{"entity-type":"item","numeric-id":1109561,"id":"Q1109561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295293$C054AB6E-B34E-4FAD-8862-2784878A4965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295293$76D01F94-A64E-42C1-9F93-EB6107421105","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77098cd42652c5660a502cac3a7d5e373a4abaab","datavalue":{"value":{"entity-type":"item","numeric-id":5459745,"id":"Q5459745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2652f39c3ccc9e50568efab530092a8862b271fc","datavalue":{"value":{"amount":"+0.895708","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":"Q1295293$D695CF03-5CF6-4661-A266-793586EE9063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3974290fb3d3bbaefc513725b73130a2fb849819","datavalue":{"value":{"entity-type":"item","numeric-id":4222772,"id":"Q4222772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"937f97f8fa640f1f0972161a248d6ee21949145a","datavalue":{"value":{"amount":"+0.8618933","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":"Q1295293$7CFA9F5D-C04D-49F3-80F2-0F5173A8F241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62ce0bd2d94f5dcabb3fcba38fa09dfaa25e8dd7","datavalue":{"value":{"entity-type":"item","numeric-id":4737893,"id":"Q4737893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"054ebcf7c9e561d02b742bf60176e1580856e338","datavalue":{"value":{"amount":"+0.860759","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":"Q1295293$6F79A9D4-EE87-4EE7-8EBB-A47A9BAEDEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d1cf6f997f5d1f24369f506178cdf72861ead29","datavalue":{"value":{"entity-type":"item","numeric-id":1376090,"id":"Q1376090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6a7546541f87dd66b3fef11267977bc35e29b8b","datavalue":{"value":{"amount":"+0.8573117","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":"Q1295293$5BD1E2FF-8734-4198-83A3-3C54023D9C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7236c5a20991dfd807683a6c904130459f5d96ef","datavalue":{"value":{"entity-type":"item","numeric-id":1907780,"id":"Q1907780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70dfb2b2becca6fe47193c77f01386568cbd79e5","datavalue":{"value":{"amount":"+0.8573018","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":"Q1295293$17E81C6C-B9B6-4D1E-A582-8DE142C5C2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed3b7d199397ca90b2d07f0696e26ef60c0a5c7","datavalue":{"value":{"entity-type":"item","numeric-id":4239469,"id":"Q4239469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"274ff4040481562f01b64687d9ab1523b1480374","datavalue":{"value":{"amount":"+0.85541636","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":"Q1295293$39B8EFC8-403F-48AD-9831-833C6932CD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f4a1f816d498c2c2c1845ca744f36824b04fda","datavalue":{"value":{"entity-type":"item","numeric-id":3709889,"id":"Q3709889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63fdb831de88395375ce286bf6d56d985c478d95","datavalue":{"value":{"amount":"+0.8546169","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":"Q1295293$190CA88E-049C-4632-A313-F07E8F6881B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09d941a9ad893651050a6a9eee0d15e0c81385c2","datavalue":{"value":{"entity-type":"item","numeric-id":4522757,"id":"Q4522757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15713a56dcfcadc7fd27f62d70d0ee8a5fdf9d23","datavalue":{"value":{"amount":"+0.852105","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":"Q1295293$306364CC-65C9-41C3-BB79-B4BC66DDF07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a88375ca395ccae29fff71b4549ad8a81bb2cd38","datavalue":{"value":{"entity-type":"item","numeric-id":3766805,"id":"Q3766805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c3b9c1591fea2ce87c2c96265cd52fb50c23d7e","datavalue":{"value":{"amount":"+0.8504462","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":"Q1295293$5D7123B9-1E60-4DDE-BDD0-35FDD166406C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40ec6c6bbdac68ce0c1366503b8a515afaa85549","datavalue":{"value":{"entity-type":"item","numeric-id":1059999,"id":"Q1059999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0758cf7126ecd97a698d0a75a443b95b55866acf","datavalue":{"value":{"amount":"+0.8481643","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":"Q1295293$6A52F2C8-C796-4078-BA27-555F7107EB9A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1295293","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1295293"}}}}}