{"entities":{"Q2403819":{"pageid":2414562,"ns":120,"title":"Item:Q2403819","lastrevid":74007309,"modified":"2026-04-14T18:02:03Z","type":"item","id":"Q2403819","labels":{"en":{"language":"en","value":"Observational and behavioural equivalences for soft concurrent constraint programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6773913"}},"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":"Q2403819$7AEE2C5B-84C3-43EE-87EC-A34BCD74EA28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a21c628cdd4d7ae653153539575a6b8dc3a8f92","datavalue":{"value":{"text":"Observational and behavioural equivalences for soft concurrent constraint programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2403819$343EA3EC-0160-4A97-A6AC-3BAE5F78FC01","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45e7e42a5dc69e43db002673e44a7bfa67715bd9","datavalue":{"value":"1373.68176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2403819$BC5F2CE6-DB30-4ACC-BBEC-38E82153BE2E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e3445d7abc4eee928243e03ab31bdb8317e366c","datavalue":{"value":{"entity-type":"item","numeric-id":344544,"id":"Q344544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403819$995E1D69-F929-4C1B-A072-9710608D8775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9617be33a04916e8cd44fb68d00e3c0f51e24e76","datavalue":{"value":{"entity-type":"item","numeric-id":344545,"id":"Q344545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403819$BDBE73C0-3392-4832-A0A5-7AABA3E4FBF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"800c51bdfe97d8da4069c75360dbf4ba01fbe8d4","datavalue":{"value":{"entity-type":"item","numeric-id":2403818,"id":"Q2403818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403819$EA9A8C4B-A0DF-4589-96CD-432B990A07B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"955d121ef1e65adb5c21b330efd8a085cd4a50fb","datavalue":{"value":{"entity-type":"item","numeric-id":347367,"id":"Q347367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403819$19168DBA-AFD4-45DE-8070-8886BEFFC662","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403819$868F1C06-1648-4090-BCC8-EDF6AAECC062","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad555d9b3498665ac23079c56e62858eae3f6918","datavalue":{"value":{"time":"+2017-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2403819$B50B147C-3608-4B64-9557-C185BF5E5BCF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2403819$571B5E34-3EBA-41FB-AAAB-E8A83B3C451A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2403819$C3E5FC0D-8D03-459C-8F3E-AC4C42B012EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2403819$91AF29A8-12D1-4A82-BC66-D7A87CC2B21D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e837878e7835d0cab84bdbc2567bb741b403e68","datavalue":{"value":"6773913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2403819$222E01E2-9720-4444-AC4B-530BD8B794B6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0db97d1f6d295f671d08d3e0ef6408e6a7f0f440","datavalue":{"value":{"entity-type":"item","numeric-id":26927,"id":"Q26927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403819$77C24A49-9EA0-4EA3-B9F3-C9CA897666C2","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":"Q2403819$7BEF7FAF-D37E-4460-9458-E523E34DB073","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a4e24c2b8dae9df96c178d422fa3a74952b5f94","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2017.06.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2403819$5132566C-5149-4514-9843-E20A80ABFD95","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3616b996fb7672d058dafbe6d9cee9ed06554a91","datavalue":{"value":"W2653983955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2403819$C2F16557-8EAB-49B8-99C9-0D36AD765B88","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc206fd4e16922094daaa9db9bde5618c2863d4","datavalue":{"value":{"entity-type":"item","numeric-id":3000605,"id":"Q3000605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403819$100B555B-4F6F-4B09-9E0F-5B49578662B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93469e0198f6a91cf1f1f86ea66dbfc855feef7","datavalue":{"value":{"entity-type":"item","numeric-id":5277756,"id":"Q5277756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403819$7C540D1B-F247-4A60-BAAB-342F3DCD685C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00333b8c091e6b82fbc0cc7a0877cc914b98fb94","datavalue":{"value":{"entity-type":"item","numeric-id":5756485,"id":"Q5756485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403819$00B08A29-A4EB-4A01-990C-26EF0BEC101A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3712dd2f8dc1532aa164f751cc535e5c160717b","datavalue":{"value":{"entity-type":"item","numeric-id":5259265,"id":"Q5259265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403819$F31C5D47-89C1-4805-9EDC-7A5CDF14D869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e52d8fb97261019d3eaa2923493a5c817d763fde","datavalue":{"value":{"entity-type":"item","numeric-id":4593013,"id":"Q4593013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403819$6563E224-7ACA-42CA-9CBB-8FBB3ED608DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39b663809196efb8393a9cb69eab645c00ad1100","datavalue":{"value":{"entity-type":"item","numeric-id":1194435,"id":"Q1194435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403819$88A3167F-A3BC-4194-A6E3-38382A981FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c8a11e59982d4661b56434a85f083056778ce45","datavalue":{"value":{"entity-type":"item","numeric-id":4377273,"id":"Q4377273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403819$E8BF164F-F45A-492B-845E-2EF362B4A8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbfb5b1a9eb9d6e1f0194cb3faba8a912f8e813","datavalue":{"value":{"entity-type":"item","numeric-id":4433737,"id":"Q4433737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403819$F69F435A-704F-447F-B924-571242D82228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403819$DFF9A4D4-763E-4489-A275-9E5CE9A9F2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f249580a521efbf8ec95a14e96ab42705350cf25","datavalue":{"value":{"entity-type":"item","numeric-id":4304869,"id":"Q4304869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403819$19A00EE7-5DC8-4CDC-AF94-E8A15F62493E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb80ac428a21d1fb92b1634b44199337fe9124d9","datavalue":{"value":{"entity-type":"item","numeric-id":4511601,"id":"Q4511601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403819$F221FDC4-47B6-47BC-8050-BF5E2BBF5A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"800d2570cc74c5ce1c249d81426bc69f05c78857","datavalue":{"value":{"entity-type":"item","numeric-id":1275748,"id":"Q1275748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403819$A5E0BC18-599E-41F5-A8AC-E734106E7E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d017fc456fa722f7c0dc16a7917d9f23aeda4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5204357,"id":"Q5204357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403819$BE86F6F7-BFC4-4DFC-A5AA-2C9275BC7CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a024d6fe2e8f5dc23a3aac7897d4d61e4e233f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4018066,"id":"Q4018066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403819$9D4D7F8D-A355-4F68-91A1-CD005C53A274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b650e33a4a5c0e80e120de15fc90c4d08686c15b","datavalue":{"value":{"entity-type":"item","numeric-id":4536606,"id":"Q4536606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403819$48E6B2B5-B278-4588-90B6-A403AF6A4D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c33b896adef51cac52b8472065a22eb5b89392df","datavalue":{"value":{"entity-type":"item","numeric-id":3617735,"id":"Q3617735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403819$759BEFCB-9068-411F-B890-367AE37EDF2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a52cca5ac0709c5b605ee969be9c786a433fce0e","datavalue":{"value":{"entity-type":"item","numeric-id":2946747,"id":"Q2946747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403819$A7903A2C-CF46-41E4-9FD7-05939701A0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"881d4e840a7bdd4d5960edca800ec9d2ce4d6176","datavalue":{"value":{"entity-type":"item","numeric-id":4847021,"id":"Q4847021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403819$D63A55B0-9FC7-4558-8AB6-6178933E8D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505d226cc763994e4911a25be3342dcdc3812b64","datavalue":{"value":{"entity-type":"item","numeric-id":5458401,"id":"Q5458401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403819$1FEC6DF7-422C-4DB9-B947-0D6E6F0B9CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"228474a1c5f3ee070cad4b4eb7622712b273eb75","datavalue":{"value":{"entity-type":"item","numeric-id":2491638,"id":"Q2491638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403819$455A5795-98A8-4664-89CF-B797433FEA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a3e170537ee32153d7d94be2d4d89548fe5a361","datavalue":{"value":{"entity-type":"item","numeric-id":1854324,"id":"Q1854324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403819$E7127995-9B0E-46F4-BA40-FC53C8AB0430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c258d830cddbea327ae43e78d061b558cf377b","datavalue":{"value":{"entity-type":"item","numeric-id":596037,"id":"Q596037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403819$BC5EFB3C-9A58-4F9A-914C-15755FA2D405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83866140d83d3fcfd8b5061f341b04852d6767","datavalue":{"value":{"entity-type":"item","numeric-id":2938173,"id":"Q2938173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403819$8E9ED00F-53AE-481B-9AEC-71EB9931FDE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0d026417142c369c6781ec498c00af681a5284d","datavalue":{"value":"10.1016/J.JLAMP.2017.06.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2403819$D6AF82C8-DE40-40EE-9390-AACE613BE9A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b956360f7a43523f46ff440485e2aa5393319b5","datavalue":{"value":{"entity-type":"item","numeric-id":2931271,"id":"Q2931271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a5d4de626fe2eb7a86500a876bde2716319ba04","datavalue":{"value":{"amount":"+0.79288250207901","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":"Q2403819$533591E4-C70B-438A-AD46-CC0F51CE8339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2163ab4a933b71c87343422da3c7d64470c87115","datavalue":{"value":{"entity-type":"item","numeric-id":3000605,"id":"Q3000605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6905df0c7c0a457a9ab0743733d91dcb0b55689","datavalue":{"value":{"amount":"+0.7887402772903442","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":"Q2403819$FF99E607-E1E7-45EE-BEC2-0251BBB34CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d4378d6cb9757772bdcd6ae9683ef0e02d8500d","datavalue":{"value":{"entity-type":"item","numeric-id":3087436,"id":"Q3087436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9cedd8b61ad75049b01f164423e4a5fdf4d51c7","datavalue":{"value":{"amount":"+0.7855526804924011","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":"Q2403819$AE202869-0B76-4FEC-BA71-35B8BDAC22E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a57e7aa6741188ed61a90978b618a6034e199bb","datavalue":{"value":{"entity-type":"item","numeric-id":5259265,"id":"Q5259265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd9093cdde4e179819eaf444e66f6b9fd38c791c","datavalue":{"value":{"amount":"+0.7757333517074585","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":"Q2403819$1F41EE53-93DB-47C5-9643-95FB14AA385F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f12a5be26f32a119aa6304db73d92ddb73000884","datavalue":{"value":{"entity-type":"item","numeric-id":2938173,"id":"Q2938173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a88405d3b41c9f5e927d01f7f77be1eae3ee46f0","datavalue":{"value":{"amount":"+0.7702770233154297","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":"Q2403819$EC40EE60-4397-43BB-9D67-A8993032831A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Observational and behavioural equivalences for soft concurrent constraint programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Observational_and_behavioural_equivalences_for_soft_concurrent_constraint_programming"}}}}}