{"entities":{"Q3415205":{"pageid":3425908,"ns":120,"title":"Item:Q3415205","lastrevid":46173016,"modified":"2025-12-23T20:15:25Z","type":"item","id":"Q3415205","labels":{"en":{"language":"en","value":"Domain-Theoretic Foundations of Functional Programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5116151"}},"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":"Q3415205$692368B8-CFFC-47B6-823A-2787AF02871F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e029c2edf98ebc79ac972ed54714ada36a343bb0","datavalue":{"value":{"text":"Domain-Theoretic Foundations of Functional Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3415205$1A0310E3-3D72-4BA0-8CD8-6B339E1E8E0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1395ae3ec166732f30ad92d002650da74a50c51d","datavalue":{"value":"1111.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3415205$B8025399-3DB1-4B77-845E-D385FAE4C80C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3af884f236b8186b90a039719ee553d0405e0d8a","datavalue":{"value":"10.1142/6284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3415205$5633C073-0FA1-41CD-BCEC-4620A26281BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fadd7c9edb175c39860a7070bf646e2e9cc896ac","datavalue":{"value":{"entity-type":"item","numeric-id":165871,"id":"Q165871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3415205$3C806B15-FCE3-4487-8056-D190E355C288","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b7a62c61aed8cd0db14c0992399647f3b71aecf","datavalue":{"value":{"time":"+2007-01-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":"Q3415205$A4BBE553-C58A-48F5-BD85-33F4C8CA5E35","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8fcd7350feadd726bc3f8c7c1c68f5cc28c23226","datavalue":{"value":"https://semanticscholar.org/paper/730a2c4fe57e22dfcf62179795d877708c176280","type":"string"},"datatype":"url"},"type":"statement","id":"Q3415205$E01CA562-4D98-462F-9EF6-E4967433478F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3415205$D7F543D7-FEB2-40FB-B4C8-CD32C7181A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3415205$CD83B645-E301-450A-9AD9-1A5C96F6542B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3415205$6C59AB09-D454-4433-BF4E-3ED3C1F201C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3415205$290B6344-097D-4DF3-B1AB-435D86ED8C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3415205$40309E0E-CBB4-484B-B747-29F801F9B19B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0bf2a790c1af6faf978571387bbca30a26aa06b","datavalue":{"value":"5116151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3415205$F35BDDCD-733D-4B9B-904A-D325A82F6903","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11d1747e6e98c2b837f3d5d7dc7b6bfc88df35d3","datavalue":{"value":"semantics of functional programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3415205$9C9C33DA-FC7B-4A40-ADBD-A402CE088B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0939e88686209711ebec08d0a7c1bb85c0c05d4","datavalue":{"value":"Scott domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q3415205$1318CBAD-3360-4510-AB56-6246BE96E2EA","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":"Q3415205$3A3188FC-1E67-4C95-92A4-668F7773AEA8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b89daea5b3dce8d4b136d0d587e5ad598fae44d","datavalue":{"value":"W1507860656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3415205$18190B36-D57F-4DDC-B085-298B0635FB4E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2352ee682fade91aa8c4661f25c38eb106e5dabd","datavalue":{"value":{"entity-type":"item","numeric-id":4764614,"id":"Q4764614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e687ddfc958cae98650384ec8c59e89280c4968f","datavalue":{"value":{"amount":"+0.91417825","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":"Q3415205$85BDDD29-5C6D-4099-B166-26107F6B8F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50aea3c4aa8917dcc29459870e01261312124b6c","datavalue":{"value":{"entity-type":"item","numeric-id":4692468,"id":"Q4692468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76a911034e302cb51424e55608d1833d400bed24","datavalue":{"value":{"amount":"+0.8999417","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":"Q3415205$A08400EE-18E4-4C07-9955-FB1C9C8E8BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd447716a00f0cb2abc9fbb610c927f521466b13","datavalue":{"value":{"entity-type":"item","numeric-id":3598202,"id":"Q3598202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa3e33f4ecb0bec5eb168212550d36a39020ca41","datavalue":{"value":{"amount":"+0.89882386","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":"Q3415205$CAC275A8-6877-4A22-A1C8-B8F392903FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75d44b0feaa71ca008ccbf4970d5c62cf2bb8676","datavalue":{"value":{"entity-type":"item","numeric-id":3992670,"id":"Q3992670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8434dc55562cf375d32472b2c263a412da68c90","datavalue":{"value":{"amount":"+0.89584315","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":"Q3415205$3F0BCFA0-CFC3-4074-B13A-D8890E60BE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12632cfab228270d97fb94fd5e39565560f67e60","datavalue":{"value":{"entity-type":"item","numeric-id":3780494,"id":"Q3780494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e40173232e96b50a7f4e404680d04d9c77d04e59","datavalue":{"value":{"amount":"+0.87418","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":"Q3415205$F229A3BB-86E7-4E5B-B1BA-633573A56B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed67a1fc914341ca343a9badeca5ced0dcd7c12c","datavalue":{"value":{"entity-type":"item","numeric-id":4003339,"id":"Q4003339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd67a94477ee1b69cbbf2a45450b75a20752ede8","datavalue":{"value":{"amount":"+0.8734914","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":"Q3415205$6993CE1E-90AE-4050-BD4C-828467784A76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3415205","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3415205"}}}}}