Semantic resolution tree
سیمنٹک ریزولوشن ٹری ایک ایسا ٹری ہے جو پروگرامنگ زبان کے سیمنٹکس کی تعریف کے لیے استعمال ہوتا ہے۔ انہیں اکثر فرسٹ آرڈر پریڈیکیٹ منطق میں شقوں کی عدم اطمینان کو ظاہر کرنے کے لیے ایک نظریاتی آلے کے طور پر استعمال کیا گیا ہے۔ حوالہ جات کے درخت (ڈیٹا ڈھانچے)