{"entities":{"Q5200105":{"pageid":7229676,"ns":120,"title":"Item:Q5200105","lastrevid":51307037,"modified":"2026-01-17T16:53:20Z","type":"item","id":"Q5200105","labels":{"en":{"language":"en","value":"Retargeting OpenAxiom to Poly/ML: towards an integrated proof assistants and computer algebra system framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5934436"}},"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":"Q5200105$2D1E3A8F-C593-4550-BAB4-971B01CA0BAD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b924d0488916bb0b9ba651ee433971993d5c9d35","datavalue":{"value":{"text":"Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5200105$68E9E710-13BD-4577-9DE1-DC0B9EAEF27F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"290f36821897cf0bc3a1f4574fc91e7e285cbf2d","datavalue":{"value":"1335.68227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200105$DB429042-8652-418E-A50E-CBA2D9C7DE89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f52006e51b3fd21403e721c13ecd49baa912ba89","datavalue":{"value":"10.1007/978-3-642-22673-1_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200105$152E9B8F-4DFF-43D7-997C-9A4C37234395","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200105$AFFBE887-9D7F-4BC4-BF9B-F9641EC52B11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d00523700407e21ae71debe0fbbbb012ba59e567","datavalue":{"value":{"time":"+2011-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5200105$BB35A495-19DA-4B74-9556-5A928EB09F6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200105$77E51784-6599-4EBD-9E79-DB12C01DD44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200105$42B0E103-0007-4BA0-B228-4E2687D4373D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a25bea29eb1e9624a30d89ca63b6587a713a0562","datavalue":{"value":"5934436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200105$60B20F8C-C624-45E4-B0C5-9F512ACD09CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3b7ff9ddd60751111b03d7b5b04dd05d2cea59c","datavalue":{"value":"OpenAxiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q5200105$1EB1F409-5768-4B2B-9B8F-B4B173528EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71135c08853575b096ee67a7d6bfaa7864a54320","datavalue":{"value":"Poly/ML-based proof assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q5200105$9689375D-0E27-4DE9-9224-70F534297EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e6d667ade9f0d8246c0c6bef3b60f45f84d6d12","datavalue":{"value":"runtime systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5200105$2C7D75B7-0E50-437B-B147-8941554629A6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200105$AC738044-68DB-4985-9AEB-64B56B2DB8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9be356095db48eeb87b32ad4a9ed90e1148f3bd8","datavalue":{"value":{"entity-type":"item","numeric-id":13960,"id":"Q13960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200105$D2B195A8-7051-43E0-91C8-8DDD87086DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8820312195fedfa211b44ae20ae12e4a82ec2682","datavalue":{"value":{"entity-type":"item","numeric-id":23299,"id":"Q23299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200105$DDA3FFE7-FC4B-4A5C-8A79-95F7988F1E31","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":"Q5200105$B0181F81-C513-4608-B4C5-A3B26029F49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200105$B9BB02DF-C262-41B6-BE45-1611EF70D121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bdb6b7cb30f72d40199d1ede4cc52f15667119b6","datavalue":{"value":{"entity-type":"item","numeric-id":21336,"id":"Q21336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200105$8035FEC1-A3A4-44CA-9345-24BB89882C9E","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":"Q5200105$D37ECBC2-F146-4A3D-8290-2077CC632916","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87c852eb962f445f7b4b7dec5cfee99faad96080","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22673-1_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5200105$1A61FA14-21C1-4221-88B4-6B940A9627FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a9c2f00bfcdfacda8d2372faa104920b172234ca","datavalue":{"value":"W2133203810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200105$60826CCA-4E67-48FF-8138-EBC9E0AD1921","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7714e08a8556aa1cd6a9f5fda8c7d4f8d9c37ba9","datavalue":{"value":{"entity-type":"item","numeric-id":4790649,"id":"Q4790649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200105$095FFC49-C5E8-4433-92AA-B26B8DD34DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19121fe5036f2676946186c6f9a088bb5b461d0f","datavalue":{"value":{"entity-type":"item","numeric-id":4227289,"id":"Q4227289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200105$7B679116-F9BD-4DA8-8CDE-60FAC30273D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f4951b34c2719d0d9ef2396ade05c6e41df9d64","datavalue":{"value":{"entity-type":"item","numeric-id":597106,"id":"Q597106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200105$08971B2E-8B9F-4141-A7E2-73DFE4C3F253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7fc7bf146a2055b1c42e66bf95ada5087edc7ba","datavalue":{"value":{"entity-type":"item","numeric-id":4385445,"id":"Q4385445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200105$534DFA43-8576-4BBE-9D6B-2DF7F35ABB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"799d273207c67ec7b548e88c5034009e9de9bb0a","datavalue":{"value":{"entity-type":"item","numeric-id":4709843,"id":"Q4709843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200105$8007DE1F-A5AA-4584-80C7-E1B8CA87FEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3322d5c5a0b4e9a039347087b2ddd244a2aacd84","datavalue":{"value":{"entity-type":"item","numeric-id":1404423,"id":"Q1404423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200105$F3E0C06B-F5B3-487E-9377-261C0E374273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a778ee45e7f76c35357f6ff8f41371da4dd0b78c","datavalue":{"value":{"entity-type":"item","numeric-id":2456560,"id":"Q2456560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200105$F11E3FD2-44E8-42F8-94F9-6FD456B5E3F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e5d997d3c3c1c4cbe0d251137694980cd98cf08","datavalue":{"value":{"entity-type":"item","numeric-id":1272607,"id":"Q1272607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200105$BCFE015A-8EA6-4214-8224-50A7B1B0F43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458562ae2613db0abbaf26dc41331f544ed51ee9","datavalue":{"value":{"entity-type":"item","numeric-id":4023355,"id":"Q4023355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200105$132C2904-0812-4AA0-A836-3E8A11727622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51c765bce8db628386276b11539dff7932a45c53","datavalue":{"value":{"entity-type":"item","numeric-id":5254178,"id":"Q5254178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200105$B3A31707-EF6E-427F-906D-B7C68034C88F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29cbf49a2d34b109d22fd4aed20f4c51c8b3874d","datavalue":{"value":{"entity-type":"item","numeric-id":4217952,"id":"Q4217952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6105f0d312aaa57649cdb38e426744b3412ec33","datavalue":{"value":{"amount":"+0.7415467500686646","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":"Q5200105$DC074A28-73DF-4DD0-B891-2B3A4EF8AF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d138128b6ef749c5b83de26dc2d96493081e97eb","datavalue":{"value":{"entity-type":"item","numeric-id":4518868,"id":"Q4518868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db6f48ded7c1cc6f7eeb99c818ef99410470e552","datavalue":{"value":{"amount":"+0.741467297077179","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":"Q5200105$E650549D-6324-448D-95C2-A4591D3EEEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89a1ccdd29f698747b6aa96da88440d993be29ab","datavalue":{"value":{"entity-type":"item","numeric-id":1272609,"id":"Q1272609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8648905a68e880870f632934598f276f7886395","datavalue":{"value":{"amount":"+0.7370006442070007","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":"Q5200105$B5D10397-01FC-4696-B6B3-5A4418884F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f16aadc6cf54417a3910e3f401c2c1c02bdb63a","datavalue":{"value":{"entity-type":"item","numeric-id":4934138,"id":"Q4934138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8648905a68e880870f632934598f276f7886395","datavalue":{"value":{"amount":"+0.7370006442070007","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":"Q5200105$1BB92E53-6779-4AB7-B446-2F33CA5892D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78a99606c904bf3262d15e460058d95f88a306e1","datavalue":{"value":{"entity-type":"item","numeric-id":4934140,"id":"Q4934140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d58497df75051c0723e2d9dca05980fb9191228d","datavalue":{"value":{"amount":"+0.733440101146698","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":"Q5200105$9E548398-4D7B-4292-921A-23C9FED09FA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5200105","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5200105"}}}}}