{"entities":{"Q5972356":{"pageid":12560000,"ns":120,"title":"Item:Q5972356","lastrevid":105428984,"modified":"2026-10-09T10:11:01Z","type":"item","id":"Q5972356","labels":{"en":{"language":"en","value":"Fishers_Inequality"}},"descriptions":{"en":{"language":"en","value":"AFP entry Fishers_Inequality"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"a3190948056601407a17ed6f621c36075bbf8942","datavalue":{"value":"45545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5972356$35B9A401-2BCD-42C6-8897-C84187E98AC3","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":"Q5972356$04BE4A97-A392-46F4-8F2B-F080F0523798","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"6ba8af1b52aeeb01e765477aee2e528e0d58aeb5","datavalue":{"value":"https://www.isa-afp.org/entries/Fishers_Inequality.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q5972356$C288FAF4-F96A-4E41-8320-4CC7745E9E98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5972356$B79841C5-DAE1-4C79-B448-9D3F71710429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5972356$4D290352-7A83-422A-988A-69E27A3FCDEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd3cd3c8cd085ac2048034c2279872658062342d","datavalue":{"value":"11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5972356$699D49DE-8923-4CC7-AF8B-2189B9C20D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5972356$D928F995-35D9-4F16-9531-B277DBC2FD3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5972356$BFE2C01C-6799-488B-BB52-AC2B09681051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24f8ba20e8ffa07910d0666302c1f09a25449c97","datavalue":{"value":"5.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5972356$B1CC0EAF-7342-47CD-8071-41D34140DCC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd53baf500a6931877eb74cf8c39e6d35302628a","datavalue":{"value":"11.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5972356$B84FE911-4476-4878-9716-7B588BE95548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5972356$768D6077-9E6D-48F5-BCCC-837307A74388","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5972356$0F13B166-82E9-49B5-81F8-F602FD9C3E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"15196c2581266a184056ef1d8aed139d9f8df25d","datavalue":{"value":{"entity-type":"item","numeric-id":5975011,"id":"Q5975011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5972356$6F190A5C-3D16-495A-BDCD-61E9F173DD06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"095872c1e8412c6ab0e3851100ddb22b954f588a","datavalue":{"value":{"entity-type":"item","numeric-id":13081,"id":"Q13081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5972356$972F4574-2104-4161-BA07-82D8A60BADE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5972356$F7767855-EDB4-4F1F-BFDD-BF24C1FAFA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3e9c336168e17650e6c38b2eaa0f70237b2e636e","datavalue":{"value":{"entity-type":"item","numeric-id":40295,"id":"Q40295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5972356$42081753-7614-42FB-A81C-4ED33FEDF3AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8cd467bd80e3549c5bb18d1191fcc2b25077cabe","datavalue":{"value":{"entity-type":"item","numeric-id":40962,"id":"Q40962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5972356$0C1F2C09-F2A9-49BE-9C5B-9F08937423B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6bbc316d4497e097d8fb3e48fd57f7643b44826c","datavalue":{"value":{"entity-type":"item","numeric-id":40246,"id":"Q40246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5972356$ECB9D39D-A936-46F1-8DB7-9A738240A4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5972356$82C3D8E2-3E16-4F0C-A536-E93D5B51D7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fdc1b77844f5665a2c1c08329a3722e6f46fd1c2","datavalue":{"value":{"entity-type":"item","numeric-id":5972762,"id":"Q5972762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5972356$2842EAE7-E12A-47B0-85A5-9F85A9FEEE8F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a5bbf3fa45fd4dfd9153cb9f3c0f9fe0f646e51","datavalue":{"value":"https://isa-afp.org/entries/Fishers_Inequality.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q5972356$C560AFD1-C329-4B3D-81A6-2B2C84AD7BFE","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"1f5398cfc166ea4dddf107332321d7745473ad76","datavalue":{"value":"Chelsea Edmonds","type":"string"},"datatype":"string"},"type":"statement","id":"Q5972356$E1E53BAE-CA1F-494C-B8FC-3405E4C5C327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"7479166f83b44c07c9a493479bd3c0ed2c72ef23","datavalue":{"value":"Lawrence C. Paulson","type":"string"},"datatype":"string"},"type":"statement","id":"Q5972356$D7A0AE20-D80E-44F5-8E67-E5F298AADED7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0932d94e014f8bcccf2280ee3b4ec46d5db66bf0","datavalue":{"value":"Linear algebraic techniques are powerful, yet often underrated tools in combinatorial proofs. This formalisation provides a library including matrix representations of incidence set systems, general formal proof techniques for the rank argument and linear bound argument, and finally a formalisation of a number of variations of the well-known Fisher's inequality. We build on our prior work formalising combinatorial design theory using a locale-centric approach, including extensions such as constant intersect designs and dual incidence systems. In addition to Fisher's inequality, we also formalise proofs on other incidence system properties using the incidence matrix representation, such as design existence, dual system relationships and incidence system isomorphisms. This formalisation is presented in the paper \"Formalising Fisher's Inequality: Formal Linear Algebraic Techniques in Combinatorics\", accepted to ITP 2022.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5972356$55E09FDB-03C6-466E-A933-F79BE6E744CD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3234fc9e33e09d6ce2c1bcc04c13ca23e11af09e","datavalue":{"value":{"entity-type":"item","numeric-id":3458419,"id":"Q3458419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5972356$C10EADFC-AB2D-4BE6-AA08-F29E870E7467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7b32a8240548a402659dc31549f4cbe4c44c032","datavalue":{"value":{"entity-type":"item","numeric-id":4313087,"id":"Q4313087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5972356$5131CC8B-EFE3-4749-AECA-3709F8731C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d429a56e99ce60763e0394f9c0f1c9a6d9cb90e3","datavalue":{"value":{"entity-type":"item","numeric-id":3411976,"id":"Q3411976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5972356$FEC7FC20-9CC0-45FE-8CC2-9C09F7C55472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b9c39c6b14f15f6059ac7d5b311ec56ff4fdfbf","datavalue":{"value":{"entity-type":"item","numeric-id":5842949,"id":"Q5842949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5972356$DDCC1932-C2F9-49B4-94A9-038CDDF064BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83e0c86045836ba5cdd53dcd5e4ebfd0b6a24c83","datavalue":{"value":{"entity-type":"item","numeric-id":4871779,"id":"Q4871779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5972356$C47561FA-EAC3-4EBA-86D8-57586FF44B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67550bc127d7312ff4e271174d3c8f19a0441aa4","datavalue":{"value":{"entity-type":"item","numeric-id":3061152,"id":"Q3061152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5972356$1DDDAAC0-82F4-46E9-B182-33CDC43844C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17d7f6ccba49bfc02eb09c4ca0467fad5c80d22a","datavalue":{"value":{"entity-type":"item","numeric-id":4441040,"id":"Q4441040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5972356$C3B96CE6-408A-4CE3-9636-E081D81456D9","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"85b898be4838452e6583c1aefc063dcd622112e3","datavalue":{"value":{"entity-type":"item","numeric-id":7361604,"id":"Q7361604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5972356$0299FBA3-901C-49DB-861F-AD84A4D9E052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"58b378310c3c01d83cef379d83129d9bd06f9769","datavalue":{"value":{"entity-type":"item","numeric-id":7361750,"id":"Q7361750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5972356$FEF696D8-45D8-4F0F-9E60-C0B36DEAE0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"66e448e3615d43bf06e0beb8fe8b6a36ebcf76f5","datavalue":{"value":{"entity-type":"item","numeric-id":7361767,"id":"Q7361767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5972356$860F5059-B475-4DBF-B208-DE438E45D783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"2f60f755627fa462160b36702974759408a67214","datavalue":{"value":{"entity-type":"item","numeric-id":7361112,"id":"Q7361112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5972356$0A23EB4C-81B5-4D5C-A525-713342132F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"e0b5465b6a0d9e05645cdb7168eee1aaf7eb2845","datavalue":{"value":{"entity-type":"item","numeric-id":7361518,"id":"Q7361518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5972356$CE96E8D3-FAB7-4A5A-908D-047C8752B329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"0c9c9f0c4eee9c4734b6223c2dd6a0c94c9a6581","datavalue":{"value":{"entity-type":"item","numeric-id":7361085,"id":"Q7361085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5972356$62D6E732-CD34-4345-8A9B-8A311E65D5E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b32004f1849a6b85adddcf4cc70bf727fb29846","datavalue":{"value":{"time":"+2022-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5972356$6ED9FE9B-0CC4-42EB-9C6A-9A376080FB28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1acaaef36f3475ddd1747717cd155c9b1fc4151c","datavalue":{"value":{"text":"Fisher's Inequality: Linear Algebraic Proof Techniques for Combinatorics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5972356$DB1538CE-AD59-4767-87F6-A11886C682D9","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":"Q5972356$ED77166F-B0D7-4AA3-8BF4-7D063598A500","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":"Q5972356$9B6A28F4-28B8-43E7-A934-8EF70A486B5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fishers Inequality","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fishers_Inequality"}}}}}