{"entities":{"Q2354910":{"pageid":2365653,"ns":120,"title":"Item:Q2354910","lastrevid":57875631,"modified":"2026-04-02T21:59:45Z","type":"item","id":"Q2354910","labels":{"en":{"language":"en","value":"Automated generation of geometric theorems from images of diagrams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6464963"}},"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":"Q2354910$27707F49-89AB-4941-AB89-6CCC1209AB36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1aab475d8f0aa6fefb53cc918268c271542bb72d","datavalue":{"value":{"text":"Automated generation of geometric theorems from images of diagrams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2354910$7AAD7046-A432-441F-844F-26C09D114EB3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"168d40d4e2152dbce9957ee6adb20bb53ddaa2fe","datavalue":{"value":"1330.68263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2354910$9F80E261-4C62-4B01-9710-11CA99C576D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f42568a97a7bf8df6a720039a3c55bfed24d67d9","datavalue":{"value":{"entity-type":"item","numeric-id":1741162,"id":"Q1741162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354910$932BDF09-9944-47B5-A87F-ABD7C1B546ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"445e6c271797bbd4e969d752f3f62229db781b70","datavalue":{"value":{"entity-type":"item","numeric-id":215659,"id":"Q215659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354910$209CF95D-1ACD-475C-A27D-D4BB36570055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85e3323a1874f2752b573078af5b2f3f3d68391c","datavalue":{"value":{"entity-type":"item","numeric-id":479356,"id":"Q479356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354910$0D669D54-4901-4AAB-8F61-B8CB6AD04B54","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":"Q2354910$0B9A540A-BF4D-4B01-B44B-E985ACA06372","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e396f0dbd52eaba8fc73bd5cae8304e6cc66a22","datavalue":{"value":{"time":"+2015-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2354910$F06FE263-3C17-47C2-9C50-9C58F457C6F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f12418baa1b19935599a00377810e45c15c82975","datavalue":{"value":"https://arxiv.org/abs/1406.1638","type":"string"},"datatype":"url"},"type":"statement","id":"Q2354910$274D198F-3B64-4315-9252-758243FA00EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2354910$D959C39F-D229-46E6-883C-3A5F31B5B1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8a784276b4e09d379c8147965411b455c3d79751","datavalue":{"value":"68T10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2354910$51B01E8A-BBA0-4F59-94EE-F96044B6B8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"159426a5937e62cfbbcc198dd4848ab52d6e715e","datavalue":{"value":"68U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2354910$BE90733E-83D1-4151-B104-9726461D9725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab7a0d2add14e0dbd91ec8ae1d32a5bb94f2fb34","datavalue":{"value":"68U10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2354910$C2BE840B-7E56-4C7A-A146-B34EE8919BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1467d026b887f8281acc7bddfbc4c385d0007ce","datavalue":{"value":"94A08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2354910$99081AC4-6AA4-43BF-8F8C-F63D2910A868","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e587a18be010e4b851fdbc7c0ce3512cf84db346","datavalue":{"value":"6464963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2354910$46FA1E4D-13EB-4861-86CF-068D165686EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"138d7bdbda16874e3fa4ad68e338640694ed0d55","datavalue":{"value":"theorem discovery","type":"string"},"datatype":"string"},"type":"statement","id":"Q2354910$618BA1F3-60EF-403F-9E8B-EBD1BB7FAE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b508eb9c171301d8939bcc797b0cd89d2ccbd533","datavalue":{"value":"pattern recognition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2354910$8B406084-3F92-4B9E-A4A0-A9CF81BD7C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4cbe40f71c68777ac27c7878896c15b49a56598","datavalue":{"value":"image processing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2354910$AAEA604A-CFCC-4887-A235-6FC44661D5AD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c3fdf4f576ef0c91aae9352df453487a13974810","datavalue":{"value":{"entity-type":"item","numeric-id":22121,"id":"Q22121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354910$854DAF8A-7D99-4A85-8E03-ADC088131B73","rank":"normal"},{"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":"Q2354910$92719795-B65F-4698-9503-1F03864F3368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d423aed709d24704c8ca138c3d33e02bafd7a799","datavalue":{"value":{"entity-type":"item","numeric-id":18350,"id":"Q18350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354910$7835E481-C839-4069-BE98-18F447048D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3d23f729f2d2f49558629678f0c1088defcd1ed5","datavalue":{"value":{"entity-type":"item","numeric-id":24256,"id":"Q24256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354910$CB78B38B-BFC8-4E94-BE85-22E7BE13A9D5","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":"Q2354910$750CF314-8839-425F-96B8-E304FB4FAB76","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"80338b8bd80e2dee195774660282908aab206634","datavalue":{"value":"W2006962766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2354910$E3827741-32CB-4F76-A8EE-9CFD68D05035","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":"Q2354910$3A16FBC5-19E8-41A7-BF3C-D76269895CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b284cb01dbd87a6fffb4ffc25766d5c2cf1631b9","datavalue":{"value":{"entity-type":"item","numeric-id":4946223,"id":"Q4946223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354910$AB56191C-8885-4FEF-B5A9-4C2A916C5814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9d86a0b2304733e99e34a20bbf81691306ff17c","datavalue":{"value":{"entity-type":"item","numeric-id":4434825,"id":"Q4434825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354910$88133535-0323-438D-A9BA-8A4BF3F0E435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c96bdd820e8026b676cbe3dd79ff57792478ad33","datavalue":{"value":{"entity-type":"item","numeric-id":4798238,"id":"Q4798238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354910$51EE8EF6-4977-4F4E-973C-0D2D8F008CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99a5d2b75694ecd4cdf77d165361eeceb0ebbec6","datavalue":{"value":{"entity-type":"item","numeric-id":2764933,"id":"Q2764933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354910$45E2369E-B005-446D-AD75-AA69C1A8C2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86fdb53946b8d2914720c524e008e9da6860358f","datavalue":{"value":{"entity-type":"item","numeric-id":2384979,"id":"Q2384979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354910$D94BC9E1-1A7F-4731-862A-D8962BDFE80D","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":"Q2354910$335F3C71-98A3-41DB-BBF7-F9332C321991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61d81add882687483fd918df0010fcaf5b17ef28","datavalue":{"value":{"entity-type":"item","numeric-id":846167,"id":"Q846167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354910$D0E6BF25-679C-43B6-91CF-B1988FC9A911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22f3d2792dbb443b7b5efb311544ab96f25c8c03","datavalue":{"value":{"entity-type":"item","numeric-id":2921160,"id":"Q2921160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354910$7A0C54CB-E434-40AD-A5C6-4A3963972F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050cda3a065fea542f82336c1a003ecac0439195","datavalue":{"value":{"entity-type":"item","numeric-id":633087,"id":"Q633087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354910$15076D3A-6021-4256-B132-82FF1016ED16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5296a1d08321e3fc28ff882325d64dbe74172a0a","datavalue":{"value":{"entity-type":"item","numeric-id":3003232,"id":"Q3003232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354910$E5A2B9E8-0A1C-473C-B610-B242684B5E51","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":"Q2354910$E6658CC8-E30D-41B1-9918-3E5752D14F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b2b2c45a19e8f0ba2c6666bac22721b8de80238","datavalue":{"value":{"entity-type":"item","numeric-id":3102742,"id":"Q3102742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354910$975EDE8C-5A65-46D6-92C8-7A3C60714892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42de4d5770e387e034f1fede994fe89441564690","datavalue":{"value":{"entity-type":"item","numeric-id":2867934,"id":"Q2867934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354910$FD93033D-311C-4D17-9FDB-C332AA346313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1932306548ebd6723df7c4dea3cd0d797fdf1833","datavalue":{"value":{"entity-type":"item","numeric-id":1924738,"id":"Q1924738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354910$C308E027-C5A9-4FF2-828C-E72281FFCB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f647aa3a627c870fb170d55522e4b29b01e73eb","datavalue":{"value":{"entity-type":"item","numeric-id":2563364,"id":"Q2563364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354910$CC1E71ED-5B0C-430A-AD4A-18D6FB0EB96B","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":"Q2354910$D9567642-9545-4518-BA2B-48C4015A6C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92aa42a2fc1588dce592fa4b81fd744ad89eaba0","datavalue":{"value":{"entity-type":"item","numeric-id":1329538,"id":"Q1329538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354910$DE80D477-7DD2-4A6C-AAFD-63413068EB57","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":"Q2354910$37F6EB41-D524-4C18-836D-8304D709BBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc78b71f326088d062d2f37d00537a701c9d948e","datavalue":{"value":{"entity-type":"item","numeric-id":2988089,"id":"Q2988089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354910$87A8E8AF-8208-4A3A-BE18-475CB52B72A8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"43d7b498a8908eecfa0dd74c7ee0c69137b62295","datavalue":{"value":"Q56602972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2354910$64EEE7A9-F6A9-48CF-A1DA-E0148DA5D4DE","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"02074717334c0d6dcb82b7140cac342f32fe9143","datavalue":{"value":"journals/amai/ChenSW15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2354910$CFB727B0-5828-48FD-9EC2-3EF9604B4AB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30ba78c5389d0931901f462dc5f30c4dffdaa741","datavalue":{"value":"10.1007/S10472-014-9433-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2354910$3834D01B-DA75-4D13-B453-0708B7E9CB0E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a41cfd1778581a760141f75e7bfcd77f9d5c7b7a","datavalue":{"value":{"entity-type":"item","numeric-id":3452283,"id":"Q3452283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18dd247e4f90b3ff4a7edd6650b180d8b3be939c","datavalue":{"value":{"amount":"+0.8818702697753906","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":"Q2354910$4B93750C-CDB7-423B-9726-438A3E590202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"500817d3d8bf655055793e82dbb98feb51a9c0bd","datavalue":{"value":{"entity-type":"item","numeric-id":1741163,"id":"Q1741163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04df0b5492938ce165ec8228085df2d46ce7c704","datavalue":{"value":{"amount":"+0.8056122660636902","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":"Q2354910$ED0E672E-3782-4512-8636-66EA8497CCAF","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":"0c5af9e0c0fee716df636599526f0a17fdefdb53","datavalue":{"value":{"amount":"+0.7645199298858643","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":"Q2354910$0C654B9B-0DC6-4384-B8D0-5BC960939F5C","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":"2e78a9613a04f4bfa45a5a04c634134f6c4e703b","datavalue":{"value":{"amount":"+0.7597346901893616","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":"Q2354910$8C591ADD-E0F8-4FCF-98D4-844085A49237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c065f2cc8b45f368a0f942b6244d432da7ecd8b","datavalue":{"value":{"entity-type":"item","numeric-id":2807857,"id":"Q2807857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"880ed0961c251e2e21cb2188936e41cd211b5bd7","datavalue":{"value":{"amount":"+0.7570229172706604","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":"Q2354910$0A6CB84C-B3FC-472D-9D40-B4B6D2B957A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2354910","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2354910"}}}}}