Semantic resolution tree
ಶಬ್ದಾರ್ಥದ ರೆಸಲ್ಯೂಶನ್ ಮರವು ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಭಾಷೆಯ ಶಬ್ದಾರ್ಥದ ವ್ಯಾಖ್ಯಾನಕ್ಕಾಗಿ ಬಳಸಲಾಗುವ ಮರವಾಗಿದೆ. ಮೊದಲ-ಕ್ರಮಾಂಕದ ಪೂರ್ವಭಾವಿ ತರ್ಕದಲ್ಲಿನ ಷರತ್ತುಗಳ ಅತೃಪ್ತಿಯನ್ನು ತೋರಿಸಲು ಅವುಗಳನ್ನು ಅನೇಕವೇಳೆ ಸೈದ್ಧಾಂತಿಕ ಸಾಧನವಾಗಿ ಬಳಸಲಾಗುತ್ತದೆ. ಉಲ್ಲೇಖ ಮರಗಳು (ದತ್ತಾಂಶ ರಚನೆಗಳು)