Assertion: propositional logic | /r/HasProperty | great interest
Facets:
value: to computer scientists
type: TRANSITIVE-OBJECT
Source sentences:
text: Intuitionistic logic is of great interest to computer scientists, as it is a constructive logic and sees many applications, such as extracting verified programs from proofs and influencing the design of programming languages through the formulae-as-types correspondence.