Talk:Clock (model checking)

This article is within the scope of WikiProject Computer science, a collaborative effort to improve the coverage of Computer science related articles on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.Computer scienceWikipedia:WikiProject Computer scienceTemplate:WikiProject Computer scienceComputer science articles

???

This article has not yet received a rating on the project's importance scale.

Things you can help WikiProject Computer science with:

Here are some tasks awaiting attention:

Article requests :
- Requested articles/Applied arts and sciences/Computer science, computing, and Internet
Cleanup :
- Computer science articles needing attention
- Computer science articles needing expert attention
Copyedit :
- Computing
Expand :
- Computer science
Infobox :
- Computer science articles without infoboxes
Maintain :
- Timeline of computing 2020–present
Photo :
- Find pictures for the biographies of computer scientists (see List of computer scientists)
- Computing articles needing images
Stubs :
- Computer science stubs
Unreferenced :
- WikiProject Computer science/Unreferenced BLPs
Project-related :
- Tag all relevant articles in Category:Computer science and sub-categories with {{WikiProject Computer science}}

DAB problem

Latest comment: 5 years ago2 comments2 people in discussion

Hi, Narky Blert. You added «disambiguation needed» on «a finite conjunction of atomic clock constraint or the constant "true" ». Which I guess means that it is currently ambiguous. Can you please tell me what are the different meaning you see, because I currently don't see the ambiguity of this particular sentence. I would certainly want to correct the sentence to make it unambiguous, but I currently fails to see what should be corrected. Arthur MILCHIOR (talk) 00:57, 25 April 2019 (UTC)Reply

@Arthur MILCHIOR: Conjunction is a DAB page which offers six different meanings for the word (and wiktionary:conjunction offers a seventh). A reader who clicks on a bluelink should find useful information, not a puzzle.

I also don't know what a 'finite conjunction' is; is there such a thing as an 'infinite conjunction'?

That sentence contains another puzzle, which may follow from the ambiguity of 'conjunction'. Is 'or' an exclusive or or an inclusive or? For such a small word, they're two very different concepts. Yrs, Narky Blert (talk) 01:53, 25 April 2019 (UTC)Reply

Add topic