{"entities":{"Q418114":{"pageid":419881,"ns":120,"title":"Item:Q418114","lastrevid":61693311,"modified":"2026-04-11T01:01:07Z","type":"item","id":"Q418114","labels":{"en":{"language":"en","value":"On Ladner's result for a class of real machines with restricted use of constants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6038283"}},"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":"Q418114$FF25BF28-4183-462C-9742-E63551C09520","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"714cf3a0084372ec0695a8c8a344d725e922b4a9","datavalue":{"value":{"text":"On Ladner's result for a class of real machines with restricted use of constants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q418114$B9996185-8D0E-4037-A17F-768786A513B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d49121c8c114a61d21bd0ffc99d7e24d13ad9e86","datavalue":{"value":"1280.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418114$D00D6F03-D0DE-401F-9750-0679B86A5F40","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0f0e89347b9bacde32a7aebf7857ddc737a00ee","datavalue":{"value":{"entity-type":"item","numeric-id":418113,"id":"Q418113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418114$C0B7C7D3-43AE-4522-B152-50CE1B93AB2A","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":"Q418114$37B41690-AE11-4B61-9EE7-9E4DA7606162","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dd357d987d60d499edfc98e682fe931160623b6","datavalue":{"value":{"time":"+2012-05-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":"Q418114$1A8252B3-362E-4626-8FB3-8DD3A5DFDA47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418114$B8796E53-0E7D-42C4-A1E7-054F15274523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418114$6CECFE95-B20A-4F39-B8E4-C111601A80AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e6e8d09565da0c61ef1738d760233e8977cacb8","datavalue":{"value":"6038283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418114$017BEEC8-0083-43B3-93CC-FE5FBE2DC6B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q418114$35537072-7C88-42A7-B483-6885657572DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f54130a5aa502af7907168f18f72d28d97046d7","datavalue":{"value":"real number model","type":"string"},"datatype":"string"},"type":"statement","id":"Q418114$887F1F44-7E9E-43F7-BC74-C1160D04A33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7317dad44a844eaeabbf9f7f5db58d2429dee13c","datavalue":{"value":"diagonal problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q418114$F061180C-6CF3-4F9C-9F60-AB447BD202C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"928765d6ea9fd9f98b74078370b0803c1f062bc7","datavalue":{"value":"Ladner's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q418114$57E11B4E-9949-4718-8255-CF29A85ABFF4","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":"Q418114$28DFE8B0-CF6D-4076-896F-1FB7BB46595C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db1efadde15c1b9c4156c7ee72570f4ed3e71139","datavalue":{"value":"https://doi.org/10.1016/j.ic.2011.11.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q418114$44BCDDBE-E030-4566-8817-DCDEECB8ED4F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b487279c524423c0824d1a3b668f7952474ebc4","datavalue":{"value":"W2077424813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418114$09CECD03-AF5A-4272-902E-A69CC0D104ED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e208556498fece0e266d65548581b476f30a2ff5","datavalue":{"value":{"entity-type":"item","numeric-id":1977151,"id":"Q1977151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418114$8551EF6A-C589-475D-9E4D-1E827D98C0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f1eeb051b31640d20b3c04ab21457e7436fcf4c","datavalue":{"value":{"entity-type":"item","numeric-id":4344505,"id":"Q4344505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418114$913FD6D6-544B-41CC-B04B-BD2DB48E1A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d2c5f7c71f2cdd73fc871f9523d6242f169eed","datavalue":{"value":{"entity-type":"item","numeric-id":4381389,"id":"Q4381389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418114$FC3129E6-8C5A-4532-90A3-8A40A6B36DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eee5496b60eaf080e3b75cf10642b8cddbed3614","datavalue":{"value":{"entity-type":"item","numeric-id":1022429,"id":"Q1022429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418114$36BF62D7-CB94-47D4-AD68-B38A538BB46D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"554696d65019f7e6240873e9f3d2a3cdaf18a493","datavalue":{"value":{"entity-type":"item","numeric-id":1304539,"id":"Q1304539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418114$1594860A-E553-4127-8BC3-47086EC0D969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4a03a5a69c6c67e7b3b5f1340096c8a6e97d62b","datavalue":{"value":{"entity-type":"item","numeric-id":1338212,"id":"Q1338212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418114$7F73ECB8-6A1B-413B-AA0A-123625B4FCBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a998553d04d92ec750c5db95c511cc38b8ab7659","datavalue":{"value":{"entity-type":"item","numeric-id":5315023,"id":"Q5315023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418114$19985B56-F7AA-4FBC-B7A4-1BCF3A9D1450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a2654c1ad3008ab65ddf962a999d4d8045dcdea","datavalue":{"value":{"entity-type":"item","numeric-id":4085242,"id":"Q4085242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418114$A2031954-CB54-4701-AB46-F3B705FA95F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3721cd1f16d0770865a42c8a7e8c65d9a43805ef","datavalue":{"value":{"entity-type":"item","numeric-id":4210134,"id":"Q4210134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418114$28142C39-C712-47BB-BD17-4F69BD99FB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f754bbe0107b70fc4a282e52903f2f3d00205d","datavalue":{"value":{"entity-type":"item","numeric-id":3576067,"id":"Q3576067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418114$89CF1BEB-EA57-44DC-94F2-E305B4B26B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bbea640fd97b8d27e4671b57882768ee9a36197","datavalue":{"value":{"entity-type":"item","numeric-id":1338220,"id":"Q1338220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418114$C53DCB56-6645-4587-8A6C-AAD1650247EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7b868c81c0450a31a0fb526a48f6bfd913c36af","datavalue":{"value":"10.1016/J.IC.2011.11.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418114$2A3E14A2-A70A-4741-BE95-CE7D9C404871","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b9180f81685a342a90b0781f6758db35975d7fa","datavalue":{"value":{"entity-type":"item","numeric-id":3576067,"id":"Q3576067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5668c1b1a835f6368c01e1e4d1debd85b565d92e","datavalue":{"value":{"amount":"+0.9985065460205078","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":"Q418114$4F0DA8A8-05A4-48BD-BAD9-6CDDF2E619A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4a469c2937d349e80ac1df2e5dd19ea8c21108d","datavalue":{"value":{"entity-type":"item","numeric-id":1280231,"id":"Q1280231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e9c9286e98789f7ed7ec31ed5c6023525d078c5","datavalue":{"value":{"amount":"+0.7674064040184021","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":"Q418114$BD50324D-931E-4AE6-B052-CF2DECE503EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a09123118bbc8106b9daedf269ec1bb358c96ee1","datavalue":{"value":{"entity-type":"item","numeric-id":1311387,"id":"Q1311387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e9c9286e98789f7ed7ec31ed5c6023525d078c5","datavalue":{"value":{"amount":"+0.7674064040184021","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":"Q418114$342CC6D2-7832-4687-9C89-772F77E9A397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bbafde70aefc85dd61283a333ac3822e14e89c7","datavalue":{"value":{"entity-type":"item","numeric-id":1338216,"id":"Q1338216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c2cd4a2aacf8bf407b31ae00ce595277a567e89","datavalue":{"value":{"amount":"+0.7623805999755859","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":"Q418114$9E1779EE-BA78-41C5-A17F-C6F0B9564922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c51330aa990a448a55846e6e61b10451fbf239cc","datavalue":{"value":{"entity-type":"item","numeric-id":5938579,"id":"Q5938579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c2cd4a2aacf8bf407b31ae00ce595277a567e89","datavalue":{"value":{"amount":"+0.7623805999755859","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":"Q418114$224642FA-67D9-4951-8EA4-3067A7A80BB2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Ladner's result for a class of real machines with restricted use of constants","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Ladner%27s_result_for_a_class_of_real_machines_with_restricted_use_of_constants"}}}}}