{"entities":{"Q917543":{"pageid":919391,"ns":120,"title":"Item:Q917543","lastrevid":65365833,"modified":"2026-04-12T02:05:24Z","type":"item","id":"Q917543","labels":{"en":{"language":"en","value":"A uniform method for proving lower bounds on the computational complexity of logical theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4156419"}},"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":"Q917543$CB7F03C6-B8A9-430D-8896-7F84FAFE9F80","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d7763d130ae2b728c55b36eac5bbae2e5614721","datavalue":{"value":{"text":"A uniform method for proving lower bounds on the computational complexity of logical theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q917543$7D015E64-21E1-43F2-B439-92B98395501D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"72a0dad1f11e2e4a303c4721e6d7ffeb69fdce22","datavalue":{"value":"0705.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917543$9114FF37-7BA7-4102-AB01-B6B17DBDA4C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68cf57b444e74ee8d27969eb66e876d529bd1a68","datavalue":{"value":"10.1016/0168-0072(90)90080-L","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917543$279C0355-1262-468E-B730-90D30A021057","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"46e384ba9e92c2d1801e5e36038afcb91974b185","datavalue":{"value":{"entity-type":"item","numeric-id":917542,"id":"Q917542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$692D5064-365C-4031-A2F0-7E5B076A8E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3837f4a30e17c9df56d92d42aa3d743a95173bc6","datavalue":{"value":{"entity-type":"item","numeric-id":584690,"id":"Q584690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$9A2EB87E-913A-4370-8250-7D12FE4D7A08","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$C6D537AD-7F84-4E9F-9766-C8521BBDE5C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q917543$05D149E9-F73E-4EAF-8378-23CF6452690E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2a7389a74302f0109b960f146dfcd37e98cfdd99","datavalue":{"value":"The paper presents a new method for obtaining lower bounds on the computational complexity of logical theories. The method is based on a family of new inseparability results for certain logical problems, related to the inseparability result of Trakhtenbrot and Vaught that no recursive set separates the logically valid sentences from those which are false in some finite model, as long as the underlying language has at least one non-unary relation symbol. The method yields hereditary lower bounds, i.e. bounds which apply uniformly to all subtheories of the theory. Another important benefit of this method is that it allows the use of interpretations to transfer lower bounds from one theory to another. In this way the need to code machine computations into the models of the studied theory is eliminated and the proofs for lower bounds are analogues to the methods for establishing NP-hardness via polynomial time reductions. The method is richly illustrated by providing new proofs (or sketches of proofs) of essentially all previously known lower bounds for theories. This beautiful paper provides an important technical and conceptual tool in the area of the computational complexity of logical theories. It is an invitation to investigate the many decidable theories for which no detailed complexity bounds have been found.","type":"string"},"datatype":"string"},"type":"statement","id":"Q917543$0D2758A3-D553-4802-BFF9-51DD0D0B779D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917543$F6AD249F-1572-4B46-9A8A-CFFB266D07A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41e5db82bdc96a9fc64aeafb402144df86f6cabf","datavalue":{"value":"4156419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917543$A2BCF286-52A0-424F-B065-13DE8133AE9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6043329ad856f56484b99bed5ce08117b88d7a01","datavalue":{"value":"lower bounds on the computational complexity of logical theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q917543$1C353142-B1FB-49FE-BF35-C5EEAA255113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f8f2895bce51b9a9b88568bc0d244babfef145d","datavalue":{"value":"inseparability","type":"string"},"datatype":"string"},"type":"statement","id":"Q917543$EB60C99E-E37E-45B0-A9A2-8B1E8BEE538A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2fc8522c6547fe483c0d1ae4eec1b8d9306e5db1","datavalue":{"value":{"entity-type":"item","numeric-id":290243,"id":"Q290243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$864CAB29-1F40-4006-9A49-7A95A5CE50E1","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":"Q917543$475C396F-73B9-4A6D-A4FE-09E24A914E09","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"38af94e85d3150b56596cccfd2f262da6745dec7","datavalue":{"value":{"entity-type":"item","numeric-id":2539067,"id":"Q2539067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$DE6257FE-64E6-47A6-AB6E-FA098F2022B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"894c17ae9205aa7beebd8d1d32dddc5738f66d47","datavalue":{"value":{"entity-type":"item","numeric-id":2547890,"id":"Q2547890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$D5D7257C-3D91-49AE-9D12-329F39BAD467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bccc04170b12cdfbc782f77a5d15185542badb7","datavalue":{"value":{"entity-type":"item","numeric-id":4143287,"id":"Q4143287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$D1303669-1400-4C57-BE5B-E0E04AD69A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45f59e89826bb6969829727a004fcf1f9feae4a0","datavalue":{"value":{"entity-type":"item","numeric-id":4093433,"id":"Q4093433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$FD21BE22-4384-4096-A865-A90641B129BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11d8058da791e8026c46f881c358c24ec3b7eae2","datavalue":{"value":{"entity-type":"item","numeric-id":3900015,"id":"Q3900015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$4FAF44ED-07DF-479D-B5E2-ED80DD45E767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b35afcacf487f7d4833dfa5c8ec078202260d5c","datavalue":{"value":{"entity-type":"item","numeric-id":1096620,"id":"Q1096620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$0702E8DB-7DFA-4453-BCA0-7F0E19614BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d74eec834971a75b92aae841b2c83f9c1a887997","datavalue":{"value":{"entity-type":"item","numeric-id":1159661,"id":"Q1159661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$5D2D742D-0FF4-4F8F-8485-58E3E3831732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ff29fc9ad9e25bd29bf653f6c7cf5c641d388c","datavalue":{"value":{"entity-type":"item","numeric-id":3220555,"id":"Q3220555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$A2641E0F-477D-4B1F-99AA-DCE63C08F50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d065da91e5e3a40ef4557883448cd3747d2cb2e","datavalue":{"value":{"entity-type":"item","numeric-id":3677732,"id":"Q3677732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$6DCFCD39-FF35-438F-8EEB-4A1023C044F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dfa0ae03f767b1bfea8bceb6a9502ac8739f687","datavalue":{"value":{"entity-type":"item","numeric-id":3722466,"id":"Q3722466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$91DC0C13-1D31-496E-91AE-319E7B3C407C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"742b9d4daf9ed51719dfcf5b2746041fa53d01df","datavalue":{"value":{"entity-type":"item","numeric-id":4163515,"id":"Q4163515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$329D74B5-BA25-4B42-A953-3B065D4EBD61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d1f99209118318c5224afcbafe9d76aa7f8425","datavalue":{"value":{"entity-type":"item","numeric-id":1155607,"id":"Q1155607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$32F90488-D008-4F51-B832-517CC16EC6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2feb053caa732f13b4a9204635e536fb1d84b52a","datavalue":{"value":{"entity-type":"item","numeric-id":2626083,"id":"Q2626083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$AC88107F-2CE6-49DF-9D47-0EBC2E8FB3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$A7118FCF-7CBD-4EAA-A8E5-D337C162E2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1ae87f998e8723a61caa08fb33050009923158d","datavalue":{"value":{"entity-type":"item","numeric-id":3901492,"id":"Q3901492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$2D23143D-602A-4A67-84B4-1981E55E3F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f823da39882c760e5cb7d4936cb8c91476279cc0","datavalue":{"value":{"entity-type":"item","numeric-id":1095135,"id":"Q1095135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$D27D96EB-D2A3-47B6-84A4-4CA9DA029567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6752fa22b6998e36c667b869db8453706ac63e7","datavalue":{"value":{"entity-type":"item","numeric-id":3922655,"id":"Q3922655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$1E9AE529-E476-4418-899A-779E7C7A4696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd835cd92b4ffb8a8dc9181c7068cd47877b025","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$8A64BB9E-4DAD-4917-BB39-194E07D2113B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f39f393be7e7693fa81a63ecee493915bc3f615c","datavalue":{"value":{"entity-type":"item","numeric-id":5596792,"id":"Q5596792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$F170A95C-2F20-423B-AE0C-382E07C43DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7bdb3abf522aac35fca1027d6526211c5b659c9","datavalue":{"value":{"entity-type":"item","numeric-id":5531082,"id":"Q5531082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$7E8322B1-634E-4E54-B719-FC6FE42845B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a0035cf4540a200f752e67616ee09960bd2d41","datavalue":{"value":{"entity-type":"item","numeric-id":3261418,"id":"Q3261418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$CBECD5B8-B5DE-4665-9AB1-1E79024E700A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29035f06020bdf6a821f5c6e4a2fac381017baf3","datavalue":{"value":{"entity-type":"item","numeric-id":1256445,"id":"Q1256445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$3D253585-FC25-4690-A7A1-6920DD23A90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$7D1E58E5-0ECF-4A76-9CC0-81D25D1C3DAE","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":"Q917543$C1E2BB7E-8B0A-488F-A2DF-5D54DB1E0702","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":"Q917543$20CA7BFC-4296-4431-BF7B-3EB590513BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d486f05a277412207934229365779d1ce63fb95","datavalue":{"value":{"entity-type":"item","numeric-id":1245823,"id":"Q1245823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$0FFEB9E6-70C8-401E-B04A-CCC88012DE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfc1e42883144705fb7eb08ad5b04cd023c2372c","datavalue":{"value":{"entity-type":"item","numeric-id":1163534,"id":"Q1163534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$5BA81116-D309-4BE9-BFE7-A67A57D145BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c552404d07226cd323e8cbefdc1f8b551f4f582","datavalue":{"value":{"entity-type":"item","numeric-id":3329449,"id":"Q3329449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$252BFCB2-3346-4545-AF93-F8309176587F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ef8e66aa90dfea81a83d36a53a90523adf29c22","datavalue":{"value":{"entity-type":"item","numeric-id":5567842,"id":"Q5567842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$4BF888A2-D49D-42E3-B19E-E72E81BD86EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2152d089e8bc395eda60d52092b293f6b7e60d9","datavalue":{"value":{"entity-type":"item","numeric-id":4145760,"id":"Q4145760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$90682896-D107-4029-AD81-FEDB0B9E9746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebba3e885116130e7991a5564fb3df1174ced129","datavalue":{"value":{"entity-type":"item","numeric-id":3661557,"id":"Q3661557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$0A0435EB-6235-4CE1-915C-6520FCA6F3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb40aa93777a7cd41d54dcf43b55867cf1b75c38","datavalue":{"value":{"entity-type":"item","numeric-id":5772619,"id":"Q5772619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$CC9C7730-8039-403C-A727-82E0CB188B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$7BA0A3C1-A36D-4F12-8A4C-EAAD04D8DD0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a675fab4321817783597d6a1b8160efcb24c4ec","datavalue":{"value":{"entity-type":"item","numeric-id":3753525,"id":"Q3753525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$A8F548EF-AEAB-4BD9-B12C-415746184096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ab109aff41e40d68910d72146e4e0627a15a5d2","datavalue":{"value":{"entity-type":"item","numeric-id":1066878,"id":"Q1066878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$E9EA8613-B5A6-48F9-BE03-EFD74D84D5C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd255ccc7de217c886be450c3033048e4f37916a","datavalue":{"value":{"entity-type":"item","numeric-id":4087166,"id":"Q4087166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$88694F55-8701-4652-AB96-4F09108DE012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a4d1b54f39385e475024bcf36a9244162838f1e","datavalue":{"value":{"entity-type":"item","numeric-id":1137036,"id":"Q1137036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$C18B171E-1547-435F-B387-F40164EB4DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e0d6bac7e0f80a9c926e55b88c47d94bede0e66","datavalue":{"value":{"entity-type":"item","numeric-id":2545168,"id":"Q2545168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$A7C6B9D5-7EAF-45DB-A731-476BC3302A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"426a0bd9295cad4f8cf98e97bc1dcda5a791b9e1","datavalue":{"value":{"entity-type":"item","numeric-id":1100188,"id":"Q1100188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$23608D34-6C99-4CAD-B2FB-6667A156A127","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":"Q917543$BA806546-9EEF-48AC-AFED-34A226EEC5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"917800fa52c098f2382f946c4094dc39e957bfbe","datavalue":{"value":{"entity-type":"item","numeric-id":4153600,"id":"Q4153600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$EC72B338-7E46-4BD3-A88F-70516596BF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf7f9ad5c2be87133f3c22ce0e2581c681b5fd00","datavalue":{"value":{"entity-type":"item","numeric-id":4078018,"id":"Q4078018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$ADD97F25-326E-405F-9D24-8A7A3DC59D47","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":"Q917543$91235140-F0F5-41A1-A769-C17CC1F38CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dd225cb7a1f1b5d01838e5961bac1df864370d","datavalue":{"value":{"entity-type":"item","numeric-id":5641083,"id":"Q5641083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$F2BC059A-D799-4A36-A4B6-A45090ECD617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa762974e3cb0286b2a40e5214b429aa00cb948","datavalue":{"value":{"entity-type":"item","numeric-id":1217684,"id":"Q1217684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$5893962E-A087-4674-A7E7-120DAF6FF933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3454f8662a7fe7c9fd08ef6ada4a7646ed13bf91","datavalue":{"value":{"entity-type":"item","numeric-id":3794166,"id":"Q3794166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$CFC3E2BE-2C9B-45C8-B7A0-7833CA4AB85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$D52F8588-E95A-4CD8-828D-AF4A0E5F241F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec8bfdce0e2be209e1504129e2523424539e5f96","datavalue":{"value":{"entity-type":"item","numeric-id":4163506,"id":"Q4163506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$B9F1C97E-0374-497E-A4DC-1BFB795D604B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27124d54cb51e845e43d7ecd27812d025e0950ff","datavalue":{"value":{"entity-type":"item","numeric-id":5402572,"id":"Q5402572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$320EC6FE-ABFC-4AB7-8D72-9FF06088A952","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":"Q917543$39EC0F83-2660-4570-9C62-80DACAF910BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea8a3a8b2a405687d4dc5946245f9151ba46692b","datavalue":{"value":{"entity-type":"item","numeric-id":5625310,"id":"Q5625310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$20B8CEE9-2892-4DC9-AF37-3EB59C35020A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79a0065b159ad972ad100e4e1ef867ed2bb7ae96","datavalue":{"value":{"entity-type":"item","numeric-id":5895878,"id":"Q5895878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$228F0599-6FBE-4C7C-930F-D72CFEB57665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbefacb8c8f33b0f1be9db7004061a91697d97bd","datavalue":{"value":{"entity-type":"item","numeric-id":3340842,"id":"Q3340842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$0E70C923-30F4-4FF9-8265-0E9CE4E54938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"093d28797cb4aff12efc3548699ad54058185b18","datavalue":{"value":{"entity-type":"item","numeric-id":3958440,"id":"Q3958440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$1EF8C15A-22D3-4D0F-96C0-D70C1958EB97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af525ea1fd445c05898a9991b61369483b6c7c29","datavalue":{"value":{"entity-type":"item","numeric-id":4142696,"id":"Q4142696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$A4C03449-7F45-4310-BD45-15084A180D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbceb039cd7741bd84f92f670667d4620894ab94","datavalue":{"value":{"entity-type":"item","numeric-id":3939991,"id":"Q3939991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$7DEFB576-9FEE-4DF5-A4BE-3A273019F300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37d179bdd83dd52ebb1134a0d415ec33f0098896","datavalue":{"value":{"entity-type":"item","numeric-id":3328515,"id":"Q3328515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$07F5C22C-3C8D-4B37-B95C-6A86DA59E50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc751ce66cfdcf47115926b85866de198dca753","datavalue":{"value":{"entity-type":"item","numeric-id":1249572,"id":"Q1249572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$92C69CF4-719C-4C71-B358-349F057CA8DD","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":"Q917543$CC559AE6-7D86-479C-9942-3E0DD77EFC6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91e1d10e0c77de9812f317b0ff0d8727dd2dd83c","datavalue":{"value":{"entity-type":"item","numeric-id":3781088,"id":"Q3781088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$DC382ED9-88CF-46C6-9963-928CC7604EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"087fb6eecc5bb1f5c6ad13f81aed056c381077f4","datavalue":{"value":{"entity-type":"item","numeric-id":3708784,"id":"Q3708784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$1BB1B3CF-CD32-46DC-8AEA-2BEDECD5E4C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27c43b7e3610435da5759ec0170acf5a3e0de1df","datavalue":{"value":{"entity-type":"item","numeric-id":5797034,"id":"Q5797034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$0452AA28-F415-4C14-A3B0-4408666DC3E4","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":"Q917543$A6B3A87D-0463-46B5-ADFB-89E6CDEBAC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82e3f39dd1ca8be4d9302234cd13f0b67a4da76","datavalue":{"value":{"entity-type":"item","numeric-id":3843616,"id":"Q3843616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$E6ECED1C-2FFA-4002-A0DD-94E888246D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfd0212a136f8b9704dbdcce773c4c291f76e4bb","datavalue":{"value":{"entity-type":"item","numeric-id":5567863,"id":"Q5567863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$EACD278C-4659-42EF-8CFC-187D1A9DA217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3edfa56e27db92ffca6f4798f086ec18992b6864","datavalue":{"value":{"entity-type":"item","numeric-id":793017,"id":"Q793017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$A45F2F60-13D6-431B-B706-27614D9C3D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390cfc5944b52889019c0030ae45756607ba52fd","datavalue":{"value":{"entity-type":"item","numeric-id":1233436,"id":"Q1233436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$3841CCB3-3AFF-4BBC-812B-A605F1619023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"327868b1060aeaa816a7a6cf401dacdfdd1187d7","datavalue":{"value":{"entity-type":"item","numeric-id":3698791,"id":"Q3698791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917543$CCE8FC69-8D30-4CA9-9F86-D26D2436994A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c4391a1d0521a178bbc3aa184b75b061783e7a0","datavalue":{"value":"https://doi.org/10.1016/0168-0072(90)90080-l","type":"string"},"datatype":"url"},"type":"statement","id":"Q917543$61F64B2E-DC7B-4124-A142-9615556A2672","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82ac45e69540ca932bea453fee6a3a75fb25d75c","datavalue":{"value":"W3037175162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917543$465050CE-781A-4B71-9A98-574FC48ECC24","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d63a2696c7e12d9cba5c0731a34f0505a519668","datavalue":{"value":{"entity-type":"item","numeric-id":3971252,"id":"Q3971252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43ca514e3e1e4d070517a70dcffcfa6754414f2e","datavalue":{"value":{"amount":"+0.7305455207824707","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":"Q917543$105CE99A-FD3D-4EC1-910B-47AA846F6DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0074d3e1482d2291b46ba2d08f3e736061ae14f7","datavalue":{"value":{"entity-type":"item","numeric-id":4029623,"id":"Q4029623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48dc102eb31f92f1fcc2176f6ca7e83656e25515","datavalue":{"value":{"amount":"+0.7295036911964417","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":"Q917543$9B1ECFED-16E6-4383-BABD-FDF7581B9E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebe1f4c098a436376fcab5fc00fe9ff63724e95f","datavalue":{"value":{"entity-type":"item","numeric-id":5086506,"id":"Q5086506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48dc102eb31f92f1fcc2176f6ca7e83656e25515","datavalue":{"value":{"amount":"+0.7295036911964417","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":"Q917543$6ECD6551-0522-4EEB-96B9-BFA117944B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9fc9cb488237bf3ac279cecea915052f5966f77","datavalue":{"value":{"entity-type":"item","numeric-id":4395611,"id":"Q4395611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e6463839ea8f898a9199eae3824f723479d2e31","datavalue":{"value":{"amount":"+0.7052285075187683","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":"Q917543$FFF9BACD-28F6-4586-8DBA-7E5D7359AF17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bd505699d9e23a1dba4c5801028b565cebb363f","datavalue":{"value":{"entity-type":"item","numeric-id":3691585,"id":"Q3691585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd1862e32aadd3bebcf536829471644b60e8bd01","datavalue":{"value":{"amount":"+0.7005040645599365","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":"Q917543$3AB8C76A-8E4D-4E05-BED2-3D7F475FA079","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A uniform method for proving lower bounds on the computational complexity of logical theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_uniform_method_for_proving_lower_bounds_on_the_computational_complexity_of_logical_theories"}}}}}