# created by /home/wf/.local/lib/python3.10/site-packages/ceurspt/ceurws.py CREATE # P31 :instance of Q13442814:scholarly article LAST|P31|Q13442814 # P1433: published in LAST|P1433|Q113543848 # english label LAST|Len|"The SDMLib Solution to the TTC 2017 State Elimination Case" # english description LAST|Den|"scientific paper published in CEUR-WS Volume 2026" # P1476:title LAST|P1476|en:"The SDMLib Solution to the TTC 2017 State Elimination Case" # P407 :language of work or name Q1860:English LAST|P407|Q1860 # P953 :full work available at URL LAST|P953|"https://ceur-ws.org/Vol-2026/paper11.pdf" # P577 :publication date LAST|P577|+2017-12-14T00:00:00Z/11 # P2093: author name string, P1545: series ordinal LAST|P2093|"Alexander Weidt"|P1545|"1" # P2093: author name string, P1545: series ordinal LAST|P2093|"Albert Zündorf"|P1545|"2"