Difference between revisions of "Contract"

From PKC
Jump to navigation Jump to search
(Created page with "The Category Contract is a computationally checked program that could decide whether explicitly stated Inputs/Outputs conditions can be met, and what should be mad...")
 
 
(2 intermediate revisions by the same user not shown)
Line 1: Line 1:
The Category [[Contract]] is a computationally checked program that could decide whether explicitly stated [[Inputs]]/[[Outputs]] conditions can be met, and what should be made responsible for each of the kind of outcome pairs.
{{WikiEntry|key=Contract|qCode=93288}} is an agreement having a lawful object entered into voluntarily by multiple parties (may be explicitly written or oral). The Category [[Contract]] is a computationally checked program that could decide whether explicitly stated [[Inputs]]/[[Outputs]] conditions can be met, and what should be made responsible for each of the kind of outcome pairs.


[[Category:Executable Program]]
[[Category:Logic Model]]
[[Category:Function]]
[[Category:Contract Theory]]

Latest revision as of 13:38, 24 February 2022

Contract(Q93288) is an agreement having a lawful object entered into voluntarily by multiple parties (may be explicitly written or oral). The Category Contract is a computationally checked program that could decide whether explicitly stated Inputs/Outputs conditions can be met, and what should be made responsible for each of the kind of outcome pairs.