Pages that link to "Item:Q1115413"
From MaRDI portal
The following pages link to Application of the strategy of ordering disjunctives for a modification of the method of resolutions (Q1115413):
Displaying 4 items.
- One modification of the ordering strategy in the resolution method (Q1115411) (← links)
- Decision tactics for derivation search in the resolution method (Q1115412) (← links)
- Exact solutions to the Einstein-Maxwell equations describing wormholes and handles (Q1689676) (← links)
- A particular thin-shell wormhole (Q1695834) (← links)