{"entities":{"Q7361058":{"pageid":31518713,"ns":120,"title":"Item:Q7361058","lastrevid":105423356,"modified":"2026-10-08T13:45:15Z","type":"item","id":"Q7361058","labels":{"en":{"language":"en","value":"Fisher's Inequality: Linear Algebraic Proof Techniques for Combinatorics"}},"descriptions":{"en":{"language":"en","value":"AFP entry Fishers_Inequality"}},"aliases":{},"claims":{"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":"Q7361058$A027B402-BF45-438F-B3E6-1BF0C4117D98","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"1f5398cfc166ea4dddf107332321d7745473ad76","datavalue":{"value":"Chelsea Edmonds","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361058$C3734D32-BA67-492D-BD6A-D98C284C8327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"7479166f83b44c07c9a493479bd3c0ed2c72ef23","datavalue":{"value":"Lawrence C. Paulson","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361058$0A94B88F-0CF2-4D2A-8085-B4279FB9C17E","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":"Q7361058$F41FEDBC-EBBC-44CC-8A3D-3AD1D5049401","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":"Q7361058$C29B1485-D199-4D8E-9248-EB945C20280F","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":"Q7361058$FC8985D9-C875-43EA-8550-9B1F421695ED","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":"Q7361058$73E5B26F-EA0E-49AC-A61D-30B83711A7F1","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":"Q7361058$07A2C1BE-0568-49C2-9F79-07855F0F4621","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":"Q7361058$6216DDC7-CC09-4873-B20B-BD04007987BC","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":"Q7361058$AB34118E-4192-400F-9817-AED0CE820929","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":"Q7361058$6C23935E-CD22-43E6-BA02-3C33B9278457","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":"Q7361058$D232B982-A01F-4513-9D2C-CCE567D06C05","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":"Q7361058$A6AA9B66-FBAA-42A7-9C31-73807E1A43E0","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":"Q7361058$30FF1477-CCA9-4B63-8943-F0C684D8666B","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":"Q7361058$CE44545A-4AD8-44BC-8D24-1E0A94B6BA10","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":"Q7361058$490205F0-D32B-4EAA-BB1F-757183FEEE5C","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":"Q7361058$3D519594-2BFC-4D83-9FD3-BA3D8E0072D5","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":"Q7361058$3CBBED76-A2CE-4613-9642-BCCD25228E5C","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":"Q7361058$4B5F28C6-75BC-461C-9E03-D362D8ED12E0","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":"Q7361058$86ED765E-9ED0-4A7D-913D-37AE79DE65BE","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":"Q7361058$9E82E025-A375-464B-8224-DF206BFEAECF","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":"Q7361058$C290B190-7E33-4306-B609-E2D6900F86D7","rank":"normal"}],"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"a3190948056601407a17ed6f621c36075bbf8942","datavalue":{"value":"45545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361058$E620DDFA-7B40-4A66-93CE-0D14A2A88660","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361058$5CEA7CED-3755-45A3-9078-E1A248F0EDA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24f8ba20e8ffa07910d0666302c1f09a25449c97","datavalue":{"value":"5.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361058$A31F07BF-2084-4CB4-BACA-CE7387F22EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd53baf500a6931877eb74cf8c39e6d35302628a","datavalue":{"value":"11.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361058$44709619-BA79-44DB-99B3-1E4386D5E9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361058$4E8DA607-0D21-484F-B0A9-A6B3E01D5B57","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":"Q7361058$E673398A-80C4-4234-8C91-C4DB9F3B37CB","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":"Q7361058$656A0FA6-75CB-4332-9107-774ACBB256B4","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":"Q7361058$12B10F0A-1340-46CF-BE01-E8B5F46BB8BD","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":"Q7361058$FA45CF3E-CBA6-44D0-AB6B-9C65E7CE7877","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":"Q7361058$1C10C95A-2530-4B29-A1AB-E330060754C5","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":"Q7361058$F45D1410-D06A-44C1-8743-255E5CF6437B","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":"Q7361058$4C44DFEE-9FFD-41C0-B1B0-BB3F49F47D28","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":"Q7361058$FF1F35AC-24CA-4233-992C-2AFA74F54BAC","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":"Q7361058$C92A1948-BEC9-49A1-A1B6-F32FB1D31E05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fisher's Inequality: Linear Algebraic Proof Techniques for Combinatorics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fisher%27s_Inequality:_Linear_Algebraic_Proof_Techniques_for_Combinatorics"}}}}}