Matches in Wikidata for { <http://www.wikidata.org/entity/Q56659149> ?p ?o ?g. }
Showing items 1 to 40 of
40
with 100 items per page.
- Q56659149 description "article scientifique publié en 2009" @default.
- Q56659149 description "artículu científicu" @default.
- Q56659149 description "im August 2009 veröffentlichter wissenschaftlicher Artikel" @default.
- Q56659149 description "wetenschappelijk artikel" @default.
- Q56659149 description "наукова стаття, опублікована в серпні 2009" @default.
- Q56659149 name "Social Choice Theory in HOL" @default.
- Q56659149 name "Social Choice Theory in HOL" @default.
- Q56659149 type Item @default.
- Q56659149 label "Social Choice Theory in HOL" @default.
- Q56659149 label "Social Choice Theory in HOL" @default.
- Q56659149 prefLabel "Social Choice Theory in HOL" @default.
- Q56659149 prefLabel "Social Choice Theory in HOL" @default.
- Q56659149 P1433 Q56659149-F207E53A-9067-4DFA-AB0C-994FB2FC2FEC @default.
- Q56659149 P1476 Q56659149-9415587E-62BC-4341-925A-43F85FE62A44 @default.
- Q56659149 P2888 Q56659149-0D4FA4A5-7001-4742-AFC1-355FE6BD360E @default.
- Q56659149 P304 Q56659149-05CA444B-EDAD-4756-864D-4A4994D8B962 @default.
- Q56659149 P31 Q56659149-92FBC349-E96D-40F7-9A41-C6B50D2D87F0 @default.
- Q56659149 P356 Q56659149-0A073839-3E88-48FF-9C01-786C37640050 @default.
- Q56659149 P433 Q56659149-B4C63845-782C-4F06-AA8A-845AA5661D5A @default.
- Q56659149 P478 Q56659149-8AE1944A-AF77-4C9D-970A-12D8D907AB08 @default.
- Q56659149 P50 Q56659149-089E9AB4-93F8-4791-85BE-B5DE7269F7E0 @default.
- Q56659149 P577 Q56659149-E3AD959D-6ADB-457E-820D-82AABED7FFA8 @default.
- Q56659149 P6104 Q56659149-820106AC-BECE-433C-9450-D00B3B734297 @default.
- Q56659149 P894 Q56659149-232B323E-3AD5-4AF8-8A5C-03D998ACDD4E @default.
- Q56659149 P8978 Q56659149-EFE06108-2416-44B7-9CAB-266B56AD606C @default.
- Q56659149 P356 S10817-009-9147-4 @default.
- Q56659149 P8978 Nipkow09 @default.
- Q56659149 P1433 Q6294821 @default.
- Q56659149 P1476 "Social Choice Theory in HOL" @default.
- Q56659149 P2888 s10817-009-9147-4 @default.
- Q56659149 P304 "289-304" @default.
- Q56659149 P31 Q13442814 @default.
- Q56659149 P356 "10.1007/S10817-009-9147-4" @default.
- Q56659149 P433 "3" @default.
- Q56659149 P478 "43" @default.
- Q56659149 P50 Q18217799 @default.
- Q56659149 P577 "2009-08-01T00:00:00Z" @default.
- Q56659149 P6104 Q8487137 @default.
- Q56659149 P894 "1185.68631" @default.
- Q56659149 P8978 "journals/jar/Nipkow09" @default.