{"entities":{"Q2828213":{"pageid":2838951,"ns":120,"title":"Item:Q2828213","lastrevid":83387621,"modified":"2026-05-07T07:29:35Z","type":"item","id":"Q2828213","labels":{"en":{"language":"en","value":"On approximate decidability of minimal programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6642911"}},"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":"Q2828213$CD21A8BA-706C-4341-9F93-265BBBB70D4C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"49c25886683755ade0825670d0f3a82717767a9a","datavalue":{"value":"1347.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828213$FDC7E444-4574-41BE-886E-32C5F473B894","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0fca2936d5a2e21316c39ea538491fce0abc44c","datavalue":{"value":"10.1145/2799561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828213$4E285436-8A71-4E39-AD71-B3E14A2A2E03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d33e72c15639eebdd6008918802154b667d8c006","datavalue":{"value":{"entity-type":"item","numeric-id":342725,"id":"Q342725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828213$F115868D-0081-4756-B7E2-D37B3667B561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d750fc05251a9f31c6a44ffc6c9d2225a4eea35b","datavalue":{"value":{"entity-type":"item","numeric-id":290243,"id":"Q290243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828213$00A9422C-20C3-45D8-A6DA-8F04A3D7E3ED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64bbaa3c401dec878328d8d72c14b0373fd9aac2","datavalue":{"value":{"entity-type":"item","numeric-id":92716,"id":"Q92716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828213$9F7AA49B-ED48-45CE-88FE-68CE515B749D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a707999eca047eb3f3f8c2c26743b59dad9c97f","datavalue":{"value":{"time":"+2016-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2828213$55DE5B6E-5E6B-458C-BCF0-F2522899057E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f96a6769ff8a2e0d9fe83afa38f8047eb0ce618","datavalue":{"value":"https://arxiv.org/abs/1409.0496","type":"string"},"datatype":"url"},"type":"statement","id":"Q2828213$43B7998E-3A14-4439-A9EB-ABF90AB1AFCE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828213$6B280CF9-1A15-4350-A88A-4472DBB1CBE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828213$EE83A152-68DC-4091-BB2D-4894A390FD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e243fd7c22ca7737465c92434b0b01e09fe89c42","datavalue":{"value":"68Q30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828213$39F6A88A-A742-4222-BD65-15E17360C2B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"712b172439b51eae7285281ffcf007b306a69561","datavalue":{"value":"6642911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828213$A5B39262-8B21-460F-BE8E-81E6209628B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0177ef03ec6c0bafc2fc0a879fa3a3b75f0cf27","datavalue":{"value":"frequency computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828213$2DB46CD1-F101-428B-A378-D26BCE161AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e343c0d066d632a0b869d2dadad72cc8a3999e1","datavalue":{"value":"Kolmogorov complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828213$F02CC0D2-B21A-4FF8-BCBE-1D0F28EACDB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55efc1d713f3cd70a181a17bd1c990061f9f7ef9","datavalue":{"value":"list approximations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828213$A7945AFE-A0B8-4AAD-9DC1-965215A3152A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"666551f41133f21dc92d7b76fa3b8aa3101dc61a","datavalue":{"value":"minimal indices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828213$4E98A518-603C-4916-8E83-24814C3EFD66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3526162f6d47b1560413135243d85dec57823e1","datavalue":{"value":"numberings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828213$A5337CB8-D4DB-4726-9B8E-0F3A5CDE13C0","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":"Q2828213$778CF608-6ACA-4E8F-B91B-018AA00336A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8eb92172af061242862879fb96efd23c6a2ee5fe","datavalue":{"value":"W1892482121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828213$D8E0E96D-7A8F-4321-9E6A-26B77C06C9EC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d75ce64cc7c4ea6b8fc35391b63e8a4ff4278e","datavalue":{"value":{"entity-type":"item","numeric-id":1745959,"id":"Q1745959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828213$BD284550-216B-4DF7-B4A5-EF2FC390F251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"333d1fc98d85ac4fd60e2356b4d5eef1fec9a308","datavalue":{"value":{"entity-type":"item","numeric-id":5480623,"id":"Q5480623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828213$AAD3041C-4357-4B29-88BC-146F11EC91D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0596e5c599613b80ada37fb1d40e1b8f50bde8d","datavalue":{"value":{"entity-type":"item","numeric-id":5549809,"id":"Q5549809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828213$962DEA78-E5FF-4E30-86B5-CB65AD429943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbb4345013f8ef2397bf199269ba5db1a54ffffb","datavalue":{"value":{"entity-type":"item","numeric-id":3260571,"id":"Q3260571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828213$3F60EBEC-4079-4040-B48E-7F746471D8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc558d4c5a2ad2a11e33366f2c843b022cc0fe8e","datavalue":{"value":{"entity-type":"item","numeric-id":716308,"id":"Q716308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828213$07593E15-76C9-48F6-A451-545C9B7B2E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fac227b6bc4f3592a1da4907b9854616843ae07","datavalue":{"value":{"entity-type":"item","numeric-id":2410366,"id":"Q2410366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828213$40A48911-0F83-414F-AA4D-A71592C317A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f73d46922dfe7815de83db4cb9c2c09d3caa71b1","datavalue":{"value":{"entity-type":"item","numeric-id":913786,"id":"Q913786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828213$2CEA0B07-965A-4077-95C3-E609E62F3287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad1299f57f214c4c9659c7db19e25c6d0461799","datavalue":{"value":{"entity-type":"item","numeric-id":5900062,"id":"Q5900062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828213$CE938953-C507-400C-80FF-FF945CAA200D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cc858e204245d49f72b64a4aeb12c67d57861e0","datavalue":{"value":{"entity-type":"item","numeric-id":4055150,"id":"Q4055150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828213$86989E59-5895-4FB7-BE90-0C07CAFBDF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5cf8fa535605290547950c58b065116b31c50c3","datavalue":{"value":{"entity-type":"item","numeric-id":1188502,"id":"Q1188502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828213$4082D4CC-D052-448A-9BD3-111E348673F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c39b32a5c80667d0b220938d4be50fcdc7cae40","datavalue":{"value":{"entity-type":"item","numeric-id":1127831,"id":"Q1127831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828213$8777298C-CAEC-4AE3-B0AD-B81505F67D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23a4f6786c5bead465f4b02cdc2afb283f993a38","datavalue":{"value":{"entity-type":"item","numeric-id":2904462,"id":"Q2904462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828213$AC316C45-4742-4526-B7DF-DD3C90DD0C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edcfc8f162dce621803913f4363a765362e71d8","datavalue":{"value":{"entity-type":"item","numeric-id":3819052,"id":"Q3819052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828213$92C59AE8-2D77-4AC7-BE93-6DA10CC9F053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f06c8bfeb472d70e261bcd9f6972a2b537924104","datavalue":{"value":{"entity-type":"item","numeric-id":929628,"id":"Q929628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828213$57D284A8-5CF7-4BA9-9AA2-5A6B68D2866B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ac31f8b73098cd91820e6fb502ee3b29fe33f2f","datavalue":{"value":{"entity-type":"item","numeric-id":5388731,"id":"Q5388731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828213$0BD99E07-FB0C-41E8-951F-0B1A2E3C6E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a9e2bef4fdbd225bb9be5b208982286cb515e8a","datavalue":{"value":{"entity-type":"item","numeric-id":2382278,"id":"Q2382278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828213$99A838ED-4DEE-4AB2-B852-4138748B9C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8809cccdd60fae356088befd796ab44810d0815a","datavalue":{"value":{"entity-type":"item","numeric-id":475336,"id":"Q475336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828213$7B5799EC-A4A1-4F00-A178-7D4A9DA4C9EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ece46389321ac409e777a76aa257fd9153355710","datavalue":{"value":{"entity-type":"item","numeric-id":2828213,"id":"Q2828213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828213$24C69AD1-2656-42EF-8765-6081E749497E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1613a6ff5ac7b010de5ba58e55ebd9cdec3d5273","datavalue":{"value":{"entity-type":"item","numeric-id":5765445,"id":"Q5765445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828213$40CCA414-08FF-4F5D-A2B9-D377EA51F61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14cbf17ee5775146f7b1633147cd171603847b76","datavalue":{"value":{"entity-type":"item","numeric-id":3576086,"id":"Q3576086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828213$4627CAAB-AF06-473A-9240-3674AD623CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ab8deacc328a7fdeb93a8a914bc889897ff6114","datavalue":{"value":{"entity-type":"item","numeric-id":5175915,"id":"Q5175915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828213$15BCA15E-E174-4A7C-9F7B-1B57167389F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55cfc0ff9590d7beb1ccb038cddeb12787b6740f","datavalue":{"value":{"entity-type":"item","numeric-id":5626617,"id":"Q5626617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828213$260E015A-743E-40F0-92BA-F7A450494500","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c15f048f80e49fbf8798f39d2928b8aba259c7c1","datavalue":{"value":{"text":"On approximate decidability of minimal programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2828213$DBB4D24A-B1E5-45AE-B64D-E223E58129A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dd69164ebb4575a1f18c613a6ac63c3f6ef3b53","datavalue":{"value":{"entity-type":"item","numeric-id":1127831,"id":"Q1127831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b4452e4a6e73b9d0eba5c706ae72c2815551bb6","datavalue":{"value":{"amount":"+0.7953546643257141","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":"Q2828213$329B7337-37C9-4998-AAB1-E60B2B683898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f19b8355aa37c2a191f70f9d82131a401ec7ac1","datavalue":{"value":{"entity-type":"item","numeric-id":3576059,"id":"Q3576059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b4452e4a6e73b9d0eba5c706ae72c2815551bb6","datavalue":{"value":{"amount":"+0.7953546643257141","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":"Q2828213$4A291895-0BE5-4305-AED6-8105B9528BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00e36d8bf07d8624d1090bbdc68c6b6ed937bdb4","datavalue":{"value":{"entity-type":"item","numeric-id":2382278,"id":"Q2382278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"996bb71eec67324a97f2b9324b31068b4154310b","datavalue":{"value":{"amount":"+0.786693274974823","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":"Q2828213$93AA3BDA-735A-47F7-BB26-11FBCFFB7DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42424a711e8301d6c7d59e8bf9ee19837446d130","datavalue":{"value":{"entity-type":"item","numeric-id":5572336,"id":"Q5572336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b40d08c2fea00051983ea1e5c7022aefee78c11e","datavalue":{"value":{"amount":"+0.7580286264419556","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":"Q2828213$589B547C-589E-4E2A-AF47-16AB32FB6634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6246314f2e9f0a0a909315a04a5341a0d46b8c91","datavalue":{"value":{"entity-type":"item","numeric-id":3679164,"id":"Q3679164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83616d0e6040c50fbeaea379f2279dc3ab34e7e5","datavalue":{"value":{"amount":"+0.7492252588272095","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":"Q2828213$4B0E56EF-EC47-45EC-9BDC-240B9CAEC0B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On approximate decidability of minimal programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_approximate_decidability_of_minimal_programs"}}}}}