{"entities":{"Q5829015":{"pageid":7858566,"ns":120,"title":"Item:Q5829015","lastrevid":34488225,"modified":"2024-06-11T15:40:45Z","type":"item","id":"Q5829015","labels":{"en":{"language":"en","value":"The formalization of mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3090146"}},"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":"Q5829015$AC91F1D6-379B-46DD-B787-A2FF97F3E321","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"adfd6aba4475aa42b833f00ff3c59a2b394919fe","datavalue":{"value":{"text":"The formalization of mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5829015$F1C3E05C-D445-4887-A57A-999A7DD0B6BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1327159b9de7bc6f68ec28fedce6799572c3f3d8","datavalue":{"value":"0056.24503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5829015$E6CF61B6-E3BE-4CA8-8F76-0D22B7AE90CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b556f45b3c265335f1fe81166bccf9896f4556af","datavalue":{"value":"10.2307/2267732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5829015$3B89E4C8-3B65-4332-8736-BF13FCADD9B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3fe0146632f7df374aaf46184bd7c6893b4e0907","datavalue":{"value":{"entity-type":"item","numeric-id":1152358,"id":"Q1152358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5829015$029A5D43-5FA3-438E-A9AD-FEF9CAE6AF46","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5829015$37D95A8A-A4BB-45FB-BB85-A9B6C9A74DEF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d56348066cef9a6564d6422c03dced9a9318216e","datavalue":{"value":{"time":"+1954-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":"Q5829015$445E72F1-69E3-448C-8BA8-D2A7160535E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a9293e849ee1115f8c6d398f7e013a554500107","datavalue":{"value":"3090146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5829015$59C369CD-5C18-4DCF-9B59-E4DDF1CF3635","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3699fc6dedc81b169481a234045f201baa5a5f4","datavalue":{"value":"Philosophy and foundations of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5829015$70947399-8D65-412C-B295-0770C3FC964F","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":"Q5829015$39E8C54B-2693-4159-A1C5-EDB0ABA33514","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fcbdac2e3cac7a6c4097e588e7f8a30a56e8a3f6","datavalue":{"value":"https://doi.org/10.2307/2267732","type":"string"},"datatype":"url"},"type":"statement","id":"Q5829015$41B996FD-D079-4901-89BD-5B9E019B4F4E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7183f475820476e2b346b34ccf0647f5cc153ce6","datavalue":{"value":"W1965905187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5829015$5F175307-BF70-4515-8C0D-7081799482E2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb044c7442b7a1aa13f726f8f2ea257954ae384b","datavalue":{"value":{"entity-type":"item","numeric-id":5769518,"id":"Q5769518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5829015$103826DA-97DE-4F5B-8B32-D0E1DFE937B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7d4a19af4bbf3ac62e2ac95cd380778365f5d50","datavalue":{"value":{"entity-type":"item","numeric-id":2649746,"id":"Q2649746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5829015$040F875D-F456-40D8-AA04-3EFA5DC5E36E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5829015","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5829015"}}}}}