A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING (Q3022009)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING |
scientific article; zbMATH DE number 2177793
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING |
scientific article; zbMATH DE number 2177793 |
Statements
A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING (English)
0 references
22 June 2005
0 references
temporal logic programming
0 references
proof procedures
0 references
branching-time
0 references
theorem proving
0 references
0.8522838950157166
0 references
0.8076686263084412
0 references
0.7963300943374634
0 references
0.790502667427063
0 references
