{"entities":{"Q4553308":{"pageid":6582900,"ns":120,"title":"Item:Q4553308","lastrevid":39442861,"modified":"2024-12-30T09:35:30Z","type":"item","id":"Q4553308","labels":{"en":{"language":"en","value":"Opinion: The Mechanization of Mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6970820"}},"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":"Q4553308$72735E85-8CEF-4194-AEB3-6FEBD08B3B15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18de111433e1ace4fa2b44758bd0277cd475d6ce","datavalue":{"value":{"text":"Opinion: The Mechanization of Mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4553308$98D48409-A655-40FD-9376-BF7C2CF4E149","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2700184d8ada075fa2339a73e7310c8e3ee69250","datavalue":{"value":"1398.68478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4553308$B03EBB62-54FF-4490-88D4-6F793090E232","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"834b9908deaa5f43ae5b55e2029a1dd9a50ccc06","datavalue":{"value":{"entity-type":"item","numeric-id":287376,"id":"Q287376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553308$D8A6B13C-843A-46AE-9DFA-F7FEF838C0BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bdae145ecfb71d226d6b4bd74c06a5b992e49347","datavalue":{"value":{"entity-type":"item","numeric-id":2813083,"id":"Q2813083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553308$BC23AB9D-A22D-45CC-9B23-5029A1CF1DAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ceb376c62d58da4cb190e228be8e352c77702c07","datavalue":{"value":{"time":"+2018-11-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":"Q4553308$30813105-24D7-4CC2-9ED3-733A0442E786","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4553308$600EBBE8-7E00-4823-81A1-0428A5AFFB8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6cebdb0e1604e1162f6ce137bcdc783fa53247d9","datavalue":{"value":"01A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4553308$DC82AB83-E0BC-477E-A17C-981AD45D5729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85dc5dd47fe0653345e59eacf14b6f72a9cfe6b9","datavalue":{"value":"01A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4553308$32881F2E-6023-4897-B4B6-72A86852F547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"540259e42205310d3310d3dad9dbe9ae50303b84","datavalue":{"value":"68-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4553308$1C6AF7FF-B749-4F89-8F6C-31B0E3DDC1A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2604726212553973f86f988f8949fdabad3ba323","datavalue":{"value":"6970820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4553308$FCF4F75D-EE7D-4084-B05F-9EF90E6960A1","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":"Q4553308$07B1E2E5-A547-43AE-8FBD-2FF32E918BC6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af3ffe27bdd1841aba847e6bf3fb417622318199","datavalue":{"value":"https://doi.org/10.1090/noti1688","type":"string"},"datatype":"url"},"type":"statement","id":"Q4553308$116FA396-7DAD-4A90-B870-0C1AAE977D72","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec6d9dc93ee90191bf187d05af83770dee84cfa7","datavalue":{"value":"W2807347976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4553308$25DFEF30-8A16-49A2-9D5D-3564B0F35039","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c03e6d101db6e9dde635ce8a8ee966a13c5f48a0","datavalue":{"value":"Q129713537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4553308$7226CD6C-758C-40D7-8D4C-383CBB88C7FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58d47f83c50a79680037db73258c84fdd6481671","datavalue":{"value":"10.1090/NOTI1688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4553308$FA819DF9-62D9-44E0-9A49-0E0325101EEA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4553308","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4553308"}}}}}