Pages that link to "Item:Q4989322"

The following pages link to Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers (Q4989322):

Displayed 3 items.

• Lifted Reasoning for Combinatorial Counting (Q5870533) ‎ (← links)
• Lifted inference with tree axioms (Q6088316) ‎ (← links)
• Automatic conjecturing of P-recursions using lifted inference (Q6166545) ‎ (← links)