{"entities":{"Q6561744":{"pageid":14172899,"ns":120,"title":"Item:Q6561744","lastrevid":40561487,"modified":"2025-03-06T20:41:49Z","type":"item","id":"Q6561744","labels":{"en":{"language":"en","value":"An experiment of a formal proof of an intermediate-level theorem in algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7871127"}},"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":"Q6561744$56DB8322-2B37-4420-9B8E-AF3BB1EBD55C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98a5e466a4b092f83a7525307d67275fbf8c2b1e","datavalue":{"value":{"text":"An experiment of a formal proof of an intermediate-level theorem in algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6561744$D71E9ADB-6DB5-4A15-A517-524EB5E64B6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65e72949d25dd920da3ae27a6c4b4551b9b2bd2c","datavalue":{"value":"1540.68262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6561744$79358FCC-7E77-476B-81E3-79837ABC71FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fba68b73e4c3c2e96c1d329d34959ec147b28519","datavalue":{"value":{"entity-type":"item","numeric-id":167114,"id":"Q167114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561744$245D4595-3A8F-47EC-B34B-D546AF712120","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e07dc8b08f3399cbac8b4f2d60350809c9e60b91","datavalue":{"value":{"entity-type":"item","numeric-id":6561731,"id":"Q6561731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561744$C2116C35-F6F4-46A5-87B2-2A5CE8F579C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"810cbb80b3532059cbf7c621b480d82d1f9f012b","datavalue":{"value":{"time":"+2024-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6561744$D43E760B-0690-4632-82E7-3581538385C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6561744$1B1615EB-80F5-4E4D-BA25-E1F7298C8CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"913d5faab8506844afe18117d24b66ca7e35db18","datavalue":{"value":"20B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6561744$0E4E7B17-BD37-4430-80B5-F563C1158B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"99162f665c9ec138d28e4bea8a477540421995b7","datavalue":{"value":"20B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6561744$9CF46B6F-EA5D-4629-939C-C2DDDCD41BBB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4fb3f48ec22497c2aed09041bc3c9a128e185830","datavalue":{"value":"7871127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6561744$3609D672-6D79-4CFA-A34F-35750A3A7F5E","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":"Q6561744$D9983C19-DC60-481B-B267-EC1BBE9F83D9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec3034e3d9bb1362f96db1aad5348ae28f7b7c4f","datavalue":{"value":{"entity-type":"item","numeric-id":3994901,"id":"Q3994901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561744$2AA4EF7B-1509-49F5-9595-91CF0CC8D591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89114344afb55319f83e26b6ed19450dcb689a11","datavalue":{"value":{"entity-type":"item","numeric-id":3913570,"id":"Q3913570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561744$535C35FC-C93B-4CB9-8F11-5D5AE7557123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"beff2d0cb5737184a2103dc45c673acbf6b11a79","datavalue":{"value":{"entity-type":"item","numeric-id":2883337,"id":"Q2883337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561744$98DCC611-D216-49B8-9FBE-8D13EB37995C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34baae125545c7378c66e4b97f15879b0670c86c","datavalue":{"value":{"entity-type":"item","numeric-id":2883227,"id":"Q2883227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561744$4DA368D1-E38D-4835-9B3E-551A35C49A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9190693f3924b86be7203c014f0b8b161bc6f8","datavalue":{"value":{"entity-type":"item","numeric-id":5302559,"id":"Q5302559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561744$7A741CCC-6BB8-4BD2-9BFF-3F2753B40B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dac16af6cf1adb18d0516e2c8db27f45fc424e6","datavalue":{"value":{"entity-type":"item","numeric-id":5327343,"id":"Q5327343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561744$B6B335A1-ED0A-4C80-B4E4-AFE1FD7518D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4857d0d243b746647a153e1690cd4acc84f69e","datavalue":{"value":{"entity-type":"item","numeric-id":5280247,"id":"Q5280247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561744$B83481A5-CE9B-4D36-9D5B-CC94C83F46D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e15c9d328c52f4b5fb19ca6977cb14ed06bd1a","datavalue":{"value":{"entity-type":"item","numeric-id":2579717,"id":"Q2579717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561744$0F40F8E1-D6D9-4B44-9244-22CB6344A4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a6946d86cd70b1df31472de5e56aa19bc21d785","datavalue":{"value":{"entity-type":"item","numeric-id":3222326,"id":"Q3222326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561744$D98283C2-72BA-45FD-8BB5-F8F2CDAD13C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbae8a9985a70d423285dbeaca02f8f8a82bee8c","datavalue":{"value":{"entity-type":"item","numeric-id":1561872,"id":"Q1561872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561744$0675CCA8-3761-4958-985A-CC035127EEDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4e0f7b9253331c791045ca06b7dbbb57c5906f","datavalue":{"value":{"entity-type":"item","numeric-id":1557200,"id":"Q1557200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561744$8B55E4A1-BB42-4EEE-8E1D-E74F0028D016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00f451031c5e38a49bb3b8f7549309b7965660c4","datavalue":{"value":{"entity-type":"item","numeric-id":1147228,"id":"Q1147228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561744$2955647D-5CDB-46B8-AD86-4EC5EBC4F927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d5e050ede9246e2a354a71cc2a9f67083d68636","datavalue":{"value":{"entity-type":"item","numeric-id":1095251,"id":"Q1095251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561744$9C6A6247-B5F0-4747-9FBC-66F97240EA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"424701e4301c140143e124a3395827c27abb2897","datavalue":{"value":{"entity-type":"item","numeric-id":2501247,"id":"Q2501247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561744$4432D275-6032-487F-B14E-3B40F3B2FFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"018b714c1213b3a8f95bd8e14ce37c4444ca93c0","datavalue":{"value":{"entity-type":"item","numeric-id":5094470,"id":"Q5094470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561744$7E1EFF45-672F-4E7C-AA41-1331AE1EE059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2839c20cc89bb017bd4bfac2ef8000ecce53b523","datavalue":{"value":{"entity-type":"item","numeric-id":1444428,"id":"Q1444428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561744$50D784AB-5BDE-4FF3-B94F-9C82B7B4BDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ddc40e6d3d1e92821bc37ac625945574acfbeed","datavalue":{"value":{"entity-type":"item","numeric-id":3639086,"id":"Q3639086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561744$C88C2079-ED45-4EC3-9B63-90D62E066D3C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6561744","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6561744"}}}}}