{"entities":{"Q846167":{"pageid":848015,"ns":120,"title":"Item:Q846167","lastrevid":64840593,"modified":"2026-04-11T22:34:39Z","type":"item","id":"Q846167","labels":{"en":{"language":"en","value":"On protocols for the automated discovery of theorems in elementary geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5665091"}},"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":"Q846167$A8937097-168B-46B9-84DE-8459734A1507","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"953b29ed5ebbcb63e9764c68799285cd3edabdda","datavalue":{"value":{"text":"On protocols for the automated discovery of theorems in elementary geometry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q846167$B504C605-1415-42EE-9BC3-99AC07731CF6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d44aecd224dfd46beed739c6e957fe339ad3c4a9","datavalue":{"value":"1184.68458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q846167$7D225C8B-E808-4550-9932-EE0DA963DA9C","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":"Q846167$B9B1D181-16CA-4757-B8D3-0E3AAB9DD5F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1be8b4990963e0aa9daa58d550c816078a3fef6a","datavalue":{"value":{"time":"+2010-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q846167$8D1A6061-2DBD-4BE3-AD95-87089EBAAC8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q846167$C57E27C0-26A9-49A1-8260-BC5C559E5A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"faf5fa4f05db998aa651c0c32ce49d873d9dceaa","datavalue":{"value":"14Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q846167$C4D7B0E9-654E-49C7-B8BF-915AFFBBC3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d8912a48ac60770db1c80088e9517c70dd683cc","datavalue":{"value":"51-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q846167$BAFCD08E-C7E9-40E6-81BB-2D2C01B14062","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ec302942793af1077971918ed2e59a58467575f","datavalue":{"value":"5665091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q846167$29076B61-F1ED-4D76-BAE8-3B5ECBA0B914","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q846167$C10B0FED-7F91-4568-A514-8521564A0F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0792c0bce1b76b5989de1fe69790de3cd0bd37c9","datavalue":{"value":"automatic theorem discovery","type":"string"},"datatype":"string"},"type":"statement","id":"Q846167$070B59EC-14D0-4EF6-B0FA-1752AD759F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fee9677937af4280ca2b7da086523ad813e30fbe","datavalue":{"value":"elementary geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q846167$92C73D4F-A712-45C2-B661-ADF29D2710DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67cc7dcc89a6b562e9ab3e1f838553741302c043","datavalue":{"value":"computational algebraic geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q846167$100B903E-25E7-45AF-8F3C-EC5198DF921A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbbafb82f6fe6717eafdbae7037c8b7b33ff3071","datavalue":{"value":{"entity-type":"item","numeric-id":2270578,"id":"Q2270578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846167$CDCADA95-5205-4027-BA2F-76CE1106F724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59d44f3333e2f9dff43dcfba05e4d5cf19ad4778","datavalue":{"value":{"entity-type":"item","numeric-id":286778,"id":"Q286778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846167$8BBDD09E-595A-464F-925C-FC3252F17A57","rank":"normal"}],"P1463":[{"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":"Q846167$C9CF8A41-F6F3-47AF-8763-115958CBF242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c9c1f58b8025297b76815155d9e858d1b402d938","datavalue":{"value":{"entity-type":"item","numeric-id":12911,"id":"Q12911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846167$B54597A5-611F-4764-B051-F9291975988F","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":"Q846167$A02A457B-E52D-43D1-A3A8-E1D7D7A6AA10","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"040c196e7369b12d372cef6a62d973392bfb6084","datavalue":{"value":"https://doi.org/10.1007/s10817-009-9133-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q846167$2FEE40DE-BC2E-4A57-935A-6C3CF7341CA1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c90eb27e9be1c6e7bfd1d9df92b08a26f94bc4d","datavalue":{"value":"W1983376640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q846167$0F8EC7F0-02FF-45F6-B010-3AD9C10B7218","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f6f5b996c1c97eeb6f74667a0b2a28f3d8605bc","datavalue":{"value":{"entity-type":"item","numeric-id":4531856,"id":"Q4531856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846167$67EFDC89-7B18-48DD-ADA9-E7AA70A3DA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff4138c5c77a2138655a1857a4fba453c753d422","datavalue":{"value":{"entity-type":"item","numeric-id":5493322,"id":"Q5493322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846167$28B94AB6-A845-4404-A3B1-98AA3AA791A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d96d54bf8ddfdaf7897247407c4a608e68416f1f","datavalue":{"value":{"entity-type":"item","numeric-id":4531857,"id":"Q4531857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846167$29991927-BD27-4E40-BBF6-8BA60B7407A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1b3c6224d579bc78205bdd4ccc1c8cca23ac1c","datavalue":{"value":{"entity-type":"item","numeric-id":5493318,"id":"Q5493318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846167$46C7D229-4D7E-4C90-8A24-642E26776024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35766ec01e396c1dd4f8524f34912174d187d554","datavalue":{"value":{"entity-type":"item","numeric-id":1099656,"id":"Q1099656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846167$E1CDD5EE-C352-40A8-ABCF-B0F96C42EA72","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":"Q846167$5E95A590-A1C5-48FE-A8EF-3A3606F0A451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f101215e23dfaca80413ed17ced3266bdedc80","datavalue":{"value":{"entity-type":"item","numeric-id":4352795,"id":"Q4352795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846167$3E34B07D-14CB-412D-88B6-91B89C4192B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed7ee0df0fd64f77dd9c8e7946d95214895937da","datavalue":{"value":{"entity-type":"item","numeric-id":4531855,"id":"Q4531855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846167$5140DF4A-BE52-44C3-A67E-B60BA77F0F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"141fe81459205b7ba7b7a01cd328cbaddcde6442","datavalue":{"value":{"entity-type":"item","numeric-id":1115642,"id":"Q1115642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846167$CFA09621-5EBD-434E-9A50-C74850A769C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eeaa7dfd1d5aa46fe4ef30cb5d8e2f1a04648ae","datavalue":{"value":{"entity-type":"item","numeric-id":4507801,"id":"Q4507801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846167$3AF6AF03-18C6-4859-A166-2C52DDD2C5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e2465a00ab72d72703d1edbffc3412e3c3d4677","datavalue":{"value":{"entity-type":"item","numeric-id":5453488,"id":"Q5453488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846167$FD48DED1-B3A4-48D0-B8A8-5235C23E540B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f33e85decbd3dde336af3f30eb71587cc94e59e","datavalue":{"value":{"entity-type":"item","numeric-id":4238968,"id":"Q4238968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846167$679EE1CA-04EB-4982-9DC3-C1B361DDF533","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":"Q846167$8CBABCC0-23EB-40D6-AFF9-8C2FA86EB385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc489a7e9dbeffe6310e403adc98026c3354141","datavalue":{"value":{"entity-type":"item","numeric-id":5307230,"id":"Q5307230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846167$DCC251C0-0539-4389-AAA0-68D6056BA885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaec4727ba4d5abdc46c7100171bf5ef55ab6706","datavalue":{"value":{"entity-type":"item","numeric-id":583606,"id":"Q583606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846167$8384985D-842E-46ED-B2BE-E6B294B934A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6789dca8231e015f9afe019411156ee6c5c30079","datavalue":{"value":{"entity-type":"item","numeric-id":4394960,"id":"Q4394960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846167$B1C84B2E-EE28-4938-B407-62BB20D9FB7D","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":"Q846167$0E4FD3F2-DD0F-4962-AB04-3894F7488C15","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0bc01f1f6b8634b52c2a729b9199ccd71b68a1f","datavalue":{"value":"10.1007/S10817-009-9133-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q846167$16A05192-D89D-4C39-B4E2-B6735698E1AE","rank":"normal"}],"P1643":[{"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":"997199705f076ba6e7bb29eee57ef51c1e733e37","datavalue":{"value":{"amount":"+0.9182680249214172","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":"Q846167$8353739B-72E1-4D07-A626-1CA7C47DFD72","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":"3301105b9f22471825b06f1dffcff9d6048756fa","datavalue":{"value":{"amount":"+0.8319942951202393","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":"Q846167$730879B4-78A6-432B-A8F1-0BA0EA9AD144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5de3ae489bb30e74cff9e56466fca1d0e57e097","datavalue":{"value":{"entity-type":"item","numeric-id":6108828,"id":"Q6108828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f02c400d659b85bfb33edae298fe099cb725b3a0","datavalue":{"value":{"amount":"+0.7981223464012146","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":"Q846167$F6597C4A-1431-470F-8F65-8918C5DC6109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d9b80e26694703bda0bc360c98010f9a51c56c7","datavalue":{"value":{"entity-type":"item","numeric-id":5453488,"id":"Q5453488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ccb6381029730479dd67cffe704318c853c6a32","datavalue":{"value":{"amount":"+0.7967918515205383","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":"Q846167$0F4C94E4-D4FE-4388-A9DA-0569D6215C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4542d4f6ee9ed97205b6e68ed988ac4f3df1a721","datavalue":{"value":{"entity-type":"item","numeric-id":4531856,"id":"Q4531856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac598419916e7ddf38d9db9484248b7d84367330","datavalue":{"value":{"amount":"+0.791090726852417","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":"Q846167$BE4A7D77-C86E-48B0-A6FD-BA4CE958D933","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On protocols for the automated discovery of theorems in elementary geometry","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_protocols_for_the_automated_discovery_of_theorems_in_elementary_geometry"}}}}}