| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/interval_arith/ (PVS Prover Version 6.0.9©) Datei vom 28.9.2014 mit Größe 311 B |
|
Quelle top_allen.pvsSprache: PVS |
|||||||||||||||
|
%% Allen interval temporal logic as defined in the paper %% "Maintaining Knowledge about Temporal Intervals" by %% James F. Allen (CACM, Vol. 26, No. 11, Nov. 1983). %% %% Contributed by Dragan Stosic top_allen : THEORY BEGIN IMPORTING allen_interval, allen_interval_properties END top_allen
¤ Dauer der Verarbeitung: 0.9 Sekunden (vorverarbeitet am 2026-06-14) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-07-09