iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.dagstuhl.de/rec/conf/kr/Lin08.nt
.
.
.
"Fangzhen Lin: Proving Goal Achievability. (2008)" .
_:ID_540c1402f2e91f7bf8d526b9656942ba . _:ID_540c1402f2e91f7bf8d526b9656942ba
. _:ID_540c1402f2e91f7bf8d526b9656942ba
. _:ID_540c1402f2e91f7bf8d526b9656942ba
. _:ID_540c1402f2e91f7bf8d526b9656942ba
"conf/kr/Lin08" .
"Proving Goal Achievability." .
.
.
.
"1"^^
.
_:Sig_a9687c8f3cd545374e318f45af556876_1 . _:Sig_a9687c8f3cd545374e318f45af556876_1
. _:Sig_a9687c8f3cd545374e318f45af556876_1
. _:Sig_a9687c8f3cd545374e318f45af556876_1
"Fangzhen Lin" . _:Sig_a9687c8f3cd545374e318f45af556876_1
. _:Sig_a9687c8f3cd545374e318f45af556876_1
"1"^^
. _:Sig_a9687c8f3cd545374e318f45af556876_1
.
.
.
.
.
"621-628" .
"KR" .
"KR" .
"2008"^^
.
"2008"^^
.
.
"provenance information for RDF data of dblp record 'conf/kr/Lin08'" .
.
.
.
"2021-02-09T08:33:33+0100" .
