{"entities":{"Q6085976":{"pageid":13220283,"ns":120,"title":"Item:Q6085976","lastrevid":93812414,"modified":"2026-06-05T05:11:09Z","type":"item","id":"Q6085976","labels":{"en":{"language":"en","value":"A pragmatic, scalable approach to correct-by-construction process composition using classical linear logic inference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7762985"}},"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":"Q6085976$EAB4D830-457E-4BD5-970C-F1762759082E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c61c9870fe593e14ec6758703074b1dd7daf6b0","datavalue":{"value":{"text":"A pragmatic, scalable approach to correct-by-construction process composition using classical linear logic inference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6085976$D4C3D42D-D98F-4ADC-BF52-F9A254070EDE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3fac62623ee84a9055d88af347514d863b3f3da1","datavalue":{"value":"1524.68219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6085976$6908EE6E-80BB-43A2-8ECD-E54F32A819F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"094460e393c931d87cdc6abc1db59831d04c1ea6","datavalue":{"value":"10.1007/978-3-030-13838-7_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6085976$04F50EA0-B334-4991-9E82-AA6005C9C524","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3973f059c1b5dc91d7940419c6f061f7ab77fe4d","datavalue":{"value":{"entity-type":"item","numeric-id":2405261,"id":"Q2405261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6085976$AAAC01FC-4C1A-46C3-8A94-552B590B8ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d78e8b1fd2bada0896418639974db329feb4fe3","datavalue":{"value":{"entity-type":"item","numeric-id":2102945,"id":"Q2102945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6085976$BF5568B7-5C1B-493A-AC83-2F077B767CBA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6085976$E1D81F47-2B6D-496B-9D06-EE8F892875BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e752eaf3ce65d5874092da64ee22160444cabb33","datavalue":{"value":{"time":"+2023-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6085976$A7411394-DCB8-4B31-B4F0-7A6BEBEA84A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a6e3921d6317e76ad7f6a0756a3a1a06dad16cd","datavalue":{"value":"https://arxiv.org/abs/1808.05490","type":"string"},"datatype":"url"},"type":"statement","id":"Q6085976$E43398E7-6AC0-4428-81B5-2C4B6F8618D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"8579651b5d75988fe08ecbef8d870b5de5c6572c","datavalue":{"value":"https://www.pure.ed.ac.uk/ws/files/87628716/A_Pragmatic_Scalable_Approach_PAPAPANAGIOTOU_DoR081119_AFV.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q6085976$439BEE1C-4DE0-4ECA-9E0E-E0FD9C9D3289","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6085976$6F77E75A-27B8-4096-AC33-3E7B037D346A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6085976$53650270-9A79-49D3-A46F-E8E28CA2ABC0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d326ecb3b815e6973354be23bfd9554455bc14fb","datavalue":{"value":"7762985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6085976$FEC9F887-C5CB-4BA4-AC36-7D23A831A5CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c65b0db9bb43e398ecbf9914113b728d64784f39","datavalue":{"value":"process modelling","type":"string"},"datatype":"string"},"type":"statement","id":"Q6085976$788D1B37-C62C-48BE-ABE4-AD45561985C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9946779af43068db84959d7ebfa6d74959256af","datavalue":{"value":"composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q6085976$B2360736-826C-499D-9A77-7C2E7DE65F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"964bd1e448c74b34fa0b098cd6322487f4d3aa32","datavalue":{"value":"correct by construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6085976$CE03B6F2-2903-417F-9B9D-BD5D7B9CF018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7bd1e9c2ad5b160cb484dfbd5dec03ad141acef","datavalue":{"value":"workflow","type":"string"},"datatype":"string"},"type":"statement","id":"Q6085976$92C5EA72-7F51-417A-8354-ADFFB7BD30E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6085976$EF9B5295-5453-40B6-AB33-EC3FAA6E7C70","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":"Q6085976$17FC9CBA-67BD-4E08-84FF-F2393676E1DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e2c20272b093d97a4c49f697a3341bfbab45511","datavalue":{"value":"W2902260404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6085976$37508693-75FF-493D-8ABD-4372B07BA764","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d032c7cd805e0b995983216e8e71bcce738b561","datavalue":{"value":{"entity-type":"item","numeric-id":6552504,"id":"Q6552504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3c3e96150776527a193ae03e6ec302b60fc8285","datavalue":{"value":{"amount":"+0.7023516297340393","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":"Q6085976$A436D6D4-17CA-4BCE-818A-10311827385C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ea5c469c314bfce959a0ae567ff6bb964b3caba","datavalue":{"value":{"entity-type":"item","numeric-id":2405262,"id":"Q2405262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb0750045d3e28cd1e4ecdd2a561b149e80511cd","datavalue":{"value":{"amount":"+0.6982483863830566","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":"Q6085976$37EF96B4-BFDB-4304-B8C5-9170A6726239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36521f6be7814bbdec3e89d057b5f80134b9484c","datavalue":{"value":{"entity-type":"item","numeric-id":5018488,"id":"Q5018488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"567ab64c178801e759743c1bf1b812a8cddd21fa","datavalue":{"value":{"amount":"+0.6825501918792725","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":"Q6085976$E65610F3-0473-4100-AED6-B3E4A8FA58AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6aff1559e7aa3ca7004a413641a7627b7081e81c","datavalue":{"value":{"entity-type":"item","numeric-id":5495108,"id":"Q5495108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0994a935001d70f6a1be1a7b55a9ffd35e09985a","datavalue":{"value":{"amount":"+0.6816498041152954","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":"Q6085976$61B57053-76F5-4CA6-9F43-AD7143F5F924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d76233e5e55b7178aa59c0fe8cd3f4705897997","datavalue":{"value":{"entity-type":"item","numeric-id":2747396,"id":"Q2747396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06ae50cfd9472820ad0fa9bf753e5986636801fc","datavalue":{"value":{"amount":"+0.6815054416656494","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":"Q6085976$232FA9CB-5F92-4E1C-8043-5CD32C75B047","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A pragmatic, scalable approach to correct-by-construction process composition using classical linear logic inference","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_pragmatic,_scalable_approach_to_correct-by-construction_process_composition_using_classical_linear_logic_inference"}}}}}