Matches in Wikidata for { <http://www.wikidata.org/entity/Q55393307> ?p ?o ?g. }
Showing items 1 to 45 of
45
with 100 items per page.
- Q55393307 description "article scientifique publié en 1996" @default.
- Q55393307 description "scholarly article by Steve Linton et al published 1996 in Lecture Notes in Computer Science" @default.
- Q55393307 description "wetenschappelijk artikel" @default.
- Q55393307 description "наукова стаття, опублікована в 1996" @default.
- Q55393307 name "Algebra and automated deduction" @default.
- Q55393307 name "Algebra and automated deduction" @default.
- Q55393307 type Item @default.
- Q55393307 label "Algebra and automated deduction" @default.
- Q55393307 label "Algebra and automated deduction" @default.
- Q55393307 prefLabel "Algebra and automated deduction" @default.
- Q55393307 prefLabel "Algebra and automated deduction" @default.
- Q55393307 P1433 Q55393307-9D0D364E-97BF-4BD6-91F5-1D2ED75D7FAA @default.
- Q55393307 P1476 Q55393307-A09D1BB1-C2CA-4C99-B8BA-A1CDCAF78BE6 @default.
- Q55393307 P2093 Q55393307-1989F280-2328-4EC4-8A93-6E651AF5A082 @default.
- Q55393307 P2093 Q55393307-472F9993-6541-43FC-A08B-BD9014E456EA @default.
- Q55393307 P2093 Q55393307-5B360DEC-0954-4B94-890B-8A756DF54BC5 @default.
- Q55393307 P304 Q55393307-5E326063-A7AF-405B-B80B-F05D6285CC4D @default.
- Q55393307 P31 Q55393307-704A2723-DC7B-4168-A8FA-F9E0FB7A6A22 @default.
- Q55393307 P356 Q55393307-758D4DF2-D2AE-4795-A5E2-7F6941E0624C @default.
- Q55393307 P407 Q55393307-E82085CE-F481-46DC-9E5F-E336C74A9821 @default.
- Q55393307 P50 Q55393307-0D896414-D12C-465F-8418-C8EFA7D1B895 @default.
- Q55393307 P577 Q55393307-600EC46C-3843-4D99-AFD6-DB4A3137696C @default.
- Q55393307 P6104 Q55393307-7C493969-6A89-410E-B0B5-D4DE070501A8 @default.
- Q55393307 P894 Q55393307-AFC5596A-FF99-4B94-B489-497E81C8973B @default.
- Q55393307 P8978 Q55393307-AB3BC59F-CEC2-4FA9-915E-8EFE695DB692 @default.
- Q55393307 P921 Q55393307-1AD8C4EA-D569-468D-8976-A6D41EB36491 @default.
- Q55393307 P921 Q55393307-853B8ED3-57F4-45C7-BB6C-4D09AEEB0FBA @default.
- Q55393307 P356 3-540-61511-3_106 @default.
- Q55393307 P8978 LintonMPS96 @default.
- Q55393307 P1433 Q924044 @default.
- Q55393307 P1476 "Algebra and automated deduction" @default.
- Q55393307 P2093 "Duncan Shand" @default.
- Q55393307 P2093 "Péter Pröhle" @default.
- Q55393307 P2093 "Steve Linton" @default.
- Q55393307 P304 "448-462" @default.
- Q55393307 P31 Q13442814 @default.
- Q55393307 P356 "10.1007/3-540-61511-3_106" @default.
- Q55393307 P407 Q1860 @default.
- Q55393307 P50 Q14010 @default.
- Q55393307 P577 "1996-01-01T00:00:00Z" @default.
- Q55393307 P6104 Q8487137 @default.
- Q55393307 P894 "1412.68242" @default.
- Q55393307 P8978 "conf/cade/LintonMPS96" @default.
- Q55393307 P921 Q184199 @default.
- Q55393307 P921 Q3968 @default.