{"entities":{"Q5961492":{"pageid":8138294,"ns":120,"title":"Item:Q5961492","lastrevid":97771940,"modified":"2026-06-05T15:23:32Z","type":"item","id":"Q5961492","labels":{"en":{"language":"en","value":"Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 980900"}},"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":"Q5961492$C1115E92-6AB6-452E-BD89-9A6D8F98F1B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cad3e217438b4c11ecd1a070a8fd20d774c16e73","datavalue":{"value":{"text":"Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5961492$20FB3CFC-BFF8-403B-8CA0-3BCC51EB9F55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc31928a0f4c41e79f09311fcf9e163f8bca6f5c","datavalue":{"value":"0865.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961492$C6E0B5AF-9440-447D-85B1-A422E52EB56C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0e8adab740f3ecca429960250a1dfd474924334","datavalue":{"value":"10.1007/BF00283133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961492$854A6C08-024F-411E-864E-5237AC1E5135","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":"Q5961492$384336A5-BF89-4030-8BD6-EC2897EC3F51","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":"Q5961492$F54B6EDC-D81C-4534-91FC-3AFBF06350AD","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":"Q5961492$FB12E2F2-9F49-428F-A797-BF16EDB7664C","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":"Q5961492$4B427D77-19BD-413E-A60C-78A83235DD60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffb759767da9e25ed180753251b692c5922c1d9d","datavalue":{"value":{"time":"+1996-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5961492$EF5A93F9-F43D-4716-81BF-66565BBE045E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961492$EB955386-7AC3-4715-9452-9093D1C25161","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63816c4434575e1dd947b6ddc1faa8e2a8bdd281","datavalue":{"value":"980900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961492$11129952-C14E-4A02-85D2-4374F794B266","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961492$C186E413-6E1C-4E65-87E0-A348C6C961F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f43dc8fe8f1ab231872a9f4f599c0cc472dd10ff","datavalue":{"value":"automated geometry theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961492$882F2F2A-B104-44C5-B28C-C0E27BCF5577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71bb1cf65da83faa1d9f34693630fdd1f5d20292","datavalue":{"value":"multiple proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961492$8847C9A8-2D1A-4D0B-A2A0-B0C9082F5B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c459c225cd4c431ff1ad39bd0b8b2039a5576e9","datavalue":{"value":"shortest proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961492$FCCEC4AA-1E91-4E7A-A0FA-CC7FAB252725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b232ef445bde72d0e8a8b1de598b872c335abd09","datavalue":{"value":"Ceva-Menelaus configurations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961492$07163269-1886-4F62-8CAB-74EF866A818E","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":"Q5961492$2EB53FE7-E1D3-4645-802B-A799119532D9","rank":"normal"}],"P223":[{"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":"Q5961492$FE56F73A-4992-4AEC-90BD-C32BC2C67231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be68b034a4708066a59ca8fd26b0e32bf69a3280","datavalue":{"value":{"entity-type":"item","numeric-id":1101254,"id":"Q1101254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961492$70B9FA2D-4A0E-4041-9D82-72A7497B53CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a51af1c6775d626d0afd525cad52bf9304cf7201","datavalue":{"value":{"entity-type":"item","numeric-id":2542288,"id":"Q2542288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961492$A70F7753-157E-425D-9D09-3137B11937E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1f0b5c5d1ef7da893967c1b74defc4984f71dee","datavalue":{"value":{"entity-type":"item","numeric-id":1062761,"id":"Q1062761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961492$286126EB-A85E-48E0-9436-F82E0D184B78","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":"Q5961492$4D50E0E8-F706-485B-A1AD-779DE9F50630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab938ba3d2bb1de7d34dc0f9166735f59a48b21","datavalue":{"value":{"entity-type":"item","numeric-id":1114446,"id":"Q1114446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961492$EC8FBF44-D247-4033-A6DC-CF9A70F46D31","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":"Q5961492$78B89011-A291-48C1-87D9-AD07080B4E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06eb3b89f86c018dd2a44eec2a5f81b020c5ed9f","datavalue":{"value":{"entity-type":"item","numeric-id":1924745,"id":"Q1924745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961492$727089FF-5639-4638-891D-BE2888C873E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f73cc846c02434c9b4490489aa5861126d17ed9","datavalue":{"value":"https://doi.org/10.1007/bf00283133","type":"string"},"datatype":"url"},"type":"statement","id":"Q5961492$13194531-9726-4B5A-81E9-CBB490585320","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6a78175688375ff4cb3c0d4d416546a5bd3cf4f7","datavalue":{"value":"W2022751246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961492$6B227279-AB57-44BC-80A7-52126D4466B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5297f7e86d7cd7ccf34a81c7dadd452f160d2a3","datavalue":{"value":{"entity-type":"item","numeric-id":5961493,"id":"Q5961493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a9e63d81662e7b4bff58ae4463c971af62585e7","datavalue":{"value":{"amount":"+0.8627279996871948","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":"Q5961492$F53F1CA9-9A88-4185-8043-4029B650506C","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":"e55c75ffc8ccd60f473ba051d27ba99a67a53e62","datavalue":{"value":{"amount":"+0.8200035691261292","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":"Q5961492$69C1A403-7DAB-4419-A04B-678979E2BDAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"807fcbb51ce48dea09d633a29dece3f98a09ffde","datavalue":{"value":{"entity-type":"item","numeric-id":3102746,"id":"Q3102746"},"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":"Q5961492$656DD249-13EA-495A-BDFE-6A505D6FA1F7","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":"1e437a4269a0fbc033d380b689382cd2adea6a46","datavalue":{"value":{"amount":"+0.8183979988098145","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":"Q5961492$05F8E896-C317-479D-9634-8D56631F5661","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":"e24cfb343965fd266e0ce568f83758e4e36e05f1","datavalue":{"value":{"amount":"+0.814546525478363","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":"Q5961492$70CA8B70-28EE-4D5C-8F0B-FCF7CA0AFD06","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_generation_of_readable_proofs_with_geometric_invariants._I:_Multiple_and_shortest_proof_generation"}}}}}