{"entities":{"Q2352503":{"pageid":2363246,"ns":120,"title":"Item:Q2352503","lastrevid":43930998,"modified":"2025-11-17T17:36:35Z","type":"item","id":"Q2352503","labels":{"en":{"language":"en","value":"Erratum to: ``Learning-assisted automated reasoning with \\(\\mathsf{Flyspeck}\\)''"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6455039"}},"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":"Q2352503$67B4C960-A168-4B81-8F37-9708FCAC3490","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a37a3cac79a349155f807d1ce2606752770a215","datavalue":{"value":{"text":"Erratum to: ``Learning-assisted automated reasoning with \\(\\mathsf{Flyspeck}\\)''","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2352503$73EFF560-B50A-4984-879B-A832DFDF658A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8bbe36fa71a16a8260f5e9a96c91f558f2023d3","datavalue":{"value":"1315.68221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352503$1D4A2CD7-3661-4A86-A9C8-64AB7DC6422C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ad6a046b48bbe4ab777309f1d5c19b5fc7dfbda","datavalue":{"value":{"entity-type":"item","numeric-id":286799,"id":"Q286799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352503$DBB93539-7CC5-40EE-AE7D-7312261F9C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc204e2e78d924e815f2b640ec35c8c2356ad41f","datavalue":{"value":{"entity-type":"item","numeric-id":286786,"id":"Q286786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352503$72E8A764-B825-4721-8E83-26A117DE8021","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":"Q2352503$C15DDAFF-1581-4502-A5CC-A9587BFF18AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"574af01bec34fab94fbd05c1ad16d21d195c1ca6","datavalue":{"value":{"time":"+2015-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2352503$F1A57C47-492E-47E9-9BE4-0FFA0196169E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352503$DEA62791-8D29-43CA-88F3-C3BC1F040413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352503$6ECC249D-113D-4CCC-88C1-4DF691D71CF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f3e61c728d1cbc4930ebf56329f95d8f38989cf","datavalue":{"value":"6455039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352503$FBCE8456-0B37-4E11-B165-8173AA7486F1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"66eb045e037081b6f6e8499f9fef44d8fbb7e0b0","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352503$1B024BBA-A920-4331-820C-8E0C3CBFFBE0","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":"Q2352503$F74ACE8F-D22C-44A2-A634-4C5DFAACE99D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a4442fb0dd4e5eba9a000d49a2379aee2aefda8","datavalue":{"value":"https://doi.org/10.1007/s10817-014-9315-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2352503$210926B2-0840-4C91-ADDC-9A0E4CF571D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8aaf590c1dfd889dabbc6a48c40005bd381c617c","datavalue":{"value":"W2009980825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352503$449BA388-72BC-46D5-88F3-49BB94112149","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eee8bb86d0d1a4aa176398f01a82a7372b88ffa0","datavalue":{"value":"10.1007/S10817-014-9315-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352503$4EE3EA94-CE9A-4337-B898-BD867161DC1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2352503","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2352503"}}}}}