Linear temporal logic to Büchi automaton
This page lists the items of the Wikipedia article Linear temporal logic to Büchi automaton in their order, and the nodes of Math 2.0 that have them. The text of the article is not on this site. The items come from revision 1359313828, with the assessment C/Unknown.
| Outcome | Items |
|---|---|
| attached | 2 |
| deferred | 2 |
The gap signals of the article are S1,S3,S6,S8.
| Item | Kind | Name | Outcome | Nodes | Reason |
|---|---|---|---|---|---|
| subject | definition | Linear temporal logic to Büchi automaton | deferred until 2027-05-01 | the item has the flag informal (WP9.2) | |
| #41KJ | proof | Proof | attached | ||
| #5ZT3 | proof | Proof of correctness of the above construction | attached | ||
| #MY7K | statement | Theorem 1 | deferred until 2027-05-01 | the item has no name of its own, and the write role names it |
Refer to Wikipedia articles and their nodes for the other articles.