{"entities":{"Q676849":{"pageid":678698,"ns":120,"title":"Item:Q676849","lastrevid":63518985,"modified":"2026-04-11T13:43:05Z","type":"item","id":"Q676849","labels":{"en":{"language":"en","value":"Mechanical geometry theorem proving based on Gr\u00f6bner bases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 993814"}},"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":"Q676849$328833DA-ED66-434B-A2A9-4BA11A1EEC8F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"022d33b9c7729256576383556428acba844f25a5","datavalue":{"value":{"text":"Mechanical geometry theorem proving based on Gr\u00f6bner bases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q676849$78E29DAE-A45E-4523-8637-20CA47FA3AD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a0c2d10018b9385d42d4b592c7090987bc05cc4","datavalue":{"value":"0882.13029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676849$9D1F000C-41A5-4E5C-B476-F0F7386F1457","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ff11736b15c6d127fa3d0a07d25207a13278e42","datavalue":{"value":"10.1007/BF02943140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676849$40D5F12C-D773-48F5-B13C-37AF5B7B783F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9908da4c0d15bb70ccc4f3e4cf3d81e70c4d2006","datavalue":{"value":{"entity-type":"item","numeric-id":201220,"id":"Q201220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676849$10D3F5BA-0E29-4089-A2DA-4255DC50AABB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676849$638C884F-A267-4604-84FD-87FA71739A5B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2f5d120add23d257eabf00a9921160534bdd26e","datavalue":{"value":{"time":"+1998-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q676849$3EA2508C-1729-4B8B-85D3-48B53DAA7C3B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6217dfa6bc3f92dc02ba79f5f9a5d53b01afb1f5","datavalue":{"value":"The paper proposes a method for mechanical elementary geometry theorem proving. In more details, suppose a geometric statement is described by some polynomials  \\[ h_1,\\ldots,h_m \\in {\\mathbb{Q}}[x_1,\\ldots,x_n] \\]  and suppose the conclusion is expressed by a polynomial \\(g\\in {\\mathbb{Q}}[x_1,\\ldots,x_n]\\); assume the ideal \\(J=(h_1,\\ldots,h_m)\\) is zero-dimensional. The statement is said generally true if \\(g\\in \\sqrt J\\) and, if \\({\\mathcal M}\\) is a minimal prime over \\(J\\), is said generally true on the component \\(\\mathcal M\\) if \\(g\\in {\\mathcal M}\\). The paper gives an algorithm which computes, from the Gr\u00f6bner basis of \\(J\\) with respect to a pure lexicographic order, the minimal primes over \\(J\\). In this way the author gives a method which allows to verify if a statement is generally true or generally true on some components of the ideal \\(J\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q676849$D79CEE46-C0B0-4629-9EBA-2C06AB09C5F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676849$58FDDCDB-762A-41B8-853A-992398484707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676849$EE9B91FB-DBEE-447F-B3AF-1C09A2CB1AB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abc1c241db9ee74cdac29f005e4aa4662087a052","datavalue":{"value":"993814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676849$18EE2131-22C7-497C-AFE2-6E8565FEEF7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c239dc77a316f7da47f9d2d7c645993f6cd8d7","datavalue":{"value":"Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q676849$43AFE289-0F69-4681-A4CC-997CF15A190E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2db40c62fbba481c23c52e595e1d3bd4320088e","datavalue":{"value":"mechanical theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q676849$0E767D59-F24C-430E-8B54-432B13CEC1C6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"80f116a1cdb08066811a19630fb4c8beca038913","datavalue":{"value":{"entity-type":"item","numeric-id":321274,"id":"Q321274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676849$26502420-6F7A-4689-B805-97F29596B638","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":"Q676849$7D1DB723-FFF7-45BD-AC2A-CB0469114369","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5107dc2805878ace8909c9d9b3a5ceeaec8135f6","datavalue":{"value":{"entity-type":"item","numeric-id":1101255,"id":"Q1101255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676849$D186510E-3731-424F-A854-CB7E4F485311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce6c6dc63ff760b817aa319cfa1fcbac001ce58f","datavalue":{"value":{"entity-type":"item","numeric-id":5393351,"id":"Q5393351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676849$FE4E02BD-DB1F-43E4-9B86-48C03F1121AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6e45af03692fbfec42b35c9c59066614e5ed930","datavalue":{"value":{"entity-type":"item","numeric-id":908690,"id":"Q908690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676849$19F2F991-BBD4-42E5-A15E-A65BBBD8D5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42a284615c381b20217d0d43a9e41f4382e78ad3","datavalue":{"value":{"entity-type":"item","numeric-id":1260758,"id":"Q1260758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676849$F30F68E4-E39F-42E2-86DF-BD46B18D945D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80324ff0b987631360983214e99c9931209b13d1","datavalue":{"value":{"entity-type":"item","numeric-id":4848888,"id":"Q4848888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676849$80B56474-51A8-46C1-BC22-9745C36F15A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20e69508cc7976974877891b9442e9bfbe5cf478","datavalue":{"value":"https://doi.org/10.1007/bf02943140","type":"string"},"datatype":"url"},"type":"statement","id":"Q676849$2602717D-B894-4C1D-8DB3-7BFC82D82515","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0a30521de3fdbc0de7d00b27ab33b9d2676c11e","datavalue":{"value":"W2083042137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676849$55DCCCFE-624B-480C-8388-9B4736E36CEA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f512197b95143663c2f45f4ffce183f207be8af","datavalue":{"value":{"entity-type":"item","numeric-id":5493316,"id":"Q5493316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"074171106c2f402de74b063b4221caccd2e02118","datavalue":{"value":{"amount":"+0.9359911","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q676849$0B25CDEC-B8FE-4C3D-BCFB-BA0D694412D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dea05284389bd85a6329b2ae87a6064339a44f9b","datavalue":{"value":{"entity-type":"item","numeric-id":3321494,"id":"Q3321494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"286c40cd521c6964df5beedec2276f2636c17a95","datavalue":{"value":{"amount":"+0.9316577","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q676849$A1ADB202-8EA6-4DB6-8009-2610ACB44A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04fc3ef4025b17761b15d41fefc8965b950db1cd","datavalue":{"value":{"entity-type":"item","numeric-id":4240685,"id":"Q4240685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b010717b0344e3bacb12f610a0857e54428ed45","datavalue":{"value":{"amount":"+0.92790973","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q676849$9630AFFE-8969-40C1-8799-1659B9514E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77002fe3bd44662bfca327771f35170494665ce7","datavalue":{"value":{"entity-type":"item","numeric-id":3700869,"id":"Q3700869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fcab892df39a8e8b5ab55e4f72455eb1d0389dd","datavalue":{"value":{"amount":"+0.9277859","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q676849$CB77CED3-3D4F-47CA-AA26-55F86EF94E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"073536ae33d3db7c62a007d5c740317951ac24be","datavalue":{"value":{"entity-type":"item","numeric-id":2765682,"id":"Q2765682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fcd04dbde25dedb011286dd084b72855a717e3c","datavalue":{"value":{"amount":"+0.92456305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q676849$FB3333AA-3D6B-497A-8A7F-402AB7CF0885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a68f59ae32b2681c35c7ea8f212502168273b26","datavalue":{"value":{"entity-type":"item","numeric-id":3994509,"id":"Q3994509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"396154b3edead4f859d827a4ad2fcd6762e3061f","datavalue":{"value":{"amount":"+0.924563","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q676849$924DCDF6-D9CA-43D8-BD0B-D0596C16A198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed32a4f5d8b518e0ac9f5003543d94b115432ff","datavalue":{"value":{"entity-type":"item","numeric-id":1924746,"id":"Q1924746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e67da07e328faa952ae7ac4b18db0e80b7367f04","datavalue":{"value":{"amount":"+0.920293","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q676849$183B70CB-70B4-4F9B-8DB8-3ED70D3EDCF4","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":"7909b8a470172d497796a4a1fe59601ca194e64d","datavalue":{"value":{"amount":"+0.91779625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q676849$F7BD8B5E-3D3E-414E-B37A-79420A31CC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de47d80f306373d000b734218feb3a1192f8a047","datavalue":{"value":{"entity-type":"item","numeric-id":4234211,"id":"Q4234211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"138b92d53b49153020a32586d6dc0304f143e334","datavalue":{"value":{"amount":"+0.91436374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q676849$88DE9462-1ADA-474C-8FF5-EDB607D593F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mechanical geometry theorem proving based on Gr\u00f6bner bases","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mechanical_geometry_theorem_proving_based_on_Gr%C3%B6bner_bases"}}}}}