@前缀xsd:.@前缀rdf:.@前缀rdfs:.@前缀owl:.@前缀bf:.@前缀bibo:.@前缀bibtex:.@前缀cito:.@前缀datacite:.@前缀dbo:.@前缀dc:.@前缀dct:.@前缀foaf:.@前缀升:.@前缀locid:.@前缀locrel:.@前缀架构:.@前缀wd:.@前缀wdt:.@前缀dblp:.猫头鹰:相同.rdfs:标签“Yotam M.Y.Feldman等人:混乱中的秩序:使用局部视图证明线性化。(2018)”;数据引用:hasIdentifier[数据引用:usesIdentifierScheme数据引用:dblp-record;升:hasLiteralValue“期刊/corr/abs-1805-03992”;数据引用:ResourceIdentifier][数据引用:usesIdentifierScheme数据引用:arxiv;升:hasLiteralValue“1805.03992”;数据引用:ResourceIdentifier] ;dblp:title“混乱的秩序:使用局部视图证明线性化。”;dblp:bibtexType bibtex:文章;dblp:作者,,,,;dblp:numberOfCreator 5;dblp:hasSignature(签名)[dblp:signatureDblpName“Yotam M.Y.Feldman”;dblp:signatureCreator;dblp:签名序号1;dblp:签名发布;a dblp:作者签名][dblp:signatureDblpName“Constantin Enea”;dblp:signatureCreator;dblp:签名序号2;dblp:签名发布;a dblp:作者签名][dblp:signatureDblpName“Adam Morrison 0001”;dblp:signatureCreator;dblp:签名序号3;dblp:签名发布;a dblp:作者签名][dblp:signatureDblpName“Noam Rinetzky”;dblp:signatureCreator;dblp:符号序号4;dblp:签名发布;a dblp:作者签名][dblp:signatureDblpName“Sharon Shoham”;dblp:signatureCreator;dblp:签名序号5;dblp:签名发布;a dblp:作者签名] ;dblp:primaryDocumentPage(主文档页);dblp:documentPage;dblp:listedOnToc页面;dblp:在“CoRR”中发布;dblp:publishedInJournal“CoRR”;dblp:publishedInJournalVolume“abs/1805.03992”;dblp:出版年份“2018”^^;a dblp:出版物,dblp:非正式。rdfs:label“dblp记录'journals/corr/abs-1805-03992'的RDF数据的出处信息”;dct:创建者;dct:是的一部分;dct:修改“2018-08-13T16:46:38+0200”;dct:许可证.