{"entities":{"Q1314355":{"pageid":1325105,"ns":120,"title":"Item:Q1314355","lastrevid":43022458,"modified":"2025-07-16T23:39:32Z","type":"item","id":"Q1314355","labels":{"en":{"language":"en","value":"Concrete domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 501170"}},"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":"Q1314355$3C9FD4D9-E4C0-4F08-8CB6-5588DBCC2041","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"afb7cfc554cd1ffea17623f56ed206d9d6365419","datavalue":{"value":{"text":"Concrete domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1314355$63823705-3CE2-46D3-B937-B5D1712E2B05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b40bdcb17d31abeaa3f16f0d49be66c7416b5bea","datavalue":{"value":"0809.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314355$76F0E6F4-3599-466C-B972-5B3FB36CE3C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec999a99540d0ad0d5b7c410bfd9e3a9fa584eda","datavalue":{"value":"10.1016/0304-3975(93)90090-G","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314355$79F30046-FF76-4F12-8A46-205319802E11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"376cc035d6eed8110b910d0b70732db858361dbb","datavalue":{"value":{"entity-type":"item","numeric-id":1314354,"id":"Q1314354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314355$52F084ED-8E33-4BD4-B923-80B51F0421B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"387a3219b709013614b6a72c3083dc1a75c5189c","datavalue":{"value":{"entity-type":"item","numeric-id":371257,"id":"Q371257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314355$1D1E265A-C87E-4926-AA65-D241ABD07311","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":"Q1314355$CCC26127-B040-453E-88F7-47810E0D6FD7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"151ac7ed6fc6633f65d3ecb847dedba552bce936","datavalue":{"value":{"time":"+1995-03-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":"Q1314355$D1FF468E-8FA4-4569-A8FD-746B8ECC7E98","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"22f0be59bff192ccfdf40bfba464395c1ad45db9","datavalue":{"value":"This is a complete and detailed version of ``Domaines concrets'' (G. Kahn, G. D. Plotkin, Raport 336, IRIA-LABORIA, 1978) and of other previous communications by the same authors. Following the general framework of complete partial ordered sets for semantical domains (of programming languages), the paper introduces a special kind of such ``computation structures'' called ``concrete domains''. ``The purpose of this theory is to find a satisfactory framework for the notions of coroutine computation and sequentiality of evaluation''. The first five sections are mainly introductory \\((\\S 1\\) -- Domains of computation; \\(\\S 2\\) -- Concrete domains of computation; \\(\\S 3\\) -- The covering relation; \\(\\S 4\\) -- The incompatibility relation; \\(\\S 5\\) -- The projectivity relation), while in the following two, the essential facts of the ``representations of the concrete domains'' are exposed \\((\\S 6\\) -- The information matrix; \\(\\S 7\\) -- The representation theorem, and this is Theorem 7.1: ``Every concrete domain is isomorphic to the set of configurations of an information matrix''). In \\(\\S 8\\) -- Basic operations and \\(\\S 9\\) -- Inverse limit constructions, the main general constructive ways for obtaining ``complex'' concrete domains from ``simpler'' ones, are studied. Finally, \\(\\S 10\\) is dedicated to the study of a particular case -- very important for practical applications -- namely the ``distributive concrete domains''. For historical considerations and scientifical impact on the world of computer science general research of this article, see also \\textit{S. Brookes}, ibid. 121, 179-186 (1993; see the paper reivewed below)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314355$6CBF5CDC-5EA2-4CBE-97C9-54AEB36FE54F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314355$64D3A496-A3DA-4C7D-8B52-2924CD3121BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314355$96278D00-87A9-44A9-948A-F1B01B7C38AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314355$BF4514CE-2A22-45BB-AE8B-75AABD428993","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6149bfef581d7a660fbfacf8e6ae0c9865b710d","datavalue":{"value":"501170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314355$B5560B81-A859-43E8-9D90-FF7E7C528CC3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e237bfd7d0a3621366a2a3d6cc02be980a48d62","datavalue":{"value":"domains of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314355$516D611A-ABB3-442F-B216-CFE8D8ED0748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c42c96a66270d6a74d0411720374d244efd3448","datavalue":{"value":"semantical domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314355$2772D532-943B-4FE2-8792-1D057B99B14C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6536f759dee9ce142c834adc5cc137400d919eb8","datavalue":{"value":{"entity-type":"item","numeric-id":1037240,"id":"Q1037240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314355$BD597988-9842-413B-9E03-B88C5A25F519","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314355$53047B6D-CFC2-41EF-9003-AD850D5923DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"da6bc051938d5862ecc3ebc01e193003a6091021","datavalue":{"value":{"entity-type":"item","numeric-id":33292,"id":"Q33292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314355$33679B46-2836-4F61-B6C3-781AABE3BA8D","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":"Q1314355$3EF0FEE2-5449-49A3-97B8-F23CDA48B344","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbf17ee452bd9fc3414aba44bf8cd79910caf84f","datavalue":{"value":{"entity-type":"item","numeric-id":4130974,"id":"Q4130974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314355$ACC64A73-8220-4749-9160-0D5DB5F41ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc57cf2ba5617fc074cae34fef64910590e17f4","datavalue":{"value":{"entity-type":"item","numeric-id":5331549,"id":"Q5331549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314355$F739DD09-5AEF-4BAE-AAD9-AC88CE4B95DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314355$AF72A747-C13F-4A15-B940-C05A78A85C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d00685e690962496b9171a3355f96696227f14ef","datavalue":{"value":{"entity-type":"item","numeric-id":5528159,"id":"Q5528159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314355$A7DD4F16-05F3-458A-8DA5-76F974208BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f76cac16721f1b04bb5745f5b2632a40bb3616f0","datavalue":{"value":{"entity-type":"item","numeric-id":5623714,"id":"Q5623714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314355$1498B765-027B-4E94-8CB9-60836EB15C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ab95fc01be767d90b6bae3c34156c6a4fd62a7","datavalue":{"value":{"entity-type":"item","numeric-id":4138713,"id":"Q4138713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314355$E1F4B20F-9965-46D7-8F21-10E30A1E3560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bff8d54ed35d6b3c12abec8db1759de88ef3e42","datavalue":{"value":{"entity-type":"item","numeric-id":1132085,"id":"Q1132085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314355$8A928A2B-36E0-494B-A2BB-18E3CD9138D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7a1a035eebb8c864a50387f6f95d4052b5edca0","datavalue":{"value":"https://doi.org/10.1016/0304-3975(93)90090-g","type":"string"},"datatype":"url"},"type":"statement","id":"Q1314355$1FDBAF9A-C3CD-490F-A254-E6BF41CA1FB5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72d7a31d0513432a5e0cc35642d61c4fbd902551","datavalue":{"value":"W2911979341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314355$AA4F42F5-3966-440E-A808-E9190E497CB5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feabdfb39853d0a312dad9b851dc1054259043e9","datavalue":{"value":{"entity-type":"item","numeric-id":671993,"id":"Q671993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64dc4c74a0392728177cab6a50b726a503aa356d","datavalue":{"value":{"amount":"+0.8028209","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":"Q1314355$F903FD99-D5E7-4C49-8C09-68647D3084B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35849a537655d9469d9682405dceb8c36b7caa10","datavalue":{"value":{"entity-type":"item","numeric-id":5715707,"id":"Q5715707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32a359da69b68b37ffe784007184d9b554494e09","datavalue":{"value":{"amount":"+0.8024466","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":"Q1314355$92FE6CBB-0EDD-42B4-AD58-1EB1051BFC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08738c0dfd18c69a1c483efc4ebb0f31e3d44dd2","datavalue":{"value":{"entity-type":"item","numeric-id":4325268,"id":"Q4325268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04dfaa26f33e5f42bd3e2a134050b9ead879d94b","datavalue":{"value":{"amount":"+0.794766","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":"Q1314355$141C2BDF-FFB3-43D4-8E74-23468CF5651C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e551061b59e305c195eb8e950eab605edb47404","datavalue":{"value":{"entity-type":"item","numeric-id":4723930,"id":"Q4723930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec11a51e6c9fe5aac58c240f016fe0a63bec63b7","datavalue":{"value":{"amount":"+0.7945052","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":"Q1314355$AC69E8D7-29BB-4D79-B434-BCECCCDC853C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52fc44719d4c7f1094c984b839c8f7763ac737d7","datavalue":{"value":{"entity-type":"item","numeric-id":4012242,"id":"Q4012242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5888459727030c65651e8ef53ad785f24f2cd9ed","datavalue":{"value":{"amount":"+0.7919602","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":"Q1314355$46A04734-B3A8-462C-8720-896420B55A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b092bce9769ee909b865774c4a3cb43df445bdfc","datavalue":{"value":{"entity-type":"item","numeric-id":4408602,"id":"Q4408602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9b58116ffe70ba418560e4aba8b336d97e0a356","datavalue":{"value":{"amount":"+0.79123914","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":"Q1314355$954267D6-2296-4A17-A45F-0B809F77C5BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdc563c2b23feb3db0cceae890595993444c0f49","datavalue":{"value":{"entity-type":"item","numeric-id":2864147,"id":"Q2864147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e004a41df976bd5fe0accf1af11ee4c6358806e7","datavalue":{"value":{"amount":"+0.78930354","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":"Q1314355$1627A9C2-05E1-4951-BCC2-041023F52D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e6c581ec641a80375727eeb9b5cb0ab023cbf7e","datavalue":{"value":{"entity-type":"item","numeric-id":6116574,"id":"Q6116574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2cb97d245e16e5594bb77c49185bb7b8b194b62","datavalue":{"value":{"amount":"+0.78786683","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":"Q1314355$31794DE0-B0EF-408D-A746-EC65F2C7F104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f62d76426623fd2ba7af352aab46f7464942dea6","datavalue":{"value":{"entity-type":"item","numeric-id":1023298,"id":"Q1023298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aae84efadc852761e19e2d24f391bbc57417212b","datavalue":{"value":{"amount":"+0.787309","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":"Q1314355$C4981405-2F6D-4CFE-B80C-C3FC57249A5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1314355","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1314355"}}}}}