https://dblp.org/rdf/schema#authoredBy
|
https://dblp.org/pid/323/4369 +
, https://dblp.org/pid/05/3499 +
, https://dblp.org/pid/61/9803-1 +
, https://dblp.org/pid/27/5028 +
, https://dblp.org/pid/144/4961 +
|
https://dblp.org/rdf/schema#bibtexType
|
http://purl.org/net/nknouf/ns/bibtex#Article +
|
https://dblp.org/rdf/schema#createdBy
|
https://dblp.org/pid/323/4369 +
, https://dblp.org/pid/05/3499 +
, https://dblp.org/pid/61/9803-1 +
, https://dblp.org/pid/27/5028 +
, https://dblp.org/pid/144/4961 +
|
https://dblp.org/rdf/schema#documentPage
|
https://doi.org/10.48550/ARXIV.2402.09609 +
|
https://dblp.org/rdf/schema#doi
|
https://doi.org/10.48550/ARXIV.2402.09609 +
|
https://dblp.org/rdf/schema#listedOnTocPage
|
https://dblp.org/db/journals/corr/corr2402 +
|
https://dblp.org/rdf/schema#numberOfCreators
|
5
|
https://dblp.org/rdf/schema#primaryDocumentPage
|
https://doi.org/10.48550/ARXIV.2402.09609 +
|
https://dblp.org/rdf/schema#publishedIn
|
CoRR
|
https://dblp.org/rdf/schema#publishedInJournal
|
CoRR
|
https://dblp.org/rdf/schema#publishedInJournalVolume
|
abs/2402.09609
|
https://dblp.org/rdf/schema#publishedInStream
|
https://dblp.org/streams/journals/corr +
|
https://dblp.org/rdf/schema#title
|
LogicPrpBank: A Corpus for Logical Implication and Equivalence.
|
https://dblp.org/rdf/schema#yearOfPublication
|
2024
|
owl:sameAs |
https://doi.org/10.48550/ARXIV.2402.09609 +
, http://dx.doi.org/10.48550/ARXIV.2402.09609 +
|
rdf:type |
https://dblp.org/rdf/schema#Publication +
, https://dblp.org/rdf/schema#Informal +
|
rdfs:label |
Zhexiong Liu et al.: LogicPrpBank: A Corpus for Logical Implication and Equivalence. (2024)
|