{"entities":{"Q5747899":{"pageid":7777450,"ns":120,"title":"Item:Q5747899","lastrevid":41685179,"modified":"2025-05-07T05:31:47Z","type":"item","id":"Q5747899","labels":{"en":{"language":"en","value":"Mathemagix: Towards Large Scale Programming for Symbolic and Certified Numeric Computations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785586"}},"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":"Q5747899$ED0E4488-70EC-4D87-8EBA-FAEAB8097F58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68df2b1acd4e93817b090761dadc1649c57c205e","datavalue":{"value":{"text":"Mathemagix: Towards Large Scale Programming for Symbolic and Certified Numeric Computations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747899$FDBEF245-B4A2-4CC3-A499-5074020A621F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a4eada2d293dbcd06b96ad36dc690cc75b782cb","datavalue":{"value":"1294.68158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747899$23277172-B3B9-4EAD-9F34-B0634B4E864B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"912e86f0ae27a46e6dc7075be4c028f33350dd11","datavalue":{"value":"10.1007/978-3-642-15582-6_52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747899$D8546696-2C61-40B6-9F1D-28276B6C644D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b0f9296afb1b2863546506fb80ec17a1e55d04c","datavalue":{"value":{"entity-type":"item","numeric-id":192036,"id":"Q192036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747899$1C545488-5725-456D-8D6A-6143F6B054B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a5945d2a448b067a1cf2f5ac3296fac055bb088","datavalue":{"value":{"entity-type":"item","numeric-id":5747846,"id":"Q5747846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747899$12214557-2252-4FCD-A29E-6AA058DD4A3B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747899$C9738896-80AB-48DC-A6EF-7AD550829813","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747899$9F22E5C8-8F13-4F63-9F02-41FC483062EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4844ecc2838b02f08a426d6ddfea94d07252b432","datavalue":{"value":"65Y15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747899$63167B32-95DA-4256-988F-F0D76BC566BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c2dd264fca4490139d1646195a3c4ff4cc1f3ce","datavalue":{"value":"5785586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747899$E1A2521E-4583-4B14-8DD7-B824577FB489","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c0b499821f3ec8e09ffa8d9ca0d3af779a5b4920","datavalue":{"value":{"entity-type":"item","numeric-id":15844,"id":"Q15844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747899$9418B166-B279-44EE-B4C0-3B0BF0A75F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9ba88ec88a3e0f66013f52903eb001c6391d509c","datavalue":{"value":{"entity-type":"item","numeric-id":12835,"id":"Q12835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747899$F1374E85-29B7-4FE7-BAD3-780691DD5CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"707e3c264bb7563d3adc999748792915816caa7c","datavalue":{"value":{"entity-type":"item","numeric-id":13123,"id":"Q13123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747899$22FDAC51-6760-4E56-B513-E82132705D41","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":"Q5747899$239921EE-1EFB-4342-A10A-9B1263A0D5CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6bca649c0392c03c469339ef56c7d518e85f1bbf","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15582-6_52","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747899$392D93E1-3855-4405-8B6B-F6E83257295F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9bab6dea5a5466a6af53292390b69f3394795f6","datavalue":{"value":"W1557416916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747899$60F7E3E8-F4E4-4A7A-B266-623F4E8EE804","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07410a548cade0811895510f1627f2b61b1fbcc9","datavalue":{"value":{"entity-type":"item","numeric-id":5175317,"id":"Q5175317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb5c0febd055a9c03ca2890c14ac9fdde8dac454","datavalue":{"value":{"amount":"+0.9321667","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":"Q5747899$4055DAF5-D03E-4345-A3CE-A7CE0DDE9B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ec00f8a60825a05ce54d03a4f9a2d4ba05bf211","datavalue":{"value":{"entity-type":"item","numeric-id":5431916,"id":"Q5431916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c54e8c33a73c711000a7c55edc4180f6c1875a1c","datavalue":{"value":{"amount":"+0.85670185","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":"Q5747899$9A5C0853-CE83-4784-A830-C6023FBD69D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60c0e748c9e18f46e6310a719d9ccfc85dfae01e","datavalue":{"value":{"entity-type":"item","numeric-id":3504342,"id":"Q3504342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88f114aa3f4618fc2e6f7563d7934d35f65cea20","datavalue":{"value":{"amount":"+0.8567018","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":"Q5747899$F9DE5E76-F553-49F9-A043-2BB91A619DC0","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":"0932e475871eb203829ba4c23931cb645b62cc40","datavalue":{"value":{"amount":"+0.8534639","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":"Q5747899$5A872901-22F7-4AC9-B104-D80AE6138717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5882fd77477ef031212c28f8c24af0aa3db4ac2e","datavalue":{"value":{"entity-type":"item","numeric-id":1264454,"id":"Q1264454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec4d886b469faa06885ac1b87e4c302f588ef9bc","datavalue":{"value":{"amount":"+0.85051477","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":"Q5747899$06A0F871-4FB6-44E6-B2B1-5B1C0D25BC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"790d3a00f49f482ef87506b1713b19b91ba0fe53","datavalue":{"value":{"entity-type":"item","numeric-id":3799597,"id":"Q3799597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5477c65636c84681b61411f69ea7b469ccd53c46","datavalue":{"value":{"amount":"+0.84944355","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":"Q5747899$40BF59EE-6993-4589-9288-7A214DF3EAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e720b15244d790dbad264256802ff6afc26162ec","datavalue":{"value":{"entity-type":"item","numeric-id":2738483,"id":"Q2738483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d177055ae9a61b278744b268a22020820d09317","datavalue":{"value":{"amount":"+0.8460892","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":"Q5747899$96BE4DCA-5457-4106-8538-2BA6FF2B6C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77ac23b50beee944199310bafd054874db9d2091","datavalue":{"value":{"entity-type":"item","numeric-id":2291818,"id":"Q2291818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9bce92600e40e11db93a9291a6f9c89a84ab764","datavalue":{"value":{"amount":"+0.84061265","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":"Q5747899$0D7B6BAD-E04D-4751-A8B9-4039CCBC88EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5747899","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5747899"}}}}}