{"entities":{"Q5045467":{"pageid":7075044,"ns":120,"title":"Item:Q5045467","lastrevid":54435617,"modified":"2026-01-26T19:49:30Z","type":"item","id":"Q5045467","labels":{"en":{"language":"en","value":"Using linear logic to verify requirement scenarios in composite web service"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7612660"}},"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":"Q5045467$EC35E54E-AADC-4D8A-9DBE-B2C4FC3C7B5B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac71985faa8e447ab7c1b029ec61d8bbcf595156","datavalue":{"value":{"text":"Using Linear Logic to Verify Requirement Scenarios in Composite Web Service","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5045467$1E7D3C75-2BCE-41A1-ACEE-A02DE83010CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3986548723422d0f660a46ba2d04d0218f56258d","datavalue":{"value":"1498.68171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045467$50549CE9-9B89-404E-9F69-A541F4B41384","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49f8516f33ab3058a228672d327b3f16c3b63344","datavalue":{"value":"10.1007/978-3-319-70848-5_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045467$42103560-3BCB-43AD-9053-88CC3DDDB503","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fed372f916216d4b21cf1d0a0ae1d13dce7eb285","datavalue":{"value":{"entity-type":"item","numeric-id":5045466,"id":"Q5045466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045467$FD99D17D-5D70-472E-AE46-C1D35EBE4157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"163fccd36e19262cedeb1779c3e93b352379b00d","datavalue":{"value":{"entity-type":"item","numeric-id":3423348,"id":"Q3423348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045467$7A0BDA7C-ECDA-43FD-8843-3571380001D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045467$C0302438-F672-451E-8359-DF6D161BEC1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96420cb12347695a963e770401ec584dde3a55d6","datavalue":{"value":{"time":"+2022-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5045467$6318062C-D09C-470B-8B8D-B456CECEEF5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045467$D35FBD40-65C8-4953-80F7-3FE11AEFEE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045467$4637B2FB-7A56-4E11-829C-635C4D774CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb3685facee6981d0664afe5afbdc986c78292cb","datavalue":{"value":"68M11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045467$5E6B32A6-2555-4193-88DE-06DA15979656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045467$150D046F-9097-4D3D-B886-767F9C39CDA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045467$4F86282E-36C3-4BA0-ACF7-2B459D366189","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"009dd54f645a714f2deda0d0c50bb75d340e1d94","datavalue":{"value":"7612660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045467$550D0407-CACF-4C11-885D-4DDCCE860722","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6733fcea51e866853a5cbfc2ccfc78eeb2ee932","datavalue":{"value":"web service","type":"string"},"datatype":"string"},"type":"statement","id":"Q5045467$94438FBC-0155-463C-A9E5-5A2E33113EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3726a66f44c197ca59da4ca98947ef05838b755","datavalue":{"value":"service-oriented architecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q5045467$95E838BF-8524-4545-89CF-C45AE1197685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4adb153923e765846c7a0fb1dc65349ec26e4c6c","datavalue":{"value":"workflow module","type":"string"},"datatype":"string"},"type":"statement","id":"Q5045467$CA8C93B6-274F-445B-8C1A-B3BFDC9339C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5045467$F668EF8A-C7BF-48A0-A802-C434CDA40517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5045467$25B1A2C7-3F72-4420-8D23-D3E66C0EF85C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5045467$287C7799-E517-4768-9072-11CAD3F62D73","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":"Q5045467$2DAE874C-0E85-4951-9C24-2E2301B0011F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97bda17b704e4fb158ff5d4e4c0d4f5474f4f779","datavalue":{"value":"https://doi.org/10.1007/978-3-319-70848-5_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q5045467$4764DBC5-327F-4F4B-AE7B-A303F4CA3899","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7a38232a07ebb00adeac883bffb59aa5670ec97","datavalue":{"value":"W2767453498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045467$DA5DAAB0-FA6B-443F-B6C8-BF5C7BED3D71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64f0ab1eb857ea21e8a0169da426e2f843b413e6","datavalue":{"value":{"entity-type":"item","numeric-id":2847799,"id":"Q2847799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e92520df346a7c9c9ac4cf59363eb396a2c9a564","datavalue":{"value":{"amount":"+0.7874656915664673","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":"Q5045467$C7DFA136-2A7D-4F0D-8675-010DBAF63EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75b5cdfaabe5b7019fb6dc132ae4313d79a5013e","datavalue":{"value":{"entity-type":"item","numeric-id":2848067,"id":"Q2848067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccc9f9bf49b7b2621e29f8e585e1c2324bb8d52b","datavalue":{"value":{"amount":"+0.6906121373176575","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":"Q5045467$29669356-6891-40C7-BEB7-CC8E3802F58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c7690184931f7544673f7e60b1635d044ad1695","datavalue":{"value":{"entity-type":"item","numeric-id":615897,"id":"Q615897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a41b1ecdfc6f9a98542dd0e300a0576240e5b41","datavalue":{"value":{"amount":"+0.6844302415847778","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":"Q5045467$818C4355-3B9C-4337-AC4D-A6E304FA2D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20bf87eb6f8d151d9af013e059dc309f919a63d7","datavalue":{"value":{"entity-type":"item","numeric-id":3464408,"id":"Q3464408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f5ede1e76ba9e11b263fc7bfcd174652450e789","datavalue":{"value":{"amount":"+0.6779632568359375","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":"Q5045467$8D361C45-3786-4DEE-98B0-000F5885D800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59e9cc92ac4352a77ab4d4e72b6a60c735030bde","datavalue":{"value":{"entity-type":"item","numeric-id":4428410,"id":"Q4428410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f251efc3649588da9a20d292878ddbdda3eac34","datavalue":{"value":{"amount":"+0.6779001355171204","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":"Q5045467$E3CFA1B2-A6A4-4323-BFDB-87DBC8601AB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5045467","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5045467"}}}}}