{"labels":{"en":"The Verification of Decision Tree Model for Coreference Resolution Using Marked Transition Systems, Petri Nets and Büchi Automata"},"descriptions":{"en":"scientific paper published in CEUR-WS Volume 3806"},"claims":{"P31":"Q13442814","P1433":"Q131010076","P1476":{"text":"The Verification of Decision Tree Model for Coreference Resolution Using Marked Transition Systems, Petri Nets and Büchi Automata","language":"en"},"P407":"Q1860","P953":"https://ceur-ws.org/Vol-3806/S_26_Pogorilyy_Slynko_Biletskyi.pdf","P50":[],"P2093":[{"value":"Sergiy Pogorilyy","qualifiers":{"P1545":"1"}},{"value":"Maksym Slynko","qualifiers":{"P1545":"2"}},{"value":"Pavlo Biletskyi","qualifiers":{"P1545":"3"}}]}}