{"entities":{"Q3102746":{"pageid":3113462,"ns":120,"title":"Item:Q3102746","lastrevid":51373130,"modified":"2026-01-17T23:41:40Z","type":"item","id":"Q3102746","labels":{"en":{"language":"en","value":"Automated generation of readable proofs for constructive geometry statements with the mass point method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5979333"}},"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":"Q3102746$BD6ACDB2-62DE-4537-9264-669DBE35C0FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a7544f1b4e00448cdccbf59cf952dfdf75d6bd8","datavalue":{"value":{"text":"Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3102746$B60960D0-5590-461C-9F36-7B97F913EEF9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"279a0a390a9b21bede6357665bfeb1014244423d","datavalue":{"value":"1350.68246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102746$9B7E5114-16A3-41D9-A0E4-3EEFF928F630","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2456233f5635b5a0e8a39cc2f718e279c0927d6","datavalue":{"value":"10.1007/978-3-642-25070-5_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102746$A6D0DD42-C7A6-410A-A166-83B5F316C9CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c04441af9f55830c10f3ce57e9702cb3a563a2dd","datavalue":{"value":{"entity-type":"item","numeric-id":280445,"id":"Q280445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102746$B123F6DA-6536-4232-A0EC-0DF2540E66CF","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":"Q3102746$F390E2EB-1CCD-4016-8E76-4825E9CA713D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"348c28e159850115a4bf602bf9df1d1e5c1cbebe","datavalue":{"value":{"entity-type":"item","numeric-id":2849503,"id":"Q2849503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102746$042EBD66-75D9-465C-B00C-C8073714491C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79dc9dc12f99c62816fe3504c8615ced523dbc1","datavalue":{"value":{"time":"+2011-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":"Q3102746$32FB1DF0-6397-4B39-9F20-0CAB4C704149","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102746$5DA648D0-E11B-4082-836E-9C41ED25A955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d8912a48ac60770db1c80088e9517c70dd683cc","datavalue":{"value":"51-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102746$495BE59F-D867-4CB8-BD26-FB7EE1A0A620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f759ae95c8fe535b21550aa692b81a38d0b8c5","datavalue":{"value":"51N10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102746$5D046EF2-7DDC-4EE4-89B3-0AA4B52DC8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102746$4779F7BF-DCA9-4E31-AD7E-66CFB7BC465F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99d83b3594ea681a038233f0af35d1d4ef62bedc","datavalue":{"value":"5979333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102746$AA64D04B-9139-409C-8264-FD1FE9157578","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102746$7855BF13-70BB-4D50-9351-84E6473C55D4","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":"Q3102746$CE15D73D-679E-4CB4-BA1C-3FEE3D324E1B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6cf348b1a96cf9f4bb3fba43a4ba80deccfbf262","datavalue":{"value":"https://doi.org/10.1007/978-3-642-25070-5_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3102746$7AC7FB9E-CEF0-42E9-821E-69CD730BA437","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"802b41ae16240071e07415a3f5e95274ed0c36ba","datavalue":{"value":"W1418965194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102746$602311B6-3758-41AF-B104-41F68024E9EB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b6848100b3eb6503fa813c33ef6aa4b5e09988b","datavalue":{"value":{"entity-type":"item","numeric-id":3571252,"id":"Q3571252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102746$070C1434-0059-4BAF-83EE-E5744510AE62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af44e71b3ea3d3019567448efc6cf35e90f8f765","datavalue":{"value":{"entity-type":"item","numeric-id":4840652,"id":"Q4840652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102746$7F169072-ABF1-4583-8527-A592E7044C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb88951437ccd14e6bdebc77cda052045a02f0ce","datavalue":{"value":{"entity-type":"item","numeric-id":1094150,"id":"Q1094150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102746$04C7931C-F019-4E06-B066-7EA45087AB94","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":"Q3102746$4AB418E9-327E-4204-B551-BC0C95D92DA4","rank":"normal"},{"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":"Q3102746$0F38C888-C2E5-47A7-86D2-992A04D9283D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60b5cbcd9f590bf8dc2909b7292864d5304bd5fa","datavalue":{"value":{"entity-type":"item","numeric-id":1581854,"id":"Q1581854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102746$F13F56C5-191C-480C-9741-3D97665CDFFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8b30c90fa1d5067ebabf91e25521a8fbf37c836","datavalue":{"value":{"entity-type":"item","numeric-id":4234209,"id":"Q4234209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102746$E9026094-49A8-4F7B-906B-B16B0C65828A","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":"Q3102746$1933E82E-EED9-456E-B5CF-2F284A3457A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbf6e2557c4ca75e61e34e14a32ee8c16bbf6f25","datavalue":{"value":{"entity-type":"item","numeric-id":3155101,"id":"Q3155101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102746$91F9B689-84C2-4382-99CC-7AF1293EAD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11ead3dcb82767f5365b1a825be8e613c6c20e8a","datavalue":{"value":{"entity-type":"item","numeric-id":4657329,"id":"Q4657329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102746$74A0AB84-382B-4B9C-ADFC-2D09A6AF7E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6592339069977c3f22d47df90da07c1fbd2337b0","datavalue":{"value":{"entity-type":"item","numeric-id":5445713,"id":"Q5445713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102746$3E640FAD-CD36-4171-AA0E-96BE3E9AFC1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46241259cdff95bb7ac9430ada757f28b6ee8ab4","datavalue":{"value":{"entity-type":"item","numeric-id":4074843,"id":"Q4074843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102746$BD032DDA-BC7B-41F4-A854-86E1B80548A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f91937f59821c642c5ead31816323ad934b54abc","datavalue":{"value":{"entity-type":"item","numeric-id":2911357,"id":"Q2911357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"495b9d371996106241378fee4728c74d25133925","datavalue":{"value":{"amount":"+0.9262837767601012","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":"Q3102746$9F708882-367A-49A0-BE06-9C70D674E0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d8b64b331009ade06eca684a0bc098134e3d4ae","datavalue":{"value":{"entity-type":"item","numeric-id":2439882,"id":"Q2439882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb62bded9c417fa5b654d72eefa0ba27039cbd0f","datavalue":{"value":{"amount":"+0.8402770161628723","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":"Q3102746$D4320A4C-4293-4AD3-ABFD-1069D761E519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e733cbcb74d830ed593336a2fc75897e9cafd95e","datavalue":{"value":{"entity-type":"item","numeric-id":5961492,"id":"Q5961492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fb1471879743748ab26be67bf7703b1b06604f7","datavalue":{"value":{"amount":"+0.8192242980003357","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":"Q3102746$0649542F-9E15-4A0A-A33A-2BAA6008F92D","rank":"normal"},{"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":"ccac6629d4f00aa6421b98fe5cc25bfebf098560","datavalue":{"value":{"amount":"+0.8160417079925537","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":"Q3102746$11B86E13-0ED7-4608-BCCC-EDBC6023A5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0466f0e97a7f528d946a3133a1541df41fd259f3","datavalue":{"value":{"entity-type":"item","numeric-id":4857780,"id":"Q4857780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9ca48b84be2a7df1c2878854a3af6b58c91ed46","datavalue":{"value":{"amount":"+0.8155027627944946","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":"Q3102746$65C04E7A-9556-4698-BF1B-7D3BC3FCC2B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3102746","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3102746"}}}}}