Content deleted Content added
→Sources: replace deadlink |
m →Relations: Fixed a mistaken count: There are two sentences, not one. |
||
Line 61:
|}Using this calculus, given facts can be formalized and then used for automatic reasoning. Relations between intervals are formalized as sets of base relations.
The
: ''During dinner, Peter reads the newspaper. Afterwards, he goes to bed.''
<math>\mbox{newspaper } \mathbf{\{ \operatorname{d} \}} \mbox{ dinner}</math>
| |||