{"entities":{"Q3772181":{"pageid":5802087,"ns":120,"title":"Item:Q3772181","lastrevid":51976397,"modified":"2026-01-20T16:24:48Z","type":"item","id":"Q3772181","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4031634"}},"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":"Q3772181$BBCEADA4-A9CD-4008-8D02-FE86EC2DC9BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"742fb4ed4992caa352aa69d42c250da03965f588","datavalue":{"value":"0634.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3772181$DF59B374-AA20-4608-848D-AC05F687CA99","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eebf3460738151b52e713d5169ed86094524b347","datavalue":{"value":{"entity-type":"item","numeric-id":752129,"id":"Q752129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3772181$3290AB3B-EB5A-4879-BCE3-7BBC52A913F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91ed5175363b276548ec03a62bc6dde7e8e6c441","datavalue":{"value":{"entity-type":"item","numeric-id":3772180,"id":"Q3772180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3772181$6994D3C3-0CE8-4043-967D-60179E1F90AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3772181$23B6FE90-DAD8-4424-A862-D6FF4DA1EC48","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3772181$027C3A3F-0B3E-4A99-98B3-D6ABDBB4696A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0166df3f2ef85a87e85fad615c3f5cc3979e4161","datavalue":{"value":"51M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3772181$821275B4-9308-42C6-84D0-790E872F1D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3772181$AF0D9FCE-DF71-4DE5-BE5B-24F4A4280D27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"166f8f205a63c1fd291b4ddb0275538d4b9b1516","datavalue":{"value":"4031634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3772181$2793AEF7-3C66-4F64-91E1-8A7A8D18CD02","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"086e7eb443d6d85fdf5ada6c107e0a24bc8d2161","datavalue":{"value":"mechanization of theorem proving in Elementary Geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q3772181$8AAF1CBC-D2FB-4E99-B0A0-0B812E65BA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17064b8f5db14d0e12dddae734ea238e9822d0de","datavalue":{"value":"algebraic geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q3772181$7014CF4B-1A3D-4E5D-9EFA-6DF270170A97","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":"Q3772181$3AA853C4-5D23-4475-9453-307EE49A7072","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b01bafaca53f2a6311f436ba6820a7b80f28b96","datavalue":{"value":{"entity-type":"item","numeric-id":3700871,"id":"Q3700871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e59634584586419164d1ad5a883fa11680472aa2","datavalue":{"value":{"amount":"+0.8872715830802917","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":"Q3772181$0C26DB99-758B-410A-BEA7-07ED59029949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a68f59ae32b2681c35c7ea8f212502168273b26","datavalue":{"value":{"entity-type":"item","numeric-id":3994509,"id":"Q3994509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"838482b85e31717d7f067679715dbb72c519612b","datavalue":{"value":{"amount":"+0.8722636103630066","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":"Q3772181$FECF9153-0C7B-4BC4-979F-15E0B11BCE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b4cacf4e9a5a8df4019bc35435dd797390e377e","datavalue":{"value":{"entity-type":"item","numeric-id":3491012,"id":"Q3491012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"680ee1570d463435c357ad71c34092cdd2638602","datavalue":{"value":{"amount":"+0.8615785837173462","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":"Q3772181$74B6A41A-A91F-431A-9C30-3AA7CEDA8500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30a1865224b335572d87e4e84178e12e58c5bb0e","datavalue":{"value":{"entity-type":"item","numeric-id":752130,"id":"Q752130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec53333fa6e6483a9697d7e8672f6b6eaa1e330d","datavalue":{"value":{"amount":"+0.8536428809165955","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":"Q3772181$357E28F4-790D-49CF-BD97-2FF97AC9D0B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd877b41cb2484bba9692a4926426c99d8ccc13f","datavalue":{"value":{"entity-type":"item","numeric-id":1099656,"id":"Q1099656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"904ca796d86f668652ac870107a2ea34a1ce88f1","datavalue":{"value":{"amount":"+0.8507315516471863","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":"Q3772181$C231F93D-DAF5-4A20-AB49-4FC1B85576BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3772181","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3772181"}}}}}