{"entities":{"Q2666956":{"pageid":2677699,"ns":120,"title":"Item:Q2666956","lastrevid":55394362,"modified":"2026-02-17T15:28:40Z","type":"item","id":"Q2666956","labels":{"en":{"language":"en","value":"Automated discovery of geometric theorems based on vector equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7432185"}},"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":"Q2666956$6CAB8D11-9ED3-48C2-B35E-040D40996F2B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e68ac3f4781ac89b005e249cfa463df056392cd","datavalue":{"value":{"text":"Automated discovery of geometric theorems based on vector equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2666956$FCD56867-7843-47F2-ACB4-C71E7524F4A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d34be462a85a13344000bb32fa7ecda66c8049ef","datavalue":{"value":{"entity-type":"item","numeric-id":1730302,"id":"Q1730302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666956$5FE73BBD-6A73-4227-BAED-4C21193C99B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c16d1a3fb6d7f888f3fae191ca980f9ce4a86129","datavalue":{"value":{"entity-type":"item","numeric-id":2666955,"id":"Q2666955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666956$B40882C5-9ED4-4825-BC77-7F26C710693B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbe44d5804464ec237c5e16a7711c19e5971817e","datavalue":{"value":{"entity-type":"item","numeric-id":1730303,"id":"Q1730303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666956$1F3042E7-AD4F-46BD-B3ED-D62ABAF2E7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08885b1a8f2cfb423131e0fdd6c7e809277a8ca7","datavalue":{"value":{"entity-type":"item","numeric-id":242603,"id":"Q242603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666956$1BB4961E-BA12-43AF-AED3-084CE3591374","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":"Q2666956$8EBB8034-772E-4E72-9D80-C83F63A516E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f4d88cdf50c95484e0be480b161ba22851940082","datavalue":{"value":{"time":"+2021-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2666956$53541281-531B-4B2F-8BA2-C812D7042EC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2666956$0FBA7813-247D-46A0-A5CB-9BC322A75908","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21de4208a8142f035835780693aca28ac823e7c8","datavalue":{"value":"7432185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2666956$8FB10390-0F67-4A67-BAA1-CD68C1DCA0A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c959902373ab2846c458a39657bfee472e6ccfd4","datavalue":{"value":"vector equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2666956$C6553FAE-CE38-404E-8A74-A4A977D47EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b47e7fadaee027bc45cdcd322f8f00ef2d6b5ac","datavalue":{"value":"automated geometric theorem discovery","type":"string"},"datatype":"string"},"type":"statement","id":"Q2666956$A903C023-2BD6-4736-9571-F8B7BC6C8419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ca129ce76b2a8d1c22f51ef4e8ee73c3678863e","datavalue":{"value":"geometric theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2666956$A62E574F-6D21-4C3A-958D-4584D49DBC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"872b0d399d975c89f8104764da44c03ea1770c54","datavalue":{"value":"elimination method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2666956$DCA59074-CEE7-463C-9B7B-1AF5177096DC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe2977d14a6006fa56768c0bbf4b09337d85306","datavalue":{"value":{"entity-type":"item","numeric-id":16387,"id":"Q16387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666956$E429D29E-9827-45CB-BF17-D804D701C6C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7922910f294a9803858a673fdbe62341cd39b532","datavalue":{"value":{"entity-type":"item","numeric-id":13007,"id":"Q13007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666956$E4440D5F-F0EF-47D4-B8C0-98BF128C191D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d69657f9add8f3ad5ebe741552b4bc162bf692d4","datavalue":{"value":{"entity-type":"item","numeric-id":18127,"id":"Q18127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666956$021A8BC1-3FFE-4C39-B53E-F92C4C677B6A","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":"Q2666956$0EE8C95C-EBF2-497A-A80F-E561291600EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"73ec361794adffe5d2cf9b5a29bd6e1c6e65dcbe","datavalue":{"value":"https://doi.org/10.1007/s10817-021-09591-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2666956$90585567-36DB-4CDF-BDC3-8D65048371CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f478176145b47688f23c5de34dc3f299f7c1b85","datavalue":{"value":"W3157072245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2666956$11FD07EB-AC8B-4118-840C-D080CFEF8042","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"faa0bc1bb87f751e6c936c2c8a473030613d2716","datavalue":{"value":{"entity-type":"item","numeric-id":2439882,"id":"Q2439882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666956$8C236550-9A19-424A-88A3-22F60E46055D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54c395eb55cfb03ffd7251eaa8b73ba0ffa7ba2d","datavalue":{"value":{"entity-type":"item","numeric-id":2716051,"id":"Q2716051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666956$6FF182F6-0F53-4AC4-A12D-E979B42ACC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2c6fc65716ca53b4df443be754d1a7c89f6f684","datavalue":{"value":{"entity-type":"item","numeric-id":4857780,"id":"Q4857780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666956$87D04258-1E1C-41A8-9223-41B83750B424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a27032a384168af742be76775ecf3c64f8e4bc37","datavalue":{"value":{"entity-type":"item","numeric-id":1215410,"id":"Q1215410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666956$B942C6A6-7EA2-4D27-96BE-EDF18FEA9A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60b5cbcd9f590bf8dc2909b7292864d5304bd5fa","datavalue":{"value":{"entity-type":"item","numeric-id":1581854,"id":"Q1581854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666956$6B16FA42-AE6A-4D58-B3D8-4B8A179BC5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b9ce3fd590f4e1e8b190609d9ae1cb8518e9d37","datavalue":{"value":{"entity-type":"item","numeric-id":286780,"id":"Q286780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666956$ED2E44A7-160F-4E9F-ADEF-841B0974AE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee50e55e0ad8e6c5411dc0b85879d3e4f7e68dca","datavalue":{"value":{"entity-type":"item","numeric-id":616846,"id":"Q616846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666956$842AAACE-C1B7-4874-B81B-63C1C29C144C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa297e66284604b357f8b4bb238349deff3928e","datavalue":{"value":{"entity-type":"item","numeric-id":5453492,"id":"Q5453492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666956$DDA37B53-9E60-40BD-88AA-BBD8E3DEDB2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"926cab7cb77d4d97379b0dafb641faa9cd4e8743","datavalue":{"value":{"entity-type":"item","numeric-id":1730304,"id":"Q1730304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666956$0C7CDC7B-0E22-4DEE-A4FC-F2CD42FD423E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07e6b1bd06448aa661cd711094d49a57e92bc300","datavalue":{"value":{"entity-type":"item","numeric-id":5433133,"id":"Q5433133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666956$80352DE8-68C8-4E59-A9AD-31D5BA012AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"236ff075b6336e5a62a73c551fd46afb75eb22f7","datavalue":{"value":{"entity-type":"item","numeric-id":1808565,"id":"Q1808565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666956$F6167494-E218-4CB5-B7B3-00D8AF8C2E3B","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":"Q2666956$0432B1FD-6FD5-4FB8-A7F0-56DE4E8C8242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4d80d10655647513f1efec0d8560effd4b94c30","datavalue":{"value":{"entity-type":"item","numeric-id":1125620,"id":"Q1125620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666956$127BE1DE-4FCF-4A5C-9253-51AEC11262D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2ef9736f8b49328d5416cb2c5a0be1ca90d2c0b","datavalue":{"value":{"entity-type":"item","numeric-id":4823164,"id":"Q4823164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666956$AC3E0A1A-3904-422C-81AD-40E5A4425D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d960f4b03ebfa4d264914ee94255d012731e75bf","datavalue":{"value":{"entity-type":"item","numeric-id":4234291,"id":"Q4234291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666956$324C5DF5-2B1B-4B8B-9E9A-6814B7EBCF69","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":"Q2666956$9346AC58-E7E3-4B3A-A295-3E2F24F99D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f863f32c36afa2b13a43ef628834333147d69c7c","datavalue":{"value":{"entity-type":"item","numeric-id":4023642,"id":"Q4023642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666956$167B01EC-DFBA-4BD2-AC8E-3986F949F22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d53be40648af4c3e9809c684136713181cd4379","datavalue":{"value":{"entity-type":"item","numeric-id":3838770,"id":"Q3838770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666956$C770E6E5-7B2A-4201-BA5C-C162DA2D1404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb88951437ccd14e6bdebc77cda052045a02f0ce","datavalue":{"value":{"entity-type":"item","numeric-id":1094150,"id":"Q1094150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666956$3AFAEB68-3479-42DB-AB74-C13FC62F1CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bd256e4cf2e8da67d90b78d7200fe9d0224b362","datavalue":{"value":{"entity-type":"item","numeric-id":1582388,"id":"Q1582388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666956$EAE37669-100C-409E-8B07-175B23D79B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8b30c90fa1d5067ebabf91e25521a8fbf37c836","datavalue":{"value":{"entity-type":"item","numeric-id":4234209,"id":"Q4234209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666956$EC1CFE51-E522-40EF-93E5-25A32A54DB90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cbd1e85c08ccf2fc3c157f880c3545c0122d3149","datavalue":{"value":"10.1007/S10817-021-09591-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2666956$B468E8FB-7FE3-45F4-A217-6EE60C8FBE2D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9fb560db942c9661ef74847a0d03d3d788d07d4","datavalue":{"value":{"entity-type":"item","numeric-id":2354910,"id":"Q2354910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca2a447b6bec3639fcb0194f550d0ac658f644f1","datavalue":{"value":{"amount":"+0.8339890837669373","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":"Q2666956$44A5AEA7-BCFB-4A6F-8781-03178737E1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b9f861c829e7305307918eb79d1b5527b57395e","datavalue":{"value":{"entity-type":"item","numeric-id":2912124,"id":"Q2912124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c78656a4db8ecc42dd1fee8f47b4efe5e547f19","datavalue":{"value":{"amount":"+0.8307026624679565","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":"Q2666956$21EF0637-23E7-49D0-968D-03AFA7D9301E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81e305aa73454d711a48c308506f182e78e878e2","datavalue":{"value":{"entity-type":"item","numeric-id":1808565,"id":"Q1808565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"532de14c12c8860445d2fe77d316066ab4570d10","datavalue":{"value":{"amount":"+0.8244086503982544","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":"Q2666956$1E05C686-4BCA-4394-B3D6-9272DBCEA1AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1156c0a8dd200caa6cc9639722e2bf834e56b0c","datavalue":{"value":{"entity-type":"item","numeric-id":2071524,"id":"Q2071524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fce104afcab76a4ef0e29d350325bba789227c06","datavalue":{"value":{"amount":"+0.8002477884292603","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":"Q2666956$7604FA41-7470-4535-B5B0-5D3B5695AC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c0177aad1a922de43a104a9b7109b62aa12b987","datavalue":{"value":{"entity-type":"item","numeric-id":4234209,"id":"Q4234209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ae550d6199cea3a2beb998380d7383c22005ef5","datavalue":{"value":{"amount":"+0.7962192296981812","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":"Q2666956$6B5C3B39-C975-4BC5-B853-94D448929706","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2666956","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2666956"}}}}}