{"entities":{"Q294370":{"pageid":296137,"ns":120,"title":"Item:Q294370","lastrevid":60713703,"modified":"2026-04-10T18:40:49Z","type":"item","id":"Q294370","labels":{"en":{"language":"en","value":"On the unavoidable uncertainty of truth in dynamic geometry proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6593821"}},"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":"Q294370$55011E69-4379-41D9-AE33-D2F28775AB50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ab3aa3a5eddf1466d6aca2dd9fbfea97a71ead0","datavalue":{"value":{"text":"On the unavoidable uncertainty of truth in dynamic geometry proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q294370$C22177F1-1D44-43FA-84C3-1CDCC7E1D286","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0251b8c4f975ec0963aa3a919bb4d6753a6b4fdf","datavalue":{"value":"1357.68197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294370$6BBE251A-9900-4541-8AD9-ECCBAC4EF1F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e93cbacdad7221ca0832d20439d556cfd95e1476","datavalue":{"value":{"entity-type":"item","numeric-id":286773,"id":"Q286773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294370$6ED8EF32-2900-4259-AF40-7665EFBEC665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59d44f3333e2f9dff43dcfba05e4d5cf19ad4778","datavalue":{"value":{"entity-type":"item","numeric-id":286778,"id":"Q286778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294370$C341B1F5-401B-4241-A01E-7E3AE855CC2B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e5cf57799e8c41ecba181c21bc95047b71cb3443","datavalue":{"value":{"entity-type":"item","numeric-id":294368,"id":"Q294368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294370$B5EA0B5F-F952-42BC-ADA3-D5401C40A373","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b32ada740abbb03089ab30647d244c2741fb6e33","datavalue":{"value":{"time":"+2016-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q294370$293DBCAA-ACB1-4273-A89A-B66C2AF1EB79","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fbdaa212210e1d76ba2d1e12e87a25b089578edc","datavalue":{"value":"http://hdl.handle.net/10902/7266","type":"string"},"datatype":"url"},"type":"statement","id":"Q294370$F0F87EAA-015E-488F-8A37-6CDFF5F86827","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294370$C229A2AD-ADAF-4E38-B85E-E4981A3EA9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d8912a48ac60770db1c80088e9517c70dd683cc","datavalue":{"value":"51-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294370$841DC097-B0D7-464E-B51F-C331626FF322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294370$14C3C374-27C1-495C-AC14-67DBD5FA8916","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f9fff11340297d1b0a7e129412bbc6cfcba40a4","datavalue":{"value":"6593821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294370$79DF2221-94AF-4D8C-9A13-4846C8CEF151","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8226b988c9f8280424dde01d3ad3ab72ec798b23","datavalue":{"value":"dynamic geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q294370$75F6673A-C59B-4122-A670-7951C77F97A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q294370$6CAA8E3C-63FF-4E06-A104-0C65AD3A8156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf0fda4e0fd551c0ca47b00175cca0a52cb00039","datavalue":{"value":"GeoGebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q294370$7B21EA35-E38E-417B-99DD-0C0A48438780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d155274cae052bb09d6ac4eec347dfe38fc54496","datavalue":{"value":"Varignon theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q294370$27B96485-B6B2-4B9A-A01F-6615E6FB7EFF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"930d4c5fb90d37858372301af7594a7b45b158de","datavalue":{"value":{"entity-type":"item","numeric-id":16387,"id":"Q16387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294370$DA0AFBEF-1FF0-4B69-B148-9CD943B9B95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"233cb3d5fb628d2ea215d31cfd026cc843b67e34","datavalue":{"value":{"entity-type":"item","numeric-id":2354915,"id":"Q2354915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294370$39DE119F-C4B2-4496-9BF0-D5DE85413006","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":"Q294370$8F128A50-E238-4066-862D-ACB6AA931FE8","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":"Q294370$88C604AC-C80E-4C80-A5D0-5F73AF68273D","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":"Q294370$63DC0D7A-FC3B-47C3-941A-B58AA23AB851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"236ff075b6336e5a62a73c551fd46afb75eb22f7","datavalue":{"value":{"entity-type":"item","numeric-id":1808565,"id":"Q1808565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294370$5740DB56-64DF-4094-B6C4-A42AD7F463E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f33e85decbd3dde336af3f30eb71587cc94e59e","datavalue":{"value":{"entity-type":"item","numeric-id":4238968,"id":"Q4238968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294370$E03FDD4C-8AAE-4195-9291-E2F74096A985","rank":"normal"}],"P1463":[{"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":"Q294370$FB8A4CA0-7524-45FA-B481-0189A73B6AA5","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":"Q294370$5AB7F9C1-EAE6-4C41-8754-D398AFA16B79","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e1145df6cecf9150fc5badea5f97ee07cb7de2ce","datavalue":{"value":"W2296599906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294370$7F23D95E-BCF4-40A6-B7F9-C924E43FAB2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03fa7f37377a961e04024e7fcb21b65f255f95b4","datavalue":{"value":"10.1007/S11786-016-0246-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294370$B8C32E51-51DB-4695-81F0-DC6665AEC007","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc159ae74fcd0093b8364e2831ba0262977d0073","datavalue":{"value":{"entity-type":"item","numeric-id":2425054,"id":"Q2425054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c09ba74547c2fa85d8d8132b6410d2c22cf8f56","datavalue":{"value":{"amount":"+0.7770577073097229","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":"Q294370$3D84ED99-A786-477D-8A03-19410C82FE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f369b3a4e1b89f91138c4be67063f30f79fd285","datavalue":{"value":{"entity-type":"item","numeric-id":5270196,"id":"Q5270196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"413fdbe772ce45f9ca1228b6120b55eef03b9234","datavalue":{"value":{"amount":"+0.7746630907058716","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":"Q294370$29FD117D-D807-4B65-BFB5-828AAAE1C526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c3bdabb20133e0e8da0b3f46aa773b36d7eb12d","datavalue":{"value":{"entity-type":"item","numeric-id":5307230,"id":"Q5307230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5fb988ce8b22f3879633184a935eba53c742188","datavalue":{"value":{"amount":"+0.7423879504203796","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":"Q294370$3E21E7ED-7F70-4C91-A3D3-5CBC7AF8416D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"623dc22a146676eba39308fb1449335c8401f12e","datavalue":{"value":{"entity-type":"item","numeric-id":4531857,"id":"Q4531857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f7129269eaf86fbf645c251d4cb27d47e173bca","datavalue":{"value":{"amount":"+0.734993040561676","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":"Q294370$4A6CED6C-728B-46EE-9CD0-6F8DB5EFAF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5de3ae489bb30e74cff9e56466fca1d0e57e097","datavalue":{"value":{"entity-type":"item","numeric-id":6108828,"id":"Q6108828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07b4bf5476b6249d086e12dd0f4266ecd4bda1b8","datavalue":{"value":{"amount":"+0.7309699654579163","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":"Q294370$127FBB98-8A3F-431F-9E0D-06CD5DBC9B1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the unavoidable uncertainty of truth in dynamic geometry proving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_unavoidable_uncertainty_of_truth_in_dynamic_geometry_proving"}}}}}