# 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|Q113545244 # english label LAST|Len|"metaSMT: Focus on Your Application not on Solver Integration" # english description LAST|Den|"scientific paper published in CEUR-WS Volume 832" # P1476:title LAST|P1476|en:"metaSMT: Focus on Your Application not on Solver Integration" # P407 :language of work or name Q1860:English LAST|P407|Q1860 # P953 :full work available at URL LAST|P953|"https://ceur-ws.org/Vol-832/paper_5.pdf" # P577 :publication date LAST|P577|+2012-02-23T00:00:00Z/11 # P2093: author name string, P1545: series ordinal LAST|P2093|""|P1545|"1" # P50: author, P1545: series ordinal LAST|P50|Q1378532|P1545|"2" # P2093: author name string, P1545: series ordinal LAST|P2093|""|P1545|"3" # P50: author, P1545: series ordinal LAST|P50|Q60813930|P1545|"4" # P50: author, P1545: series ordinal LAST|P50|Q60661524|P1545|"5"