{"entities":{"Q5133355":{"pageid":7162927,"ns":120,"title":"Item:Q5133355","lastrevid":91390973,"modified":"2026-06-04T23:03:01Z","type":"item","id":"Q5133355","labels":{"en":{"language":"en","value":"Towards an automatic geometer"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7274311"}},"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":"Q5133355$F818A464-1542-412A-A00C-CE2D0DC58BAB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b673c9807e8ba93f5de76cbe8be1fde030c0023b","datavalue":{"value":"1456.68227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5133355$4543605D-082F-47E3-81A3-4D607DCCD560","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e93cbacdad7221ca0832d20439d556cfd95e1476","datavalue":{"value":{"entity-type":"item","numeric-id":286773,"id":"Q286773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5133355$277AB871-FAF1-4B35-9638-42FEDF61546A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6c65643f35a2e2da08306f945b322cc9b173cbd","datavalue":{"value":{"entity-type":"item","numeric-id":286776,"id":"Q286776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5133355$03153F95-61E0-4834-A0CE-B0361B10DFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59d44f3333e2f9dff43dcfba05e4d5cf19ad4778","datavalue":{"value":{"entity-type":"item","numeric-id":286778,"id":"Q286778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5133355$844FBC5D-2796-40DD-880F-81CDA3F3BB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d39b33a75faebc0365cd78792a6f37d114d1cfa","datavalue":{"value":{"entity-type":"item","numeric-id":1295713,"id":"Q1295713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5133355$F8C5DEE1-8FFF-4B65-88E7-A8DF1715BFB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d7f72fe8b9514d4a127d9f5ec579865479ca839b","datavalue":{"value":{"time":"+2020-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5133355$D4B34067-92E8-4A6A-9488-77950C4183F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5133355$0085C437-79D2-40B2-AF4E-7DFFE232991E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f6380c218dc6cbd5761a29a8495a3f9e4833fbb3","datavalue":{"value":"01A73","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5133355$11884E0F-C603-44E1-B108-7BF386DEFB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"473a4e3037d3bf0fb4633c4c3d55d703a11f6a74","datavalue":{"value":"51-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5133355$2DD8194F-2E1E-40F5-8134-844DF48F08CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d8912a48ac60770db1c80088e9517c70dd683cc","datavalue":{"value":"51-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5133355$B3AA7C9F-219F-4AF7-A725-C65588966501","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d6f3e46de11d4b4114b0010f8f95be392fd8790","datavalue":{"value":"7274311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5133355$8B8E115A-DE9E-4E5B-BBC1-FDE75932E170","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4477c9598ae4965364daa3ce025ec46065fff35c","datavalue":{"value":"geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q5133355$0764CE55-71F3-45BC-A810-2EC32F014715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5133355$40CB1EC8-146F-43C9-B594-3F2263FBEBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda03622f8e5eb58d6ab447cf6fdbb13544b40da","datavalue":{"value":"automated theorem discovery","type":"string"},"datatype":"string"},"type":"statement","id":"Q5133355$56BD0FAC-4F85-4CB4-896B-B756EE918D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa50f41aeeedea54fd05c34e3423066904aa4ab6","datavalue":{"value":"historic overview","type":"string"},"datatype":"string"},"type":"statement","id":"Q5133355$A1CC201E-AEE5-449D-9B6B-09070B4375F4","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":"Q5133355$1357BCE9-9310-4AF1-8708-76A4EBB2CCAF","rank":"normal"}],"P1643":[{"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":"448c385b0ee76a537dcfbd981bddd69f5a54cb28","datavalue":{"value":{"amount":"+0.7873169779777527","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":"Q5133355$A937E7DC-EF86-48E1-A79B-71FE022C492C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b9f861c829e7305307918eb79d1b5527b57395e","datavalue":{"value":{"entity-type":"item","numeric-id":2912124,"id":"Q2912124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cefcb2f63c1f253a0a8ccbc73389edaac6603ee","datavalue":{"value":{"amount":"+0.771117627620697","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":"Q5133355$C4CD68DF-403F-40B6-8238-6F615A999C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec646420cd509e1a6fe6d0f38daa810e5fb10855","datavalue":{"value":{"entity-type":"item","numeric-id":2751363,"id":"Q2751363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba75bd921aa93514efe55998dec22d58ca0bb7f4","datavalue":{"value":{"amount":"+0.7655835151672363","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":"Q5133355$14BF6CBD-C3A5-4150-9E7F-B4A2BF8701D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6cc4e28fe1118af69cd2e83a0e77012518858c0","datavalue":{"value":{"entity-type":"item","numeric-id":3126575,"id":"Q3126575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7089c154ebbebd56b1ac18746185bdbbe3648d9","datavalue":{"value":{"amount":"+0.7607848644256592","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":"Q5133355$04D6115B-95F0-4BBE-A898-0ADDE0FFA8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81e305aa73454d711a48c308506f182e78e878e2","datavalue":{"value":{"entity-type":"item","numeric-id":1808565,"id":"Q1808565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48b7a43e02027c07b25430d01120129829532a45","datavalue":{"value":{"amount":"+0.7576301097869873","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":"Q5133355$6CC30B54-A0F7-4344-8BB7-31540CE9636C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards an automatic geometer","badges":[]}}}}}