Pages that link to "Item:Q2974796"
From MaRDI portal
The following pages link to Encoding Monomorphic and Polymorphic Types (Q2974796):
Displaying 6 items.
- CoSMed: a confidentiality-verified social media platform (Q1663221) (← links)
- First-order automated reasoning with theories: when deduction modulo theory meets practice (Q2209546) (← links)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- (Q4989394) (← links)
- Superposition with lambdas (Q5918381) (← links)
- Superposition with lambdas (Q5919500) (← links)
