{"entities":{"Q5210787":{"pageid":7240358,"ns":120,"title":"Item:Q5210787","lastrevid":53639264,"modified":"2026-01-25T11:42:28Z","type":"item","id":"Q5210787","labels":{"en":{"language":"en","value":"Mechanically proving geometry theorems using a combination of Wu's method and Collins' method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7154561"}},"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":"Q5210787$2E1260C7-566B-4904-A6DD-A31F13882FF8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e30f003b75ca1cd6257f4bdfa1e7e05493a48187","datavalue":{"value":{"text":"Mechanically proving geometry theorems using a combination of Wu's method and Collins' method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5210787$A04EAAFF-73CE-44EF-B7FA-97CD2545B0BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c08c0968539ed9384ec3a73869e5c229df65308","datavalue":{"value":"1433.68547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210787$BE3C9F26-1E5B-4F7A-9F31-70370E04E390","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58ef57899ab3c13b88afddc0b6ff6a8b41647134","datavalue":{"value":"10.1007/3-540-58156-1_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210787$BD75CBD8-6B52-494A-A43B-FD92F35F2398","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7644daffa7b79f4cda5d33157c72aa3e8b8e1f3","datavalue":{"value":{"entity-type":"item","numeric-id":2768627,"id":"Q2768627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210787$D37CCB4A-F5E8-4BA8-AFA8-DAB059171F95","rank":"normal"},{"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":"Q5210787$99BFFF30-56FC-447A-9B89-2E753CE1A2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"629b2bbc2e7d5238e546439edac9cc4a1c3c9f0f","datavalue":{"value":{"entity-type":"item","numeric-id":242602,"id":"Q242602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210787$F0BF7277-6AA2-4B26-87EE-C9B277AA985C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5ce55bffd503afc59f0668cb8e4536460b24d029","datavalue":{"value":{"entity-type":"item","numeric-id":5210757,"id":"Q5210757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210787$03B63116-58DB-4D66-8A2C-2FD64D8D1FE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a33e9289a41a440ea82601c0f5c7fc7756e3797","datavalue":{"value":{"time":"+2020-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5210787$80B85B86-ABD1-4F03-BFD4-A8D0EDEEE8AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210787$15874EF9-55C3-4BCF-8957-11C923DC461A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210787$26FC4383-C596-4045-93B3-A8F1D2A102DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"437db1760ad46ad02ece941e703badb6fa1da4bb","datavalue":{"value":"7154561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210787$FF716788-604A-4866-9103-7FDA4A25B434","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":"Q5210787$47BBC986-53BF-4411-ACE2-5B80460D5CE4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77cd9bad78a6af662ede117b3b690a822adb3c51","datavalue":{"value":"https://doi.org/10.1007/3-540-58156-1_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q5210787$EF69508E-5407-477D-B249-511C6E554AC2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e995d69ff96c1131e0de9b54f97bd1968ac1cff","datavalue":{"value":"W1524766213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210787$520ED4B1-15A6-472A-AFBC-F41836BF86DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"70a4dc648c731d68cc470f687815bf36b8a1ddba","datavalue":{"value":{"entity-type":"item","numeric-id":918227,"id":"Q918227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210787$61B47F5B-A3CD-424A-9D86-DB442E778F1C","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":"Q5210787$358F5329-2C4D-4516-9E00-CAA641F2B58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f65b705669c63993345434be77161245f32637c5","datavalue":{"value":{"entity-type":"item","numeric-id":3490991,"id":"Q3490991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210787$82D0A5F6-DAFB-4F42-ADB8-B1B27B52FD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e6056dbb1dd62c18098a2d840ebc28a3db0ae19","datavalue":{"value":{"entity-type":"item","numeric-id":5210787,"id":"Q5210787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210787$67E66337-845F-42F2-A664-6C786CC3464C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d7798eba50e0ffe1e4306d4a4aa338f6be7be4","datavalue":{"value":{"entity-type":"item","numeric-id":4079605,"id":"Q4079605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210787$82B7D18E-D026-4D48-B04C-9394773DDA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c15d5596ad06ea9c33077147ea3f9457eecb7e","datavalue":{"value":{"entity-type":"item","numeric-id":1101257,"id":"Q1101257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210787$07A78EE6-3F2C-4928-B1DA-0BF0A804B9CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2556a49c571b088eb4778b9a55bda1898ff545ef","datavalue":{"value":{"entity-type":"item","numeric-id":3772181,"id":"Q3772181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e2835097dc156873ddf2cce79aa9c492f9aefb2","datavalue":{"value":{"amount":"+0.8181618452072144","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":"Q5210787$E13DA928-7461-478F-A481-35532539562B","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":"ad957cc27066b478ffde2232752c30c5deb54833","datavalue":{"value":{"amount":"+0.7869485020637512","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":"Q5210787$B23C5945-1A48-49B4-967C-7390D13548F9","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":"15b7b3c45db5ee349b59f11a3984c5f849f53204","datavalue":{"value":{"amount":"+0.7787145972251892","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":"Q5210787$3F45DB74-EF46-4168-A856-1FAC7E0C82BB","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":"ad2b6081835260d54452c47eb536bba133556749","datavalue":{"value":{"amount":"+0.7717159986495972","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":"Q5210787$4D751DCF-FF8E-4A59-AD91-57B46EF17AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b4cacf4e9a5a8df4019bc35435dd797390e377e","datavalue":{"value":{"entity-type":"item","numeric-id":3491012,"id":"Q3491012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb89352bb36df81654e70d6e2c2485be1a89e0a8","datavalue":{"value":{"amount":"+0.7715744376182556","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":"Q5210787$45A872E2-42AB-493D-9D09-07D744713278","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5210787","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5210787"}}}}}