{"entities":{"Q1355985":{"pageid":1366724,"ns":120,"title":"Item:Q1355985","lastrevid":68695800,"modified":"2026-04-13T01:29:51Z","type":"item","id":"Q1355985","labels":{"en":{"language":"en","value":"Advances in the design of symbolic computation systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1016325"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355985$B86F8175-F812-4524-9CB5-E13C72A17A9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4473e37873c775f84f6295a0109c25577c50429d","datavalue":{"value":{"text":"Advances in the design of symbolic computation systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1355985$2C9684D5-D585-4ED7-ACEB-741EF207DCDD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"851116e4a9e782f8825f20c9bdd3a4493ad15964","datavalue":{"value":"0864.00041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355985$B5265577-9B2D-40A2-B09B-C66F23C9FBE0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b8869e11663822c30414d081eb713bc4fe3aeca","datavalue":{"value":"10.1007/978-3-7091-6531-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355985$C0AF8B40-CA2A-4635-AA7F-8E07F7D95284","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"07174244528895aa73c25324e59d974c2f9471fa","datavalue":{"value":{"entity-type":"item","numeric-id":354281,"id":"Q354281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355985$54564AD0-FCEB-40B6-BBBC-D07095FC3E8D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1794b8c016f47095478b978795ce328c3c19cb2b","datavalue":{"value":{"time":"+1997-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1355985$01FF6CC0-E3F3-40B5-A538-F5DD2C8D586D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4fce16a80020702129d398ddec564117ff7ec879","datavalue":{"value":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{Buchberger, B.}, Mathematica: Doing mathematics by computer?, 2-20 [Zbl 0884.68059]  \\textit{Miola, A.}, An overview of the TASSO project, 21-29 [Zbl 0884.68060]  \\textit{Limongelli, C.; Temperini, M.}, The uniform representation of mathematical objects by truncated power series, 32-52 [Zbl 0884.68061]  \\textit{Colagrossi, A.; Limongelli, C.; Miola, A.}, \\(p\\)-adic arithmetic: A tool for error-free computations, 53-67 [Zbl 0884.68062]  \\textit{Limongelli, C.}, Exact solution of computational problems via parallel truncated \\(p\\)-adic arithmetic, 68-83 [Zbl 0884.68063]  \\textit{Paule, P.; Nemes, I.}, A canonical form guide to symbolic summation, 84-110 [Zbl 0884.68064]  \\textit{Caprotti, O.}, Indexes in sums and series: From formal definition to object-oriented implementation, 111-123 [Zbl 0889.68082]  \\textit{Antoy, S.; Forcheri, P.; Gannon, J.; Molfino, M. T.}, Equational specifications: Design, implementation, and reasoning, 126-144 [Zbl 0884.68083]  \\textit{Parisi-Presicce, F.; Pierantonio, A.}, On the algebraic specification of classes and inheritance in object-oriented programming, 145-163 [Zbl 0884.68084]  \\textit{Di Blasio, P.; Temperini, M.}, On subtyping in languages for symbolic computation systems, 164-178 [Zbl 0884.68065]  \\textit{Di Blasio, P.; Temperini, M.; Terlizzi, P.}, Enhanced strict inheritance in TASSO-L, 179-195 [Zbl 0884.68085]  \\textit{Cioni, G.; Colagrossi, A.; Miola, A.}, Deduction and abduction using a sequent calculus, 198-216 [Zbl 0884.68112]  \\textit{Bertoli, P.; Cioni, G.; Colagrossi, A.; Terlizzi, P.}, A sequent calculus machine for symbolic computation systems, 217-229 [Zbl 0889.68137]  \\textit{Cioni, G.; Patrizi, G.; Temperini, M.}, Automated deduction by connection method in an object-oriented environment, 230-244 [Zbl 0884.68113]  \\textit{Colagrossi, A.; Micarelli, A.}, A general reasoning apparatus for intelligent tutoring systems in mathematics, 245-256 [Zbl 0884.68130]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355985$B980552F-868C-4E5A-AB3C-76993F15EC6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"342a6161f41187e2c595daa41b09cee10ab1ace9","datavalue":{"value":"00B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355985$8E6AEFFD-C71D-43E2-B220-F453016F1874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355985$50798498-A6EF-4F42-97A4-160F82327642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355985$25CD02D3-60BE-4F60-A1AC-FA82A357BAB1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"401e6370c04f4daf11791fb5e6da0c464becadcc","datavalue":{"value":"1016325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355985$A280CE2C-F82E-4B72-B8E7-CB18C8E6D661","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2712ab2989ee3b7b75887061004ce33f039f6a3c","datavalue":{"value":"Symbolic computation systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355985$33695502-A52E-4AF1-AA03-807F18B48E33","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355985$74A3F527-5E8B-430E-94E8-E4200358DB87","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1705a4dc0e51395843abc6c40e26a81badfc8db6","datavalue":{"value":"https://doi.org/10.1007/978-3-7091-6531-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1355985$4BF30974-0B9B-47F6-A061-09EF9BBB3571","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c95d2b917f23d2806a7c11c30a352f5ef18bf2b","datavalue":{"value":"W305974178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355985$11942CCB-0FED-437F-8DD2-1156286CB33E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a7a3b1dd2a494db5fbe3a51d4578eac95adc611","datavalue":{"value":{"entity-type":"item","numeric-id":4026762,"id":"Q4026762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f97e10db41a1f185a83e0422c5aaa1a7675f9379","datavalue":{"value":{"amount":"+0.9384236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1355985$BD131B2B-DC86-4555-AFE4-FF150D635491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11a83891676e5f84fb4d2c342fd0e1f595367ebc","datavalue":{"value":{"entity-type":"item","numeric-id":4673688,"id":"Q4673688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10fadb2cadc62d8b73163c62be2e56a7708aa32e","datavalue":{"value":{"amount":"+0.91711915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1355985$5AB80DF1-6DE1-4E0E-A4A4-4888062B3681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a13dc7f22145c3ee7d01646b1b7659ece94a963","datavalue":{"value":{"entity-type":"item","numeric-id":2287903,"id":"Q2287903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa33dc221f5399ba6687e6e1489cb241ce494cdb","datavalue":{"value":{"amount":"+0.8785982","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1355985$605DD764-B4EF-4033-8F65-E3373EDDA4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89c1ab71051fa2c35bbc3f3737b614f8a528ba2d","datavalue":{"value":{"entity-type":"item","numeric-id":4762607,"id":"Q4762607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1af02cfc51b6b0bc927d0f6fec18f6e82c8e9d59","datavalue":{"value":{"amount":"+0.8744589","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1355985$C2CDB497-8307-499A-B30D-87D0F45FD63F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea621aba4db520b99e3bfef24fffdf33005f0637","datavalue":{"value":{"entity-type":"item","numeric-id":757063,"id":"Q757063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef3be19f106b85a517b36909c4e88aa969e7394b","datavalue":{"value":{"amount":"+0.8737917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1355985$25533F46-4430-4C95-9DED-A33DB2482BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15583c90b66bff55af73c0c32cc4baedcfb4b97a","datavalue":{"value":{"entity-type":"item","numeric-id":578835,"id":"Q578835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff7371f261d310ef264a1d4d8a807f542f9227fa","datavalue":{"value":{"amount":"+0.87026155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1355985$F662FA33-B162-4856-BF31-23F11B3CD51F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Advances in the design of symbolic computation systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Advances_in_the_design_of_symbolic_computation_systems"}}}}}