6
मुझे प्रूफ नेट के बारे में कैसे सोचना चाहिए?
इस सवाल के जवाब में , स्टीफन जिमेनेज़ ने मुझे रैखिक तर्क में साक्ष्यों के लिए एक बहुपद-काल सामान्यीकरण एल्गोरिथ्म की ओर इशारा किया। गिरार्ड के पेपर में प्रमाण प्रूफ नेट का उपयोग करता है, जो कि रैखिक तर्क का एक पहलू है जिसके बारे में मुझे वास्तव में बहुत …