{"entities":{"Q5902023":{"pageid":8010718,"ns":120,"title":"Item:Q5902023","lastrevid":50669969,"modified":"2026-01-14T18:15:42Z","type":"item","id":"Q5902023","labels":{"en":{"language":"en","value":"Automated Deduction in Geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5561579"}},"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":"Q5902023$79F7F0E9-3F32-4A3F-9889-94C74E71684B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3d79694182fc88dd406fd1429751a7ca6bacda2","datavalue":{"value":{"text":"Automated Deduction in Geometry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5902023$4E068B37-20E7-4F1D-8DF9-3310E90A242B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8061f538115e6f41b2ef9b2f6436a3a20594652d","datavalue":{"value":"1202.68378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902023$49155626-BA58-4631-8A07-0A2A89F746C4","rank":"normal"}],"P16":[{"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":"Q5902023$AC062B9F-FEE4-4498-88EC-A4B6E7954656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef282f47b876c536398f92052cd1206e225f62a3","datavalue":{"value":{"entity-type":"item","numeric-id":407478,"id":"Q407478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902023$C15A2B1E-7C25-458C-A967-54396A126421","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902023$9AA12026-D615-4183-886F-3F7CBCB6CCA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9664fee410e00427b4fe8a178c6c82216830712e","datavalue":{"value":{"time":"+2009-06-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5902023$2A1C3FBA-B559-4697-AE24-FA5FBD80DE9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902023$F9F5D404-096B-40A9-A31C-BAE875998CFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3032309bb6f1aee51b3adfccce7744e3aff2cf8d","datavalue":{"value":"5561579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902023$666C7A1F-A7AD-4162-8AFF-2DD66E878CEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"084aa94e85433424d4a214c10e18cdbfe15c7155","datavalue":{"value":"geometry software","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902023$CE5D3278-75ED-483B-AE3C-2E0D8C10EE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902023$E315F3CC-DB8F-405D-81E7-C19FE8F42CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ca129ce76b2a8d1c22f51ef4e8ee73c3678863e","datavalue":{"value":"geometric theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902023$148F38AF-3916-4133-8960-09AF9F3D5F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d73c4c0946c0499a20b126f0af1987b61614087b","datavalue":{"value":"geometric theorem discovering","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902023$25D22EA2-FDD5-478A-A8E2-ECC21F38C693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8839976c8f1178a548d2fe32ff8e66cd5379930b","datavalue":{"value":"geometric diagram generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902023$3FAC3D10-7B56-4B97-9B34-5AB640FBA142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17d1508e3f49836964bedb7c5081f61c5f1aeca2","datavalue":{"value":"intelligent dynamic geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902023$F03838BF-9CE2-427C-A4B7-4E17E56B24B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17bf903355e0a4ec664ca71f404187c91173b770","datavalue":{"value":"\\texttt{MMP/Geometer}","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902023$160EB2ED-1CF7-4C32-9708-96CD223C365E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"84085853a4e2e6d3f172c1bd7b4145cc4140d95c","datavalue":{"value":{"entity-type":"item","numeric-id":19267,"id":"Q19267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902023$B5246682-2A17-4E3A-ABA9-33A8F7F835F3","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":"Q5902023$AA1120A1-DE96-45D2-B33F-1B3028EADC31","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e8d3b1bc5f01d5063b1070b9d5c489dc9c89582","datavalue":{"value":"https://doi.org/10.1007/b95516","type":"string"},"datatype":"url"},"type":"statement","id":"Q5902023$AE59C501-B44A-42C3-95DC-BFD7B9ADBF66","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"56b205d39b3d7739b11117ff73d3c7433c527f31","datavalue":{"value":"W2489376520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902023$21BC1F96-9688-4E73-8744-611213CE022D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5fa3eb66713aed6521409af99c2330c6709cd9c","datavalue":{"value":"10.1007/B95516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902023$6B4DACDD-C21D-49AA-8906-430007B4FF8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1424d6206eadde535cf9ed66458b162f4d989955","datavalue":{"value":{"entity-type":"item","numeric-id":5902031,"id":"Q5902031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc1d99629e43a91d79c972a1d50be26b79a8254a","datavalue":{"value":{"amount":"+0.8260893821716309","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":"Q5902023$5170D029-03D8-4CD7-98A8-70521C2AA6B2","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":"8b66db4708fa93aa317dfda4afdb3befcf3ce973","datavalue":{"value":{"amount":"+0.7986841201782227","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":"Q5902023$298025B7-1E31-47AC-B452-4F00148643DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"055bc335d086a8437a90d878329a74ecbe61d8a4","datavalue":{"value":{"entity-type":"item","numeric-id":4418135,"id":"Q4418135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb6152a2e2231eeb6e6cd3171e742dbd4e77e881","datavalue":{"value":{"amount":"+0.77402663230896","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":"Q5902023$FD88E9B9-5C2B-487D-A579-FA57EE57F075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"073536ae33d3db7c62a007d5c740317951ac24be","datavalue":{"value":{"entity-type":"item","numeric-id":2765682,"id":"Q2765682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19a4e774b82db1910591156f8c72b94256801127","datavalue":{"value":{"amount":"+0.7736998796463013","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":"Q5902023$446856F5-4DC4-433A-8795-CA410184F9D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04ef23098f1a056b306d9ffb534012ad4afcc9cf","datavalue":{"value":{"entity-type":"item","numeric-id":2017773,"id":"Q2017773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acd4eadab3a3342880788c547998f7d9c86542dd","datavalue":{"value":{"amount":"+0.7696281671524048","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":"Q5902023$8BDD551B-645D-4EDE-B6FB-BCF0C487BF14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5902023","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5902023"}}}}}