@前缀xsd:.@前缀rdf:.@前缀rdfs:.@前缀owl:.@前缀bf:.@前缀bibo:.@前缀bibtex:.@前缀cito:.@前缀datacite:.@前缀dbo:.@前缀dc:.@前缀dct:.@前缀foaf:.@前缀升:.@前缀locid:.@前缀locrel:.@前缀架构:.@前缀wd:.@前缀wdt:.@前缀dblp:.猫头鹰:相同.猫头鹰:相同,;rdfs:标签“Enrique Casanovas和Rafel Farr\u00E9:在不完全理论中省略类型。(1996)”;dblp:doi,;数据引用:hasIdentifier[datacite:usesIdentifierScheme datacite:dblp记录;升:hasLiteralValue“journals/jsyml/CasanovasF96”;数据引用:ResourceIdentifier], [datacite:usesIdentifierScheme数据引用:doi;升:hasLiteralValue“10.2307/2275607”;数据引用:ResourceIdentifier] ;dblp:title“在不完整理论中省略类型”;dblp:bibtexType bibtex:文章;dblp:作者,;dblp:numberOfCreator 2;dblp:hasSignature(签名)[dblp:signatureDblpName“Enrique Casanovas”;dblp:signatureCreator;dblp:签名Orcid;dblp:签名序号1;dblp:签名发布;a dblp:作者签名], [dblp:signatureDblpName“Rafel Farr\u00E9”;dblp:signatureCreator;dblp:签名Orcid;dblp:签名序号2;dblp:签名发布;a dblp:作者签名] ;dblp:primaryDocumentPage(主文档页);dblp:documentPage,;dblp:在TocPage上列出;dblp:页码为“236-245”;dblp:publishedIn“J.Symb.Log.”;dblp:publishedInJournal“J.Symb.Log”;dblp:publishedInJournalVolume“61”;dblp:publishedInJournalVolumeIssue“1”;dblp:出版年份“1996”^^;a dblp:出版物,dblp:文章。rdfs:标签“dblp记录'journals/jsyml/CasanovasF96'的RDF数据的起源信息”;dct:创建者;dct:是的一部分;dct:修改“2022-10-02T15:42:49+0200”;dct:许可证.