Providing temporary use of on-line non-downloadable software and software as a service (SAAS) services featuring software for constructing, editing, storing, and management of databases by human and artificial agents to manage written proofs, namely, formal and informal proofs that include a sequence of reasoning, written arguments, namely, facts and statements used to support a proposition, and computer programs

'agent':33 'argument':50 'artifici':32 'comput':61 'construct':22 'databas':28 'download':10 'edit':23 'fact':52 'featur':19 'formal':39 'human':30 'includ':44 'inform':41 'line':7 'manag':26,35 'name':38,51 'non':9 'non-download':8 'on-lin':5 'program':62 'proof':37,42 'proposit':59 'provid':1 'reason':48 'saa':17 'sequenc':46 'servic':16,18 'softwar':11,13,20 'statement':54 'store':24 'support':57 'temporari':2 'use':3,55 'written':36,49

HYPERSLATE

Owners

Goods & Services