Probabilistic logic over equations and domain restrictions (Q5377701)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7059224
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Probabilistic logic over equations and domain restrictions |
scientific article; zbMATH DE number 7059224 |
Statements
Probabilistic logic over equations and domain restrictions (English)
0 references
27 May 2019
0 references
probabilistic logic
0 references
equational logic
0 references
satisfiability problem
0 references
offfline guessing attacks
0 references
0.8134181499481201
0 references
0.7558138370513916
0 references
0.7538583874702454
0 references
0.7450103163719177
0 references
