{"entities":{"Q4673357":{"pageid":6702938,"ns":120,"title":"Item:Q4673357","lastrevid":48473572,"modified":"2026-01-04T22:37:51Z","type":"item","id":"Q4673357","labels":{"en":{"language":"en","value":"An Extension of Muchnik's Theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2162958"}},"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":"Q4673357$178177DC-AFAD-4466-B8BE-F0783F4097F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49dd69c476cde02f686121240164b94f5b1bc9e2","datavalue":{"value":{"text":"An Extension of Muchnik's Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4673357$945040CC-5CF1-47A7-825E-0B8A5ACF434C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57d9de33bf6bbd583cff3e4ada61b4d853d84a03","datavalue":{"value":"1067.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4673357$821F08B8-8A7B-4B00-A401-66B9E686B1D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f26358bd283f1431ccbb150a944f50fa9cf84f8","datavalue":{"value":{"entity-type":"item","numeric-id":420849,"id":"Q420849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4673357$A2E1A1C1-E117-4613-AE72-545051258125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5e3d022de394d7241ddffa43602fc112cf57e9e","datavalue":{"value":{"entity-type":"item","numeric-id":266261,"id":"Q266261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4673357$8D83A60D-1FA6-4885-A8A3-21B37FBD2006","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cfdd76c6ace7e0d57b8524faf2ffe47b441fd852","datavalue":{"value":{"time":"+2005-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4673357$3D4338D8-3A79-4F6E-9662-7AA1147F6F39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4673357$477E5391-F204-4311-8F50-87C5FA7AA935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4673357$CF4FA99C-A082-456F-B23E-79A4D2417D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4673357$29BE3C8F-127E-4110-9526-F33D3C0D668B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8935fc026d9f365efd46a9a4bc0f6512d3d5067","datavalue":{"value":"2162958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4673357$7C6C3472-0D92-4A5C-A2E0-F7CF442E0E74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4673357$C2F942E3-70B2-4250-89C2-792442B39F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fbf6fde343eef0c89797fb2c3d996e64b6d1d46","datavalue":{"value":"Muchnik's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4673357$62A3DE11-AB27-4ED0-B0E7-BC230E226DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c5a8a640f13c9206aede91c0e92bbe5de1314c5","datavalue":{"value":"finite automata on infinite labelled trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4673357$06808029-68D4-4AC6-A1BA-C1FA391D4058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95e388782ac2fc469e47f124b9760028703ad7ef","datavalue":{"value":"fixed point logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4673357$1E6D85D5-5E3C-4DB4-9C9F-5A72080B949C","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":"Q4673357$BE5552DF-1F2B-4943-AFDF-88421669D9C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c804ebdb61c0b6f05a50329ffc605f68b39c123","datavalue":{"value":"https://doi.org/10.1093/logcom/exh037","type":"string"},"datatype":"url"},"type":"statement","id":"Q4673357$195A5F34-28D6-4715-BE81-777D37EB8ADE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33a7a450e847f8b5669875593b0c6bb2d4d9032d","datavalue":{"value":"W1892007010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4673357$0C36CBF8-1F1E-4312-BB9D-E12F8D5065BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98b5bc28e72b9fdec4c4730d0f4de5e7eeb216dd","datavalue":{"value":"10.1093/LOGCOM/EXH037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4673357$D9D5AC2F-355C-4669-99ED-4B8EE4B73C3C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4673357$7B07A673-26F3-40B6-B255-D2BDEECDD0A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0b46910b25a14cefda9f1e1043678542847f150","datavalue":{"value":{"entity-type":"item","numeric-id":4412839,"id":"Q4412839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1910974a3c9a406b6b317c24b7b88a53b7e2fdc3","datavalue":{"value":{"amount":"+0.8260983824729919","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":"Q4673357$87454418-E026-41E9-AE00-A40D761D486E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2896f30c6c53c18958b74ad1d06c1723987037","datavalue":{"value":{"entity-type":"item","numeric-id":5167825,"id":"Q5167825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69e3d56b806337414d04f19a65a71d418f41f33b","datavalue":{"value":{"amount":"+0.8259694576263428","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":"Q4673357$3D77A0A8-6476-486A-8E1E-3376E8B16343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3d1d69a103cdc5acbc0913de49dea271881f3c0","datavalue":{"value":{"entity-type":"item","numeric-id":1606130,"id":"Q1606130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e33ddb63117b1de566c606f5c4f5fdf1e7ee15b","datavalue":{"value":{"amount":"+0.7994372844696045","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":"Q4673357$99F8B18A-E5D8-4F35-A655-F514879BCC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"911f5586efcefddc5e7a7651b547e47916b65011","datavalue":{"value":{"entity-type":"item","numeric-id":1853504,"id":"Q1853504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16775111e4c9e9d28900c4791c19e000cd461a8c","datavalue":{"value":{"amount":"+0.7968907952308655","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":"Q4673357$6884FC5B-5C95-4294-AE8B-CF62855C1197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6415dedb7ef0641ff9cdad256f3ffbe043d58b93","datavalue":{"value":{"entity-type":"item","numeric-id":4593948,"id":"Q4593948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0902c841a75859ecff7fcab5e1d8493f41ad78dd","datavalue":{"value":{"amount":"+0.7902126908302307","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":"Q4673357$384FC411-54AB-485B-BB25-A5F6F6D3FD3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4673357","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4673357"}}}}}