Tutorials

Step-by-step guides to learn Mistaber's features through hands-on examples.

Learning Path

1. Your First Query - Query the knowledge base
2. Understanding Worlds - Kripke semantics for authorities
3. Writing Rules - Encode halachic rules in HLL
4. Encoding Machloket - Model disputes between poskim
5. Extending the Ontology - Add new concepts

Case Studies

Deep dives into complete halachic domains:

• Basar Bechalav - Meat and milk prohibitions
• Fish & Dairy Dispute - Mechaber vs Rema
• Bitul Shishim - Nullification by 60:1 ratio