{"entities":{"Q7361122":{"pageid":31518905,"ns":120,"title":"Item:Q7361122","lastrevid":105363089,"modified":"2026-10-07T13:34:45Z","type":"item","id":"Q7361122","labels":{"en":{"language":"en","value":"The Nash-Williams Partition Theorem"}},"descriptions":{"en":{"language":"en","value":"AFP entry Nash_Williams"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b10b837f4236b6d96d12ca09e5c559df3a6b1595","datavalue":{"value":"https://isa-afp.org/entries/Nash_Williams.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361122$5686E9D5-0E28-4D25-9E36-252C6E9930A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0c2a154b7ad01db5ec210dbf7e10b6e1b95315e","datavalue":{"value":{"time":"+2020-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361122$90BE1CB6-A311-456F-B381-B021A887CF72","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"7479166f83b44c07c9a493479bd3c0ed2c72ef23","datavalue":{"value":"Lawrence C. Paulson","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361122$C3C81835-5A04-4230-A1A7-18EC58AF97CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"625a53229c40e0850edd51217183df1f6ca5ebd2","datavalue":{"value":{"text":"The Nash-Williams Partition Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361122$F90D6CC4-FB59-4501-8ECB-F9363265756B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9f6e9cb374d8b4c6b16388519ecdcb38015e7903","datavalue":{"value":"In 1965, Nash-Williams discovered a generalisation of the infinite form of Ramsey's theorem. Where the latter concerns infinite sets of n-element sets for some fixed n, the Nash-Williams theorem concerns infinite sets of finite sets (or lists) subject to a \u201cno initial segment\u201d condition. The present formalisation follows a monograph on Ramsey Spaces by Todor\u010devi\u0107.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361122$CA24232B-FCC3-4BC9-97EE-D181555C5EE7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1cf7e426127d502c57b4bb01a758b7cc7fadf5","datavalue":{"value":{"entity-type":"item","numeric-id":5337204,"id":"Q5337204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361122$0AA9CB1C-7DFF-4BE1-A1FC-6A88D27E35CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc287ec8a6e146c3e57a73c560da2d9b4de9d84","datavalue":{"value":{"entity-type":"item","numeric-id":3579526,"id":"Q3579526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361122$0DC693BB-D341-436C-9A74-C931342AAB25","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":"Q7361122$2810976C-EA8F-418D-8DD2-8BA4930E6FF9","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"5634edfbfbc0239093a6d080d47ef70273afec4d","datavalue":{"value":{"entity-type":"item","numeric-id":7360824,"id":"Q7360824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361122$0C29AD45-02B5-4E54-AB3A-3A54FC8DC551","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":"Q7361122$B27F4E93-87E3-4CB2-BD60-DC1740396263","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Nash-Williams Partition Theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Nash-Williams_Partition_Theorem"}}}}}