{"entities":{"Q1924745":{"pageid":1935487,"ns":120,"title":"Item:Q1924745","lastrevid":46404393,"modified":"2025-12-24T17:30:32Z","type":"item","id":"Q1924745","labels":{"en":{"language":"en","value":"Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 937248"}},"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":"Q1924745$6322208A-1FAD-4417-A868-184CDFB25CD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4204e70fcc1d9dee5c07f9453860cf546d61c2e","datavalue":{"value":{"text":"Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1924745$04597910-C015-4C77-B1B7-AF83A3DFF0C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44928416a58ade2fae523988a5c005bb9cc384c8","datavalue":{"value":"0855.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924745$B2836241-46A4-4FCF-BF61-2709564EBEFD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d16d89442c3f8408ec3b68ee36a9d82b8d2ec39","datavalue":{"value":"10.1007/BF01531326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924745$C7BDE161-A157-48E1-B5B4-239E1A835EB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb9ec420612a063f059cbe6ea0649d56ebd8db08","datavalue":{"value":{"entity-type":"item","numeric-id":242601,"id":"Q242601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924745$9423BD81-CE02-4426-8C9A-7D7A1C7081CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08885b1a8f2cfb423131e0fdd6c7e809277a8ca7","datavalue":{"value":{"entity-type":"item","numeric-id":242603,"id":"Q242603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924745$64618A90-BDE1-41C4-A0B0-A8A8C8309BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"629b2bbc2e7d5238e546439edac9cc4a1c3c9f0f","datavalue":{"value":{"entity-type":"item","numeric-id":242602,"id":"Q242602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924745$42439E1E-6216-4E2E-8217-C6759A967FBE","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":"Q1924745$038680E7-BB5E-4F44-A0FC-7C1CE498B9EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0be8ff382edb32f3da22feee8dc070930911f718","datavalue":{"value":{"time":"+1997-01-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":"Q1924745$C0996222-E3E3-4A36-A012-D0DAA1B61893","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924745$1F632029-A407-489D-8D42-62B4F8280EB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"560508f1f77351de2c0569090d6a955cf6f1bc43","datavalue":{"value":"937248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924745$0F5EFAE3-8781-4766-94C3-E18170B54A87","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e3fe196543e16afad6ea49179487ab6a48fd9bf","datavalue":{"value":"Euclid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924745$F657CA5B-A1BD-4FA8-BE15-73614FD992AB","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":"Q1924745$1DFFB8EB-4954-49AC-A5A5-C4236B1F5F44","rank":"normal"}],"P223":[{"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":"Q1924745$C6E5D035-B40A-4136-9E11-6BDB9DD4072D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"509aa10ad44866d9544447fa8185a66eecae22a1","datavalue":{"value":{"entity-type":"item","numeric-id":4264711,"id":"Q4264711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924745$B3C87380-380F-460E-BB94-77C6EB771CD8","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":"Q1924745$FD1E7B19-0800-477F-AE3D-405F6126F0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c18b764e28d2945ccd60cf6ff45316676ba583ff","datavalue":{"value":{"entity-type":"item","numeric-id":5635941,"id":"Q5635941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924745$CF8062BB-B8DE-429E-A962-6CF720005089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41088a59ce7b914caa3e133e73e7b79f7ff06b37","datavalue":{"value":{"entity-type":"item","numeric-id":3745318,"id":"Q3745318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924745$E8927680-865E-44C8-BB6D-4F083A0F0141","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":"Q1924745$4560E345-A3EE-4638-BD51-8F7EBD652E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0aefa01969c4c5ab3568e4445e95ff48e256399","datavalue":{"value":{"entity-type":"item","numeric-id":4095910,"id":"Q4095910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924745$382A1CE3-681D-4B37-B309-7A82DF71E242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a27032a384168af742be76775ecf3c64f8e4bc37","datavalue":{"value":{"entity-type":"item","numeric-id":1215410,"id":"Q1215410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924745$DF531315-1472-4737-9369-2512404CD1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d57db4d3216bc53e46ae99a268680181eb65b5a","datavalue":{"value":{"entity-type":"item","numeric-id":4153620,"id":"Q4153620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924745$8B1F38CE-EC7A-42DF-AAF6-B0CBA7EC6313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21e98e5133daef166526a0f4702a2a839800a900","datavalue":{"value":{"entity-type":"item","numeric-id":3668379,"id":"Q3668379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924745$0B9A7EB4-7DD0-485B-8093-7D01B2442FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"478d093ca6f80239aa1eab4e4c74a5628edcbc93","datavalue":{"value":{"entity-type":"item","numeric-id":914413,"id":"Q914413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924745$A366674C-55C7-4C35-B6A4-62EC022B946A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc189829f2f803afec0dba4dcc648d68fd01e6af","datavalue":{"value":"https://doi.org/10.1007/bf01531326","type":"string"},"datatype":"url"},"type":"statement","id":"Q1924745$6BD757EF-DB34-4E96-8349-DAA23E1F2D73","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"42fedd930f96e5a8999684d095bc1ef36111cdb8","datavalue":{"value":"W1479887426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924745$C3E3D78F-03AB-48C5-8EC0-CD65DEC01726","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4301cc59cf5cae6bae5adf3fcfab15bda62784e2","datavalue":{"value":{"entity-type":"item","numeric-id":1891257,"id":"Q1891257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b71a510ac5a4f45b2f7510671fd115f27fcdcb9c","datavalue":{"value":{"amount":"+0.8602259755134583","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":"Q1924745$255DA1B9-E0FD-4B11-91EA-7511C155B605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6193c55fd68a3060e39e01d83d788e65e7724839","datavalue":{"value":{"entity-type":"item","numeric-id":437042,"id":"Q437042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c6946c9952284951758daff9bf88dbb76fbdb93","datavalue":{"value":{"amount":"+0.8352345824241638","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":"Q1924745$9CDAFDD1-36F3-42C7-A1E7-10E5844513DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c0177aad1a922de43a104a9b7109b62aa12b987","datavalue":{"value":{"entity-type":"item","numeric-id":4234209,"id":"Q4234209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"512a9f013148624da456ad1b1c11d3fab7b000c3","datavalue":{"value":{"amount":"+0.8273985981941223","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":"Q1924745$2B230197-6B04-44D8-978F-B2040A5E999B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d790b6fe5f5e75ac94e015b601608aab859c0e93","datavalue":{"value":{"entity-type":"item","numeric-id":3838777,"id":"Q3838777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d6f21edca4d7a1761088437e97c4fe269dc16f4","datavalue":{"value":{"amount":"+0.8237065672874451","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":"Q1924745$D85CFA75-6427-4124-A30F-878F0D553F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"156d4380e0f365c5ab2edfac7290b184e9eaa910","datavalue":{"value":{"entity-type":"item","numeric-id":3764125,"id":"Q3764125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbfd8c3dfd41cd39cd84c665f7bb5e0592fb51bd","datavalue":{"value":{"amount":"+0.8207076191902161","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":"Q1924745$EEAC0FC6-10DE-412E-8E7B-33A53F58CB12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1924745","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1924745"}}}}}