{"entities":{"Q751640":{"pageid":753489,"ns":120,"title":"Item:Q751640","lastrevid":64099284,"modified":"2026-04-11T17:37:56Z","type":"item","id":"Q751640","labels":{"en":{"language":"en","value":"An introduction to Wu's method for mechanical theorem proving in geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4177031"}},"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":"Q751640$03D23DF3-4D3C-4B69-AE27-90D32AEBF2FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3098f665904d7889a77cfcfa6024a3653862ed5","datavalue":{"value":{"text":"An introduction to Wu's method for mechanical theorem proving in geometry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q751640$E082984B-5F64-47C8-B3BA-95BF4B317B23","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25f5696baaf18a35db38f01daa6765999c800318","datavalue":{"value":"0715.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751640$37F09F06-7999-4B0A-957E-505BCDB9FA92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78865a81dbe88427df5b5fc75ece3f90a1722dd4","datavalue":{"value":"10.1007/BF00244942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751640$E6015B7E-17E7-4290-BCA8-0524DED1C4E7","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":"Q751640$E972100A-12B2-4F31-9D9E-787FFC347FE2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751640$2E150AB1-C171-4A88-9C9A-FA5C584C3486","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q751640$9D67D66B-D649-4EB5-8294-18FA0D5C3281","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751640$5EAFB08A-B0D8-4F94-A9E3-92EC413BACCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751640$F5AD0DC1-9DAE-4A46-A808-4936EF6A0D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751640$D726C975-7274-41F4-85A9-96B66D85EB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d8912a48ac60770db1c80088e9517c70dd683cc","datavalue":{"value":"51-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751640$05E24245-3788-42BC-8C47-2A6F9F494BC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2751312d4603249eda5ee471412a8a15f64433f","datavalue":{"value":"4177031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751640$26D88FDB-CFD9-4E07-9F5D-B58F7781C105","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7164fb1a146782fc3fc30b688b30936e08cdee92","datavalue":{"value":"geometry theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q751640$658E2865-BB0A-44EC-A01C-EF9B28710B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d9845c9177c3bb28be4c7a53ecc49296d50262d","datavalue":{"value":"pseudo division","type":"string"},"datatype":"string"},"type":"statement","id":"Q751640$7F107E01-C16C-4A38-A913-3F462E43728A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"186187bdaace7d8077732209cc655a7f113a3f10","datavalue":{"value":"Ritt's principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q751640$13FC246C-18E8-42A0-ABA5-5BFE40E0A2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12eca8a5225601fd69ae0ade8e423ea956b4e5f2","datavalue":{"value":"irreducible ascending chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q751640$16E089A8-035B-498D-9FCC-B0B046C9074D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66daa04c923026cfe87bd80e9355d1bd3e787600","datavalue":{"value":"generic point","type":"string"},"datatype":"string"},"type":"statement","id":"Q751640$99459BE8-D218-4B1F-AF9E-AB03FB6206F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a490253592813b93973db8eed32ad8b22793184","datavalue":{"value":"Feuerbach's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q751640$325A6D62-6264-4CCD-9796-55E06FD8EB40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47ed7f68f12eab678fffaea80cefaed5344b13f9","datavalue":{"value":"Th\u00e9bault's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q751640$E73E33C0-7632-42C5-BFB8-D6AA28223053","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7182d6abb30a7c83b0544f09816a466b49b1b85f","datavalue":{"value":"Q56336842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751640$BC895D3F-D8CC-4ACF-8F01-D1CD5070F12D","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":"Q751640$381B91C4-F0B6-40FA-98F0-53E26EAAEDBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An introduction to Wu's method for mechanical theorem proving in geometry","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_introduction_to_Wu%27s_method_for_mechanical_theorem_proving_in_geometry"}}}}}