{"entities":{"Q915799":{"pageid":917647,"ns":120,"title":"Item:Q915799","lastrevid":65320968,"modified":"2026-04-12T01:46:42Z","type":"item","id":"Q915799","labels":{"en":{"language":"en","value":"An algorithm for constructing Gr\u00f6bner bases from characteristic sets and its application to geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4152552"}},"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":"Q915799$7FA5A48F-15F5-4CF5-8021-16CD23E7BBE6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"447e48607e31a8ffe213d4ff6ff283de82103310","datavalue":{"value":{"text":"An algorithm for constructing Gr\u00f6bner bases from characteristic sets and its application to geometry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q915799$27D6D07A-1ABB-46A4-909A-BC4AAB1227EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"110b840565cc8f9dd817118d9dce9a5929823ccf","datavalue":{"value":"0703.13023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915799$F056AF8C-9282-4AB2-BF46-709DBBAE222E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf763ec62322a387cc81f09280e3753a64bb523e","datavalue":{"value":"10.1007/BF01840382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915799$5517D19A-2C56-4F8E-820F-9FB98C4882A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb9ec420612a063f059cbe6ea0649d56ebd8db08","datavalue":{"value":{"entity-type":"item","numeric-id":242601,"id":"Q242601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915799$592CD74D-2457-4113-A4B8-A0356699999A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c44bf73e0863aa430048503c43d571cbeca97f0","datavalue":{"value":{"entity-type":"item","numeric-id":915798,"id":"Q915798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915799$2A904771-3A75-4B70-9FCE-B5731D7ED1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbf3383bf808c0b19f7e1209303fc173b3cc34d0","datavalue":{"value":{"entity-type":"item","numeric-id":431038,"id":"Q431038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915799$43ADB0C2-5EA7-4D16-8DA0-0E3EE219E399","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"65c8fa095fb5e7de7a6818fd747ab8b39647de93","datavalue":{"value":{"entity-type":"item","numeric-id":96582,"id":"Q96582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915799$EC365F02-10F8-4FE1-87FE-6A17ACC2423B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q915799$0D28626A-3F02-474F-88FC-75176C29A22A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b8aa71a8a017818890c41b3e050321f5c0117bb3","datavalue":{"value":"A prime ideal in a polynomial ring can be given by a characteristic set [\\textit{R. F. Ritt}, ``Differential algebra'', Am. Math. Soc. Coll. Publ. 33 (1950; Zbl 0037.18402)]. A new algorithm is presented for transforming a characteristic set into a Gr\u00f6bner basis. This algorithm compares favorably to those previously known, one by Ritt himself and another due to A. K. Rody. Examples of how this algorithm applies to elementary geometry theorem proving are supplied.","type":"string"},"datatype":"string"},"type":"statement","id":"Q915799$6DEFCE83-D698-40B7-9BE9-2B1AB2942276","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915799$6D212A3E-DA9E-4248-8551-0429ECCC8336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915799$212239ED-8B12-4D0B-B3B9-3B8B1DE1FF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915799$F8B8C9A4-3534-47E4-B89D-129A9085E2B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5f5e560c388f078fc8a35d4e219947687e61aab","datavalue":{"value":"4152552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915799$5B47A5FB-622C-4516-8746-DBD6FB513240","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"668ae909f3650f1a8f2ee97502b7814304133a91","datavalue":{"value":"characteristic set","type":"string"},"datatype":"string"},"type":"statement","id":"Q915799$318A917B-2796-499E-ACEF-4F97C30687B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q915799$8D79397C-546E-4AF0-82EC-1E31976808CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q915799$F16075AA-F68A-4FAA-8C9D-6915984BFFF6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c57cdea2f65d9d15ca88202ede1c912bc6bece45","datavalue":{"value":{"entity-type":"item","numeric-id":249432,"id":"Q249432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915799$ED86C2FA-825D-47AF-8592-1A71FA25C776","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":"Q915799$893EB047-6707-4557-8D3F-0483B17207B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2ff57ef70bd9e86c9b7017e46b8cd84cb7965f4","datavalue":{"value":{"entity-type":"item","numeric-id":3714165,"id":"Q3714165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915799$995D348C-E072-4239-9F53-5D8A6F2E3AF6","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":"Q915799$9F6F6A2D-4D70-4B94-8F8B-1C9E9938AA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14eeba7af25bd4b2f1e7dbd6d25e968035e1ac1","datavalue":{"value":{"entity-type":"item","numeric-id":1117277,"id":"Q1117277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915799$E435C240-E8C4-4E8F-B65D-8A5FDE4B274A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"343f0b15bec560f521728084130c9740575f7f8d","datavalue":{"value":{"entity-type":"item","numeric-id":5795628,"id":"Q5795628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915799$D5F9F5D9-B056-4FD9-A396-AF74BAE1B9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f51c2dc89b37166f3831c7e4c0ab36979a927824","datavalue":{"value":{"entity-type":"item","numeric-id":4128897,"id":"Q4128897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915799$22A166FF-A842-43CE-9A61-66F4E19C1D8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c44c1a9b440a270ae715998d214fd20483b1693","datavalue":{"value":"https://doi.org/10.1007/bf01840382","type":"string"},"datatype":"url"},"type":"statement","id":"Q915799$904EA4DE-6633-489E-A3B8-47012364F8F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9becb64f9a9600874e578ab6bbb5e774e1c611c","datavalue":{"value":"W2011559104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915799$4AEC5B98-8779-4D48-BF7C-3970BE5D5883","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c78f70a4e9aaa1fa89fb578aa5b87978f44c5e","datavalue":{"value":{"entity-type":"item","numeric-id":2717165,"id":"Q2717165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eccc218c207b36837dad06e5ca7e95f494bc2793","datavalue":{"value":{"amount":"+0.81394362449646","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":"Q915799$AF39C529-FF42-4659-BE26-1EDE2AC29F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e4346104b1227702687dd1502a31ec698c91aac","datavalue":{"value":{"entity-type":"item","numeric-id":1117277,"id":"Q1117277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca785f5c0add933f6ba888d5851b668365596933","datavalue":{"value":{"amount":"+0.8139431476593018","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":"Q915799$081B5494-4123-4C7F-8380-32C2743AB902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc394c3d96c4a90c77fbfa6ede5ca27bdb127804","datavalue":{"value":{"entity-type":"item","numeric-id":914761,"id":"Q914761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91c3b4cabd6a5431601379e5de20e5cf4d3cc54b","datavalue":{"value":{"amount":"+0.8001221418380737","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":"Q915799$1FA93B9B-CB84-45B1-991C-3782D7961934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5de2920f592edbe5f550d8ccc7bfeeeca50aa4a","datavalue":{"value":{"entity-type":"item","numeric-id":5203713,"id":"Q5203713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ecbfb998dc92700cdd740fe79dcc30ab7e8a0ca","datavalue":{"value":{"amount":"+0.7942663431167603","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":"Q915799$D0B71798-380D-47E1-BA78-E8BA436DD023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97b7c3c115b0a4033bacef7900f2587c4b788e93","datavalue":{"value":{"entity-type":"item","numeric-id":3694691,"id":"Q3694691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"078fd6d6c7eb9705c404d5f63bc68d11bb01bdbc","datavalue":{"value":{"amount":"+0.7920861840248108","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":"Q915799$D947CFA9-D256-4CE8-B0A4-3108B354E47B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algorithm for constructing Gr\u00f6bner bases from characteristic sets and its application to geometry","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_algorithm_for_constructing_Gr%C3%B6bner_bases_from_characteristic_sets_and_its_application_to_geometry"}}}}}