{"entities":{"Q3087436":{"pageid":3098151,"ns":120,"title":"Item:Q3087436","lastrevid":58110681,"modified":"2026-04-03T20:36:11Z","type":"item","id":"Q3087436","labels":{"en":{"language":"en","value":"Observational equivalences for linear logic concurrent constraint languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5939278"}},"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":"Q3087436$A5A9F5F4-45FB-4B93-9EB0-D13991CB45FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f692442c1c47bf88825770d9b9dec48dbff22e72","datavalue":{"value":{"text":"Observational equivalences for linear logic concurrent constraint languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3087436$263453FF-7022-4D96-AC31-FE0C754B74F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a17075e814a00d0f3a80699d48eae4de2210c9ca","datavalue":{"value":"1222.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087436$AEAB406D-3D7D-4F72-94FF-DDD67AA73606","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7706f7bb740f60760a3bca5c3d832339ce1187f8","datavalue":{"value":"10.1017/S1471068411000123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087436$377C3FF2-8A9B-4B9F-8CBB-E069AAB7B060","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f1b6a222d3c6d69efaf9289c10bdee6ce5d7607","datavalue":{"value":{"entity-type":"item","numeric-id":2798272,"id":"Q2798272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087436$523082E8-224A-45BA-8BAE-032A96FAAF21","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087436$EB31072B-19BD-4DCF-8E46-D5D2C51442F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e46a6b83be9fcbd5764c46af6454b5ea03b3b70d","datavalue":{"value":{"time":"+2011-08-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":"Q3087436$8E882DD4-CDDE-4DCC-8FF7-08B04C991F0F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4b3d56bdee6f7f4b3950b35d189e75b5f40b8d7","datavalue":{"value":"https://arxiv.org/abs/1108.0329","type":"string"},"datatype":"url"},"type":"statement","id":"Q3087436$27A2B666-F2F1-46CD-B756-1EC7C84F4DAC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087436$A5B9FC70-794C-4EDD-A559-36968B69B6FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"382af38531ed21c00433e38d6136d6e96d6cad6a","datavalue":{"value":"5939278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087436$DC2F5BF4-DBCD-4B64-A3BB-5BC586DEC5CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d065d0bb21e03ad0fae41e182b54467e1268adf","datavalue":{"value":"concurrent constraint programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087436$775B02DF-30EE-4E8F-8FA2-95803B4F6DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087436$AB11BFF0-363D-4D1E-993F-20D553EF40C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0636deed5aa2016f414be6e90aa152a72f61b966","datavalue":{"value":"observational equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087436$7E123AC3-5659-4D17-ACE4-D193C6CB1C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087436$81BEC149-DD48-4CE3-81CD-C34E6F2F9374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67275eee65130f90737e854dfe8e9aefe70e05d4","datavalue":{"value":"\\(\\pi \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087436$AD66D314-1E60-4EE6-86D7-3182B56D481D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa6c1af556f0abb9c251174f4df14ad1908b31ef","datavalue":{"value":"constraint handling rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087436$EB3FE989-B223-4DEC-B43F-166C2746A222","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":"Q3087436$3180EDC5-34C1-4CE1-905A-E31A288904CE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9a267bd24dad377860354fb326263e38a42a2d3","datavalue":{"value":{"entity-type":"item","numeric-id":3608657,"id":"Q3608657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087436$64495F65-1212-4930-8532-E4642082AC06","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e1a12469095fc950a6de50f4ca1f734f3e318711","datavalue":{"value":"W3100709767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087436$5A031B7F-4850-404A-A32E-CF7E7DC823EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"383e9c1bdab8fd7a9fd29fd56c848fe230a84a11","datavalue":{"value":{"entity-type":"item","numeric-id":1854410,"id":"Q1854410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a19fcbd9fa4a1a1975bcc0394f5b7f2261e90b5","datavalue":{"value":{"amount":"+0.8489807844161987","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":"Q3087436$90137797-C23E-45A0-8BE1-35C42EDE7775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"383b1a46adcb9677f98f3e27ad55aa4a3345c707","datavalue":{"value":{"entity-type":"item","numeric-id":4218945,"id":"Q4218945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07423d8ddc356e6154336875895ec7239e044f7b","datavalue":{"value":{"amount":"+0.8183153867721558","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":"Q3087436$12618053-A8CE-468D-AA5F-348AF2D838A8","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":"6da0d2aace5dca75a4e107987567150a84e9ffa8","datavalue":{"value":{"amount":"+0.8095412254333496","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":"Q3087436$882093F4-D518-4B3F-A318-7F48C6696718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a8968ee0f616e78079e9035458de3b9be730bed","datavalue":{"value":{"entity-type":"item","numeric-id":897936,"id":"Q897936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f685d884f7669724e5d81b1f9f171416d09c8a7","datavalue":{"value":{"amount":"+0.8095410466194153","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":"Q3087436$B9ABAFAA-F8B4-4B96-AEE5-34DC3ECE30E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69c533e22cf3c053e64d3d631c3ecb15425f200b","datavalue":{"value":{"entity-type":"item","numeric-id":2358701,"id":"Q2358701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38b5ebd0efc01662951dae44c1c2a752222c7416","datavalue":{"value":{"amount":"+0.7928130626678467","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":"Q3087436$7C37FD08-6870-436F-9DE3-5CE54D1C2103","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3087436","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3087436"}}}}}