Eliminacja kwantyfikatorów (Q392490): Difference between revisions
Jump to navigation
Jump to search
(Changed an Item: Updating statements of entity ["Eliminacja kwantyfikatorów" (pl), "Eliminacja kwantyfikatorów" (en)] with Lapacz) |
(Changed an Item: Updating statements of entity ["Eliminacja kwantyfikatorów" (pl)] with Lapacz) |
||
Property / P4 (Deleted Property) | |||
Property / P4 (Deleted Property): Logika matematyczna Property P4 not found, cannot determine the data type to use. / rank | |||
Property / Type | |||
Property / Type: Unknown / rank | |||
Property / Version | |||
Property / Version: Eskel / rank | |||
Property / National Library Identifier | |||
a0000003815163 | |||
Property / National Library Identifier: a0000003815163 / rank | |||
Normal rank | |||
Property / Related Subject | |||
Property / Related Subject: Logika matematyczna / rank | |||
Normal rank | |||
Property / Related Subject | |||
Property / Related Subject: Kwantyfikator / rank | |||
Normal rank | |||
Property / Related Subject | |||
Property / Related Subject: Rozstrzygalność i nierozstrzygalność / rank | |||
Normal rank | |||
Property / Related Subject | |||
Property / Related Subject: Teoria modeli (matematyka) / rank | |||
Normal rank | |||
Property / Type | |||
Property / Type: Unknown / rank | |||
Normal rank | |||
Property / Version | |||
P39488T58834 | |||
Property / Version: P39488T58834 / rank | |||
Normal rank |
Latest revision as of 00:07, 28 November 2023
No description defined
- Quantifier elimination
Language | Label | Description | Also known as |
---|---|---|---|
English | Eliminacja kwantyfikatorów |
No description defined |
|
Statements
a0000003815163
0 references
P39488T58834
0 references