{"entities":{"Q7361411":{"pageid":31519772,"ns":120,"title":"Item:Q7361411","lastrevid":105365738,"modified":"2026-10-07T13:36:17Z","type":"item","id":"Q7361411","labels":{"en":{"language":"en","value":"Bertrand's postulate"}},"descriptions":{"en":{"language":"en","value":"AFP entry Bertrands_Postulate"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"63d748c7f96d8bb602ac53942b54268ab9508b92","datavalue":{"value":"https://isa-afp.org/entries/Bertrands_Postulate.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361411$AD8D02B3-6EEA-4AF3-BB21-B4AE526E4902","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38356482003684779c085e15fb6eb3fbd5df685b","datavalue":{"value":{"time":"+2017-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361411$F240A7D7-F478-4DD8-A23D-3905F1DD47DA","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"45d7929f672ae1b6d3e580a0748d3bc32288dd0f","datavalue":{"value":"Julian Biendarra","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361411$1D340042-EF90-49D7-8C4F-1A95432F4C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"85859c7ab42dcb8b36208f2902b7ce0d86423a6f","datavalue":{"value":"Manuel Eberl","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361411$2DB875DB-F1D4-49E8-88B3-CAF37CC6B00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"7479166f83b44c07c9a493479bd3c0ed2c72ef23","datavalue":{"value":"Lawrence C. Paulson","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361411$B67A5596-86F5-4641-ACE2-5B585134740C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9077493e1fafd384de25f4cf5ceef927b3d8c525","datavalue":{"value":{"text":"Bertrand's postulate","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361411$05720D8E-3226-4C92-9AC6-C693B64AD465","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a5789747f8e7646064142337ca29d5024fa49f98","datavalue":{"value":"Bertrand's postulate is an early result on the distribution of prime numbers: For every positive integer n, there exists a prime number that lies strictly between n and 2n. The proof is ported from John Harrison's formalisation in HOL Light. It proceeds by first showing that the property is true for all n greater than or equal to 600 and then showing that it also holds for all n below 600 by case distinction.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361411$F4CA6E14-EE40-46D2-85AF-6C17F577F957","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361411$0F9AB327-85F3-41AA-A7D6-756D5E37C927","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"e66af42a32beaca2cb4d15fabb80ddf9fec5e0e0","datavalue":{"value":{"entity-type":"item","numeric-id":7361797,"id":"Q7361797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361411$9CBAAC6D-9F02-4A4B-AFCB-3D10CC5390E8","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"51467ee0a503af56d0e1903e0514853bd73fc1a9","datavalue":{"value":{"entity-type":"item","numeric-id":7360830,"id":"Q7360830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361411$BDAF3953-BBF4-4673-8BD7-81962D04BD64","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361411$CD13D70E-DF81-43D7-9981-0C6DDB83A3B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bertrand's postulate (AFP entry Bertrands Postulate)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bertrand%27s_postulate_(AFP_entry_Bertrands_Postulate)"}}}}}