Book a Demo
Sign In
Sign Up
AI Assistant
Word Add-In
Search Clauses
Resources
About
Pricing
Home
Clauses
Formal problem model
AI-Powered Contracts
Draft, Review & Redline at the Speed of AI
Formal problem model
Sample Clauses
Formal problem model
. An agreement problem in the DOA framework is defined by the 7-tuple: {A, Σ, ∆, Θ, ρ, S, Ω} where:
View Source
Draft with AI
Split View
Download