Matches in Wikidata for { <http://www.wikidata.org/entity/Q57721919> ?p ?o ?g. }
Showing items 1 to 49 of
49
with 100 items per page.
- Q57721919 description "article scientifique publié en 2010" @default.
- Q57721919 description "scholarly article by J. Aransay & C. Domínguez published July 2010 in International Journal of Computer Mathematics" @default.
- Q57721919 description "wetenschappelijk artikel" @default.
- Q57721919 description "наукова стаття, опублікована в липні 2010" @default.
- Q57721919 name "A case-study in algebraic manipulation using mechanized reasoning tools" @default.
- Q57721919 name "A case-study in algebraic manipulation using mechanized reasoning tools" @default.
- Q57721919 type Item @default.
- Q57721919 label "A case-study in algebraic manipulation using mechanized reasoning tools" @default.
- Q57721919 label "A case-study in algebraic manipulation using mechanized reasoning tools" @default.
- Q57721919 prefLabel "A case-study in algebraic manipulation using mechanized reasoning tools" @default.
- Q57721919 prefLabel "A case-study in algebraic manipulation using mechanized reasoning tools" @default.
- Q57721919 P1433 Q57721919-1E8607B9-C593-4A2D-876B-B44A8C4830E2 @default.
- Q57721919 P1476 Q57721919-DD25593A-C725-4E2C-BC0A-3F89BFC3611F @default.
- Q57721919 P2093 Q57721919-4B3178C7-6C88-4358-8A66-C7560E4C374E @default.
- Q57721919 P2093 Q57721919-CBCA3E93-C398-43CF-B9AA-791454770EB4 @default.
- Q57721919 P2860 Q57721919-0584314A-7087-45E1-81CB-5593B027F1C1 @default.
- Q57721919 P2860 Q57721919-0817C60A-348C-41C3-B618-68CF7F87F6AC @default.
- Q57721919 P2860 Q57721919-926B0C51-4B92-4DDD-B667-3E194DEFEA0C @default.
- Q57721919 P2860 Q57721919-CAA4D928-3DDE-4A95-8117-330DB8E5A601 @default.
- Q57721919 P304 Q57721919-D38E1326-7C19-48A8-8172-741B238CC1E0 @default.
- Q57721919 P31 Q57721919-D55EE543-634C-4C96-9E64-76EDC1E75443 @default.
- Q57721919 P356 Q57721919-77CB44EA-2907-4F03-A628-2ABC2A684CF8 @default.
- Q57721919 P433 Q57721919-5EDCE4A2-83AD-483A-9871-6F331F4DF9AD @default.
- Q57721919 P478 Q57721919-90804B6F-4E15-4F9C-B626-2B6EB5A6FD17 @default.
- Q57721919 P577 Q57721919-443A70D8-F2BF-4B3B-858C-44E8CF19117C @default.
- Q57721919 P6104 Q57721919-C8A1CA30-4A6F-4EC6-B210-2752B2D7CE64 @default.
- Q57721919 P894 Q57721919-88A3D423-816B-4C9B-AB79-C48E0D1033AA @default.
- Q57721919 P8978 Q57721919-A1E8E90A-41AC-40E2-A639-3968C69CD58B @default.
- Q57721919 P921 Q57721919-B6110CED-2B33-4A66-8EB0-F3FCE0D897DE @default.
- Q57721919 P356 00207160802676604 @default.
- Q57721919 P8978 AransayD10 @default.
- Q57721919 P1433 Q13359486 @default.
- Q57721919 P1476 "A case-study in algebraic manipulation using mechanized reasoning tools" @default.
- Q57721919 P2093 "C. Domínguez" @default.
- Q57721919 P2093 "J. Aransay" @default.
- Q57721919 P2860 Q18198956 @default.
- Q57721919 P2860 Q56001156 @default.
- Q57721919 P2860 Q56385237 @default.
- Q57721919 P2860 Q57721926 @default.
- Q57721919 P304 "1936-1949" @default.
- Q57721919 P31 Q13442814 @default.
- Q57721919 P356 "10.1080/00207160802676604" @default.
- Q57721919 P433 "9" @default.
- Q57721919 P478 "87" @default.
- Q57721919 P577 "2010-07-01T00:00:00Z" @default.
- Q57721919 P6104 Q8487137 @default.
- Q57721919 P894 "1205.68358" @default.
- Q57721919 P8978 "journals/ijcm/AransayD10" @default.
- Q57721919 P921 Q3968 @default.