Semantic resolution tree
સિમેન્ટીક રિઝોલ્યુશન ટ્રી એ એક વૃક્ષ છે જેનો ઉપયોગ પ્રોગ્રામિંગ ભાષાના સિમેન્ટીક્સની વ્યાખ્યા માટે થાય છે. તેનો ઉપયોગ ઘણીવાર પ્રથમ ક્રમના અનુમાનિત તર્કમાં કલમોની અસંતોષકારકતા દર્શાવવા માટે સૈદ્ધાંતિક સાધન તરીકે કરવામાં આવે છે. સંદર્ભ વૃક્ષો (માહિતી માળખાં)