# created by /home/wf/.local/pipx/venvs/pyceurspt/lib/python3.11/site-packages/ceurspt/ceurws.py CREATE # P31 :instance of Q13442814:scholarly article LAST|P31|Q13442814 # P1433: published in LAST|P1433|Q113531076 # english label LAST|Len|"On the Complexity of Finding Good Proofs for Description Logic Entailments" # english description LAST|Den|"scientific paper published in CEUR-WS Volume 2663" # P1476:title LAST|P1476|en:"On the Complexity of Finding Good Proofs for Description Logic Entailments" # P407 :language of work or name Q1860:English LAST|P407|Q1860 # P953 :full work available at URL LAST|P953|"https://ceur-ws.org/Vol-2663/paper-1.pdf" # P577 :publication date LAST|P577|+2020-09-03T00:00:00Z/11 # P50: author, P1545: series ordinal LAST|P50|Q130829011|P1545|"1" # P50: author, P1545: series ordinal LAST|P50|Q92729|P1545|"2" # P50: author, P1545: series ordinal LAST|P50|Q57517594|P1545|"3" # P50: author, P1545: series ordinal LAST|P50|Q130850200|P1545|"4" # P2093: author name string, P1545: series ordinal LAST|P2093|"Alisa Kovtunova"|P1545|"5"