{"entities":{"Q2817288":{"pageid":2828026,"ns":120,"title":"Item:Q2817288","lastrevid":79428317,"modified":"2026-05-06T13:53:10Z","type":"item","id":"Q2817288","labels":{"en":{"language":"en","value":"Mathematical theory exploration in Theorema: reduction rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6620483"}},"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":"Q2817288$AC6A912B-0EAF-4730-BC00-D37F38001F62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8dabe6bd648f95086f23d8acfa3bbc7d147500d5","datavalue":{"value":{"text":"Mathematical Theory Exploration in Theorema: Reduction Rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2817288$F2CDA2A4-6A02-4F27-BBDF-B20890D31819","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3442b9fd2028a5aee7c505c31bbcb7acfd8741a","datavalue":{"value":"1344.68210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817288$02537303-3169-4A19-AE62-5045A70581B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19c1dd25b6bbf16f2207aeb3d0ebc65b4a5a8562","datavalue":{"value":"10.1007/978-3-319-42547-4_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817288$E7380B40-A44B-468B-B65B-A1205923C182","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89aeebbd519907b23fa0a230e61b08e676dd99f3","datavalue":{"value":{"entity-type":"item","numeric-id":1798966,"id":"Q1798966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817288$B785DE77-C9E6-4183-8305-41AC2E669C97","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":"Q2817288$67AA016E-FE46-41F1-8FB0-EF8A7DB260BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85d9f70abb070df81833000bc59244d6fec26f1f","datavalue":{"value":{"time":"+2016-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2817288$6581C5A7-5142-421F-A8A4-B2F39226A26B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af7eee2c57c75d4ca7914e30428bf90d18947a82","datavalue":{"value":"https://arxiv.org/abs/1602.04339","type":"string"},"datatype":"url"},"type":"statement","id":"Q2817288$A58C5D6A-9FD4-4037-AC61-703F65B6F091","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817288$4BCFE27F-D2D4-4310-9839-494FB2E676A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817288$C62C8027-91D9-43BD-9009-A5FA531F107B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0003b9b4fcce9de3ec017b1c6558a546ad8cf86a","datavalue":{"value":"6620483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817288$123CF1DD-D6BA-41B7-92B1-30875CA13234","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c239dc77a316f7da47f9d2d7c645993f6cd8d7","datavalue":{"value":"Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q2817288$F8DEE8F3-2702-4182-9790-67AF3664B7BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cfd4e61fc5b16ae7deb7b040a2d51551b60f554","datavalue":{"value":"reduction rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2817288$FC4C646B-EB3E-4D5A-83EF-017C89B9764A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37be1383fe802e69cc9293e529bf9431e086dec6","datavalue":{"value":"computer-supported theory exploration","type":"string"},"datatype":"string"},"type":"statement","id":"Q2817288$01D62D24-47C8-4C81-8699-E3553D42A6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2817288$200BE6F7-DAD5-4AD5-8E83-AEC9DB2C64A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37db48fc50878deb5298f058e27a669b8c15ab38","datavalue":{"value":"Theorema","type":"string"},"datatype":"string"},"type":"statement","id":"Q2817288$B70E4A87-2DCE-4FA6-8B8F-4A5F607544D9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817288$DE7C4DFA-E12B-4FA3-8188-50303C6EE315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"261ae6dfeffd96c9ea238e124055221c78337064","datavalue":{"value":{"entity-type":"item","numeric-id":13705,"id":"Q13705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817288$38898193-A744-4890-A3BB-8E4C683CF855","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":"Q2817288$466212C2-8EE1-4FC2-B409-D762A64886A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2799b08366f76e25ef4817898038ba3f3a0cae4d","datavalue":{"value":"W3099560056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817288$2555F9AC-9750-44AE-B234-188FA067D92E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de464f4aafb4e9508ba256e2980a33d9d5749fdf","datavalue":{"value":{"entity-type":"item","numeric-id":4305609,"id":"Q4305609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817288$93454B5E-E722-4215-9D72-0F139E65AF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b7a76e3d93219f8f35922f7e651242be822568a","datavalue":{"value":{"entity-type":"item","numeric-id":3208084,"id":"Q3208084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817288$A5E547BD-647A-4D13-8712-C57CD63C7E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c29888ffc34074a279b8622e0e463f8cf0dd8abd","datavalue":{"value":{"entity-type":"item","numeric-id":3336682,"id":"Q3336682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817288$8A7709CB-173B-47C5-AD37-421C51EFAD68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4582c5ecaa6154cdd34ec4458b7d628349fce71","datavalue":{"value":{"entity-type":"item","numeric-id":1012152,"id":"Q1012152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817288$C70EA5FA-5740-403E-BBED-FEB3B0AFABFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0054f1bae41ce0c9465e89ccb545c5e6c23a5655","datavalue":{"value":{"entity-type":"item","numeric-id":1034553,"id":"Q1034553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817288$7156D7E0-63DF-49A0-B63C-23E8C1D2E0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"148fa272dfd5b3538fd0793ae331434241fdb821","datavalue":{"value":{"entity-type":"item","numeric-id":5387844,"id":"Q5387844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817288$1A90FA3C-553C-4F72-855C-3724FD3830C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a18e715e339d5e031b19bd6a95446bb853d0e21","datavalue":{"value":{"entity-type":"item","numeric-id":3708893,"id":"Q3708893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817288$049D89B7-B525-47F3-9BDE-450075DA154F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04aaaa6c54da135216e6a5062ac0663af21a8a80","datavalue":{"value":{"entity-type":"item","numeric-id":5898527,"id":"Q5898527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817288$1F2B506E-62D3-44C0-B4A3-7CC3D41E674C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b0a24e4453809873345e4463e12ee490633a83","datavalue":{"value":{"entity-type":"item","numeric-id":1109083,"id":"Q1109083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817288$C4535DF0-B581-4460-BDBF-09C0D9882D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7bdc6a4e3cff99e2d2075db85a9c542472539a4","datavalue":{"value":{"entity-type":"item","numeric-id":809150,"id":"Q809150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817288$D5B9747A-D4E6-4D1E-9624-1BEC0E83B2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b04f8e06bc6d45cea746bdfc009dd75dad2987","datavalue":{"value":{"entity-type":"item","numeric-id":1595926,"id":"Q1595926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817288$31FB38E8-59AD-4017-8ECB-EB6B1BB2D629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b18007a808c0345485051c4d5ccdff7c7eeb5baa","datavalue":{"value":{"entity-type":"item","numeric-id":5175306,"id":"Q5175306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817288$90A0B95B-04AD-4D2F-8800-3515C169CAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6490f3458cb21e0143635de50f846778bee78b23","datavalue":{"value":{"entity-type":"item","numeric-id":4499156,"id":"Q4499156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817288$0BC2BB67-144F-4D58-84A0-7AF30A480907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c88e3888090a103d6618595c1672e0dd43a1ee","datavalue":{"value":{"entity-type":"item","numeric-id":2879097,"id":"Q2879097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817288$6274BCF1-430B-4CBA-8EB1-FAC97A73E794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e2d761ccb0b052ed932a9e25e1934d9433dace","datavalue":{"value":{"entity-type":"item","numeric-id":3745825,"id":"Q3745825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817288$04B6CFA8-A5A3-45E3-BEF2-CF8066B84F29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68d60ef59f346f0e0312e5e975a6d9f136ef91d5","datavalue":{"value":{"entity-type":"item","numeric-id":3454553,"id":"Q3454553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"658441f805992aaa7b94b447098e1c0f40745e31","datavalue":{"value":{"amount":"+0.8864814639091492","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":"Q2817288$0DBF82F6-6AD8-4AB3-9B0F-0FFA011F3693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98c37cb6c6b42789f8c1a1828fff40de73c5b411","datavalue":{"value":{"entity-type":"item","numeric-id":2879150,"id":"Q2879150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52f5d23e65ed3c66e54975c9d0d8a3a6b40a7d07","datavalue":{"value":{"amount":"+0.8427558541297913","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":"Q2817288$1AFA2C87-D4C3-4CEC-965D-81FE2B789E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94184a395173f1800c8efb0fef89d70cee12a70a","datavalue":{"value":{"entity-type":"item","numeric-id":865646,"id":"Q865646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a249685e6d0ed07929c90caec316ed5258e13571","datavalue":{"value":{"amount":"+0.8180668354034424","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":"Q2817288$2A016261-5A1B-4CB6-908C-A40DB8BD1393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9726cc7376f9c9e17be44376106ad9280d3b83e4","datavalue":{"value":{"entity-type":"item","numeric-id":2819200,"id":"Q2819200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8013a6087358ed4a6aa96db4433afdc01d96dd5","datavalue":{"value":{"amount":"+0.8015462756156921","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":"Q2817288$F487F13E-8DBF-42D9-9B8D-F101DFFC8EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79880f78afc173acbe09e6a0ceff77095bf92ed1","datavalue":{"value":{"entity-type":"item","numeric-id":2702494,"id":"Q2702494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4bbebbf4fd2971bd9cf98a1aef574b3413a6294","datavalue":{"value":{"amount":"+0.7956387996673584","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":"Q2817288$D0A7D655-AF09-4718-B27A-8E5D026359ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mathematical theory exploration in Theorema: reduction rings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mathematical_theory_exploration_in_Theorema:_reduction_rings"}}}}}