{"entities":{"Q5453488":{"pageid":7483047,"ns":120,"title":"Item:Q5453488","lastrevid":58577997,"modified":"2026-04-05T20:27:11Z","type":"item","id":"Q5453488","labels":{"en":{"language":"en","value":"Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gr\u00f6bner Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5256459"}},"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":"Q5453488$E1E74291-909A-4759-BCB3-445DA794752D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"068b5902a17d1e024c64d6d6c84deebc7713d772","datavalue":{"value":{"text":"Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gr\u00f6bner Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5453488$50468B07-AD2C-4A6E-90DC-E56881BF20BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"975e3283c2b3b4481f5aabc044a1f7a5e2c4f9de","datavalue":{"value":"1195.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453488$C3EF61C5-AD7D-4409-9FAC-23E4E9F938F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e97287f642e2e0a5aba1b4641004fb7b2f1613f1","datavalue":{"value":"10.1007/978-3-540-77356-6_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453488$75BA5341-5F45-45C4-92CE-53EE8B4ACE0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18b985b50f76ddf04c1084bb32f224213904466a","datavalue":{"value":{"entity-type":"item","numeric-id":294389,"id":"Q294389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453488$E8BAEEE7-E9A3-4D68-9FF9-904A5FB463B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59d44f3333e2f9dff43dcfba05e4d5cf19ad4778","datavalue":{"value":{"entity-type":"item","numeric-id":286778,"id":"Q286778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453488$EC35D37C-9448-45BB-A967-B79026E36117","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"348c28e159850115a4bf602bf9df1d1e5c1cbebe","datavalue":{"value":{"entity-type":"item","numeric-id":2849503,"id":"Q2849503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453488$AD7410E6-D819-434C-BE6B-3DDB656BC6CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"198ebadd055eae6a54aaf8b4ed7b348339bb3788","datavalue":{"value":{"time":"+2008-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5453488$D24CC638-7558-436A-B5A5-1606031E8D1C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"25343ae236e1e6c0b67d8a5fe0a11953c37b9068","datavalue":{"value":"https://arxiv.org/abs/math/0703483","type":"string"},"datatype":"url"},"type":"statement","id":"Q5453488$67C949F7-90F2-4817-B7EE-A3CF1F5E3D56","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453488$A2529D87-4DDC-471D-9EED-CB80FCE6C6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453488$E462ACCF-C804-434D-AE4D-C93F6F0AC2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d8912a48ac60770db1c80088e9517c70dd683cc","datavalue":{"value":"51-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453488$77CEFD87-85BB-4B7E-9F22-267356E4BF54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d65e9c1a9fe84ca64090bd1aa802e567e8073fc3","datavalue":{"value":"5256459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453488$41827E94-30F2-469F-8EB4-7F8F72134D88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4edd7957a78606bd7a27cfca755a7cc2ec65370","datavalue":{"value":"automatic discovering","type":"string"},"datatype":"string"},"type":"statement","id":"Q5453488$126B1C38-C425-4A15-AF4C-B44813D0B136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42a6970b50e5d60ceacb8f77f47468e26bcad293","datavalue":{"value":"comprehensive Gr\u00f6bner system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5453488$E9C49C96-A604-4616-85D4-AA72D49234BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5453488$658AE41A-3DE5-43C8-BD14-A9F904985EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3e1d04cbc01a3a2ee9a490897267d4fabbe1ad0","datavalue":{"value":"canonical Gr\u00f6bner system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5453488$DA7FE270-0823-4E24-98C5-6599D100017B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c9c1f58b8025297b76815155d9e858d1b402d938","datavalue":{"value":{"entity-type":"item","numeric-id":12911,"id":"Q12911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453488$B8C0270D-E7D0-44D9-8A05-D0132AF60B4B","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":"Q5453488$1FEDC6E2-4A6F-4187-8141-554137675C8F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"47cb5945f2b9bab2508b945b45f918f87e931f11","datavalue":{"value":"W2104693850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453488$40FE3A73-381C-4744-80D3-80432F92635D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff4138c5c77a2138655a1857a4fba453c753d422","datavalue":{"value":{"entity-type":"item","numeric-id":5493322,"id":"Q5493322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453488$A65B70BF-B3FE-43D2-9068-9CF52FB1E980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc9cec6852b4102074c9cf75909dcf025127684e","datavalue":{"value":{"entity-type":"item","numeric-id":5902021,"id":"Q5902021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453488$C2A375C1-AE24-40D4-A23A-903D772779FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0684a7538caea729f6ec434d1e733a91b587e40","datavalue":{"value":{"entity-type":"item","numeric-id":3700871,"id":"Q3700871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453488$915BA84C-2EE4-40F1-B929-EB2F77B374E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35766ec01e396c1dd4f8524f34912174d187d554","datavalue":{"value":{"entity-type":"item","numeric-id":1099656,"id":"Q1099656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453488$D720127D-2A01-4209-A2A7-1B24AA698C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"953e262a3244da8dda3464b2c191683b0afa692b","datavalue":{"value":{"entity-type":"item","numeric-id":3994509,"id":"Q3994509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453488$FDB7FD9F-3F4B-4A20-97D4-6B6B3914BE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81097fdb33abd8dd59fbb0907e30b2a620f3737c","datavalue":{"value":{"entity-type":"item","numeric-id":1382071,"id":"Q1382071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453488$F74F3279-5529-4924-9927-42B03240CD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61d81add882687483fd918df0010fcaf5b17ef28","datavalue":{"value":{"entity-type":"item","numeric-id":846167,"id":"Q846167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453488$8304F094-11A5-4036-A795-B67DA4A8B598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0339736e37e17ed3ec7002121d44b3cf4672fd91","datavalue":{"value":{"entity-type":"item","numeric-id":5464720,"id":"Q5464720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453488$D626F297-94CF-4F26-86AA-8AF1D80F2EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85e63bab69bf3dbb3d827a603c12c64f6ff4700f","datavalue":{"value":{"entity-type":"item","numeric-id":1272610,"id":"Q1272610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453488$C9026F79-DD50-4D24-9FC7-2AF47C2CFF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb88951437ccd14e6bdebc77cda052045a02f0ce","datavalue":{"value":{"entity-type":"item","numeric-id":1094150,"id":"Q1094150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453488$4FFB6FED-FD30-4D95-828A-0CCC81D57D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"141fe81459205b7ba7b7a01cd328cbaddcde6442","datavalue":{"value":{"entity-type":"item","numeric-id":1115642,"id":"Q1115642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453488$BB2E8836-C116-4561-A4B7-206978669E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eeaa7dfd1d5aa46fe4ef30cb5d8e2f1a04648ae","datavalue":{"value":{"entity-type":"item","numeric-id":4507801,"id":"Q4507801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453488$B3221D51-90FA-468B-88F1-600112F20560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac3c27d153aefb850dda89d052bdf4fc6bad1e46","datavalue":{"value":{"entity-type":"item","numeric-id":2457398,"id":"Q2457398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453488$02731721-D9C9-424D-A9BA-8BE5E731D77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e632f26f4174a244020bc5bd286cc88d93be581b","datavalue":{"value":{"entity-type":"item","numeric-id":1012136,"id":"Q1012136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453488$9C8166AB-1A32-457C-B75D-2E810834B4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb19d590007445759327e0f9a05c975c2cf2683","datavalue":{"value":{"entity-type":"item","numeric-id":1599542,"id":"Q1599542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453488$46B22DED-52D1-4B5F-BA6C-A15F360B758D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"236ff075b6336e5a62a73c551fd46afb75eb22f7","datavalue":{"value":{"entity-type":"item","numeric-id":1808565,"id":"Q1808565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453488$45DC0C50-5C55-4093-9997-C072BAFB6AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c66047ad58e30f93fc875fdf28f22156488a731","datavalue":{"value":{"entity-type":"item","numeric-id":4660673,"id":"Q4660673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453488$8785D23A-E306-4F64-8F44-F87682007D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2837eb28569a008677bba2643bbc6df5d206bee8","datavalue":{"value":{"entity-type":"item","numeric-id":4247790,"id":"Q4247790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453488$F2CE8356-F690-465A-B537-C4EEF7685369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6789dca8231e015f9afe019411156ee6c5c30079","datavalue":{"value":{"entity-type":"item","numeric-id":4394960,"id":"Q4394960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453488$3EAB45F6-6ADC-444D-8ACD-D2A13BDEE2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc344f73d3fa279ecc5abe0d69502a54269b540d","datavalue":{"value":{"entity-type":"item","numeric-id":1199704,"id":"Q1199704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453488$ECA691F0-B0DE-4A38-BD4F-A63595FC06FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d769d5d8649975770225e81f2b701cd1289703a","datavalue":{"value":{"entity-type":"item","numeric-id":2469230,"id":"Q2469230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453488$F8986D96-84C8-45AA-A804-C6D0C9A79205","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bfef3f0f4979a60e6d7f6786017d08b15607ce1","datavalue":{"value":{"entity-type":"item","numeric-id":1012136,"id":"Q1012136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfdbca431bddc3dc9516262f8892873961c7cb80","datavalue":{"value":{"amount":"+0.8537848591804504","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":"Q5453488$6B218F82-0951-4653-8FDC-9E8CE5319396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81e305aa73454d711a48c308506f182e78e878e2","datavalue":{"value":{"entity-type":"item","numeric-id":1808565,"id":"Q1808565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12cb3221326dec13c935fc0276bd5d421314ba1e","datavalue":{"value":{"amount":"+0.8278120160102844","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":"Q5453488$FE770E74-66FA-46CE-972B-4076B8445448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94a839d74007af1c3930450a763c8b9ef35f3d0c","datavalue":{"value":{"entity-type":"item","numeric-id":4394960,"id":"Q4394960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33363c246d4ce0a24213b9d82d095619563e47c0","datavalue":{"value":{"amount":"+0.8048887252807617","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":"Q5453488$6C4C36F2-9CAB-4D7A-86E6-5401193D8533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fcdeb581834d8000223ae84e0db44d03912e644","datavalue":{"value":{"entity-type":"item","numeric-id":846167,"id":"Q846167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ccb6381029730479dd67cffe704318c853c6a32","datavalue":{"value":{"amount":"+0.7967918515205383","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":"Q5453488$CCDFE072-AB47-41BB-AE14-DFED9B103E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e7d2fc10ced0d9125f6ad91f7e15882a04f4899","datavalue":{"value":{"entity-type":"item","numeric-id":4807517,"id":"Q4807517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"877ed07b9edad782b1a058f7ff066b57bc62efd3","datavalue":{"value":{"amount":"+0.7810943126678467","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":"Q5453488$DFE45A32-1ECF-44C1-9E51-01DB0ECAD5D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5453488","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5453488"}}}}}