{"entities":{"Q5086506":{"pageid":7116082,"ns":120,"title":"Item:Q5086506","lastrevid":100150730,"modified":"2026-06-05T21:30:38Z","type":"item","id":"Q5086506","labels":{"en":{"language":"en","value":"The recognition complexity of decidable theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7553653"}},"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":"Q5086506$3C87242C-C52F-4CAE-95DA-DD846050AA99","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8542ba2be21b59036e64d72d4542f0052af1f0ea","datavalue":{"value":{"text":"THE RECOGNITION COMPLEXITY OF DECIDABLE THEORIES","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5086506$69D34510-40E6-49AB-A34F-114E1485D40B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e95b89d50f7fc99555b0939e434564d63c88743","datavalue":{"value":"1499.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5086506$962C2C9E-8CC5-4B04-8FB0-FE1651E99F23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42991c2b4cdcbef934d18a7ea4d307042c9018cd","datavalue":{"value":"10.32523/2077-9879-2022-13-1-44-68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5086506$33792019-408B-44A4-B6D0-2D34A38D9F6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7251e8a05044d792e639ae203139790f0611e466","datavalue":{"value":{"entity-type":"item","numeric-id":694244,"id":"Q694244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5086506$55906A3C-1128-4AB1-9809-4872A2623F0E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7835ae866d9b188a793724b9947f789dc816a62a","datavalue":{"value":{"entity-type":"item","numeric-id":4963446,"id":"Q4963446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5086506$642A9394-140B-47DD-839F-F8F0C579ECBA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"602971bd841fb167db0bb525fe3dedcfa9788b03","datavalue":{"value":{"time":"+2022-07-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":"Q5086506$7DE4472A-E610-4A32-8571-C3EB23A964A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ddb6d14aefd4356ba0158d29f80142752f255ceb","datavalue":{"value":"http://mathnet.ru/eng/emj431","type":"string"},"datatype":"url"},"type":"statement","id":"Q5086506$F183AA91-6F25-40EC-B36C-404BE535C489","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5086506$FDC5C7F1-D241-4475-A9ED-6D7967B47AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5086506$453E5C7E-AEA7-4D82-AC4D-509A60BCE4D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43f0e4a4a34aaab47f9e57f78bb5d2942506aab9","datavalue":{"value":"7553653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5086506$8EA3C566-2A0F-4D6F-9446-989686A24A16","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c8cdbff0edb918eb0c0aaf884494a1a0096db5","datavalue":{"value":"decidable theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5086506$5D19440D-E959-46E0-8DB7-044805AFEE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e62232b82579bc25d13592b542e6001eca67427","datavalue":{"value":"theory of equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5086506$E06EEF97-8724-40DC-BDC9-CC63F2C15FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3e3e908bbefe7a51e42acfc81456db16c104d10","datavalue":{"value":"coding of computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5086506$FA9E12D6-70C5-466E-822D-B1FC862823F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a862f016acc1e519aa7b6644887bfca464692961","datavalue":{"value":"polynomial time","type":"string"},"datatype":"string"},"type":"statement","id":"Q5086506$F6D462FC-C205-498C-ACC3-AC834A594A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f48f92ff0b29adb938dd74e93c94c7ffbb091bf4","datavalue":{"value":"polynomial space","type":"string"},"datatype":"string"},"type":"statement","id":"Q5086506$88CC3D56-3362-4562-8921-39C79A3D6124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7166e1447148c39dbb83a6eda825bacb69a5636a","datavalue":{"value":"lower complexity bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q5086506$50375A40-0EE9-4220-9088-6D7614227D13","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":"Q5086506$F45D27F9-4D2A-424B-8E91-4F5CCBAAEF79","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e379e632ef271710862477cdabc5f1a222fb1bd4","datavalue":{"value":"W4288283913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5086506$18828FC3-F5B9-4618-8B47-38D541380F86","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5086506$9004B6EB-D82A-4B8A-87E0-3BF53E7474E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8653d2e6f53b17cedec7b9470bcf88609d4f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5320667,"id":"Q5320667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5086506$66105F56-CA59-4DD6-A009-DADC66A24147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e043617528906fc30761111b82c967ed23c36e7","datavalue":{"value":{"entity-type":"item","numeric-id":1065930,"id":"Q1065930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5086506$7B102738-7576-4C68-A839-EF69A70BEE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a419dd7ff0f3d465e478a0d405d767ee1f50956e","datavalue":{"value":{"entity-type":"item","numeric-id":917543,"id":"Q917543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5086506$CF3D4591-731A-4944-81EC-C584759AE136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5086506$6F09ACAF-47E1-4482-91FF-698072311CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b866bba96ae151ad3a477a3bb46c2f09c1a0b68","datavalue":{"value":{"entity-type":"item","numeric-id":5596785,"id":"Q5596785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5086506$BD84157E-9F3E-4C93-A626-2CAEB0870842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca8ae3740fcfb5a7e9f346758fcdd72ac5497a7","datavalue":{"value":{"entity-type":"item","numeric-id":4082296,"id":"Q4082296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5086506$8FF42E66-77FC-4C24-94EF-98D2AFC7B54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d246114b8f349e1c103f514a1c6159f4a3cd77a","datavalue":{"value":{"entity-type":"item","numeric-id":3880807,"id":"Q3880807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5086506$9FBC05DF-CCE0-4800-A02F-363498E87E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5086506$AC6B0365-AFC7-410D-88E3-3813D64A22AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76633bb794c4f95a559ee4cd6f0b4ea06060a678","datavalue":{"value":{"entity-type":"item","numeric-id":5151328,"id":"Q5151328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5086506$887A9DDD-1792-4A7B-9963-25AA3094040F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40223f75b760c27e0aee163256793a257eec015b","datavalue":{"value":{"entity-type":"item","numeric-id":3148496,"id":"Q3148496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5086506$E55F4407-6B05-46A1-A376-A5C68973A776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ee5e3ccb9df347fdb38d61109351ad2ffac26d","datavalue":{"value":{"entity-type":"item","numeric-id":5596230,"id":"Q5596230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5086506$93F0A790-08F5-4171-AEA2-7998FC69BF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"407f868eb574c44d2fac9b0303f65633374ad88b","datavalue":{"value":{"entity-type":"item","numeric-id":5006707,"id":"Q5006707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5086506$779F50AB-8485-4865-ADF8-3CC96B87F085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ba6ef532c0568e9477b6df6970d5d0da053152","datavalue":{"value":{"entity-type":"item","numeric-id":4133967,"id":"Q4133967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5086506$90A2D217-4D32-4315-A8CA-6740E50FF4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f9514a16855598dd4702afb3968f95cf10303f8","datavalue":{"value":{"entity-type":"item","numeric-id":4134970,"id":"Q4134970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5086506$1E4605F6-99D1-494C-A313-15EDED823225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5086506$C2CA0534-4850-4CBC-BB99-DD15991F0151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15c636795327eda0f1faac3f021d18f211b64d11","datavalue":{"value":{"entity-type":"item","numeric-id":598194,"id":"Q598194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5086506$2BD99C7A-6195-42A6-A197-08B881B7BA51","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a144ad03308a7814429e59c5ca70cd6dfae7a77","datavalue":{"value":{"entity-type":"item","numeric-id":694245,"id":"Q694245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d2b6c6a3d31ab0e0be2a44c30360eb5dbdf4ef0","datavalue":{"value":{"amount":"+0.7795617580413818","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":"Q5086506$6711E333-D52D-4471-B1CD-AC3AD83696B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc4ef181e5eb0842c7aab3fa9fd3478341a09c7b","datavalue":{"value":{"entity-type":"item","numeric-id":810009,"id":"Q810009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f32d2002ca87cc3624b2c18decafaf99aaef14e0","datavalue":{"value":{"amount":"+0.7747921943664551","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":"Q5086506$4910AEF9-6BA7-4DC1-AEA4-36DD90B2E119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40cb8eba735a0e2232700be445ac5f50db73f7b4","datavalue":{"value":{"entity-type":"item","numeric-id":5315662,"id":"Q5315662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9a34cbc2083912c7baf8efa19644b15f9449c3b","datavalue":{"value":{"amount":"+0.7706946134567261","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":"Q5086506$EC268D2F-FAD2-4FA1-B0DB-72A6ED4DBCED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e2ce5cd085b9767c537f736f568f17ee33d2d1c","datavalue":{"value":{"entity-type":"item","numeric-id":1088647,"id":"Q1088647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3059daeedeeab4e84d2dcd3e4da7f2d62f550164","datavalue":{"value":{"amount":"+0.747021496295929","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":"Q5086506$14C2604B-B7DA-4421-973E-F96B49E0B38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80cbfbd8ece2abf50fee7ac953c3e38d1a441736","datavalue":{"value":{"entity-type":"item","numeric-id":598194,"id":"Q598194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f9497cb31d629ab40e2c66ad25d05ee901d6da0","datavalue":{"value":{"amount":"+0.7424929141998291","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":"Q5086506$5D2FDD95-818F-4C5B-8DF3-973D5D23B697","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The recognition complexity of decidable theories","badges":[]}}}}}