{"entities":{"Q5175317":{"pageid":7204889,"ns":120,"title":"Item:Q5175317","lastrevid":52207517,"modified":"2026-01-21T04:04:54Z","type":"item","id":"Q5175317","labels":{"en":{"language":"en","value":"Mathemagix: the quest of modularity and efficiency for symbolic and certified numeric computation?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6406715"}},"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":"Q5175317$8347F6F0-82E2-45CD-A8C5-877C906AB0BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1cc990186e60d96f1186c32be3f311a651a5340d","datavalue":{"value":{"text":"Mathemagix","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5175317$D941EAC7-4597-458A-897A-FDF5758370BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa43b134bf443d92ee801359c2df4324ba106373","datavalue":{"value":"1308.68200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5175317$A4AC4BD1-EAFC-470B-B214-E6257F331841","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9b03c5634659667fc2ca916cb7d6511360d16f2","datavalue":{"value":"10.1145/2110170.2110180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5175317$19CE1D0C-92A7-4509-A6CA-B3FDBC6FECB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddbac42ac2c84d12533405ebcc24e236f8e4e04d","datavalue":{"value":{"entity-type":"item","numeric-id":190427,"id":"Q190427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5175317$E01336EF-3496-441E-8D08-A57132904C8C","rank":"normal"},{"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":"Q5175317$2CA187F1-B6CC-41D8-AB14-DEA42AC8C50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b837e42fad3454770e479d461920f6ff6d16af2","datavalue":{"value":{"entity-type":"item","numeric-id":163210,"id":"Q163210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5175317$C7EC027A-80B4-4A84-BAE4-D9E2F0DEF645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f03f6a5afc0b874ce2b49671f08fb3da077ceaa","datavalue":{"value":{"entity-type":"item","numeric-id":1864129,"id":"Q1864129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5175317$CCB9B2AC-B5D2-4D25-8A2B-A17991484958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5443f75f9583b75158ccde030de3699eee5b0e06","datavalue":{"value":{"entity-type":"item","numeric-id":423884,"id":"Q423884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5175317$8A01A8B8-5E0C-4089-A684-A0639BBFE37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eaceb11c37d15df9fa92d8322925da5344ff4175","datavalue":{"value":{"entity-type":"item","numeric-id":414621,"id":"Q414621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5175317$E48AFF2B-F4EA-4848-8E80-D18DA0692F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3ba307bafbcd5a9866f5619210ac3d161e401e8","datavalue":{"value":{"entity-type":"item","numeric-id":420747,"id":"Q420747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5175317$46E322D8-DD3E-42CB-8A97-7A403CC3EE9F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a4cc7e2181b92e53b1070c79ea91782279fff091","datavalue":{"value":{"entity-type":"item","numeric-id":2802384,"id":"Q2802384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5175317$A0108000-DFDB-42B2-918C-515509FC1DE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cec16c0ef5fe50943c64ee4e5ad8973edb5fb2ee","datavalue":{"value":{"time":"+2015-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5175317$B9E8351A-FF37-488C-9A46-3563AD04C42A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5175317$8FAB90F5-DFDF-48B3-85B4-FED8ECE76F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4844ecc2838b02f08a426d6ddfea94d07252b432","datavalue":{"value":"65Y15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5175317$5BA27AA5-81B3-421A-A5E0-A0DB94504EBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25b55b523e0152fa26b34735883f68fa5f40c25b","datavalue":{"value":"6406715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5175317$531FC34B-C0E3-4487-BBBE-C0BDBE6BD60C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"473e93d2a2932398479f76a3f87432c3c0dea38e","datavalue":{"value":{"entity-type":"item","numeric-id":13308,"id":"Q13308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5175317$6EE3EDA1-0C6C-4398-B879-ACF9A95F94AA","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":"Q5175317$D48B1B67-9C2F-45AB-ABAD-E7B1CC1FD88A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f567015062137ebf5fe5a60b8f033d2b62c5bda6","datavalue":{"value":"https://doi.org/10.1145/2110170.2110180","type":"string"},"datatype":"url"},"type":"statement","id":"Q5175317$FE650D7F-E0AC-442D-B0F6-65C89FBF28C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9dbdea6d0ac9b31e7b2a402fbb896160a6100b99","datavalue":{"value":"W2073890220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5175317$C99DAC3B-7DF0-4871-8748-9721F7A46734","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"dc81594f13d39b789ce54bd5ad1aa5984a48e625","datavalue":{"value":"Q131129626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5175317$3DC1B590-0BBE-4BDF-8F68-512CFA8E1F9C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26ae6b56b3bc1adc3e8a64433082529ec15de4e5","datavalue":{"value":{"entity-type":"item","numeric-id":5747899,"id":"Q5747899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbb7d719dc2e622fcf01047e34149f9559f5e1b1","datavalue":{"value":{"amount":"+0.8803927898406982","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5175317$17002DEF-22EF-4D4B-9F5B-25EA27FD9266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56abf2e32f70e5dd24b8a87344edb61ec2fb2e5f","datavalue":{"value":{"entity-type":"item","numeric-id":5747850,"id":"Q5747850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6894b6dd1c83444fdbda4111fe8109bcd321a976","datavalue":{"value":{"amount":"+0.7780645489692688","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5175317$992A55F1-F49C-43F5-B1EA-90BF485959A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14085c232e8a35ec88bd408bc5e8fd2bc26d8dc7","datavalue":{"value":{"entity-type":"item","numeric-id":2799572,"id":"Q2799572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"725395a6b430cdef5cef1a2846f21ecbffc2b516","datavalue":{"value":{"amount":"+0.7712134122848511","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5175317$48569BFF-BB45-4CF2-A65F-6A9B0209BB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d7b9465b4629f9b7c0e375ab04e8a57f1adbd2d","datavalue":{"value":{"entity-type":"item","numeric-id":5265161,"id":"Q5265161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4b2f6b166153328d8c4135de0468320870be73d","datavalue":{"value":{"amount":"+0.7565237283706665","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5175317$DBE6D3D9-67F7-4A36-B985-474BC7D4E417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a875965b5cd9d5df5c012b59ce09d09b6249ee1","datavalue":{"value":{"entity-type":"item","numeric-id":4790454,"id":"Q4790454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75ab4a4550e14b16eb98102d1b205ab6df06b984","datavalue":{"value":{"amount":"+0.7472544312477112","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5175317$EAAD69AD-C03D-46CB-8C03-FEAF43A4808B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5175317","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5175317"}}}}}