{"entities":{"Q5154787":{"pageid":7184358,"ns":120,"title":"Item:Q5154787","lastrevid":91437242,"modified":"2026-06-04T23:09:59Z","type":"item","id":"Q5154787","labels":{"en":{"language":"en","value":"An incompressibility theorem for automatic complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7406571"}},"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":"Q5154787$5B9A52B1-AB36-4B9A-B53F-ACEA3EA47263","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f2e6a725b5ec706f3556a939e7119c15e9a9910","datavalue":{"value":{"text":"An incompressibility theorem for automatic complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5154787$A6F41F19-0CC8-443D-8FF4-EF526BA9F440","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"713c2f755459cde585837394c4916f4792e504e4","datavalue":{"value":{"entity-type":"item","numeric-id":490406,"id":"Q490406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5154787$C56BCD05-F3BE-4E8E-83F3-07D2CBEDA08A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5baf9375b833e8eee8ffb2428e369e2151f75467","datavalue":{"value":{"entity-type":"item","numeric-id":2794647,"id":"Q2794647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5154787$B6507BFE-8158-4244-ABFB-24CC9B9BDAFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d1b2eab6ef1c04945b40d3e5f92b825992f5190","datavalue":{"value":{"time":"+2021-10-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5154787$2E803BAA-9C2A-4CDF-97CD-E9EE29C6F490","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26921c53e9288f3c12fa793232643dec7e904ce1","datavalue":{"value":"https://arxiv.org/abs/1908.10843","type":"string"},"datatype":"url"},"type":"statement","id":"Q5154787$BCB33B8A-B864-4DA9-8434-53A88EE24A2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5154787$927A00B0-4815-48F7-8FDB-803A820E94E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e243fd7c22ca7737465c92434b0b01e09fe89c42","datavalue":{"value":"68Q30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5154787$A70BB1E1-4D59-4AE0-9781-573D12C89B82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d70d2792732d8e94c657cdcf847afa50f583eff","datavalue":{"value":"7406571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5154787$197F14CC-E991-4F3B-90B7-03D3748821B8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"eecff7672d98ddd92e9f59bf72dece031571efe6","datavalue":{"value":{"entity-type":"item","numeric-id":35496,"id":"Q35496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5154787$61146E3D-9C51-4476-BB91-49308FFD8CB9","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":"Q5154787$57CC9A94-DFAE-462E-93B4-E17F2A2E5496","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e946ef30ae3edab2bff54a8f1a0cf100514080ba","datavalue":{"value":"W3199072391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5154787$6B6EBBC1-FE85-41B0-BC6C-291F5851BC23","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2cb68d056b7b24e2a1fddc7d2a62a01a702744d","datavalue":{"value":{"entity-type":"item","numeric-id":2784486,"id":"Q2784486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5154787$78A976BE-26B2-4221-9B91-0466D2AE4D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21a93df7442df6b70ccd3f6e4972ce0be9a38ca6","datavalue":{"value":{"entity-type":"item","numeric-id":1319880,"id":"Q1319880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5154787$7A511FA6-81FB-4322-AD87-BD02FB1BC61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56f18c77577668fc9a76e80339fe1296a6aeb270","datavalue":{"value":{"entity-type":"item","numeric-id":490407,"id":"Q490407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5154787$77633E3C-79FC-4BD6-AF64-2938D7023515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fda71fa925ae621d63545d48ff776cfd0d2a1fdd","datavalue":{"value":{"entity-type":"item","numeric-id":1694011,"id":"Q1694011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5154787$8AA65965-0E0C-492D-87BA-ECB53FCC26CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1e367eb05438b3971175a80baee7f1dd29c5b30","datavalue":{"value":{"entity-type":"item","numeric-id":5743090,"id":"Q5743090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5154787$6ADD5A5B-AFC8-4CB2-BEFB-6A0F57E0D499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2c5f4a456f9910b4c4f2a1d73e4561be8a5dbc2","datavalue":{"value":{"entity-type":"item","numeric-id":3214803,"id":"Q3214803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5154787$C8C16DF2-A1EB-46B5-A1D7-359F1AEB18B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4673e71a7d4faf27e474d74b82d0985b6024b624","datavalue":{"value":{"entity-type":"item","numeric-id":5558743,"id":"Q5558743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5154787$8ED120C5-BBC9-4404-94F5-AA5DBB219270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b8425e8209e6312a4bbffa91ef01a2b5e5a251f","datavalue":{"value":{"entity-type":"item","numeric-id":4531381,"id":"Q4531381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5154787$1CECFCA7-6DD4-4304-B1B5-EA721411321E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d022149ece595446a9644635af062a930e4f1b","datavalue":{"value":{"entity-type":"item","numeric-id":5674429,"id":"Q5674429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5154787$A850BCD2-73F4-432D-8F38-E41651F7541C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6c50777e5961226fad33fc5b9491156664a3e6f","datavalue":{"value":{"entity-type":"item","numeric-id":5674994,"id":"Q5674994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5154787$26CD3482-28C8-498E-9CBD-5A69431E0ADE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6de8e02c06e6db65b59da87bbc8682f4b5353c51","datavalue":{"value":"10.1017/FMS.2021.58","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5154787$B3CE29A9-97E0-49F9-A2C8-466AF55149C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff96dac6610beccbad4a123e63b648201cdcd9f2","datavalue":{"value":{"entity-type":"item","numeric-id":4531381,"id":"Q4531381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b4628bca350b36067aea81e8267f998fc21cf99","datavalue":{"value":{"amount":"+0.8015989661216736","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":"Q5154787$0B3A252A-3835-4423-B2D5-23C10234E28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbdbf9ecdc39011c9a06a4e7f6721849a75c398b","datavalue":{"value":{"entity-type":"item","numeric-id":1694011,"id":"Q1694011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc6f99967c46dda65d5800326596cf8c04dbdda3","datavalue":{"value":{"amount":"+0.7867681980133057","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":"Q5154787$246D5110-5B80-48F9-AF8C-450008E5095C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be277dcd1da5b6dbb50ee82ef5436bfe74a91d4b","datavalue":{"value":{"entity-type":"item","numeric-id":1816738,"id":"Q1816738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89346ab39bda7b8d0a7095328f319477de77a126","datavalue":{"value":{"amount":"+0.7796642184257507","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":"Q5154787$953639A8-2260-425E-B050-49368D70BF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4238826410b7a8abcdf4d6a3eaf1797da92c601","datavalue":{"value":{"entity-type":"item","numeric-id":896123,"id":"Q896123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbbfdf7b7329fac9889a49ceb6e06a014b263620","datavalue":{"value":{"amount":"+0.7771454453468323","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":"Q5154787$806BB859-ED06-42C6-B538-C4390DD5D1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4de9add70b68fb60f7e80ca8df114037746a04e","datavalue":{"value":{"entity-type":"item","numeric-id":1390867,"id":"Q1390867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04612f0ceb1dd2cd17021cff73b082ae57b4b3d0","datavalue":{"value":{"amount":"+0.7752593755722046","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":"Q5154787$B8744A17-9231-42BA-B67C-ECE1CD951F1B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5154787$0FA51664-639E-4250-9077-ADA7D29566A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An incompressibility theorem for automatic complexity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_incompressibility_theorem_for_automatic_complexity"}}}}}