{"entities":{"Q5961493":{"pageid":8138295,"ns":120,"title":"Item:Q5961493","lastrevid":46469229,"modified":"2025-12-24T20:47:24Z","type":"item","id":"Q5961493","labels":{"en":{"language":"en","value":"Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 980901"}},"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":"Q5961493$914A0B27-875F-44D7-A3F2-0D8F8AECAC5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"022e7eb58e80e3f5a19a31ed62c5e30530ee8e10","datavalue":{"value":{"text":"Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5961493$8049A95C-30F1-4FEE-AE2D-302D253142E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6bb7f55e55795fddfc6c88246f3a7f659844aba","datavalue":{"value":"0865.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961493$E4989FED-C04F-4197-9D7C-A0CD93D1CDEC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f957fd7fb2b62a9d33787014073330f72a746fb7","datavalue":{"value":"10.1007/BF00283134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961493$2DA0FB84-EAC5-4C6B-B5DE-B4077CBA4246","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":"Q5961493$5FCCDA11-1630-4D83-92E2-D2B913BFF2D8","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":"Q5961493$D4AE89AE-5180-4FE2-B290-FD1B1386350E","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":"Q5961493$55333DBA-454A-446B-A3D5-17E874F68B72","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":"Q5961493$33A717C8-924D-4328-96E3-7315D01F3495","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da3c00e8d54852979d4f6ff4a8a5ca6a97c9d9f3","datavalue":{"value":{"time":"+1997-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5961493$61283671-5E4E-4ED5-985F-FA5495DC54C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961493$8CC526A5-B6C7-4C7A-98FA-1FDD765AD729","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2522ddf06144f6a0045f7284f4f6bf9c902e685","datavalue":{"value":"980901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961493$2B0C457F-D7CB-4FBC-A5EE-AE600CAAB3D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f43dc8fe8f1ab231872a9f4f599c0cc472dd10ff","datavalue":{"value":"automated geometry theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961493$B410C6AF-A4F1-4BE7-A9B8-DBB972F4BC1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b4483046a3e548ec7ee03403f325d0ac07748fd","datavalue":{"value":"forward chaining","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961493$B0674C1D-9716-472D-A599-7DD597E2B698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d34de3c11ccf20220ba98ddf49fafd02e47d9685","datavalue":{"value":"backward chaining","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961493$45B72475-B49A-4A3C-8E1B-FFB7EA699EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"594bab8cad481c2f14f9e666c14a27260b87ad61","datavalue":{"value":"full-angle method","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961493$D6A11D24-92EB-4442-A9D6-087932331044","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":"Q5961493$E111EF5A-A92B-4E79-A48C-564C68B7C947","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3ce1ee58279755f58a5703c75b4ded8f273cae","datavalue":{"value":{"entity-type":"item","numeric-id":5961492,"id":"Q5961492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961493$E583C4D5-C393-4579-B451-DA79621EF6AF","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":"Q5961493$D2E79254-577E-46DE-9AFF-A5C946A83C71","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":"Q5961493$9D80FAC6-A680-490C-880D-1E3E3B9006F1","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":"Q5961493$30C15F4C-B6C5-43C5-BC88-5630A1769B21","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":"Q5961493$BECE8111-844A-418F-9F50-58B4604C5986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92aa42a2fc1588dce592fa4b81fd744ad89eaba0","datavalue":{"value":{"entity-type":"item","numeric-id":1329538,"id":"Q1329538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961493$521A25D0-821B-4329-AACA-C237A224DB91","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd6431469c199f847c50f678180c78b3069174ce","datavalue":{"value":"https://doi.org/10.1007/bf00283134","type":"string"},"datatype":"url"},"type":"statement","id":"Q5961493$2E4D6298-0974-41EB-BC23-D22C104D0ACD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3bb91c838082097f5cd16335781404299e530e6f","datavalue":{"value":"W2762770850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961493$92BB403E-76EF-494D-8E64-A336E5A31653","rank":"normal"}],"P1643":[{"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":"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":"Q5961493$F6A6B690-831E-41AD-B3F2-3E345668ECA2","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":"5225cde4a324da8f5876926f73dd183a4425780b","datavalue":{"value":{"amount":"+0.8135178685188293","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":"Q5961493$589F3E16-F998-45F5-8245-6E1E69552266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ff1887f6352aa81e4dd32e5a64ee0a7e16494b4","datavalue":{"value":{"entity-type":"item","numeric-id":1924745,"id":"Q1924745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e215af323ac28a37d93802fb4db8a40237bb891d","datavalue":{"value":{"amount":"+0.807241678237915","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":"Q5961493$7CA07A28-EDB1-44E1-A2E8-9FF5BD053D2A","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":"ac4b021f759706b749d72d6119c8e50d3bd8dd05","datavalue":{"value":{"amount":"+0.8062049150466919","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":"Q5961493$26592267-3E9F-4A57-988C-11D1837A410F","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":"da8f1023be3a8e4fde59128f03e0a673599fa5c0","datavalue":{"value":{"amount":"+0.8014194965362549","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":"Q5961493$DE081408-ABD1-4FC6-B93D-7D02F6648BD9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5961493","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5961493"}}}}}