{"entities":{"Q1924743":{"pageid":1935485,"ns":120,"title":"Item:Q1924743","lastrevid":46404390,"modified":"2025-12-24T17:30:32Z","type":"item","id":"Q1924743","labels":{"en":{"language":"en","value":"A generalized Euclidean algorithm for geometry theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 937246"}},"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":"Q1924743$98D847FB-D869-4093-B0CD-E8456AEAEE6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d064ed9a9ac1e681e23c151fab40c48ef51a07c","datavalue":{"value":{"text":"A generalized Euclidean algorithm for geometry theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1924743$D5342F02-AEF9-4577-92B2-E714AC84B230","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3970745ba7aff6207c9e66ba6e2041ee8b7f7d2c","datavalue":{"value":"0855.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924743$670950C6-EB87-4ED2-80D9-2E48E2117D19","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08cbec625ae0485acf9bdf122183d05af346e543","datavalue":{"value":"10.1007/BF01531324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924743$15D37976-BB73-4E18-8554-52FDD68D52B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb3ca6bbcec10091493b840442bbd894379b7b43","datavalue":{"value":{"entity-type":"item","numeric-id":1260757,"id":"Q1260757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924743$61AB4868-041C-45F3-B1DF-0F44CFD3E04F","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":"Q1924743$308AE415-1D79-457F-AC33-FD7CB103119C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d28ce544e27c7b300ad3e764a5b358f402743f33","datavalue":{"value":{"time":"+1996-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1924743$270B5167-5838-41AA-9E18-3B24BF4370BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924743$73E16798-9DBD-4E7D-9ACF-50B0A0F2365F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45e484122f28d0421577c2520389961c91dfe01e","datavalue":{"value":"937246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924743$F18C8E62-6CC3-4545-865C-DFDB14D4831C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7164fb1a146782fc3fc30b688b30936e08cdee92","datavalue":{"value":"geometry theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924743$D1246C56-9B0F-42A4-932E-9F534B166450","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":"Q1924743$509BA22B-7FE4-4CAE-8066-FFA521F65CD6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0d60285ae04471993c98b6fd4f9789d850bb6c","datavalue":{"value":{"entity-type":"item","numeric-id":2902935,"id":"Q2902935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924743$5B3A3B18-FFFC-4853-BD11-B767DC126136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2ff57ef70bd9e86c9b7017e46b8cd84cb7965f4","datavalue":{"value":{"entity-type":"item","numeric-id":3714165,"id":"Q3714165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924743$90EE2A85-D907-43C3-81D8-A7E336598621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f65b705669c63993345434be77161245f32637c5","datavalue":{"value":{"entity-type":"item","numeric-id":3490991,"id":"Q3490991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924743$C8249D32-39B7-4FD1-B88E-C7E2F3BE6D45","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":"Q1924743$DB0768B9-324A-448F-B501-751CB2C853FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5107dc2805878ace8909c9d9b3a5ceeaec8135f6","datavalue":{"value":{"entity-type":"item","numeric-id":1101255,"id":"Q1101255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924743$2DC552A1-E8A2-4FCB-B7AE-6F95E4243FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a3cf6a48f44d71bd321814f5927bb2fefe5f421","datavalue":{"value":{"entity-type":"item","numeric-id":1180154,"id":"Q1180154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924743$2CB5209A-AE20-44E9-BC8D-A4F7CD3DD44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac8d4b29265fc86c9906b208dcbf80f00e1d4962","datavalue":{"value":{"entity-type":"item","numeric-id":687938,"id":"Q687938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924743$0236469C-E179-4380-9C3A-C907940FA052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce14f1b643dbc9e427f8932ebcd19ab6956caa34","datavalue":{"value":{"entity-type":"item","numeric-id":3973337,"id":"Q3973337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924743$090A18A8-7FED-45CD-BF82-EF7C19ED3BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"accebde938a67587658d67fd040559d3fd3133e2","datavalue":{"value":{"entity-type":"item","numeric-id":3973334,"id":"Q3973334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924743$8E109189-6CC3-4621-8911-C69710B14A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d269d1a44b43801b3d6ef6429d6d24cd1a73c0","datavalue":{"value":{"entity-type":"item","numeric-id":4695324,"id":"Q4695324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924743$D9DA1E4B-F0B3-45A9-BBD5-2DF4E8D5859B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42a284615c381b20217d0d43a9e41f4382e78ad3","datavalue":{"value":{"entity-type":"item","numeric-id":1260758,"id":"Q1260758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924743$F5836496-EF97-44AE-AF3D-71256EB63E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66f1b17812e6037d2b7d557b0a7606920332b887","datavalue":{"value":{"entity-type":"item","numeric-id":1124373,"id":"Q1124373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924743$9E164F73-8ACA-47EC-BE97-17D1BED65E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"857d96c220f17186c9a4ef495f40b8782e9e138e","datavalue":{"value":{"entity-type":"item","numeric-id":3772181,"id":"Q3772181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924743$472EC98E-CE95-40AC-9795-6882F398C929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c1353552771c76410cfe34ccaefc15ebfda51a","datavalue":{"value":{"entity-type":"item","numeric-id":1118424,"id":"Q1118424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924743$CD532BD9-EC95-4223-8C0F-91EB38A9A585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"027e018eef8810ffaaa3893bf67adf6d2ef52c6f","datavalue":{"value":{"entity-type":"item","numeric-id":1094149,"id":"Q1094149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924743$0C0F45A3-4DBA-4D47-99E0-9D480D5DA628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c540d0689d2e6e44699592fe0bc708a3e6141101","datavalue":{"value":{"entity-type":"item","numeric-id":1180160,"id":"Q1180160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924743$4E3048BB-E0BA-4F01-BAD5-CEF09F08E7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73756ef2396d8154aa3a61c063286e377438ef3c","datavalue":{"value":{"entity-type":"item","numeric-id":1190743,"id":"Q1190743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924743$4B12BA9C-A7EF-4AE0-A7B5-152591E02F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8a0f820003698ab70dd6fd96938612e80d9544e","datavalue":{"value":{"entity-type":"item","numeric-id":5587075,"id":"Q5587075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924743$9779FFB8-7246-4EDC-B0E5-81655D93A809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a610ceea0d0b3eb6c6f91e35e578f645aa376f4f","datavalue":{"value":{"entity-type":"item","numeric-id":5203713,"id":"Q5203713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924743$16D75DB9-D4AC-465C-B16D-68608A9160A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d0fbcee695dd2748ee9cc27499dd4cc59f346a","datavalue":{"value":{"entity-type":"item","numeric-id":3737533,"id":"Q3737533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924743$274B8852-40DF-4CF2-B8F5-2704F715E0E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6c3288a6e74579b43122efbb340b5274d104bc5","datavalue":{"value":{"entity-type":"item","numeric-id":1260758,"id":"Q1260758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a9abfa470bb329c5801875429ca34572d308b4d","datavalue":{"value":{"amount":"+0.8502708673477173","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":"Q1924743$AD9B4346-246E-4159-8547-6365B04E9647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5de2920f592edbe5f550d8ccc7bfeeeca50aa4a","datavalue":{"value":{"entity-type":"item","numeric-id":5203713,"id":"Q5203713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c49c45c8f80b9a28c5c4ad8645834f4a8a34193","datavalue":{"value":{"amount":"+0.8062942028045654","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":"Q1924743$92937253-6C9C-4463-B74C-9F4343315BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"073efe54e034166617461453493a86c453a149ce","datavalue":{"value":{"entity-type":"item","numeric-id":3490991,"id":"Q3490991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcc5d1b81fb3ab9e68af8d4030cc1b4a9c592ac4","datavalue":{"value":{"amount":"+0.8044461011886597","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":"Q1924743$7C519C0F-DC80-4565-8D80-C1A9A8441692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d9c1ea68d0bc3fd5781a58395331c016fbee2e4","datavalue":{"value":{"entity-type":"item","numeric-id":6488532,"id":"Q6488532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9472b662bef098f40ffcd022b04447bc757a3c1f","datavalue":{"value":{"amount":"+0.8010023236274719","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":"Q1924743$EA5EE944-DA79-4009-BA30-AE427CDEEA2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1924743","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1924743"}}}}}