User contributions for 193.55.47.1
Jump to navigation
Jump to search
20 June 2025
- 09:1709:17, 20 June 2025 diff hist +18,415 N Descriptive complexity theory →First-order least fixed-point logic