A Comprehensive Framework for Saturation Theorem Proving

Overview of attention for article published in Journal of Automated Reasoning, June 2022

Altmetric Badge

About this Attention Score

Among the highest-scoring outputs from this source (#17 of 143)
Above-average Attention Score compared to outputs of the same age (61st percentile)

Mentioned by

wikipedia: 1 Wikipedia page

Readers on

mendeley: 3 Mendeley

So far, Altmetric has seen 1 Wikipedia article.

English

Theta-subsumption

Cited by user Felix QW on 26 Nov 2023

Theta-subsumption (θ-subsumption) is a decidable relation between two first-order clauses that guarantees that one clause logically entails the other.

This page shows the most recent Wikipedia articles that mention this research output. Click here to find out how to access more activity.