{"entities":{"Q1706152":{"pageid":1716893,"ns":120,"title":"Item:Q1706152","lastrevid":73361079,"modified":"2026-04-14T15:35:33Z","type":"item","id":"Q1706152","labels":{"en":{"language":"en","value":"On the compressibility of finite languages and formal proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6851687"}},"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":"Q1706152$A26C7B11-0E94-4720-A327-12F1BCAE628E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57ac3d6af393850823d9065637cba1c16611059f","datavalue":{"value":{"text":"On the compressibility of finite languages and formal proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1706152$886C8CC2-6D45-472E-BEA9-95BB5418448D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"404ee96aa75c8f6ac302325942d134778ef74b11","datavalue":{"value":"1390.68389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706152$785903B4-1B94-4DED-8594-0E774F5F5721","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bf042ccdd3d88e646828927fa1d80a52569f4db","datavalue":{"value":{"entity-type":"item","numeric-id":1622972,"id":"Q1622972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$678F9A1F-3758-48EC-987D-06FACF54BF70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac16dcce5f3df8b1bf1087e5a90fdae80fa7a2e5","datavalue":{"value":{"entity-type":"item","numeric-id":402112,"id":"Q402112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$141E0432-9063-46F9-B915-16081CCFB0E4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$D15B2244-5C4D-498D-82B8-8AFCDD1C01A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b370aaa83f4efe6143e52606b64b18fd663e7c7","datavalue":{"value":{"time":"+2018-03-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":"Q1706152$322D4DD7-31A4-49CA-BE25-67783B709DCC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706152$110F6520-A6DA-4E3D-A5FC-CD51C353F204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706152$4E53454A-693C-48D6-91D6-52497086CA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706152$AB507E7D-C956-44F0-9B33-6140580CA2C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8819400e0ff49c747cad12265095a68c9215c50","datavalue":{"value":"6851687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706152$9E034A38-7EE6-42D8-BEC1-537CAF4521FC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"60ca22e30a96175792dc6ff9859027860183cf7f","datavalue":{"value":"Q113872847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706152$3FD12E41-F1EF-4DD5-A66A-8285C791F428","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":"Q1706152$A30A9520-C13C-4F73-B0F1-C14465957A59","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"638cc64d06b3d0e21ad9b5eb7a47b6b84bb8f745","datavalue":{"value":"https://doi.org/10.1016/j.ic.2017.09.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1706152$60560EE4-62A2-4349-90E7-2874188E94E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"90dcca04bf4104a63f0e54e19df6131b93dc8a4d","datavalue":{"value":"W2751273904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706152$12C1E3BB-4C79-4E7D-8F12-8ED28302A054","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eff3fa4445fd12b2510dececc0c081729ba0522c","datavalue":{"value":{"entity-type":"item","numeric-id":5402538,"id":"Q5402538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$27C0DFD6-2489-4FB9-93D0-1A4A62915097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ab6e333acc507cd9cf926c2368546a110a9b924","datavalue":{"value":{"entity-type":"item","numeric-id":4598264,"id":"Q4598264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$60E6081C-8B99-48EA-95BF-A372C666ECDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08d47ec4bf230b762d5c82f8bac81eddabc36456","datavalue":{"value":{"entity-type":"item","numeric-id":4386970,"id":"Q4386970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$9E6EA5B0-AFA7-40A2-AF78-5B40A4983A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30cc19e791edae5e8627a6e4d51b2d96428236e6","datavalue":{"value":{"entity-type":"item","numeric-id":4503585,"id":"Q4503585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$2040DEAD-4224-4175-9AE5-C19ABDF83651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4398a001fabea33eee52a30a71cfd3a06816389b","datavalue":{"value":{"entity-type":"item","numeric-id":1401326,"id":"Q1401326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$BA3382BB-8815-43FA-BBF2-930A926C2B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3070c0519dcd5c6a76b393c3edf1244e326b734a","datavalue":{"value":{"entity-type":"item","numeric-id":3546682,"id":"Q3546682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$39BCF7C9-EA43-4B85-9CA6-E4F116D27341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5cd6da1c6efd56e67d3d891405501faf884b29b","datavalue":{"value":{"entity-type":"item","numeric-id":2569418,"id":"Q2569418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$2C3DB108-A0A6-41B0-9CFB-7C40E72F2D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fff8f82a2098d695ac0ca17a10ac55898fb20825","datavalue":{"value":{"entity-type":"item","numeric-id":500975,"id":"Q500975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$A9709A08-B15F-4015-B208-4B07B4DBAAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb0f9aa7d63eb0b71656e8b17fdaa3d62ecc479","datavalue":{"value":{"entity-type":"item","numeric-id":906407,"id":"Q906407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$E3E532D0-EA58-49D3-B95D-F86D6653053A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c350e5df0076e0fbf10debbcf6bd2887aa1445b4","datavalue":{"value":{"entity-type":"item","numeric-id":2874365,"id":"Q2874365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$E1B2CF5D-C7B0-43B1-929B-782F68450F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a07ca75c7a05c977511c60d16886bb9357e8a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":1157179,"id":"Q1157179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$EA06D5FB-C940-4707-85DC-51B69B5299F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d1bc03f64e339122c1508a9acd09eab6a110623","datavalue":{"value":{"entity-type":"item","numeric-id":1157180,"id":"Q1157180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$6A6F93E7-11EC-4345-9EE6-80DF65E89927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b8e5e5ac23fc9ca9b8389e582d2349f72e1716","datavalue":{"value":{"entity-type":"item","numeric-id":1054160,"id":"Q1054160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$B5D725A4-E376-4CC2-BD6F-F078DDEC5A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33400ea63e82a0205d6313e544ef8f68f26bb3ea","datavalue":{"value":{"entity-type":"item","numeric-id":792097,"id":"Q792097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$874C59CD-3DA9-4A0F-A1FE-05A72278F70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11eba24873264ee2ba7e5b0109c1d795a889962","datavalue":{"value":{"entity-type":"item","numeric-id":1098318,"id":"Q1098318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$B85050F2-8AE0-45A5-A3EB-B6CEF4EFEB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cf243fe51a5105a571b8345fa16c56b8d53f4a4","datavalue":{"value":{"entity-type":"item","numeric-id":2890201,"id":"Q2890201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$8FCD735D-4143-4B8D-8AFA-74C474C45A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a288c1fc3762803ff6256e61dcebf3f413e8b0","datavalue":{"value":{"entity-type":"item","numeric-id":2891453,"id":"Q2891453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$26280BEC-DC27-4ACF-977B-3B2F299E1C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd59f3b5cc711e02e1b8b90021028e3c7e8cbb4","datavalue":{"value":{"entity-type":"item","numeric-id":402115,"id":"Q402115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$13433002-11B8-4958-8826-8FD00426E061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"363f13df5cb8c288351ffbc9325a719efa2227a0","datavalue":{"value":{"entity-type":"item","numeric-id":3192194,"id":"Q3192194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$C5BE2A18-67D8-4658-BAD5-87EC13D90F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e99dd4800ce4464f9914fd844e56d480d1541f31","datavalue":{"value":{"entity-type":"item","numeric-id":5958721,"id":"Q5958721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$BACA8882-89FC-4791-8C7A-478E40FC1C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43a2aaca8b0cf7d27ad61a4e939a844436669e64","datavalue":{"value":{"entity-type":"item","numeric-id":3503621,"id":"Q3503621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$31F41DF6-0D32-4311-B4D0-4CFAC93C95F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"445dbe83cba7b17254a3510b2d105793d591c9a5","datavalue":{"value":{"entity-type":"item","numeric-id":5500684,"id":"Q5500684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$E862118A-0A50-4A7E-931F-317CF199BFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$A2E9406F-7CFB-4612-AC2B-A08F8AE27C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21db762e1d3ba9e49973a43502344ed367d1e30a","datavalue":{"value":{"entity-type":"item","numeric-id":553317,"id":"Q553317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$548BFD35-4CFD-4F98-82A6-1EA7CFED75BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$3708F2D7-5499-4CFC-9B3E-041920C2E61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cb8e50e6c3bd60a9a9a59407cf30e8e788baa4","datavalue":{"value":{"entity-type":"item","numeric-id":3618853,"id":"Q3618853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$CF94AD29-DDDC-440E-8252-030B554C20F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f35ae7566b8bbe9c52c7114fdab5f84a63a423","datavalue":{"value":{"entity-type":"item","numeric-id":1840143,"id":"Q1840143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$C53DCE3D-5E6A-4D00-AC69-1C85B360A8E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b880d3c8511f1d53c27d1537b521daf74193b4","datavalue":{"value":{"entity-type":"item","numeric-id":1102280,"id":"Q1102280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$E02FE2B8-7F0C-4234-8D46-828DFA5F4055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1813c495b4019dbc5a0338bf865711982b775489","datavalue":{"value":{"entity-type":"item","numeric-id":4198750,"id":"Q4198750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$3FF69D7D-9085-4DF4-B80B-540C0EE51F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f5a52049791eff1e794bc7bab216824fc094503","datavalue":{"value":{"entity-type":"item","numeric-id":3866101,"id":"Q3866101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$03D86382-76A1-40F9-A471-F234F8390169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e499c86ee0646fff12cf3f079c9131faaea7b20","datavalue":{"value":{"entity-type":"item","numeric-id":4215637,"id":"Q4215637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$595DC9B3-F87F-493D-9EC4-CFD5AB9A3B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72cd297b30f9282e340ab6cd2f0cbf46cae1145e","datavalue":{"value":{"entity-type":"item","numeric-id":817706,"id":"Q817706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$33433603-DC23-46B8-AC59-8612D5910266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8867b88cb95824b879b533cfc6616cd2dbf57ca5","datavalue":{"value":{"entity-type":"item","numeric-id":1194246,"id":"Q1194246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$6E7D78DD-CABE-4237-BEAB-BF007F733AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b559e594edc07777117cb084e905ea94187a1df3","datavalue":{"value":{"entity-type":"item","numeric-id":4304753,"id":"Q4304753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$91E5BC2F-C744-4A74-989A-12182D4C3C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f0ea72f3ef395c101792bfb158c9efd6377c41","datavalue":{"value":{"entity-type":"item","numeric-id":4263791,"id":"Q4263791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$09182C16-A721-4B48-80A8-F9371758B4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207add5e6b163f809fab5a384bb65f34732721c1","datavalue":{"value":{"entity-type":"item","numeric-id":5307066,"id":"Q5307066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$4EE3B9C4-59A3-48C6-951B-392D56AF8595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"459a27a4a146439d556fcd13ee016afeee4a6a68","datavalue":{"value":{"entity-type":"item","numeric-id":982183,"id":"Q982183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$66C3F082-5218-46A1-BE31-AF4E5B54198A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20a619054176bb024343449373f66fed907b2038","datavalue":{"value":{"entity-type":"item","numeric-id":5277826,"id":"Q5277826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$75897C99-DD7F-422A-B681-B7732449D7A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62e2ff241fe611f2209be2bf150404f9b5177933","datavalue":{"value":{"entity-type":"item","numeric-id":5221602,"id":"Q5221602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1706152$04FFBB99-31B5-4CF5-9AE3-397FD7FE0528","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"030f3122b792a4a4f87d896f8ec066d6203e24a5","datavalue":{"value":"10.1016/J.IC.2017.09.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1706152$4310921B-0C53-4595-B2E1-F412B6A664A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09d85c791840f02ec861a854c2473965c1e75b45","datavalue":{"value":{"entity-type":"item","numeric-id":5500684,"id":"Q5500684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00019e91a64617b648d958eaa4f32f0946d2938c","datavalue":{"value":{"amount":"+0.9252358675003052","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":"Q1706152$3A6E268C-B6EA-48C3-B44B-8483C656773A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8ce0bac3a5e9eac54cadd83b288b93e8c6a0518","datavalue":{"value":{"entity-type":"item","numeric-id":1622981,"id":"Q1622981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38206c58af45064a00ace3855c1deb5c3e121be9","datavalue":{"value":{"amount":"+0.7755903005599976","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":"Q1706152$A66B9454-872B-4B78-9418-E0F8E4EF096F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78507de78baa9e82a3160d4d8fbfb8be7396cfe2","datavalue":{"value":{"entity-type":"item","numeric-id":2334605,"id":"Q2334605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eaef603c2f183249cd6050b5706a3a2e32cc0b5","datavalue":{"value":{"amount":"+0.7584740519523621","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":"Q1706152$B09B697D-9B77-48B2-BBBA-159F0253B2DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb3d4e78f2259d34da06fcafa9c6e7f447cd2500","datavalue":{"value":{"entity-type":"item","numeric-id":777998,"id":"Q777998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0874c55777f079e75640d4a7821d5a36f8a3fbb3","datavalue":{"value":{"amount":"+0.7540349960327148","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":"Q1706152$6B3BA784-E7D4-49FD-AB67-024C3891390E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e361e44a895edccfe1eca97bafebd4946bca539e","datavalue":{"value":{"entity-type":"item","numeric-id":3769985,"id":"Q3769985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"298871e6bb79d8c9d3ac9c74270a50542ca8a6c7","datavalue":{"value":{"amount":"+0.7522777915000916","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":"Q1706152$0E8060F4-7DC9-4ED6-84C5-1EF9292D4EA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the compressibility of finite languages and formal proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_compressibility_of_finite_languages_and_formal_proofs"}}}}}