An automated prover for Zermelo-Fraenkel set theory in Theorema (Q2457343): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jsc.2005.04.013
+Normal rank
@@ Property / OpenAlex ID @@
+W1988618194
@@ Property / OpenAlex ID: W1988618194 / rank @@
+Normal rank
@@ Property / cites work @@
+First-Order Atom Definitions Extended
@@ Property / cites work: First-Order Atom Definitions Extended / rank @@
+Normal rank
@@ Property / cites work @@
+Q5565098
@@ Property / cites work: Q5565098 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3714165
@@ Property / cites work: Q3714165 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4433979
@@ Property / cites work: Q4433979 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079605
@@ Property / cites work: Q4079605 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3875928
@@ Property / cites work: Q3875928 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-19
@@ Property / cites work: Automated Deduction – CADE-19 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3257866
@@ Property / cites work: Q3257866 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734418
@@ Property / cites work: Q5734418 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4433984
@@ Property / cites work: Q4433984 / rank @@
+Normal rank