{"entities":{"Q2405262":{"pageid":2416005,"ns":120,"title":"Item:Q2405262","lastrevid":52904561,"modified":"2026-01-23T18:56:42Z","type":"item","id":"Q2405262","labels":{"en":{"language":"en","value":"WorkflowFM: a logic-based framework for formal process specification and composition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6778414"}},"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":"Q2405262$FF653970-DA6D-4FB5-B2CC-33EBA86EC090","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1257fa04eb2bf5ab1d57695298c69e7816c19af","datavalue":{"value":{"text":"WorkflowFM: a logic-based framework for formal process specification and composition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2405262$4BE8963E-EFC2-479D-80B0-F2A92C46BBE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8051183308cfe3f2a532e5b74eb8639654b3528","datavalue":{"value":"1494.68292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405262$66098C7D-E51A-4CD9-BDED-4E62B8F4DAC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9784e17d54bba0458a93cf139c0e337af1190854","datavalue":{"value":"10.1007/978-3-319-63046-5_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405262$E66882BC-3288-491F-BB85-58155878CCD7","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":"Q2405262$F84DB79A-06DB-43ED-AB66-0324A83EB3CF","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":"Q2405262$1E61A5BA-DC08-40D5-B580-BB0F21438F09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75b8eddfcc302defc1a614ef0ded8c7b941f1ef4","datavalue":{"value":{"time":"+2017-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2405262$717BC028-B7A5-4AE1-A999-93C7CFC250D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"37e75f70820eb1337065df862c56266708868a18","datavalue":{"value":"https://www.pure.ed.ac.uk/ws/files/38051473/CADE_26_paper_35_2.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2405262$D8D6A0CB-60AD-42CD-9FEC-BFF97AB67518","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405262$1129E946-303E-4A4B-B1B8-015E6492AAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405262$08197847-0765-4AD3-9522-364F8FB1B7DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405262$21360E17-CDD8-4D05-B860-E03875389F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405262$3E9FED34-A6B3-42C0-89A7-18B63BB06AF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f80ad976ef9a6bb3587c4a0f0be91cb3abbd63fd","datavalue":{"value":"6778414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405262$FFBD3E91-F3DA-469D-8B23-5E1E7B120F81","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c65b0db9bb43e398ecbf9914113b728d64784f39","datavalue":{"value":"process modelling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2405262$C17798C0-9CCC-4AFF-B048-B90680F09FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"321afae1a007bf3a716be86f9cc2a7f38c5a418c","datavalue":{"value":"workflows","type":"string"},"datatype":"string"},"type":"statement","id":"Q2405262$E0C698D3-8100-427C-B85C-7E871F33B5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2405262$2FAF755C-C5A0-4B23-B8F2-58BEF1797FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0077a8f3ee7a3e9641775c68ecac296a4a8d252f","datavalue":{"value":"classical linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2405262$5B4E18C1-E3C4-48AA-B9C3-15A164C68EF6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405262$A458BA8E-4B77-4A1F-B342-C9D9F93AB28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7be44aca757f3adf49e3de3f5c22cd533ea232ed","datavalue":{"value":{"entity-type":"item","numeric-id":14023,"id":"Q14023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405262$78269274-1FFE-4FCD-8226-68E04658E9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"11135330990f0a76cadf8be3acdca3bfe817d976","datavalue":{"value":{"entity-type":"item","numeric-id":14898,"id":"Q14898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405262$20318D7A-9746-4FBF-A057-0FAABC52D52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9d34f46a7379bd93a55c4e431f88317ae6b8e799","datavalue":{"value":{"entity-type":"item","numeric-id":33327,"id":"Q33327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405262$1B81CEC2-8A08-4E70-8382-D42E6989BAD0","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":"Q2405262$419485A4-0CC6-4380-AAA9-7A2B67EAD105","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6da8c2579fa6fbeb08dce3cb16c0251efe60cc10","datavalue":{"value":"W2735081604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405262$D8692A2F-FB79-4404-A362-1D6647061109","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48366cf8a281b7aa5c11ddd9d6d5dd8369af13de","datavalue":{"value":{"entity-type":"item","numeric-id":2499063,"id":"Q2499063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"828a1069fa04ac52c7f6b5021aa5f1d6a7798bc5","datavalue":{"value":{"amount":"+0.7210521101951599","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":"Q2405262$471CCE23-9F98-4C28-A8F7-9C69D95AF6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a0e6b204aeb44da7655072b1a414c4dab2f8d94","datavalue":{"value":{"entity-type":"item","numeric-id":2018423,"id":"Q2018423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c428196b91dea982486dcbb17dc1fb5815e81ef7","datavalue":{"value":{"amount":"+0.7153293490409851","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":"Q2405262$DC569E6F-6752-4B00-B1E5-A949DD56B5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb51feed1464eed916d0ae899b9bc03f33bca360","datavalue":{"value":{"entity-type":"item","numeric-id":5200483,"id":"Q5200483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71e9aed1088799364f16aa1dcc0b2d025cacb3ea","datavalue":{"value":{"amount":"+0.7027138471603394","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":"Q2405262$03686716-DF0C-4C74-9A2F-186EDF5145BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd87ccce0989c8e95a907dd296f795518bc13753","datavalue":{"value":{"entity-type":"item","numeric-id":2423750,"id":"Q2423750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4314901e0ca11007a9210411ccb1ec629d17bde1","datavalue":{"value":{"amount":"+0.6939573884010315","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":"Q2405262$6918F75F-9C15-4E40-B536-5E2CC0B4039B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07e7ff391634e098c77a6b915847b6b8d857dc2e","datavalue":{"value":{"entity-type":"item","numeric-id":3485879,"id":"Q3485879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"360799b524fdb5da8156d5e70a266a58ffd67f3c","datavalue":{"value":{"amount":"+0.6928795576095581","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":"Q2405262$A59191A3-2A42-45C0-8BD7-5280E7CC5B28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2405262","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2405262"}}}}}