{"entities":{"Q3454553":{"pageid":5233953,"ns":120,"title":"Item:Q3454553","lastrevid":90202055,"modified":"2026-06-04T19:33:01Z","type":"item","id":"Q3454553","labels":{"en":{"language":"en","value":"Automated reasoning in reduction rings using the Theorema system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6513559"}},"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":"Q3454553$3F1FCED4-D91B-4559-A5DE-A1CBDD703832","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82406d74b2d363d6d4e3454006e9b0352e97cb0d","datavalue":{"value":{"text":"Automated Reasoning in Reduction Rings Using the Theorema System","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3454553$BA8188DD-7E0C-4FF9-8BD3-6E1CDA52AC7C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00ca1f611823242fe2c18f7739d820f3a37cae03","datavalue":{"value":"1434.13028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454553$2AABBA33-F3FF-462A-BA23-CA1B7E379E1C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ef5854d643d7aec94a281fbac9006ca681b19b0","datavalue":{"value":"10.1007/978-3-319-24021-3_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454553$4CD07097-39AB-4F78-94C9-7FD885798470","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":"Q3454553$E6DC69CA-8119-4BA8-B1D7-975584FB4B44","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3457386823daa10db7f266a7a58ead5c5ae2053b","datavalue":{"value":{"entity-type":"item","numeric-id":2829986,"id":"Q2829986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454553$A47D755C-3726-4EC3-8FB6-0D8A290D322A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fb3656d1d5424f05bf402bce04ea94941dd2ff3","datavalue":{"value":{"time":"+2015-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3454553$DCBFABC6-56A5-4A58-8424-EF8DBB319182","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454553$F60810A2-FAE9-4A9F-89BF-D0619AE64AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454553$110A00F2-623B-46F5-9134-7FE03DED5993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454553$F58ECA36-D9C9-429C-A862-8D816B06D217","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07dd903fc3444668f1cd8968aafef41f78f43d15","datavalue":{"value":"6513559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454553$E8057E5B-9A9F-457A-ADBF-C9066D3B87A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c239dc77a316f7da47f9d2d7c645993f6cd8d7","datavalue":{"value":"Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454553$1CB866E1-6EFB-4F46-AEA0-6E79B64508A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cfd4e61fc5b16ae7deb7b040a2d51551b60f554","datavalue":{"value":"reduction rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454553$69D8F5D1-D913-47FA-8596-7ABCBCC6AA0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4862fcec7fc6bb1eab083b73a42aaff8b7e0d902","datavalue":{"value":"mathematical theory exploration","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454553$46CF3BA5-C9BF-4981-9C1E-9D126BE49FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454553$B4D855C3-DDCC-412F-81D1-FB1067B340BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3a96a510fd7a7846523150dd8bb125ef8f415fa","datavalue":{"value":"formalized mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454553$FED75CC3-CD34-4173-865A-A54B39721FFA","rank":"normal"}],"P1463":[{"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":"Q3454553$EF39EC58-146D-4269-BA3B-42BD83D3BA42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454553$AFEDD54B-FCD0-4253-8A38-BD55181F2D3A","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":"Q3454553$29F28ED9-56BD-4CF9-AADC-CEBA2E6C2851","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bbce3d25439859b5b6f3ee5ba9127b4190317d5b","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24021-3_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q3454553$B6BAF05A-861F-40F5-9F0B-662E297447A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"757b20372494aaf84b5c65c77d3610c454f931e5","datavalue":{"value":"W2260428947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454553$E76A5F8D-AEE2-44AD-AE9E-33D7DC8C0D9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e49394d8a4837c9022d472ff20f07f444453fae5","datavalue":{"value":{"entity-type":"item","numeric-id":2817288,"id":"Q2817288"},"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":"Q3454553$5AC6BF43-0C0A-4890-957F-1701CD798704","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":"3722945644bee97e1523920b0bad60e59bfb0e81","datavalue":{"value":{"amount":"+0.7557668685913086","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":"Q3454553$CD4F698D-6ACE-4EC9-B12D-C95F0358A00F","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":"b49aee06c7a0d18fa0bd66a5e961ad654022d7dd","datavalue":{"value":{"amount":"+0.7504754066467285","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":"Q3454553$6992CB0D-92EA-472F-AB91-3159F98B1196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"019d0327bb7dca4c99d31463e9204e7854252bfc","datavalue":{"value":{"entity-type":"item","numeric-id":2819201,"id":"Q2819201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"789df26c9a3c5f3097ab0bc6ee5683eda6da3396","datavalue":{"value":{"amount":"+0.7480757236480713","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":"Q3454553$328A8B04-3AD0-443A-846F-19ED20CE6AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50fa2aaabab6e9c002af21eb8f2711d21a943f7b","datavalue":{"value":{"entity-type":"item","numeric-id":4761464,"id":"Q4761464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c13ea02f8693e071d68ae022ea1bc23ead76753","datavalue":{"value":{"amount":"+0.7343162298202515","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":"Q3454553$8B005964-F957-41A7-BCCD-AABD4D1CE61F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated reasoning in reduction rings using the Theorema system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_reasoning_in_reduction_rings_using_the_Theorema_system"}}}}}