Matches in Wikidata for { <http://www.wikidata.org/entity/Q57834883> ?p ?o ?g. }
Showing items 1 to 43 of
43
with 100 items per page.
- Q57834883 description "article scientifique publié en 2010" @default.
- Q57834883 description "im Januar 2010 veröffentlichter wissenschaftlicher Artikel" @default.
- Q57834883 description "wetenschappelijk artikel" @default.
- Q57834883 description "наукова стаття, опублікована в січні 2010" @default.
- Q57834883 name "A verified Common Lisp implementation of Buchberger’s algorithm in ACL2" @default.
- Q57834883 name "A verified Common Lisp implementation of Buchberger’s algorithm in ACL2" @default.
- Q57834883 type Item @default.
- Q57834883 label "A verified Common Lisp implementation of Buchberger’s algorithm in ACL2" @default.
- Q57834883 label "A verified Common Lisp implementation of Buchberger’s algorithm in ACL2" @default.
- Q57834883 prefLabel "A verified Common Lisp implementation of Buchberger’s algorithm in ACL2" @default.
- Q57834883 prefLabel "A verified Common Lisp implementation of Buchberger’s algorithm in ACL2" @default.
- Q57834883 P1433 Q57834883-83DE78F9-3DF6-4DB2-BBA6-99DAFEF857BD @default.
- Q57834883 P1476 Q57834883-1533E54B-1377-4BF5-9C62-00B876AFC845 @default.
- Q57834883 P2093 Q57834883-75AABF7F-0EF5-42B8-B525-957ECAB53D85 @default.
- Q57834883 P2093 Q57834883-9EEB8E4B-DE58-48B4-9AD4-A29FB503C951 @default.
- Q57834883 P2093 Q57834883-F2B1A9C4-155B-4606-962D-41C7BCF1D796 @default.
- Q57834883 P304 Q57834883-ED66C15D-22B5-4390-B4BA-23C393BF1451 @default.
- Q57834883 P31 Q57834883-994D8DCE-81FC-401C-9397-8EAF8AB76895 @default.
- Q57834883 P356 Q57834883-15CD4FBA-2461-4A29-9DF4-CEBCB1C66263 @default.
- Q57834883 P433 Q57834883-A04320A1-64F8-43E0-99AE-E1A755EEBFA9 @default.
- Q57834883 P478 Q57834883-42DCA654-A6BF-45F4-9E88-532D32FA04B5 @default.
- Q57834883 P577 Q57834883-3B1C7984-958E-4082-8DAF-5F8F77E67B87 @default.
- Q57834883 P6104 Q57834883-9FA7084F-8756-4EB3-9884-95C548CB9C6F @default.
- Q57834883 P894 Q57834883-B7CA5457-1580-47EC-95D1-A44CF41EDBE3 @default.
- Q57834883 P8978 Q57834883-7F1588EC-423F-49F6-80B5-6400E287C6F8 @default.
- Q57834883 P921 Q57834883-73925DDF-8CFA-4A57-8FAD-36749262DBD4 @default.
- Q57834883 P356 J.JSC.2009.07.002 @default.
- Q57834883 P8978 Medina-BuloPR10 @default.
- Q57834883 P1433 Q6295977 @default.
- Q57834883 P1476 "A verified Common Lisp implementation of Buchberger’s algorithm in ACL2" @default.
- Q57834883 P2093 "Francisco Palomo-Lozano" @default.
- Q57834883 P2093 "Inmaculada Medina-Bulo" @default.
- Q57834883 P2093 "José-Luis Ruiz-Reina" @default.
- Q57834883 P304 "96-123" @default.
- Q57834883 P31 Q13442814 @default.
- Q57834883 P356 "10.1016/J.JSC.2009.07.002" @default.
- Q57834883 P433 "1" @default.
- Q57834883 P478 "45" @default.
- Q57834883 P577 "2010-01-01T00:00:00Z" @default.
- Q57834883 P6104 Q8487137 @default.
- Q57834883 P894 "1194.68155" @default.
- Q57834883 P8978 "journals/jsc/Medina-BuloPR10" @default.
- Q57834883 P921 Q527892 @default.