Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  analyzes the effect of heuristic search algorithms like A* and IDA* to accelerate proof-state based theorem provers.#R##N##R##N#A functional implementation of possibly ighted A* is proposed that extends Dijkstra's single-source shortest-path algorithm. Efficient implementation issues and possible flaws for both A* and IDA* are discussed in detail.#R##N##R##N#Initial results with first and higher order logic examples in Isabelle indicate that directed automated theorem proving is superior to other known general inference mechanisms and that it can enhance other proof techniques like model elimination.
['Stefan Edelkamp', 'Peter Leven']
I am writing a research paper on a idea Directed Automated Theorem Proving
[{"from": "human", "value": "I am writing a research paper on a idea Directed Automated Theorem Proving"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  analyzes the effect of heuristic search algorithms like A* and IDA* to accelerate proof-state based theorem provers.#R##N##R##N#A functional implementation of possibly ighted A* is proposed that extends Dijkstra's single-source shortest-path algorithm. Efficient implementation issues and possible flaws for both A* and IDA* are discussed in detail.#R##N##R##N#Initial results with first and higher order logic examples in Isabelle indicate that directed automated theorem proving is superior to other known general inference mechanisms and that it can enhance other proof techniques like model elimination."}]