Tableau (logika) (Q1695254): Difference between revisions

Latest revision as of 20:39, 28 November 2023

No description defined

Language	Label	Description	Also known as
English	Tableau (logika)	No description defined	Analytic tableau Drzewa semantyczne Drzewo semantyczne Metoda tablic analitycznych Metoda tablic semantycznych Semantic tableau Tableaux (logika) Tablica analityczna Tablica semantyczna Tablice analityczne Tablice semantyczne

a0000003802300

0 references

0 references

0 references

P56921T72430

0 references

@@ Property / P4 (Deleted Property) @@
-Automatyczne dowodzenie twierdzeń Property P4 not found, cannot determine the data type to use.
-Normal rank
@@ Property / Type @@
-Unknown
@@ Property / Type: Unknown / rank @@
-Normal rank
@@ Property / Version @@
-Philippa Eilhart
@@ Property / Version: Philippa Eilhart / rank @@
-Normal rank
@@ Property / National Library Identifier @@
+a0000003802300
@@ Property / National Library Identifier: a0000003802300 / rank @@
+Normal rank
@@ Property / Related Subject @@
+Automatyczne dowodzenie twierdzeń
@@ Property / Related Subject: Automatyczne dowodzenie twierdzeń / rank @@
+Normal rank
@@ Property / Type @@
+Unknown
@@ Property / Type: Unknown / rank @@
+Normal rank
@@ Property / Version @@
+P56921T72430
@@ Property / Version: P56921T72430 / rank @@
+Normal rank