{"entities":{"Q5880432":{"pageid":7909983,"ns":120,"title":"Item:Q5880432","lastrevid":30751366,"modified":"2024-03-07T05:03:58Z","type":"item","id":"Q5880432","labels":{"en":{"language":"en","value":"RIGOUR AND PROOF \u2013 CORRIGENDUM"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7658890"}},"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":"Q5880432$46ECCF40-08E5-4067-83AD-61C225452ED0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf67fb6dfbea3ad4c6ea566203bc08af947fb872","datavalue":{"value":{"text":"RIGOUR AND PROOF \u2013 CORRIGENDUM","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5880432$D434E8D3-039C-43D4-AA43-BDD58A3AC6B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d7cdf455c8658129213971e897950028fc25832","datavalue":{"value":"10.1017/S1755020322000028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5880432$DD114FFE-8B43-4D77-B31E-9E9784F017CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8a24284ae59042c75fb09cc3ca7d93a18037563","datavalue":{"value":{"entity-type":"item","numeric-id":5013622,"id":"Q5013622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5880432$5CEF66A5-EFF7-4965-BDE1-F31FD9504BCF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5880432$14A3E2F3-4CBE-4F21-944B-2F96FE472999","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f93760665626a68490fed0b08134a5d9aac9090c","datavalue":{"value":{"time":"+2023-03-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":"Q5880432$A2E662D1-6606-4BDB-9D65-9012ED5B579C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"654b667013631be85bc45fdfe776d3b9ed2e5330","datavalue":{"value":"00A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5880432$F45EF495-D9EC-401B-A983-A8ACBA10563F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5880432$8DB60088-8B0E-4025-BF41-20F466852A1C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"721a98b89d6f7e6af95a0624f568f0a6ca42039d","datavalue":{"value":"7658890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5880432$6E7CB923-E866-4B5E-BAAF-7BFEB5CE9975","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86b88fd53ad3a4b729a16ba0be69d2c5a317bc35","datavalue":{"value":"mathematical rigour","type":"string"},"datatype":"string"},"type":"statement","id":"Q5880432$B79B6FB4-B7D9-4D92-B124-D456C15D447E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7122f6b434ec62d62a0c28aa6b0d782dc60199d4","datavalue":{"value":"mathematical proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5880432$E1580B38-0AE2-40E8-8A03-47C553806212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b57c832f4b21b0ae9151495d8a971f39ac6c1824","datavalue":{"value":"validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5880432$44BFAEFC-8F90-4688-8DD1-E2B6156D3BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac94c321e50d59e4d600d04a357dd8e7c6bc6888","datavalue":{"value":"formalizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5880432$7F844149-6B50-4356-BA92-24505AD809AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d13569e8806493db31cd325862c6300c5e1579d9","datavalue":{"value":"mathematical practice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5880432$22F264E2-A9B9-448A-8009-FB274A30C1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24d315864f474bfd80feb086355d2a2070514d5b","datavalue":{"value":"length of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5880432$97B02B66-362D-4621-BCB8-20AD1D27A46E","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":"Q5880432$651B3037-D7CD-4D1E-92E6-72A9ACC424FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5880432","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5880432"}}}}}