{"entities":{"Q1808565":{"pageid":1819307,"ns":120,"title":"Item:Q1808565","lastrevid":77958113,"modified":"2026-05-06T10:27:04Z","type":"item","id":"Q1808565","labels":{"en":{"language":"en","value":"Automatic discovery of theorems in elementary geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1369453"}},"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":"Q1808565$A503C769-E9EA-4C95-AF58-9E9FE0B9EB73","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6a7cb9619c1824994c78dbbd29fb11bbc1dcd1a","datavalue":{"value":{"text":"Automatic discovery of theorems in elementary geometry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1808565$F1B898F2-19AC-4EBA-B10D-959815A3CC93","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b686c6fd857b773435e8c7fe37f2c4bce5270e8","datavalue":{"value":"0941.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1808565$9B2DBC3D-D875-4A00-B90D-70ABBF932646","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35fb7877310eac796ea45c1056e6122b0958d61f","datavalue":{"value":"10.1023/A:1006135322108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1808565$406B6DC6-153D-41A1-8A17-8D85160F9F2E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808565$0B43D69D-9BF2-4FEE-95CF-523D479C23B6","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":"Q1808565$11A2D9BA-324D-45A6-8974-FED18408CC98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3f29977b3c78240439e6d7adfdac0711f36ba14f","datavalue":{"value":{"time":"+1999-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1808565$DEBB8948-A4DF-4294-9CDB-081E61EE49BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1808565$7AABD748-88E6-42C1-B193-5F821C0BF033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1808565$3663C848-A8FE-4EED-8DB2-210D9F53EF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1808565$A7A4E412-A69B-4EEF-8971-C01EA516DB7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1808565$D155E45E-ACAE-417D-8A40-245439EA2510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"987534210f24e22be743ce682e8bd441c895d89c","datavalue":{"value":"51A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1808565$6C6E53A3-E23B-458B-ADF1-AE20683F04EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a114fe3f274c07bf65c194320488d920570e5b3e","datavalue":{"value":"1369453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1808565$8950FB0F-FE65-4651-8A9F-161A76F4068A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1808565$F2151CB2-ED92-4678-B0AD-23A940C4D325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1808565$40690DCC-3A61-4C77-BB25-89D37FB7BE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fee9677937af4280ca2b7da086523ad813e30fbe","datavalue":{"value":"elementary geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q1808565$6CA7B7EA-4BD3-4803-AC48-258E19B14CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"082129819c492a5b4b6d0325b9122d80b21d6507","datavalue":{"value":"algorithmic commutative algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1808565$2094BFCD-FC54-4F71-A9BD-680A087CEA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17064b8f5db14d0e12dddae734ea238e9822d0de","datavalue":{"value":"algebraic geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q1808565$46214E6A-88C5-4A5C-ABFE-535FA32260F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d2888da300b418c22dce11b4dc52421e62f7434","datavalue":{"value":"automatic discovery","type":"string"},"datatype":"string"},"type":"statement","id":"Q1808565$808A85CF-ED95-47B2-A128-A576ACC3D978","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":"Q1808565$BFD75EC9-3360-4DC5-B34D-004C93BC3A35","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4834839a7a017fe0a3fc360740bd4da5bdd7fd54","datavalue":{"value":"https://doi.org/10.1023/a:1006135322108","type":"string"},"datatype":"url"},"type":"statement","id":"Q1808565$8BC74C44-0EF4-4A10-9943-64F7F8661685","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3af7bf4630dd6c5c885118f7652bdd2d0a6ac67f","datavalue":{"value":"W1562474977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1808565$3F98515D-56C0-4B47-90B6-E5F4711326F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fcdeb581834d8000223ae84e0db44d03912e644","datavalue":{"value":{"entity-type":"item","numeric-id":846167,"id":"Q846167"},"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":"Q1808565$18B1DD95-0F20-4C74-B1C1-A799D5A8986C","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":"c00ae440ac58e9861d992b290c7bb245832a895b","datavalue":{"value":{"amount":"+0.8602444529533386","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":"Q1808565$CDE27439-7617-4A7C-9DF5-2A7028EE4248","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":"32dbe47b2d4981043d7432f5cf442e2996749098","datavalue":{"value":{"amount":"+0.832735538482666","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":"Q1808565$8A40F34F-CA77-4603-B585-DC644508CC1A","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":"12cb3221326dec13c935fc0276bd5d421314ba1e","datavalue":{"value":{"amount":"+0.8278120160102844","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":"Q1808565$3AD412E1-A76B-4A21-8A8D-C8EE1AA9D7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e7d2fc10ced0d9125f6ad91f7e15882a04f4899","datavalue":{"value":{"entity-type":"item","numeric-id":4807517,"id":"Q4807517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a1cfb30cf480f8584bf0d292edb9f2bf7fac6da","datavalue":{"value":{"amount":"+0.8185811638832092","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":"Q1808565$2B498254-E2BD-44DF-A914-30018DB4D7A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic discovery of theorems in elementary geometry","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_discovery_of_theorems_in_elementary_geometry"}}}}}