{"entities":{"Q2456560":{"pageid":2467303,"ns":120,"title":"Item:Q2456560","lastrevid":50187752,"modified":"2026-01-13T11:06:11Z","type":"item","id":"Q2456560","labels":{"en":{"language":"en","value":"Dealing with algebraic expressions over a field in Coq using Maple"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5202031"}},"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":"Q2456560$CB329061-3945-41BC-B4B5-83D64F94F15E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f279d3b5ad321b6e5c22f09ee34c35805242e36","datavalue":{"value":{"text":"Dealing with algebraic expressions over a field in Coq using Maple","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2456560$620FD3F5-9372-434B-AEFC-EAC469CC366E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"538357cc3bf2e791943cfb16e59a49c11d68eaf5","datavalue":{"value":"1126.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456560$E4C33F31-995B-4947-BC6D-A4E2214FCC26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"786f6c8f2a36da61e98b228bbd36b74e25ad6f92","datavalue":{"value":{"entity-type":"item","numeric-id":2104524,"id":"Q2104524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456560$51A232BD-C1BE-4129-8D3F-0F8D8817F29D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e90650eb35b029d984e93a1c13f44e760c54facf","datavalue":{"value":{"entity-type":"item","numeric-id":352950,"id":"Q352950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456560$19A79E17-46D0-40B2-8A3D-0E2A4FBD23E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456560$65B8B66E-4A33-439A-9F5D-7CE1B258E87F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5dd9e0f7e970fb181073844a7c8c2ebc2be921","datavalue":{"value":{"time":"+2007-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2456560$DEF9BFA5-62E4-4B2E-9EA4-6759B048023D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456560$56265850-45CF-4B43-BB66-894F90DE9AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456560$0DAD5DA2-8795-4AF0-AB6F-9226CC22408F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c3bf50c090fb3fe95af1ea18b0949b0e1766f57","datavalue":{"value":"5202031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456560$F3D6A1DA-37A9-4725-AF69-84AFE1EFC84C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"742acadec2058a1daf33969cf122f1e00d23a668","datavalue":{"value":"Theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2456560$AB9247C1-6782-4FFC-9EE0-410DA3C64B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a0d0a64145a26d41eb5308b1cb512dc20d7b36","datavalue":{"value":"computer algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2456560$E827CE7F-3BB9-4BD7-8D47-D64B7DACCC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f833a3a9634ca9495fb83d8fd433acde681770ac","datavalue":{"value":"fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q2456560$BDF83201-5E65-4982-AE54-353D8FDBEB0F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456560$3CBC01A5-6168-493E-BBF9-93EC46AC1D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456560$2C04CDE2-A267-410A-9D53-F8ADE5401092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4bf6b098c4c01159a1cdee4d92fe2d1a9384e1ff","datavalue":{"value":{"entity-type":"item","numeric-id":22353,"id":"Q22353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456560$368E1D51-DF37-41D9-9EF6-7456ECFC8453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"322cfa9d250a6a53032394dc0d9f662b03cdb062","datavalue":{"value":{"entity-type":"item","numeric-id":19193,"id":"Q19193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456560$EB309BDC-4621-4AB0-8417-7E65E050FBA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456560$17047B8D-C25A-4744-8769-C651BBDEFAD2","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":"Q2456560$6D956711-F03E-4157-8112-ECB1558C3475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456560$544C4114-15DF-4813-B357-17AD7A1941D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456560$67E47A48-20C4-4D2A-8DAC-E3BBF796373E","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":"Q2456560$3F2E405F-C878-4BBE-9166-F2B34C543090","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b1e2434b31e3c6496c5fb4421fdd483396653cb","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2004.12.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2456560$63B0E5CE-D544-4FF3-9AFE-BA9D25CB15BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac7bffa8d958c6525e74be767f7b4e48f7854bc8","datavalue":{"value":"W2013201201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456560$6A7A2002-8423-429C-B089-06FCDB9701C0","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":"Q2456560$123C1FA4-D8FC-440C-B06D-D14C2EAA4B41","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":"Q2456560$9922C160-6217-4B7C-A9B4-336716279551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f9dec41c7615ebddca88a5ee0923f61e9449fc","datavalue":{"value":{"entity-type":"item","numeric-id":1610674,"id":"Q1610674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456560$221389CB-836F-42CA-859E-A68847EA2B39","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":"Q2456560$3BEB89E7-9ED4-4EF9-A91A-444E130D8AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4f3233db39fe7341b807b04807a599354263a85","datavalue":{"value":{"entity-type":"item","numeric-id":5950932,"id":"Q5950932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456560$4E568627-9B8E-4E7D-A503-C0E5612FB379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7dd72456b9f35dc6f6ce4c4519890ccb06e054d","datavalue":{"value":{"entity-type":"item","numeric-id":4002478,"id":"Q4002478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456560$F608E6FC-D7B2-4B2B-8CCC-2E1A416FD1A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0692c23c4e5b1c9e292e92944d68f69611e403f0","datavalue":{"value":{"entity-type":"item","numeric-id":4809066,"id":"Q4809066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456560$3958584E-2862-47C1-B706-640E1E3BE200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42dcfd7c63111dd834f218a09179d62db08255ff","datavalue":{"value":{"entity-type":"item","numeric-id":4808724,"id":"Q4808724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456560$62C720D7-9819-4E4D-9D4C-68847D8B8055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b714ee7bdb70947b555d42ec2db46670455bb12f","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456560$FAE94841-6D2C-48F3-8F40-22CB821322A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456560$BED38F1D-694B-4971-846B-12479CB1ECB4","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":"Q2456560$00FAD4BB-F9A1-479C-86C9-0C4DC8D6886E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5971f6f32ccebb0cec2f2ad3abf01be3f8f6ca4","datavalue":{"value":{"entity-type":"item","numeric-id":5958299,"id":"Q5958299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456560$C40867CC-CB54-4A8F-B4C5-499DFF9E366C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"834ddebd82ba8233abfd3de1d36999fc60cb1737","datavalue":{"value":{"entity-type":"item","numeric-id":3024916,"id":"Q3024916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456560$21CBC2E1-383A-4CBF-925B-521881C8E345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"810553d857e3cd3179c568cf91e305b23ff29eb5","datavalue":{"value":{"entity-type":"item","numeric-id":4518867,"id":"Q4518867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456560$E950C19B-EE97-4A5E-A724-2F26736F1707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8e3517581f053bd397311cfe8d27c9b34620e8a","datavalue":{"value":{"entity-type":"item","numeric-id":5234706,"id":"Q5234706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456560$E0D55AD2-68BA-4ACF-BC76-BB684094CED5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c430b415944dd18172f70d5857758cb177d38311","datavalue":{"value":"10.1016/J.JSC.2004.12.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456560$6686C46F-B985-4745-8652-7FB2C8F48339","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64ec920ab89881ea6f80de9366affd1a87504357","datavalue":{"value":{"entity-type":"item","numeric-id":2852041,"id":"Q2852041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18b2590d865017f39989c4a15072ae49e656bf7c","datavalue":{"value":{"amount":"+0.7730434536933899","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":"Q2456560$2C574D05-5455-433C-B189-DDD790082BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"404825eb196e28e9cdb897322b5b207a1e9328bb","datavalue":{"value":{"entity-type":"item","numeric-id":4790649,"id":"Q4790649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23c38968826512e059965e84bc9cd8f6cb19ece0","datavalue":{"value":{"amount":"+0.7643553614616394","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":"Q2456560$00E6ABD1-BDD1-46E8-9369-C568278BA7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0345b8d111ccf35f17db68bc0571366fd7b5303d","datavalue":{"value":{"entity-type":"item","numeric-id":2914733,"id":"Q2914733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9edb9b700e95e9bd4373d363ceb2ded1a2022de","datavalue":{"value":{"amount":"+0.7527092099189758","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":"Q2456560$3A383ACB-5C05-4FBE-90B4-6C66D685F184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"668685f5bd6c1d5e6837f0e3e7c1d163d49b3e90","datavalue":{"value":{"entity-type":"item","numeric-id":5170233,"id":"Q5170233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd21ebd87758bd8476b363afa8c201f90af18ae8","datavalue":{"value":{"amount":"+0.7499420046806335","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":"Q2456560$10A233A1-2B67-4F0D-9351-2B32317C9E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a04bd870194a7ce7cbc875d3aa605ee882ab6fe","datavalue":{"value":{"entity-type":"item","numeric-id":3431546,"id":"Q3431546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d536df97036a972b64e9b18fff52c81c4c2d466","datavalue":{"value":{"amount":"+0.7448214888572693","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":"Q2456560$1E061096-D542-4CBE-933C-DE9237CC72B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2456560","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2456560"}}}}}