{"entities":{"Q1885035":{"pageid":1895777,"ns":120,"title":"Item:Q1885035","lastrevid":69187536,"modified":"2026-04-13T05:20:59Z","type":"item","id":"Q1885035","labels":{"en":{"language":"en","value":"Arithmetical definability and computational complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2111107"}},"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":"Q1885035$79C3576A-DA90-4040-8D99-144EA9FCB36B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49e2db8c89e7a8ac8760a28c3a277757657c8272","datavalue":{"value":{"text":"Arithmetical definability and computational complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1885035$E0234C80-45F1-4DCC-808A-E2BB8A2EF088","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3a52bc455aa2b606a0097d11e67b87f5039b04e","datavalue":{"value":"1070.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1885035$C3CA3641-BC94-46B4-912F-25F8447E589A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcffa176a68a482e06dc85548e12f05ccaf3ce25","datavalue":{"value":{"entity-type":"item","numeric-id":1401412,"id":"Q1401412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1885035$04CF1EFA-D9A1-46B7-8D1A-322A5FA9CABA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1885035$BF50E977-A9F8-43FF-8C44-657364D75158","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7e0e3052327d95a916620b2fc1dace533c4c66d","datavalue":{"value":{"time":"+2004-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1885035$03F10B32-BE37-4432-AB56-61B2A768D650","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1885035$BC9FED80-0145-4103-9B42-76CDD2F61936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1885035$E674F716-FD5D-4A97-917D-AF8D86A5FBF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1885035$B63D1814-02BC-44B5-B80B-4316B6D50BD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6fd564a4de188557b4cb1883c7bb07d669533b2a","datavalue":{"value":"2111107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1885035$BB547EDD-473A-4CD0-B5D9-C399EAD90FBB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f5939a03730f2cd62af91dad3a0718a27a1882","datavalue":{"value":"Descriptive complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1885035$A84CA967-D221-49C1-AF5A-EB96B188E119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f72ab3d9b9b3b89043873724b99feee3452c364","datavalue":{"value":"Bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1885035$A1580C0D-DF26-412D-9E3B-4962C68689BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ede6642efdad218780d81cb356181733e0ac990","datavalue":{"value":"Logic and complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1885035$8749C79C-8111-4D94-AE9A-F3D03E68BADF","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":"Q1885035$6F1AFA5C-8D4A-4A50-8DAB-C7BC9DDB6E5C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a5ff3adf0c5a51eeb5b58ec59bc6655bc186724","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.03.027","type":"string"},"datatype":"url"},"type":"statement","id":"Q1885035$A5AE6ADA-0423-4BDA-8DF6-D7F62CAEB5DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6efff2a79b7c17dd9999856193b3145371012c4","datavalue":{"value":"W2171255643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1885035$361AF04F-4F9A-4F3A-A348-2496A51371A5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5592afdbc278531a8faff3dfe5516c2b3be670a","datavalue":{"value":{"entity-type":"item","numeric-id":2640342,"id":"Q2640342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1885035$0E436F25-7C47-4E7D-8782-773A068AEFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4555c0d89e243a8a9351cedc1b4ffbfceace09","datavalue":{"value":{"entity-type":"item","numeric-id":5691140,"id":"Q5691140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1885035$3CC87D4C-3248-4F11-BB20-E3F69D7E6DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1885035$C3204704-D327-4327-A8CB-AB2BE82B3AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a628cb64400cb3daffe7c8b3b6a4710e9daa6946","datavalue":{"value":{"entity-type":"item","numeric-id":3800030,"id":"Q3800030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1885035$5B7F9095-99E3-4E22-89A5-251EF45738C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d2c32b298b09103f7cc9eabedf752dc67f406d3","datavalue":{"value":{"entity-type":"item","numeric-id":4850061,"id":"Q4850061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1885035$F4C9521F-1EC9-4FF0-9628-C3B98FF87EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef6d200e493964b07f6f93eda4c1ae61358d7d05","datavalue":{"value":{"entity-type":"item","numeric-id":3848195,"id":"Q3848195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1885035$65894255-002A-45E0-84BF-9E4E8C921031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee0b71641686f33b59d72da19c9c8ff72c9192c3","datavalue":{"value":{"entity-type":"item","numeric-id":1127532,"id":"Q1127532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1885035$3DC4F996-BCF6-4F8E-9988-D0C9B94C4534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0033bc33eb314957324991df34507e05f434d84c","datavalue":{"value":{"entity-type":"item","numeric-id":4068694,"id":"Q4068694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1885035$E4900DA5-8209-4638-BB63-85D38ACAB7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c00fbad8fe3c3a491e1de8dee37fc723a673f69a","datavalue":{"value":{"entity-type":"item","numeric-id":1193408,"id":"Q1193408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1885035$41E979DD-1E9F-40A9-830A-185911F76D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bca0d377b698e0f9d5262b0dea04cff249d48c72","datavalue":{"value":{"entity-type":"item","numeric-id":1401413,"id":"Q1401413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1885035$367CBFD9-35D6-47CF-9049-1514EBC41D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1885035$1C70563A-F432-456C-A90B-D42E493C8233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ca7a1acbb96c14c8f84c4ce6e6462daf757716","datavalue":{"value":{"entity-type":"item","numeric-id":3773337,"id":"Q3773337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1885035$D58AE21A-AD9D-4E92-B512-FF2D6B9AAB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df698818c0dd57be3b2281fd72be32288a321373","datavalue":{"value":{"entity-type":"item","numeric-id":4227581,"id":"Q4227581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1885035$C70AE70B-C490-4791-98BF-BE210F0FAC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d9257bacf9dc83d7699c2f8365feb77fa5cc2c","datavalue":{"value":{"entity-type":"item","numeric-id":1171050,"id":"Q1171050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1885035$F187F016-75C7-4F09-B17F-8D59CFA54B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce1c0bbddddc86b3bb453c99ebb7b85773f6268c","datavalue":{"value":{"entity-type":"item","numeric-id":790804,"id":"Q790804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1885035$DCC669CF-1E02-49E6-8B5B-56EFCABE868F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a5f8c38dc9aa69650033303ed3bcc47054a76a","datavalue":{"value":{"entity-type":"item","numeric-id":3942945,"id":"Q3942945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1885035$CDF43138-C72E-4F74-884D-81CE33AF48F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03061dacfe27dff1f2363d715596f874882e04f8","datavalue":{"value":{"entity-type":"item","numeric-id":4351932,"id":"Q4351932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1885035$53D225C5-20A4-48A9-A356-2AE9A0A61D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1885035$376E9E29-BABC-402A-BCE5-EC47502ED7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"303aff42bba7cac20f2c31129d466b8c70f1731e","datavalue":{"value":{"entity-type":"item","numeric-id":3276696,"id":"Q3276696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1885035$F0FD2C10-6BAB-475B-AAFF-78E0EA06F980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1885035$986FCE1B-B7C7-4984-BED4-67A61A921E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de8b81e2793dbcd71ed24f46356ddc3072a6981c","datavalue":{"value":{"entity-type":"item","numeric-id":5723184,"id":"Q5723184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1885035$92D9AB0A-5603-4ACD-B153-5A083F530BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cce85947fd71c4f5850f59f036a4dd761cfae66","datavalue":{"value":{"entity-type":"item","numeric-id":4154070,"id":"Q4154070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1885035$A7B93A4A-A890-4479-BE36-C1387EBB5EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0c45ca7e85b7fc779ac39c5df64bc8fcd404d7c","datavalue":{"value":{"entity-type":"item","numeric-id":5687325,"id":"Q5687325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1885035$FA04E428-282C-4616-AE3E-2A9986AD6132","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9720221dc7bf133ca1ed760c35f2101ae734392","datavalue":{"value":"10.1016/J.TCS.2004.03.027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1885035$D89FBDD5-639B-45DA-B05A-522CC77DAD1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95954fe8eb47a1c76fbcb1f9db280d14948db56d","datavalue":{"value":{"entity-type":"item","numeric-id":2753676,"id":"Q2753676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe05df4bf6d2ec71aec4c4333209d8c9593db8af","datavalue":{"value":{"amount":"+0.8109542727470398","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":"Q1885035$6311BA1F-6B76-4E0C-9686-00CB06F9F031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d62f170ea73483ba5b0b42f50c8c94b6900b2fe1","datavalue":{"value":{"entity-type":"item","numeric-id":1123616,"id":"Q1123616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a99d9bc9d83084b0fa793e9b77d603c03423b5d","datavalue":{"value":{"amount":"+0.7816974520683289","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":"Q1885035$0D36D6B2-DC72-4019-8D71-DB57DCAE7EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2452193748cc5ba266bc3360acefd5886e7992b","datavalue":{"value":{"entity-type":"item","numeric-id":1192345,"id":"Q1192345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b43c2577f0725331606966d1e419b9859e7015f","datavalue":{"value":{"amount":"+0.7605445384979248","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":"Q1885035$7B5CCDFF-19BB-4D24-8F00-CFBA8FE6ADCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f3fa8adcbd64268b609f2eb702f4514eb26a16e","datavalue":{"value":{"entity-type":"item","numeric-id":3638270,"id":"Q3638270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4abab5faa98451611215d6277f5a0945ef4d0d9","datavalue":{"value":{"amount":"+0.7544977068901062","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":"Q1885035$07D8CC7D-A745-4ED7-8F9F-17B0DF522C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25eaa9d75ec8a7847e2dd2867044402f08e24b8b","datavalue":{"value":{"entity-type":"item","numeric-id":4519749,"id":"Q4519749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b40f08a75a849cdc90538f3e9eee642f1caee18b","datavalue":{"value":{"amount":"+0.7542603015899658","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":"Q1885035$9F416CE2-9EEC-4CE6-ACB6-B9814C9D56D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Arithmetical definability and computational complexity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Arithmetical_definability_and_computational_complexity"}}}}}