The following pages link to (Q5528633):
Displaying 5 items.
- Many-sorted equivalence of shiny and strongly polite theories (Q682380) (← links)
- Investigations in many-sorted quantor logic (Q774393) (← links)
- A mechanical solution of Schubert's steamroller by many-sorted resolution (Q1060859) (← links)
- An order-sorted logic for knowledge representation systems (Q1193487) (← links)
- (Q4007002) (← links)