{"entities":{"Q1655490":{"pageid":1666231,"ns":120,"title":"Item:Q1655490","lastrevid":73116711,"modified":"2026-04-14T14:36:23Z","type":"item","id":"Q1655490","labels":{"en":{"language":"en","value":"Generalizing Morley's and other theorems with automated realization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6915519"}},"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":"Q1655490$31FC71A2-BC3A-47F9-9C96-A1D18C6A8ABF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5634e323e1b9d9edef6456e8ad2d1dc119fd5fd8","datavalue":{"value":{"text":"Generalizing Morley's and other theorems with automated realization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1655490$EA8A7F50-39FA-4D7A-BDAF-9F4BCC1918F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c417098cf99e2ecbb062c7019d564eedc5f4d72","datavalue":{"value":"1398.68480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1655490$C5CDB7E6-8FC9-4622-8A41-6FC713513A12","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"feb963eadf19cd78482d37136d31acc9428ab312","datavalue":{"value":{"entity-type":"item","numeric-id":1655489,"id":"Q1655489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655490$29A63F66-40B3-415F-A1C5-71ABE52A5952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d4b328c8f0133dda01adf0370addc661498ab8f","datavalue":{"value":{"entity-type":"item","numeric-id":2563757,"id":"Q2563757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655490$6EF96271-ECE7-430A-BA7D-73855E6CE50F","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":"Q1655490$103D044E-2746-4CFC-9E5A-BA418CCEEADA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"135d66d019a2cccdb74a66e127db81b39e6c2d3f","datavalue":{"value":{"time":"+2018-08-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1655490$7B208550-007D-40A0-9351-85E25E315AF7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27536e47ae37ed11da95128d2027ea24510af144","datavalue":{"value":"https://hdl.handle.net/2144/27902","type":"string"},"datatype":"url"},"type":"statement","id":"Q1655490$3D82B957-F873-4AA8-965F-F6F8F5E8B6B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1655490$0CFBDAD8-ECB5-4BC5-A05E-767EA68F6F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b143b79160ecbd84018a9432f7528f4f2e56eb50","datavalue":{"value":"51M04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1655490$46EB1360-9EDD-4229-8096-DCA3F329BA62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0cc5c66ef4356dd5d24b3e3bf01598f5dbb34ff0","datavalue":{"value":"6915519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1655490$6BBE2C65-6C60-4F3B-8C2A-3C12BC876FA2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b57f8dc28a29eb1eaa233b31d4efb6dca9fb6e2b","datavalue":{"value":"automated geometry proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1655490$42DE99B0-C271-42E1-BF73-130D7E133155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1a0e4dc33a8c36298ee216fde0e1ca6460fc3d9","datavalue":{"value":"Morley's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1655490$1B396D63-27AE-47F4-9BEF-1518DDD12279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b355c8a4174d6d8394d7bf240c24bc9a0be14b8","datavalue":{"value":"realization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1655490$1868791F-81D5-4442-9492-5E5658F390C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58b6a688743bec1fb9675aa477fac6ccbd1e3856","datavalue":{"value":"angle constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q1655490$A72E727E-9B16-4E79-B30D-F87750004675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d13dd221b60b2808119c29c072ad33a7e1fd8764","datavalue":{"value":"automated geometry reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1655490$15D34760-EFDF-485A-810C-A1E3F06032A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7910ff9c68a4edfe0de802e49825407663bdd286","datavalue":{"value":"theorem verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1655490$C4E5DE1B-CE60-47EE-8E76-2015398F8286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d743b15ae79b63cd43ab9ab72080036533cc5529","datavalue":{"value":"theorem generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1655490$26A7FAE3-73CE-4F8D-89A1-34FDD2A1DFEB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"683f7043eaaaf0f1545cdc2d8a445ecc203b37a9","datavalue":{"value":{"entity-type":"item","numeric-id":37779,"id":"Q37779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655490$1BD2E1AB-A139-4351-9E13-8F601AD60538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15e0f57c425991779433df8a745c283c5ccf7f73","datavalue":{"value":{"entity-type":"item","numeric-id":6230810,"id":"Q6230810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655490$5793927E-4CE9-4B32-B53B-BDC69221E796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655490$89F3CFA0-5DDC-4D6E-94CF-7AD8A114EABE","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":"Q1655490$5AF70871-4703-47D2-B90B-167FBCC08444","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"324309ca7116cc7fcf7c1ae8bc62e10a5ac17fc2","datavalue":{"value":"W2760518069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1655490$3823A06F-113B-4E5F-86B4-02A8EDB74C65","rank":"normal"}],"P223":[{"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":"Q1655490$3F297700-45E0-4F7A-9447-095AFFC68792","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":"Q1655490$AA606CFD-50D1-442A-8A2B-A216B4B8437E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a0e905ac2eea9d2444aa00e334b45f10b8ae2ce","datavalue":{"value":{"entity-type":"item","numeric-id":4546302,"id":"Q4546302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655490$04A34950-1DA9-489A-9B6B-D4752C6C37C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a9143b9caec2c35ed69b6720f87afb357eeeb92","datavalue":{"value":{"entity-type":"item","numeric-id":3962450,"id":"Q3962450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655490$F956AC5E-E795-480B-9D66-E3560D1AFAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a6e4acf22099a859a2dd2bfa341b599134837ae","datavalue":{"value":{"entity-type":"item","numeric-id":4192016,"id":"Q4192016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655490$EA0149A7-D2EC-429A-B356-14AA4FA206CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aa2ae61992a0e5eba0a5e337babaa28b7d7cf92","datavalue":{"value":{"entity-type":"item","numeric-id":437042,"id":"Q437042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655490$D20F0AF0-B375-404A-B50C-BBFFAE35921F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56d5a30f157cc8e844a60e5baa4c8c44c4e1b0e1","datavalue":{"value":{"entity-type":"item","numeric-id":4484914,"id":"Q4484914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1655490$DCF770AA-DA8A-4AD6-80D4-F6EB087C7D55","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":"Q1655490$DAAA8448-AED7-41BD-8935-6C36B9F9F5B2","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":"Q1655490$7B48C891-053D-4835-8303-2B8F42374D46","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf356dd208c154d075777b0725075c39105f9fb4","datavalue":{"value":"10.1007/S10817-017-9435-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1655490$4233C21F-650F-48CE-A66C-3A91164DF4D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04ef23098f1a056b306d9ffb534012ad4afcc9cf","datavalue":{"value":{"entity-type":"item","numeric-id":2017773,"id":"Q2017773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abe97881f239f5994da87dc561a4de35cd61c6f7","datavalue":{"value":{"amount":"+0.7701244354248047","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":"Q1655490$212FA7A6-977C-4CDF-8F11-BBE79622B211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92fbc7c866df1500efdc056f282aefcfec5130d6","datavalue":{"value":{"entity-type":"item","numeric-id":633087,"id":"Q633087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b241a8d9bea0bf944656757686407cf925741f9","datavalue":{"value":{"amount":"+0.7627518773078918","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":"Q1655490$7C2DCCDA-953A-467E-95B2-773FE5FCD056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d2e078a253980ab448f3a708bdf868fd8cae7a7","datavalue":{"value":{"entity-type":"item","numeric-id":2765707,"id":"Q2765707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68df9b037eb3bfb93f6de9d84918f4e68fc4e55d","datavalue":{"value":{"amount":"+0.762748658657074","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":"Q1655490$A4D86283-42C3-4756-BF51-20F19E417FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c26d395bc25e0c0008e1c08b53aadc201ee49a8","datavalue":{"value":{"entity-type":"item","numeric-id":1101257,"id":"Q1101257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7e16447d9f02aaf1b2cd69fd6532a810f1d0c8b","datavalue":{"value":{"amount":"+0.7604199051856995","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":"Q1655490$C8F36D5F-EB60-47B1-8CA2-8408E1D095E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c0be4ae12b77e548190d701dabce4695d6b5da7","datavalue":{"value":{"entity-type":"item","numeric-id":1272610,"id":"Q1272610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f8ca28d336ec70fda2df46a54b1cf63546d47d1","datavalue":{"value":{"amount":"+0.7603892087936401","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":"Q1655490$DA7C03C1-84C2-4C17-A662-3FEA8DFA08CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalizing Morley's and other theorems with automated realization","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalizing_Morley%27s_and_other_theorems_with_automated_realization"}}}}}