{"entities":{"Q1575869":{"pageid":1586609,"ns":120,"title":"Item:Q1575869","lastrevid":67908990,"modified":"2026-04-12T20:09:00Z","type":"item","id":"Q1575869","labels":{"en":{"language":"en","value":"On denotational completeness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1495163"}},"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":"Q1575869$B6AF2696-89DB-4E3B-971F-6E519FA2EFA6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8fa097b5f6a23f5ed47b884094eb4db260d3bc6a","datavalue":{"value":{"text":"On denotational completeness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1575869$A301AD44-0ABD-4AD1-AD4C-AE3AD8D54708","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10c3d3e48e4001b1a9e2dedb6755890dd7e6b0f4","datavalue":{"value":"0959.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575869$6EDCE964-DFBA-4B5D-BA70-7699DC1FDE12","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9829fa6ff2dedb033d8ad7d9b05bc75a51ea2e83","datavalue":{"value":"10.1016/S0304-3975(99)00055-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575869$E173BD3A-A0F6-49B2-B59E-C06800C0AED9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d6b929913024f5e29c5ce062084dc3d0e1a3509","datavalue":{"value":{"entity-type":"item","numeric-id":534693,"id":"Q534693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575869$D8F5C689-05E9-4214-A25F-BF53F49838E2","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":"Q1575869$7A7BFD9F-D811-4DDE-ABC0-59A4A62DEB72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b75bb4814c2bf285f873da0d0a308eb99ddd7a4c","datavalue":{"value":{"time":"+2000-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1575869$E5A0DEE8-E8D8-4180-879D-68DBAB8033A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575869$86D074CF-D5B7-4826-85D7-6055531E635C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575869$D62C476C-7EAF-4CF1-87F2-AFF3B82718FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e816ca03560334cfabc5454736137e9696d0e176","datavalue":{"value":"1495163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575869$2B3A4267-D35F-4D5C-95A4-D73446E2DB72","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d54771bfe51e9d10f494511c79abbe7d90cd697","datavalue":{"value":"semantical completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575869$8C43DC32-3324-439A-B1EB-3C5D70BFBA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575869$E8B880C4-7BDE-4979-BADC-7DEA526B60E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575869$C98109AC-6A93-4C8B-BD50-616B07C310B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f4e171e5dd1221112c43de55a1f1ca0b398a691","datavalue":{"value":"coherent spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575869$3C21A108-523E-4EFA-BDB4-DCA782BEA4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c017395189070063d2b1b36bf74c726651da9b06","datavalue":{"value":"commutative Par-monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575869$778A94A7-7268-49C0-800E-7BB6E7A742FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"225d88ebd758473304c100012a9f98ba9e3f1957","datavalue":{"value":"essential clique","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575869$50379FAE-0E2C-411E-B75D-AA6A957362FE","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":"Q1575869$E3329317-F22D-4150-82F4-DE72FF33F2D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e24124c6549167154d9b05d6b50277121676fd4e","datavalue":{"value":{"entity-type":"item","numeric-id":4499219,"id":"Q4499219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2481d1254a08a1297d6fad4be1ba2a0ce5b160bb","datavalue":{"value":{"amount":"+0.96726024","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":"Q1575869$07FA0796-3B92-4755-B0F2-A8EAC40357FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45e95681a63ce06800af8cae0ca04eed30d97fcf","datavalue":{"value":{"entity-type":"item","numeric-id":4222828,"id":"Q4222828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b18efe6c5f2c6fde2376368712d3bbd2c08768c0","datavalue":{"value":{"amount":"+0.9323739","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":"Q1575869$4A9EDD5A-8E00-4D67-9243-F5A4FEB91DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30ebb6b573aa0b610753c12bd1fa15c44d50f035","datavalue":{"value":{"entity-type":"item","numeric-id":5864208,"id":"Q5864208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23055b0988896cc5122cb9e6f48ddb77f6109b03","datavalue":{"value":{"amount":"+0.9145563","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":"Q1575869$5D27649B-B969-47E3-B19A-520F31553402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22eed11b0b0c9c9ec9c7b273fbd8edcda3ada453","datavalue":{"value":{"entity-type":"item","numeric-id":4397034,"id":"Q4397034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edb016bffdfd266d20dc68856b09ccd04c1f66f0","datavalue":{"value":{"amount":"+0.89704084","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":"Q1575869$0A808869-D5F5-4937-8373-190664347086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb4312be99e1412b078d44e6ef99955db0de6a43","datavalue":{"value":{"entity-type":"item","numeric-id":3086771,"id":"Q3086771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb89337abdffcaab2f20ae55f967c2071aae398a","datavalue":{"value":{"amount":"+0.8962624","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":"Q1575869$13EDDF7A-B754-44F8-8341-83152294D6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59e9124ab0c0ef67b95ab8ab3037041ca69d44b4","datavalue":{"value":{"entity-type":"item","numeric-id":1318282,"id":"Q1318282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91c2d6baf32daf89415390ac6cbbf07b161a51c6","datavalue":{"value":{"amount":"+0.8938797","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":"Q1575869$1ABC3AED-39CC-453A-B6E1-DE2499B15613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd99d5f9c37edc8c2a2bedd308f550d100da5d98","datavalue":{"value":{"entity-type":"item","numeric-id":4793765,"id":"Q4793765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d1949774aa8d3c921980d3af44887569fd9e2ba","datavalue":{"value":{"amount":"+0.8924804","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":"Q1575869$D13F8A77-2F52-461F-9193-7E2E05B02EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0086ad137200c1e13e80fd6d0be25438baa0abfb","datavalue":{"value":{"entity-type":"item","numeric-id":5052010,"id":"Q5052010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96d105bc5681e8b708b276a3543717cd91a9401b","datavalue":{"value":{"amount":"+0.89211226","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":"Q1575869$30230675-EA1A-4F8A-AB6C-FB93BABBD497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c62a281a00c4338212ed8d7be5a060bdf31c3da5","datavalue":{"value":{"entity-type":"item","numeric-id":5193044,"id":"Q5193044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b4c3a59fbfb65c29379bdaf479065ea42809079","datavalue":{"value":{"amount":"+0.8914078","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":"Q1575869$49567A07-933C-4694-BFAF-E49F65752CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83ead3e2b92a9f461f79f5c2c83decd4a5bbf11c","datavalue":{"value":{"entity-type":"item","numeric-id":4660567,"id":"Q4660567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ade4549e2eddc066de6dabc9bf1e3dcea683f052","datavalue":{"value":{"amount":"+0.8911018","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":"Q1575869$F247E81C-7FB2-444E-9935-CE9EBA8EA457","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On denotational completeness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_denotational_completeness"}}}}}