Related changes
Jump to navigation
Jump to search
Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are in bold.
List of abbreviations:
- N
- This edit created a new page (also see list of new pages)
- m
- This is a minor edit
- b
- This edit was performed by a bot
- (±123)
- The page size changed by this number of bytes
7 November 2025
6 November 2025
|
|
N 15:53 | Finite Countermodel Machine 2 changes history +1,759 [Ukeharu; Aadenboy] | |||
|
|
15:53 (cur | prev) +7 Aadenboy talk contribs ({{WIP}}) | ||||
| N |
|
15:24 (cur | prev) +1,752 Ukeharu talk contribs (Created page with "{{infobox proglang |name=Finite Countermodel Machine |paradigms=declarative, logic |author=User:Ukeharu |year=2025 |memsys=State-based |dimensions=one-dimensional |class=Finite state automata |files=<code>.fcm</code> }} '''Finite Countermodel Machine''' is an esoteric language designed by User:Ukeharu in 2025, based on relational models of modal logic and tableaux derivatio...") | |||