{"entities":{"Q1200981":{"pageid":1211730,"ns":120,"title":"Item:Q1200981","lastrevid":67076100,"modified":"2026-04-12T14:55:24Z","type":"item","id":"Q1200981","labels":{"en":{"language":"en","value":"Unfolding and fixpoint semantics of concurrent constraint logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 96004"}},"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":"Q1200981$EE1E773B-9A97-43B4-BCC7-46F1A75BD84D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"566bb89801fa5090db0e84657f7f19be914211e7","datavalue":{"value":{"text":"Unfolding and fixpoint semantics of concurrent constraint logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1200981$EF066C25-7490-45F6-9605-4E07BD2F11C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a26c26b10cf29699599b1b854cfe8e87a5023db0","datavalue":{"value":"0757.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200981$355EF4C0-EF9A-4AD5-87DF-0B8829ECE202","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68d51134bb9c988ba89af1cabffe42aff7885378","datavalue":{"value":"10.1016/0304-3975(92)90288-Q","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200981$B40E0508-1B8E-40F6-86A9-91F0D78F14F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4abf1cf11f5de92d0263da0760474f1adf0a61a","datavalue":{"value":{"entity-type":"item","numeric-id":276550,"id":"Q276550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200981$88A72C8A-A01B-4B5B-BE40-97D2BC2B8181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5e5a5ffda3b91beac514a35e59d9924cc050864","datavalue":{"value":{"entity-type":"item","numeric-id":915475,"id":"Q915475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200981$AE188045-3AD0-4860-8A9A-6407177ABB79","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":"Q1200981$C35EC57C-7BEA-4115-A862-3E7770454FB1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-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":"Q1200981$54E7C7C3-875E-4427-A1A3-C29550DDC646","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2f4e6315d06123fe17731e459e563a0b7000716a","datavalue":{"value":"We present a new semantics for a language in the family of concurrent constraint logic languages. The semantics can be based on a notion of clause unfolding, since the language is closed under this transformation. The unfolding semantics is obtained as limit of an infinite unfolding process. Unfolding is also used to define an immediate consequences operator, and, therefore, a fixpoint semantics in the typical logic programming style. The result of both the unfolding and the fixpoint semantics is a set of reactive behaviors, which are trees abstractly representing all the possible computations of a program, including deadlocks and finite failures.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1200981$03F7FBF9-B667-4695-92B3-D69BC5A778F7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b9de049e0779ede1d4a5df8a04a7e663dace2f18","datavalue":{"value":{"entity-type":"item","numeric-id":276550,"id":"Q276550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200981$29ACA98E-26E5-46FC-A4AE-7BF5250CE2B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200981$6FDF39E0-93C8-4BD0-A99B-229BCDD80F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200981$86D32A75-6C75-426A-A9E2-33A045A3B207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200981$45BC96B7-8737-4C7C-B59C-BCB7EFBDF038","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ad53025a858d950af7e8c6f84af281ee502ed06","datavalue":{"value":"96004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200981$017CD62A-92BD-46B3-BF5B-6A068B78C036","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"682d6c69da4c718c1174ae32b4e3552bd6a5ec04","datavalue":{"value":"reactive trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1200981$5B0F820C-F6F8-4286-8FE2-A08E190DEE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5adc741c8beaa72d9c233bdb02b76e29f3628e4e","datavalue":{"value":"concurrent constraint logic languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1200981$6C048E5F-DE60-4590-933B-9EDDFD525013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25142d99e70f3e956d269c694dba0c0dca93e8fa","datavalue":{"value":"unfolding","type":"string"},"datatype":"string"},"type":"statement","id":"Q1200981$2E0DFC54-FA91-44A1-B3C2-0C07C7CEE86B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5cb180c22f3bced7fedc55462354c0f7fabfc168","datavalue":{"value":{"entity-type":"item","numeric-id":35531,"id":"Q35531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200981$E8A31983-D427-40A8-A7A6-3C2FA8E7DAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2d4f23832fcdf646910846c50514931a5f75084f","datavalue":{"value":{"entity-type":"item","numeric-id":35532,"id":"Q35532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200981$4508C7C7-A692-44BD-8453-3EFECCC9891E","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":"Q1200981$4B0044B7-0BF2-47BA-A92F-323B4B702F6F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"089e26061dccf6a3701766bab27077fd64ee3ca3","datavalue":{"value":{"entity-type":"item","numeric-id":3727355,"id":"Q3727355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200981$4194C3D8-699A-4188-AE6E-5411C75774C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5ae7e408b1d1201c271e00762d47096e39a012","datavalue":{"value":{"entity-type":"item","numeric-id":4111080,"id":"Q4111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200981$4E30BA44-7942-4EB4-A9E3-98F4493DFDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d54d03d44a544a3c811b233b3629d1a95e74c1c","datavalue":{"value":{"entity-type":"item","numeric-id":3721786,"id":"Q3721786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200981$944F3907-A192-4D3E-BEBA-B96B17CE3686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8128be7a2395e4b6b58abe3d71613f69ea9d0962","datavalue":{"value":{"entity-type":"item","numeric-id":3785893,"id":"Q3785893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200981$C7945DD5-056A-463F-9819-199CFCCD82F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d143122fb0182855e383d1a1512a8200834897","datavalue":{"value":{"entity-type":"item","numeric-id":3975139,"id":"Q3975139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200981$7C562908-4F55-4B9F-86F0-047C54033D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"570fffe1c95b1c874af2daa211fb83dcc483c7ba","datavalue":{"value":{"entity-type":"item","numeric-id":3358219,"id":"Q3358219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200981$767D8367-60FE-497E-994E-ECAC7CDDEA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c01e8e2dbc9c1918b71036fb0d734eaab6816a1","datavalue":{"value":{"entity-type":"item","numeric-id":913530,"id":"Q913530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200981$0FFC3BEA-FB7E-48BD-8AB1-11B2CE633336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51c0a71b12bd5b8287ad1e813431286b7e2692c2","datavalue":{"value":{"entity-type":"item","numeric-id":1108817,"id":"Q1108817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200981$5D8BACB3-9D52-4EF3-A2E9-81C61602CD2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbf2511f60e6cf9b023b9da0d7d74386f7f39c0f","datavalue":{"value":{"entity-type":"item","numeric-id":5096197,"id":"Q5096197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200981$70D268CF-735E-4E9A-94D4-0F63553E38D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de06b99c88444b7b6bd607d55ef68c9e4e49a898","datavalue":{"value":{"entity-type":"item","numeric-id":2736350,"id":"Q2736350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200981$6BB2BAAE-8796-45F2-BB7A-6F64CDA7CD74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c184a968cc4e5306fda681741508fd66f4b9c69","datavalue":{"value":{"entity-type":"item","numeric-id":4391452,"id":"Q4391452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200981$7E6BF72C-B862-4509-8B1B-0F108BDA7AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bd2158380546de1c47756c4fead8c0c2406dd1c","datavalue":{"value":{"entity-type":"item","numeric-id":3789064,"id":"Q3789064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200981$9E4EF918-7528-4BB6-9C7F-04AC41F2DC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200981$E43F925B-1B26-4F4E-8ECB-CCC1007F43C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c33f602fddc4b117b67792efcf3246de0a8a1270","datavalue":{"value":{"entity-type":"item","numeric-id":3750113,"id":"Q3750113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200981$228F1582-CE68-4859-99E1-97ED11EC0332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4204417ad504fef585f875bc1e60ec80d1f51184","datavalue":{"value":{"entity-type":"item","numeric-id":3721800,"id":"Q3721800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200981$D5480A9E-AE60-4F6D-BDBE-7BBDADF398C0","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":"Q1200981$C5E769B7-B372-405F-B869-8C8893842B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d292125d4bb61c4f70427dd0476cc2e72e9bb11e","datavalue":{"value":{"entity-type":"item","numeric-id":3994465,"id":"Q3994465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200981$1EEB2C1F-61B0-4141-AA4F-F18C0332C331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200981$30192919-3BC3-4E39-AEF1-88B2E3C75EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bad35a268dddf1af7bafb7b66f477f941688ce7","datavalue":{"value":{"entity-type":"item","numeric-id":3727353,"id":"Q3727353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200981$C5931AD9-CD34-46DD-9DF6-DA664316B47C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe927742b446022688c55cb40d3894456b06df2e","datavalue":{"value":{"entity-type":"item","numeric-id":5096197,"id":"Q5096197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acad1735e5526c6ed52ab17386ca79330c226335","datavalue":{"value":{"amount":"+0.99069744348526","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":"Q1200981$CCAF7623-8823-4E87-BE34-E3FE275C1198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef7530272832f41eab9403e6bd4d89b6d9c14b47","datavalue":{"value":{"entity-type":"item","numeric-id":4035697,"id":"Q4035697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9086710acab571515f8938cdade50e61e1d60612","datavalue":{"value":{"amount":"+0.8137403726577759","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":"Q1200981$E555B0D2-8407-429D-960D-7444EA0F4DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e30df88b697138c25fdba62ac82539b838831aaa","datavalue":{"value":{"entity-type":"item","numeric-id":4222884,"id":"Q4222884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9086710acab571515f8938cdade50e61e1d60612","datavalue":{"value":{"amount":"+0.8137403726577759","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":"Q1200981$B596A515-3A07-4F07-BE3C-532A14FF012A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3c9a1bea6e1fb0c3661fdbdc63647620fab261f","datavalue":{"value":{"entity-type":"item","numeric-id":2736349,"id":"Q2736349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37d41d7ed3a861b177410698c41e8873117a9a59","datavalue":{"value":{"amount":"+0.7991393208503723","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":"Q1200981$21334711-7A42-4E25-BEF4-5F43C80D4BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"713e9e9b685ed20cdbad5682f2ceeb03a155885e","datavalue":{"value":{"entity-type":"item","numeric-id":4364205,"id":"Q4364205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ae0527179bd8b469a3876be16cb2a283bc89d4f","datavalue":{"value":{"amount":"+0.7979593276977539","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":"Q1200981$E69038B0-94F5-4208-A7EC-1694C40216DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unfolding and fixpoint semantics of concurrent constraint logic programs","badges":[]}}}}}