{"entities":{"Q3584056":{"pageid":5613960,"ns":120,"title":"Item:Q3584056","lastrevid":81009305,"modified":"2026-05-06T17:30:30Z","type":"item","id":"Q3584056","labels":{"en":{"language":"en","value":"Acceptable complexity measures of theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5772858"}},"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":"Q3584056$5D8CDA00-637F-45B9-A7CD-42273362310B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4b5e14d48b8d9d207dc744ff8679a10b2ee7303","datavalue":{"value":"1203.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584056$14E5D630-01D9-497D-A789-4E40811AFB02","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80be5278daf6f0d3c6b1dec8c51ac58f921e479c","datavalue":{"value":{"entity-type":"item","numeric-id":300880,"id":"Q300880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584056$F122849F-4139-4D9D-9790-4E789D2193E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ecc80aa41127c5c5083080112fd2c5d84f2bb11","datavalue":{"value":{"time":"+2010-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3584056$DB57D72C-6490-4A68-92AF-97C79B9869C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95ff9144560bce944df2cb31b947bba5a50eeda7","datavalue":{"value":"https://arxiv.org/abs/0910.0045","type":"string"},"datatype":"url"},"type":"statement","id":"Q3584056$3171B99B-2D65-45B6-8F7E-C8F987C03BDA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e243fd7c22ca7737465c92434b0b01e09fe89c42","datavalue":{"value":"68Q30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584056$584B853D-167F-484E-B749-051F38BA015D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584056$7C70439E-BF80-4A3F-8501-B46D8F93EBF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40433fb05db1c6dbd4b63e2c141a2c76c77d9cf9","datavalue":{"value":"5772858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584056$E5C8B2AF-62D6-4436-9656-C5F47F459172","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":"Q3584056$F3EB9C76-E4CC-4256-97F7-514CDF26E1E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f94e4a7d402be113cc6a960ad915f69f0554a5d0","datavalue":{"value":{"entity-type":"item","numeric-id":2386137,"id":"Q2386137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3a3c6164a198c55acf8caaad1850ebb2e0a1045","datavalue":{"value":{"amount":"+0.8403798937797546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3584056$3D3F1079-032D-483A-82CE-334C28C9FADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12309f35be1c400b1b439d20be06450da21fb368","datavalue":{"value":{"entity-type":"item","numeric-id":3082390,"id":"Q3082390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3592a2ef143066d6b1b84e2717084ddf6ca0b1b1","datavalue":{"value":{"amount":"+0.7540205717086792","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3584056$EF2C7229-E333-4C07-A22C-8B9A48152B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"141303f1ff2a97e66ee0020705feb23070afcd1b","datavalue":{"value":{"entity-type":"item","numeric-id":4606020,"id":"Q4606020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6470de808fae39ba74b0ce60fd4b9bd1adec6fd0","datavalue":{"value":{"amount":"+0.7398568391799927","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3584056$B4160BBB-5C62-4212-8899-63A61083834F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee05418b9db5d2838f9b3500fef5a2df9261ba4f","datavalue":{"value":{"entity-type":"item","numeric-id":4648198,"id":"Q4648198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10dc8dbed278b879966b5a3d61e6eb19bd5d9bc1","datavalue":{"value":{"amount":"+0.739325225353241","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3584056$82C13EBD-BDBD-4BF2-9708-735541604E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e2409fb0f5d50eb79ca8f710f9085ca9d8ee6f2","datavalue":{"value":{"entity-type":"item","numeric-id":1374675,"id":"Q1374675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cbea137aa1cfb5aa47e6b1b0af0937b06495073","datavalue":{"value":{"amount":"+0.7360650897026062","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3584056$23077803-5824-4052-8EEA-227BBCEC0E16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Acceptable complexity measures of theorems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Acceptable_complexity_measures_of_theorems"}}}}}