{"id":24008,"date":"2026-10-15T20:40:59","date_gmt":"2026-10-15T17:40:59","guid":{"rendered":"https:\/\/alpha.derasatek.com\/?drs_thesis=integrating-a-learning-mechanism-to-increase-the-efficiency-of-proving-theorems"},"modified":"2026-10-15T20:40:59","modified_gmt":"2026-10-15T17:40:59","slug":"integrating-a-learning-mechanism-to-increase-the-efficiency-of-proving-theorems","status":"publish","type":"drs_thesis","link":"https:\/\/alnodom.com.sa\/?drs_thesis=integrating-a-learning-mechanism-to-increase-the-efficiency-of-proving-theorems","title":{"rendered":"Integrating a learning mechanism to increase the efficiency of proving theorems"},"content":{"rendered":"","protected":false},"excerpt":{"rendered":"","protected":false},"featured_media":0,"template":"","meta":{"_drs_author":"Rana'a Ali Al-Harshani","_drs_university":"Kuwait University","_drs_department":"","_drs_year":"1999","_drs_degree":"masters","_drs_language":"\u0627\u0644\u0625\u0646\u062c\u0644\u064a\u0632\u064a\u0629","_drs_source":"","_drs_pdf":"","_drs_verified":""},"drs_subject":[],"class_list":["post-24008","drs_thesis","type-drs_thesis","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/alnodom.com.sa\/index.php?rest_route=\/wp\/v2\/drs_thesis\/24008","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/alnodom.com.sa\/index.php?rest_route=\/wp\/v2\/drs_thesis"}],"about":[{"href":"https:\/\/alnodom.com.sa\/index.php?rest_route=\/wp\/v2\/types\/drs_thesis"}],"version-history":[{"count":0,"href":"https:\/\/alnodom.com.sa\/index.php?rest_route=\/wp\/v2\/drs_thesis\/24008\/revisions"}],"wp:attachment":[{"href":"https:\/\/alnodom.com.sa\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=24008"}],"wp:term":[{"taxonomy":"drs_subject","embeddable":true,"href":"https:\/\/alnodom.com.sa\/index.php?rest_route=%2Fwp%2Fv2%2Fdrs_subject&post=24008"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}