{"entities":{"Q6506201":{"pageid":14085159,"ns":120,"title":"Item:Q6506201","lastrevid":40018761,"modified":"2025-02-11T11:51:43Z","type":"item","id":"Q6506201","labels":{"en":{"language":"en","value":"Formalising Fisher's Inequality: Formal Linear Algebraic Proof Techniques in Combinatorics"}},"descriptions":{"en":{"language":"en","value":"scientific article from arXiv"}},"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":"Q6506201$D3D0587F-5286-41E7-B599-4F8D11ECB99F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"210908f27e8cd77ea6db848bb279b9952962a475","datavalue":{"value":{"text":"Formalising Fisher's Inequality: Formal Linear Algebraic Proof Techniques in Combinatorics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6506201$FBE38056-0229-4B58-8A67-2738D175398C","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":"Q6506201$29745542-D83E-4B8B-8CF0-2B0EC33CE236","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":"Q6506201$1D8502B9-3249-4A9E-AF3B-ECBBD92061B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6506201$02B2D419-D7A5-4CDB-8776-A2DC8FA39F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0777d7ff21c1f44314f8092c977cf5f02a5fe09c","datavalue":{"value":"05B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6506201$B7D988A6-54FD-4AEC-BFF4-AC98574F5B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"772466e23f65811e4792a58a12ff09d79c338e5f","datavalue":{"value":"05B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6506201$336546D7-2029-4037-8551-736D56EFF87C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9bd9af688c0b97c53a0660570659cd00420d9c9b","datavalue":{"value":"05D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6506201$61C36A6F-CB26-4F71-8DC8-711CC07A2065","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":"Q6506201$5D6DCFA1-EDF8-4267-8DE5-F61D0B8B810F","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":"Q6506201$44DF8024-FCB5-4BD9-B048-281C5B15904D","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"89cf08fc799fa09f566bbd6e25ede63519b6ed69","datavalue":{"value":"2207.02728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6506201$186E8C07-8F3A-468E-9644-47BF582B5605","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6506201","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6506201"}}}}}