Pages that link to "Item:Q5145338"
From MaRDI portal
The following pages link to Weighted model counting beyond two-variable logic (Q5145338):
Displaying 5 items.
- (Q4357748) (← links)
- Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers (Q4989322) (← links)
- Counting of Teams in First-Order Team Logics (Q5092378) (← links)
- Lifted inference with tree axioms (Q6088316) (← links)
- Lifted algorithms for symmetric weighted first-order model sampling (Q6566639) (← links)