Pages that link to "Item:Q2372194"
From MaRDI portal
The following pages link to Line-based affine reasoning in Euclidean plane (Q2372194):
Displaying 4 items.
- Reasoning about negligibility and proximity in the set of all hyperreals (Q301366) (← links)
- Analyzing completeness of axiomatic functional systems for temporal × modal logics (Q3406454) (← links)
- Completeness of a functional system for surjective functions (Q5108132) (← links)
- The fragment of elementary plane Euclidean geometry based on perpendicularity alone with complexity PSPACE-complete (Q6664346) (← links)
