A Proof of the Compositions of Time Interval Relations

04/05/2018

∙

by   Fadoua Ghourabi, et al.

∙

0

∙

share

We prove the 169 compositions of time interval relations. The proof is first-order and inferred from an axiomatic system on time intervals. We show a general proof template that can alleviate the manual proof with Isar.