{"labels":{"en":"Proof Methods and Theorem Proving for Conditional Logics with Strong Centering"},"descriptions":{"en":"scientific paper published in CEUR-WS Volume 3428"},"claims":{"P31":"Q13442814","P1433":"Q120208296","P1476":{"text":"Proof Methods and Theorem Proving for Conditional Logics with Strong Centering","language":"en"},"P407":"Q1860","P953":"https://ceur-ws.org/Vol-3428/paper16.pdf","P50":[{"value":"Q58207643","qualifiers":{"P1545":"2"}}],"P2093":[{"value":"Valentina Gliozzi","qualifiers":{"P1545":"1"}},{"value":"Alberto Valese","qualifiers":{"P1545":"3"}}]}}