{"labels":{"en":"MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems"},"descriptions":{"en":"scientific paper published in CEUR-WS Volume 621"},"claims":{"P31":"Q13442814","P1433":"Q113545484","P1476":{"text":"MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems","language":"en"},"P407":"Q1860","P953":"https://ceur-ws.org/Vol-621/paper13.pdf","P50":[{"value":"Q57422698","qualifiers":{"P1545":"1"}},{"value":"Q130903233","qualifiers":{"P1545":"2"}},{"value":"Q112399211","qualifiers":{"P1545":"5"}},{"value":"Q130982741","qualifiers":{"P1545":"6"}},{"value":"Q130982747","qualifiers":{"P1545":"7"}},{"value":"Q57923297","qualifiers":{"P1545":"9"}},{"value":"Q61089778","qualifiers":{"P1545":"12"}}],"P2093":[{"value":"","qualifiers":{"P1545":"3"}},{"value":"","qualifiers":{"P1545":"4"}},{"value":"","qualifiers":{"P1545":"8"}},{"value":"","qualifiers":{"P1545":"10"}},{"value":"","qualifiers":{"P1545":"11"}}]}}