Our systems have detected unusual traffic from your computer network. Please try your request again later.
Why did this happen?
This page appears when Google automatically detects requests coming from your computer network which appear to be in violation of the
Terms of Service. The block will expire shortly after those requests stop.
This traffic may have been sent by malicious software, a browser plug-in, or a script that sends automated requests. If you share your network connection, ask your administrator for help — a different computer using the same IP address may be responsible.
Learn moreSometimes you may see this page if you are using advanced terms that robots are known to use, or sending requests very quickly.
IP address: 172.71.222.240 ≠ 172.71.223.158
Time: 2025-02-26T05:23:19Z
URL: https://scholar.google.com/scholar?q=A+First+Class+Boolean+Sort+in+First-Order+Theorem+Proving+and+TPTP.