Pages that link to "Item:Q5286163"
From MaRDI portal
The following pages link to Taxonomic syntax for first order inference (Q5286163):
Displaying 7 items.
- Socratic trees (Q383562) (← links)
- Set containment inference and syllogisms (Q1114429) (← links)
- Natural language syntax and first-order inference (Q1193491) (← links)
- Limited reasoning in first-order knowledge bases (Q1343837) (← links)
- Tarskian set constraints (Q1854523) (← links)
- (Q3493312) (← links)
- Inferring program specifications in polynomial-time (Q5030195) (← links)