Matches in Wikidata for { <http://www.wikidata.org/entity/Q57382631> ?p ?o ?g. }
Showing items 1 to 42 of
42
with 100 items per page.
- Q57382631 description "article by Jia Meng & Lawrence Paulson published 15 September 2007 in Journal of Automated Reasoning" @default.
- Q57382631 description "article scientifique publié en 2007" @default.
- Q57382631 description "im September 2007 veröffentlichter wissenschaftlicher Artikel" @default.
- Q57382631 description "wetenschappelijk artikel" @default.
- Q57382631 description "наукова стаття, опублікована у вересні 2007" @default.
- Q57382631 name "Translating Higher-Order Clauses to First-Order Clauses" @default.
- Q57382631 name "Translating Higher-Order Clauses to First-Order Clauses" @default.
- Q57382631 type Item @default.
- Q57382631 label "Translating Higher-Order Clauses to First-Order Clauses" @default.
- Q57382631 label "Translating Higher-Order Clauses to First-Order Clauses" @default.
- Q57382631 prefLabel "Translating Higher-Order Clauses to First-Order Clauses" @default.
- Q57382631 prefLabel "Translating Higher-Order Clauses to First-Order Clauses" @default.
- Q57382631 P1433 Q57382631-A0807A97-C399-42BF-923C-B22E958EB5F1 @default.
- Q57382631 P1476 Q57382631-DF4266BF-A8CC-4E31-B9F9-AD25AA72580D @default.
- Q57382631 P2093 Q57382631-46F75AA3-CD15-4E1A-97A0-71F453A6BBF6 @default.
- Q57382631 P2888 Q57382631-445BC3F5-1598-435A-B52A-348BEA55163F @default.
- Q57382631 P304 Q57382631-F2B6409A-4EDA-4CC7-9B51-E1A6D201C15C @default.
- Q57382631 P31 Q57382631-C15270DB-1914-43E1-82D8-8C60A12EB13D @default.
- Q57382631 P356 Q57382631-C3D3D6B8-1436-4811-9470-7A9E086AB974 @default.
- Q57382631 P433 Q57382631-83989987-AA20-4B77-BFF9-135F076A690E @default.
- Q57382631 P478 Q57382631-BB0C3C65-8097-4EB9-8BA2-AD2983495270 @default.
- Q57382631 P50 Q57382631-D38B1540-9A5E-46D8-9785-47AE030E1B61 @default.
- Q57382631 P577 Q57382631-1A977112-E18D-41D8-806B-4C4FE0BF6759 @default.
- Q57382631 P6104 Q57382631-6246267A-1B0B-46A9-9343-50024C63C4B5 @default.
- Q57382631 P894 Q57382631-F155C298-0686-4CEF-9E7A-BFE4E89B9428 @default.
- Q57382631 P8978 Q57382631-2038586C-3DAF-43A1-ADB1-B56C06C3F029 @default.
- Q57382631 P356 S10817-007-9085-Y @default.
- Q57382631 P8978 MengP08 @default.
- Q57382631 P1433 Q6294821 @default.
- Q57382631 P1476 "Translating Higher-Order Clauses to First-Order Clauses" @default.
- Q57382631 P2093 "Jia Meng" @default.
- Q57382631 P2888 s10817-007-9085-y @default.
- Q57382631 P304 "35-60" @default.
- Q57382631 P31 Q13442814 @default.
- Q57382631 P356 "10.1007/S10817-007-9085-Y" @default.
- Q57382631 P433 "1" @default.
- Q57382631 P478 "40" @default.
- Q57382631 P50 Q6504468 @default.
- Q57382631 P577 "2007-09-15T00:00:00Z" @default.
- Q57382631 P6104 Q8487137 @default.
- Q57382631 P894 "1203.68188" @default.
- Q57382631 P8978 "journals/jar/MengP08" @default.