{"entities":{"Q6572544":{"pageid":14183699,"ns":120,"title":"Item:Q6572544","lastrevid":42340889,"modified":"2025-06-11T22:27:47Z","type":"item","id":"Q6572544","labels":{"en":{"language":"en","value":"Formalising Fisher's inequality: formal linear algebraic proof techniques in combinatorics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7881124"}},"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":"Q6572544$D3BD3FE4-44A8-4B2F-8334-7B3FD6A5580A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52fad202783350597a0eaca32dae8453d90c0d10","datavalue":{"value":{"text":"Formalising Fisher's inequality: formal linear algebraic proof techniques in combinatorics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6572544$C4AED31D-7C55-4A79-B9E6-2C9E51EBCFFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0771934c4887fa6cdca5c7d66d14a214ab90b74","datavalue":{"value":{"entity-type":"item","numeric-id":2128786,"id":"Q2128786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572544$7D2E7106-05D2-40B7-855A-7CB2343B4DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb5dfbdfa6d8a2070a67ff948fb8abd387eda36e","datavalue":{"value":{"entity-type":"item","numeric-id":352969,"id":"Q352969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572544$382B64B2-DBC4-4099-AE51-A31A2CA78A07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7dae1a09e0b079923de71e99f58f11ff9161f5ec","datavalue":{"value":{"time":"+2024-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6572544$167A20B3-2BCD-425A-BAAF-5EED23C2BF4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572544$BF68E839-2AA0-487D-AC0D-EE9584084373","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"435572562ca66ee8c5e98450173d933a4c3afc4f","datavalue":{"value":"7881124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572544$4BAA715D-DCED-42D7-9058-2A1F3AE8F2B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572544$06BB6CAB-0596-42E7-9E3C-F8B21E26DA7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfe6f8f2f2922be087e0877e91237478fbc87e76","datavalue":{"value":"mathematical formalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572544$1B98C437-00EC-49F1-B642-CF86B0F2BBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e538ee2e747fbfe0936e2e6cdf36d1aff271d943","datavalue":{"value":"Fisher's inequality","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572544$D76F7755-A982-4D2A-B5BD-52DDF3B5D22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17ef7db62ea690b4e5062dfc499cec745f9bc958","datavalue":{"value":"linear algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572544$768CD44C-BBED-4487-A70F-70800D12BE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"266d0e69b921b788b7ca21d4113c9d7fbae907f0","datavalue":{"value":"formal proof techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572544$91777B2A-2218-4BAA-BE74-06AF7F9EC5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"459ffded74521c7177e183238b11e0b004784b7c","datavalue":{"value":"combinatorics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572544$48A30838-2E14-49B8-84A1-2C0A0955B017","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":"Q6572544$FF3583B0-F58C-4983-927B-8E68D3780FB4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d34b420f9593cfcabd1d38cac000179c35fce10","datavalue":{"value":"10.4230/LIPICS.ITP.2022.11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572544$BBDE1AB3-A271-4797-9078-F2897C76C4D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6572544","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6572544"}}}}}