{"entities":{"Q1121669":{"pageid":1132418,"ns":120,"title":"Item:Q1121669","lastrevid":69695709,"modified":"2026-04-13T08:46:43Z","type":"item","id":"Q1121669","labels":{"en":{"language":"en","value":"On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4104379"}},"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":"Q1121669$3BC8E437-0BCF-4444-A250-C43B13777AD9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63bc7ce19ba5b8d1d4b59a73ebc4431f1d0669c1","datavalue":{"value":{"text":"On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1121669$14D85A3D-9096-40CD-B21C-99EED41455B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"abce6de5e717c19fa927cc6236e95534e5ae9d3d","datavalue":{"value":"0674.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121669$38861F3C-CD94-4B90-A103-34C2CBF82485","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2282d14ac388b64f5f62a0a6f2727eea2ad0dbf0","datavalue":{"value":"10.1007/BF01553889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121669$83932C69-2EF9-46D3-8F24-8CEB905E70F0","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":"Q1121669$4A85E8A5-97F9-46D4-980D-8B040E689F9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1121669$BFBD882C-9621-4D8F-BF2F-E9D5B3A40341","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f34bf06cc469f92d71b6005e8b6aacb41ec07ff6","datavalue":{"value":"Some well-known elementary geometry statements are rewritten in a form of formulas with universal quantifiers and appropriate boolean formulas of polynomial equations as quantifier-free parts. This algebraic reformulation is used for mechanical proving of geometrical statements involving Nullstellensatz.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121669$B5FED1E7-3F6F-486E-94A8-71BF1077064B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121669$3A0D93EA-BD73-4547-A5E9-76CC91156667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121669$15A3D1F9-14DF-4544-82DE-543183B52F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"39c5712c230834bce7be14dd66775219958c0149","datavalue":{"value":"51A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121669$8003BCD9-A155-499C-99D9-3BE2B0CD3D46","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0d29e3bec3b218fbbd646bb6c6ec756ca532c7c","datavalue":{"value":"4104379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121669$E8C81F92-BB34-441E-9201-32BDAFE28933","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121669$F67A0F26-18AB-4942-9C11-B42266B8C612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb71cc518f84064881cd5cd4cf306cfce0251acb","datavalue":{"value":"polynomial equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121669$0AC64032-888D-4D42-9E50-3BAB37B19217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f7c15ba69707086f2e4d76910342521b2eb2669","datavalue":{"value":"nondegenerate conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121669$A9DA29BA-410A-412B-9B75-DAE535303194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec690870b7a300b6645c8f07fa28e18101fcb6e9","datavalue":{"value":"Ritt's algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121669$2525FD0A-F376-49AC-BE7E-153D5B4750DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58f8cf8243737b642987140e639e60ec078529ee","datavalue":{"value":"Wu's method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121669$EB0CF34D-6DF6-4799-96F0-BE48F4A10953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b2c731fc0730d446392bde7cf8db10168b47c6f","datavalue":{"value":"algebraically (or real) closed field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121669$8DFEADDE-6D3F-4C59-8491-BC8EB1FE9098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17064b8f5db14d0e12dddae734ea238e9822d0de","datavalue":{"value":"algebraic geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121669$0E36BFF1-796B-487A-91A2-618041B34BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a276e1e24c6443ca380e25a838664c814fec73d2","datavalue":{"value":"irreducible variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121669$BC68E088-B3ED-4737-AA9F-EA992DFB894E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e36c6148737e71fd7fc92ffc4a949957fce07fd6","datavalue":{"value":"nondegenerate component","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121669$559BC044-1577-449F-920A-DE9195CB2401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54e59aaaf171df1bf94182b3879b680b9a998a55","datavalue":{"value":"Simson's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121669$22FB7F72-9C9E-4A3C-AD6D-BBABA1180ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a8e137265a44b090935f6a3232265767216eaba","datavalue":{"value":"Pappus' theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121669$E1687C32-670C-4E2B-AB3A-3E1294E5E5B8","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":"Q1121669$243BF327-36B6-4817-9DD8-837651AC4AC8","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":"Q1121669$1C5B215F-AE22-444F-9262-7AA619860FC5","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":"Q1121669$59A02ACE-C591-47C0-BF0B-4AC8D7649BAD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"15a5c4e166943e63a6ceea5b952d48af9c85a1b0","datavalue":{"value":{"entity-type":"item","numeric-id":3241211,"id":"Q3241211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121669$8DA828EE-F3EA-4636-AEF3-3808A2F3B453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"359693d99351ab3ebd2012050902ed5ec58d10e7","datavalue":{"value":{"entity-type":"item","numeric-id":2645461,"id":"Q2645461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121669$FBC31BEB-27A0-4430-A60C-1D19AB05F6B9","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":"Q1121669$D148F252-46BB-421F-845F-7E8E45DD8268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ecbf98ed1af746a767cea7af3dd045064bd3362","datavalue":{"value":{"entity-type":"item","numeric-id":751640,"id":"Q751640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121669$AEED7A77-CDED-437C-A103-A8D6F408AD9A","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":"Q1121669$7A036B39-BB2E-4CE6-AC84-7753BB1F1821","rank":"normal"},{"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":"Q1121669$4453ED7D-F199-4220-B90F-DB643B9948C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb17b2aac968b1d81a7f4641378f1216df1819f","datavalue":{"value":{"entity-type":"item","numeric-id":5576155,"id":"Q5576155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121669$08EF6051-309A-4350-9A8C-B5E0D3D7E305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0559b3d86e48da77e69ababd0dc976c521f3b98","datavalue":{"value":{"entity-type":"item","numeric-id":4131705,"id":"Q4131705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121669$C06912A9-FFCF-49D5-A654-BB36611F6B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b69cfab4ee23e9a5a2950c185a3e86656aa0a05","datavalue":{"value":{"entity-type":"item","numeric-id":5532192,"id":"Q5532192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121669$9C8DC38A-3A64-4643-AEBA-296AAA39BF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c18b764e28d2945ccd60cf6ff45316676ba583ff","datavalue":{"value":{"entity-type":"item","numeric-id":5635941,"id":"Q5635941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121669$E7553DEC-C14F-4320-B991-C5BCC6CEEE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"027e018eef8810ffaaa3893bf67adf6d2ef52c6f","datavalue":{"value":{"entity-type":"item","numeric-id":1094149,"id":"Q1094149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121669$3D6BEE14-7182-47D5-8935-941239EE9EE2","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":"Q1121669$5069D1FB-94E1-427F-892D-EA31DB1B9F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121669$7272E42D-F395-4E52-A2A2-6FCE7B8B8114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6cb4d2202295d5306fed596e540d732db95403f","datavalue":{"value":{"entity-type":"item","numeric-id":3279752,"id":"Q3279752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121669$A382CBCA-5222-4561-A1C9-0227E800B257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5ba80b3e6539c279901c1e732fc28837070754b","datavalue":{"value":{"entity-type":"item","numeric-id":3268765,"id":"Q3268765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121669$A27063E2-7686-4A3F-A282-2170C419FCC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121669$AE96B701-5354-4A52-936B-74BF0B246147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b13ca39ef78e37b93e841a7352af0085ae2fc2d","datavalue":{"value":{"entity-type":"item","numeric-id":3268764,"id":"Q3268764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121669$92D98D9A-5D95-4B29-9154-787A6C2FFD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d57db4d3216bc53e46ae99a268680181eb65b5a","datavalue":{"value":{"entity-type":"item","numeric-id":4153620,"id":"Q4153620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121669$74C78E5B-8A16-4C3C-A765-52801F9FFC5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21e98e5133daef166526a0f4702a2a839800a900","datavalue":{"value":{"entity-type":"item","numeric-id":3668379,"id":"Q3668379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121669$B6EADB64-A1C9-4108-B6F8-00BC87047EF1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c38ed7db4da68b169366d285fc7baaf4b267fa11","datavalue":{"value":{"entity-type":"item","numeric-id":5490283,"id":"Q5490283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d2511871c503ee6aa2e5d7f5b2d972491c3ff3e","datavalue":{"value":{"amount":"+0.8156610727310181","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":"Q1121669$B675D050-0990-42AB-8132-B869288CDBC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d56fd5f71423e20181a19c4ba4b24357809235f","datavalue":{"value":{"entity-type":"item","numeric-id":3700870,"id":"Q3700870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a98e2f4686744342f27eeab1afb63cb5ff88f892","datavalue":{"value":{"amount":"+0.8102157115936279","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":"Q1121669$ED220AB7-8BC9-4D6F-8F90-51CF4D2C2503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ed28fa7230d0910060c65762680c570bf6d19b1","datavalue":{"value":{"entity-type":"item","numeric-id":1924738,"id":"Q1924738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c8ed9b8bdb4cde48a3cbe656ada70e1ef4c8fb8","datavalue":{"value":{"amount":"+0.7993553876876831","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":"Q1121669$1AC18B01-B414-4DDC-AC9F-EBCD4319997D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5386c1fdb6c3b0bdf230632c8545c683582b3f7","datavalue":{"value":{"entity-type":"item","numeric-id":4392227,"id":"Q4392227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"202781840f975661cdee2a480e6c19fcc0750999","datavalue":{"value":{"amount":"+0.7988797426223755","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":"Q1121669$C4F2607D-0ED1-4F4B-AC75-C808A8F9C947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b3edca2a20a77469c98ea451e3f79012c73bc94","datavalue":{"value":{"entity-type":"item","numeric-id":4946080,"id":"Q4946080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"147e3abc639fe3d08695a1872c909bf141cd5ee2","datavalue":{"value":{"amount":"+0.798209547996521","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":"Q1121669$087EDA50-30BE-4359-9239-45ED0E621015","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_algebraic_formulation_of_certain_geometry_statements_and_mechanical_geometry_theorem_proving"}}}}}