{"entities":{"Q6185789":{"pageid":13320677,"ns":120,"title":"Item:Q6185789","lastrevid":55542757,"modified":"2026-02-17T18:31:41Z","type":"item","id":"Q6185789","labels":{"en":{"language":"en","value":"Automated generation of illustrated proofs in geometry and beyond"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7785121"}},"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":"Q6185789$4DAD519C-CFAC-43A4-AC28-FBF369CFFEB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf411d61ac905a29e9243d3c2e68034d3c37bba6","datavalue":{"value":{"text":"Automated generation of illustrated proofs in geometry and beyond","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6185789$13839061-16D1-4449-983D-F4F51E7C9853","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c93dc7f088015e9cd1eacb5d2c04306baf043d99","datavalue":{"value":{"entity-type":"item","numeric-id":286775,"id":"Q286775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185789$126B5350-9D7B-4AC9-97FD-B2E4A7880480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7154e8ca53ace223b8c5be019b7f4f775aab0292","datavalue":{"value":{"entity-type":"item","numeric-id":294376,"id":"Q294376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185789$CFF82A44-C6EF-4F79-A0C7-BBC105AFB7FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185789$D775ACA7-3F12-476D-820C-4F697428E5C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e50f80f2416051e0e7d7d1cfabce1de8c3ea5bd","datavalue":{"value":{"time":"+2024-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6185789$B30B194E-4E7F-4759-8358-B31945EF3815","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6185789$6B3579CB-3118-4951-9807-BE3893954918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6185789$91EC0CDF-E0CF-492C-9E52-ADB862B646CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6185789$0C8335C3-D6A4-476E-8FCD-E677701AE9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d8912a48ac60770db1c80088e9517c70dd683cc","datavalue":{"value":"51-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6185789$2B687F24-0F41-406D-B1F2-4BF430ED6017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6185789$1CCABA28-E594-4E9F-BB72-C681E5FF97C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17e814223344934424a53c9bdf2794509c52e66e","datavalue":{"value":"7785121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6185789$B5E58CC6-E145-40FB-B3D0-81A4DEC99FA5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c1671c3ed538044bf2f43a488a1809fb62581e2","datavalue":{"value":"proofs illustration","type":"string"},"datatype":"string"},"type":"statement","id":"Q6185789$B747FBE5-B429-4ACE-A27A-5F2557789C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bc5e9eaa6bf06ad73d7c745ca8c511ccc3a616f","datavalue":{"value":"synthetic geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q6185789$40901DA9-F8AF-468A-9C0F-A01502D748AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6185789$959EE761-5CD2-406A-B995-5C217C763D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61e8e9f8f7d5b99330e59c1d6472f5f0dae2d8b9","datavalue":{"value":"diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q6185789$61058AE3-1852-4AC4-ADA0-A38C9BF2A349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aeaf6346103e174adb95901e26a787b2d3ada0b0","datavalue":{"value":"sketches","type":"string"},"datatype":"string"},"type":"statement","id":"Q6185789$BCCB8C34-895E-4F75-89D3-C324EA8B97E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f40a885166b31b55d170bb6863124bb5e73f3b03","datavalue":{"value":"abstract term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6185789$3872F002-44AE-40A8-92DD-24CB330C1E6E","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":"Q6185789$DEBD90AD-36FE-4A25-B88A-2F8C32DE59C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0177873d6e2b8fd42bcf78bf07cf882cfe154965","datavalue":{"value":"https://doi.org/10.1007/s10472-023-09857-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q6185789$CBCE667D-30E2-4732-B428-CC84DC6A64BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5039de4c4724d8dd2287772d15c4a8e846f3d902","datavalue":{"value":"W4382982372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6185789$575ED244-F2BF-4DE4-8537-4885EDA604E9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3860c002e5bd73f6a4938093fc1d13dc428ed801","datavalue":{"value":{"entity-type":"item","numeric-id":5850985,"id":"Q5850985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185789$3D431291-5307-4597-AA30-21AD2FDAD261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"686d8c1af79a48830313f258a972641c870a4f2f","datavalue":{"value":{"entity-type":"item","numeric-id":2631965,"id":"Q2631965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185789$40EAA2D6-7AF4-4B0E-8A46-710D42BE07F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b9f30a506579d570709211d696ed5ba11d9cc6f","datavalue":{"value":{"entity-type":"item","numeric-id":4665735,"id":"Q4665735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185789$F99DC097-171D-49A6-8CF2-624138265388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30492f77eb016746469a740ef03c349aed405ecd","datavalue":{"value":{"entity-type":"item","numeric-id":5387843,"id":"Q5387843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185789$00C84346-DB5E-4036-904B-FF4E62D50263","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":"Q6185789$BF21D452-4727-48F7-A4D6-433D8E48A9F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fd54c439cf61ddbcffdd270224937acc2274e55","datavalue":{"value":{"entity-type":"item","numeric-id":5961493,"id":"Q5961493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185789$4C977689-09BE-4A4A-A6AE-D331CAA8F0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53b4d07d9d6dee66d2ebc4947c71120f08a144c5","datavalue":{"value":{"entity-type":"item","numeric-id":3126572,"id":"Q3126572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185789$60CF5072-9874-4502-98DA-B306B2795167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18044500555f583101bcf815d77bb59430227473","datavalue":{"value":{"entity-type":"item","numeric-id":3030827,"id":"Q3030827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185789$B0E9D1F0-2469-4887-ADA6-3EB9E8000EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a08243fd980f5701ca2fc53c5c48bfcfef4aa6d","datavalue":{"value":{"entity-type":"item","numeric-id":2795295,"id":"Q2795295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185789$E0079A74-447E-4CDD-8496-CC62F2C4E67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d8aaacffe81ff9879cd1359153e8aa379e24c6","datavalue":{"value":{"entity-type":"item","numeric-id":5902023,"id":"Q5902023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185789$D77BCB56-CEF8-4278-AE8A-132970A7961D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185789$B13AA4F9-6DA2-45A6-9F76-6B1E000B3EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e72d94f5a6b3850e86694683d94b9b8cd6b5a064","datavalue":{"value":{"entity-type":"item","numeric-id":2102932,"id":"Q2102932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185789$67E49C4E-5B57-4127-A1F6-535F07A15815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf26db92fe44f4617dcc2f7627ea50e8798a1d8","datavalue":{"value":{"entity-type":"item","numeric-id":5747799,"id":"Q5747799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185789$9C71D6C6-62AC-4635-99B7-D06EAADAD58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"328caad0b77361ed511af273d18672e961160188","datavalue":{"value":{"entity-type":"item","numeric-id":2655329,"id":"Q2655329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185789$C4E7822E-CDD2-45F1-8E45-24EA54432008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d795b598201d37a3767197b6e0d7bcbc8cde96fc","datavalue":{"value":{"entity-type":"item","numeric-id":2462636,"id":"Q2462636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185789$B072D63C-B44E-4CD5-A6B9-0F0EE6F133E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf54fd52b3ae148a01d4229df0c1b5a1e68af7f","datavalue":{"value":{"entity-type":"item","numeric-id":3613415,"id":"Q3613415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185789$A1856BAC-2FE8-4641-9E5F-4D2A7E098C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd730008c5937a59d9bda783ccd4ce1cba8a2fdb","datavalue":{"value":{"entity-type":"item","numeric-id":5170235,"id":"Q5170235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185789$83CF63C6-CA20-4338-82E4-D76921E6520F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8549a72adcf761e26ac06f668c8502d7f581da97","datavalue":{"value":{"entity-type":"item","numeric-id":3678266,"id":"Q3678266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185789$144DA080-F45B-4888-8812-212210E46144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0000b092379f98c95c3775e7aba07202a86433b","datavalue":{"value":{"entity-type":"item","numeric-id":5495937,"id":"Q5495937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185789$71A1E7F4-59D1-4FE2-861E-7AFBC874ADA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c58bccac3eb8e167d77acc1c92ca853e7a5fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2655326,"id":"Q2655326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185789$F8ACC98B-FBCD-415F-A88C-AA241B485062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"428b24dde0a72987cfd9c8f54e30e7a34dac2d35","datavalue":{"value":{"entity-type":"item","numeric-id":4418135,"id":"Q4418135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185789$07597BCA-FD9D-4641-99C2-E624CCB7BAA7","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":"Q6185789$E57DD5B9-9759-44BC-9755-E9A6F3651412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29f786995d2a079cc06811eaf76b7b4563283e0d","datavalue":{"value":{"entity-type":"item","numeric-id":616847,"id":"Q616847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185789$EFE63E8C-1B94-4EED-9ACC-318B8C254874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ad41095da7320267c1e9f25ef88c7327526f4b8","datavalue":{"value":{"entity-type":"item","numeric-id":3003235,"id":"Q3003235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6185789$3A8385E5-2042-4DB1-97BD-A5F6294B7B6D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab51c07962aeea999c891ac65552d2bca93455ac","datavalue":{"value":"10.1007/S10472-023-09857-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6185789$35F7E851-96B8-47BD-B544-6A9206C741FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c90d6d094caf4551c936fff41b072545e6f439c5","datavalue":{"value":{"entity-type":"item","numeric-id":616847,"id":"Q616847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44fbd8208574bb40ca07f78a896072e514a75c67","datavalue":{"value":{"amount":"+0.7815427184104919","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":"Q6185789$81ED1AE7-770D-474D-BCFE-F8B13A9B4039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bc27555394cb427caad9ca17bdcaaeb52fc92e3","datavalue":{"value":{"entity-type":"item","numeric-id":5747799,"id":"Q5747799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ade3dcfe246eaf5eb9be3ba7730e57a1cbd000f3","datavalue":{"value":{"amount":"+0.7642529606819153","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":"Q6185789$D40167A8-371E-4E90-8AF1-87252A39DC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"055bc335d086a8437a90d878329a74ecbe61d8a4","datavalue":{"value":{"entity-type":"item","numeric-id":4418135,"id":"Q4418135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e378aa31c7faba032e67e6849326b90fd97c969a","datavalue":{"value":{"amount":"+0.7600020170211792","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":"Q6185789$F4D62D86-55FF-472B-8DD0-337089E38205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e733cbcb74d830ed593336a2fc75897e9cafd95e","datavalue":{"value":{"entity-type":"item","numeric-id":5961492,"id":"Q5961492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"849c552467f2ca554671708a4a5bd3fae716fa98","datavalue":{"value":{"amount":"+0.7581474184989929","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":"Q6185789$75FB9D59-157B-4AE0-92CA-DA9CE9709CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2993ffb897d110d011eb9b78c87829edd531b30b","datavalue":{"value":{"entity-type":"item","numeric-id":4789490,"id":"Q4789490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bd4bc7a9f79745bac743caa8c6fbf49dd665073","datavalue":{"value":{"amount":"+0.7505634427070618","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":"Q6185789$40B4CED8-0FEB-45DB-8AA1-8D192B5ED553","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6185789","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6185789"}}}}}