{"entities":{"Q1605181":{"pageid":1615921,"ns":120,"title":"Item:Q1605181","lastrevid":70960302,"modified":"2026-04-13T18:31:13Z","type":"item","id":"Q1605181","labels":{"en":{"language":"en","value":"Truly concurrent constraint programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1768081"}},"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":"Q1605181$4CA3F223-EC25-4DB3-BA5D-005318F88DD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7460dad73487774b128356c461258d1a8a788482","datavalue":{"value":{"text":"Truly concurrent constraint programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1605181$3D8A1747-6C21-4BAC-B373-090B1B8E036C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c1154a8070e9eb08dde9266727892bb1740f56b","datavalue":{"value":"1002.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1605181$1D22A99C-FB47-4760-BD47-2B32633FDC0F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0aae04533bdaba2b71cfa0b702d1ec3302f08d02","datavalue":{"value":"10.1016/S0304-3975(00)00337-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1605181$4038A4BC-D5B8-4A2B-9706-34B9A881E6B4","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":"Q1605181$601F5929-1985-44F9-9549-4CA58FADE68A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb77668c0bac74ac5ea553fa2146ed5e736444f1","datavalue":{"value":{"time":"+2002-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1605181$55B1F5FC-4C02-4B49-A7D2-0E2D9A2B3E47","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3eaeb76bd5234776bba3ec4e19e0e7cd4654c422","datavalue":{"value":"We study ``causality'' relationships in concurrent constraint programming: what is observed is not just the conjunction of constraints deposited in the store, but also the causal dependencies between these constraints. We describe a denotational semantics for cc that is fully abstract with respect to observing this ``causality'' relation on constraints. This semantics preserves more fine-grained structure of computation; in particular the interleaving law \\((a\\rightarrow P)\\parallel(b\\rightarrow Q)=(a\\rightarrow (P\\parallel(b\\rightarrow Q)))(b\\rightarrow(Q\\parallel(a\\rightarrow P)))\\) is not verified (\\(\\square\\) is indeterminate choice). Relationships between such a denotational approach to true concurrency and different powerdomain constructions are explored.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1605181$C73237EF-5EF8-4CEF-B260-498FE5A59F50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1605181$136F8807-57C9-4F0C-B0F3-A9C98844B3E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13802cc38e1d389b09c54f26ea99d059ac20459d","datavalue":{"value":"1768081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1605181$F4D6AE4F-EBD1-45BE-A7DD-A456A5AB2BAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c798bc82d40898e5a150c07cc309b46baa155c3","datavalue":{"value":"true concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1605181$85920F5A-916D-4CB7-923E-53B27BD3EDF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8caf0db632e1cc6d21c501465908a0596bd63e5","datavalue":{"value":"different powerdomain constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1605181$53C982FD-EEE2-4235-8A3F-B32E649FEAC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e95519429bb258c9c0e2a586925faa69d5aa579","datavalue":{"value":{"entity-type":"item","numeric-id":596027,"id":"Q596027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605181$E5B690FD-540E-45C5-B5C4-239DD6ACB418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"689f673efe434f3abaa101c00ec8aac6d9847719","datavalue":{"value":{"entity-type":"item","numeric-id":596028,"id":"Q596028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605181$F66E0E72-0547-44C5-8D41-B5ECC4766748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"60df9055b88a43a1b502d4cd7317f3a7e61099a9","datavalue":{"value":{"entity-type":"item","numeric-id":314430,"id":"Q314430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605181$A3B58E56-84F0-4281-83E1-3A94AABFBA0D","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":"Q1605181$211D886D-47C0-449E-B8C7-CE6B9BC8160D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b65e0aba9c9550d09b3aa23b24d834aac779a91","datavalue":{"value":{"entity-type":"item","numeric-id":1174593,"id":"Q1174593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605181$A22AF6EC-949F-4F32-9673-FD741C00E7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fc7f674e134b0d4b291fd6a87d049ca54d21c36","datavalue":{"value":{"entity-type":"item","numeric-id":3204033,"id":"Q3204033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605181$CB9A8343-B418-4A0E-96BA-02056BAECABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"170d28b455d5d0a98d8115a060065b436291213e","datavalue":{"value":{"entity-type":"item","numeric-id":1329198,"id":"Q1329198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605181$E6A48AE8-AB96-4C03-B0DC-E01B9D899338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78bd4d37c74978248dc9e96b49498af42c4bab8b","datavalue":{"value":{"entity-type":"item","numeric-id":2736349,"id":"Q2736349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605181$735843F0-FD74-4623-A679-561BF9FF1B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605181$4A802A21-287E-4B5C-9447-AA5A5A0A2B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"833e13646a1d8686064c0703b5143cdb7b49ecd3","datavalue":{"value":{"entity-type":"item","numeric-id":4245937,"id":"Q4245937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605181$D9F06302-EBF8-4909-8F07-28EC40B46878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"644b168e8c2396100872f1d128bf62b52376a284","datavalue":{"value":{"entity-type":"item","numeric-id":3204053,"id":"Q3204053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605181$9C541422-8BE6-4C72-927D-8480E7EB2BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605181$CF450D9F-E3DC-47B6-82E6-0FF068B91C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605181$032DA3BC-5490-44E8-ACA8-54E4C0E39DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017ee968e085f601cf7496bb0d4aee5fe489c2dc","datavalue":{"value":{"entity-type":"item","numeric-id":1091134,"id":"Q1091134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605181$105A194C-AED1-4EE7-B42E-5FC4A2D9557F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eb4f47a7131723dd2e4a4daa9f6dc9e584962f3","datavalue":{"value":{"entity-type":"item","numeric-id":1605181,"id":"Q1605181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605181$F77782D6-B3A6-4A4A-A79D-1D513530918D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2d1abad224529fcdb3376cabbb7ca9b597a70ea","datavalue":{"value":{"entity-type":"item","numeric-id":4312468,"id":"Q4312468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605181$0E8F21C1-B2E6-4206-9D88-7982C393DEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de48729812ad7056d8d65b30969b3bb5e5118882","datavalue":{"value":{"entity-type":"item","numeric-id":4195918,"id":"Q4195918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605181$08F95585-4F2E-4E14-86F7-A32B92D4DE3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f069a555dad2c65107609610875dd9596320e501","datavalue":{"value":{"entity-type":"item","numeric-id":3771632,"id":"Q3771632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605181$24087EEA-0C40-416E-967D-125627446645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e96b691fd3418c23318e386f97f9be78e6fadf04","datavalue":{"value":{"entity-type":"item","numeric-id":396979,"id":"Q396979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605181$9FAE1DD8-0FBC-4474-A6ED-AF326952D856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56be7697af4dffc8e38aaf2912a4f00e2fd65e22","datavalue":{"value":{"entity-type":"item","numeric-id":3030239,"id":"Q3030239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605181$AA0B18A0-DB64-407D-A064-E8A7413627FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"217c8d0759349dc5fe73bda5d32a6ab70478b1f3","datavalue":{"value":{"entity-type":"item","numeric-id":6104382,"id":"Q6104382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27f9c01af4ef833ab372083997c8184fa7597b4d","datavalue":{"value":{"amount":"+0.937074899673462","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":"Q1605181$EF37139C-FA91-4896-91C8-EE9D057546B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb18b34d93f432f20beb7035ea585e6a55f4152d","datavalue":{"value":{"entity-type":"item","numeric-id":1391102,"id":"Q1391102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63f06f02b4483f740fe4edd8048500c88e5f4c40","datavalue":{"value":{"amount":"+0.8202246427536011","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":"Q1605181$423C7DCB-3971-41DE-9A78-A208FCAE2205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"776444cdd297685ec6217423462f67924fa03277","datavalue":{"value":{"entity-type":"item","numeric-id":4847021,"id":"Q4847021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c99aa754a5f0a322b44d4c69294916da6979efc9","datavalue":{"value":{"amount":"+0.8196608424186707","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":"Q1605181$B03BE15F-5BDC-45BC-978D-541F0F4FA33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1cbe10eeb0d4daf2e769f7cff5ff9c15abbd708","datavalue":{"value":{"entity-type":"item","numeric-id":4375591,"id":"Q4375591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6840bf7e2ae174df41fde375d4c8cd23428900f3","datavalue":{"value":{"amount":"+0.8190220594406128","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":"Q1605181$77B7F76F-B12C-4914-BA78-1F68BB41D4A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39c2acfb2dacd4bb72ffe9cdaae14a77e3b285c9","datavalue":{"value":{"entity-type":"item","numeric-id":4736498,"id":"Q4736498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d48534b693810bb7d8f638f2aca6d7ba0df95ba","datavalue":{"value":{"amount":"+0.819021999835968","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":"Q1605181$2FC760C7-1388-4DDE-834D-A1B175D72CA5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Truly concurrent constraint programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Truly_concurrent_constraint_programming"}}}}}