# Formal techniques for consistency checking of orchestrations of semantic Web services

> Research article (Journal of Computational Science, 2020) · cited 18× · AI/ML

**Wikidata**: [openalex:W3036698088](https://www.wikidata.org/wiki/openalex:W3036698088)  
**Source**: https://4ort.xyz/entity/formal-techniques-for-consistency-checking-of-orchestrations-of-semantic-web-services