Edge Rewrite
location Source code View original
// request.cf · coarse context

A page that knows where it met you.

Only coarse request metadata is shown. This demo does not display or persist visitor IP addresses.

Country
US
Cloudflare location
CMH
Connection
HTTP/2
Language
Not provided

Ray ID: a263bec8ee3e0acb

Jump to content

Talk:Method of analytic tableaux

Page contents not supported in other languages.
Add topic
From Wikipedia, the free encyclopedia
Latest comment: 1 year ago by Tule-hog in topic Proof procedure vs proof calculus

Proof procedure vs proof calculus

[edit]
Latest comment: 1 year ago1 comment1 person in discussion

According to proof procedure, semantic tableaux are a type of proof calculus - not a type of procedure. Tule-hog (talk) 20:34, 13 December 2024 (UTC)Reply

Retrieved from "https://en.wikipedia.org/w/index.php?title=Talk:Method_of_analytic_tableaux&oldid=1262942065"