{"entities":{"Q408543":{"pageid":410310,"ns":120,"title":"Item:Q408543","lastrevid":61681428,"modified":"2026-04-11T00:55:45Z","type":"item","id":"Q408543","labels":{"en":{"language":"en","value":"Lower complexity bounds in justification logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6022772"}},"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":"Q408543$F06EFB24-9B71-463B-BDD1-CD987CCD9843","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4039fd666773c2fb25ffc405480b4f1284ec914","datavalue":{"value":{"text":"Lower complexity bounds in justification logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q408543$EED6B4C6-5672-4A9D-B0C7-5C57202ADBB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f252ced1e4c69501cab84a044e06ee1753eb4607","datavalue":{"value":"1243.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408543$15C2FBE4-91DA-4E26-8483-3D98C76CB89C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"556b5f897f5d545f04c26b56d4624f5cc4b2661a","datavalue":{"value":{"entity-type":"item","numeric-id":195654,"id":"Q195654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408543$421FA314-14E1-40F6-B26A-33826D28F5AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"196dbdb570f68291e9833b5fdffc455b470e5721","datavalue":{"value":{"entity-type":"item","numeric-id":392270,"id":"Q392270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408543$F4B870D3-3286-4BAE-8C8F-BBDEBF7B2CED","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":"Q408543$171DA002-FCDA-4D5E-BFBB-53E65BAF9DD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b23f7bc3899b33a4c3b235a941fe6fd0e7130556","datavalue":{"value":{"time":"+2012-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q408543$61E634F4-7CDA-47E3-ADC9-7041DED45B3B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"eaf04c90e89d314d92cafcc1ffb2cc656f9595ff","datavalue":{"value":"Exact lower complexity bounds are established for several justification logics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q408543$7A21CD2F-05E4-493F-8063-C79D7144D97D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408543$1907CD5C-8DC6-4F0D-94A7-EF79547B034C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408543$4164DCFD-3686-41B5-932A-C446FFE69656","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b396efe8d2c6f9123453d270904f296bf574ffc1","datavalue":{"value":"6022772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408543$21722AE0-37AB-40C2-836F-5998138A2BCB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afca37ec283c436ac56ea7dfcea0bd6378181bac","datavalue":{"value":"justification logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q408543$4A042A5E-0565-4A65-BF1D-2DFFF3AA6CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e2e21a984526b8024b04acd04fd80cbaaf58f4b","datavalue":{"value":"logic of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q408543$A87580F4-75BD-4EF0-9178-63611799009B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q408543$1181B94F-B412-4657-84EC-9B28A5093354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71b940d9d72193122fdda33d490f6404cfcb3516","datavalue":{"value":"\\(\\Pi^p_2\\)-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q408543$527ADD1F-1203-4FBE-AD14-FF3823B19589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"616fac9c0966d902fb69c99c4a28d8c3dc06f5b0","datavalue":{"value":"derivability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q408543$C8F927A3-7AB9-4EEC-AD7B-0729E7D3137E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408543$ECA9E243-1A97-4B5E-A931-5F425CFCF1A1","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":"Q408543$47400DBB-3627-4C2C-A88D-D0FA52039223","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"083396ca022871f3f8f6269d68623bb9e709dd42","datavalue":{"value":"https://doi.org/10.1016/j.apal.2011.09.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q408543$E77E8173-EAD7-4344-8323-B91531A877F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8335bb3b181924cc11c4798d92c56d005aaeb888","datavalue":{"value":"W2138829493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408543$0F934BF2-1803-480F-94B6-7C9FA536CC45","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f129923aee06a34e48a6b9f7b427280638c2ac","datavalue":{"value":{"entity-type":"item","numeric-id":3003343,"id":"Q3003343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408543$0702606C-E4C9-47A7-80D9-22C6B6E96B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66038b430a7a85bdca4089589bc92079e075c380","datavalue":{"value":{"entity-type":"item","numeric-id":3007238,"id":"Q3007238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408543$43DE4033-CA71-4261-BEC4-136020D49A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1a6ebb360b6bfc3a111b832b5231ca5c9153b7","datavalue":{"value":{"entity-type":"item","numeric-id":2732527,"id":"Q2732527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408543$99B0B32D-47BB-459C-AD06-A6373903985F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74f082372987ccabc92cbd0d14c450ff1b25ffc2","datavalue":{"value":{"entity-type":"item","numeric-id":2500478,"id":"Q2500478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408543$2D488218-BABF-462E-AC03-30FCEA799EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"784d500dac6a0c794215d9cef69a190e7f0e7226","datavalue":{"value":{"entity-type":"item","numeric-id":3580683,"id":"Q3580683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408543$34D1F06B-FF6C-4D95-8D75-6227D661CB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49bff762b563d035000845f1e264230032c4ddb6","datavalue":{"value":{"entity-type":"item","numeric-id":5261291,"id":"Q5261291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408543$E88C7C59-44D5-44F1-B5E5-B4B0CAC06B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb0a6de88765b522b9206a93da55a47345cc7d63","datavalue":{"value":{"entity-type":"item","numeric-id":3613333,"id":"Q3613333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408543$8D6E5BE0-A6CB-4D5C-B6F2-3892562BC6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07b1da72ca3738ae54c799ee3ad672846f73e0c6","datavalue":{"value":{"entity-type":"item","numeric-id":3371155,"id":"Q3371155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408543$E4CD1EE8-0E02-4F99-B1B5-6B46C7DFA928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84f26cdf3dbb7656aa8d1a8c3c3f68e3d28b0f44","datavalue":{"value":{"entity-type":"item","numeric-id":3138022,"id":"Q3138022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408543$04159508-78FA-4B81-9066-C86C155497C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91178f08ffbe2303146acf8a5e9f59dead26db05","datavalue":{"value":{"entity-type":"item","numeric-id":2901206,"id":"Q2901206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408543$839A07C6-A78F-4AD1-A2FB-01A8C1C92605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9960520687f36616498bf08aeae5bb829d1327e","datavalue":{"value":{"entity-type":"item","numeric-id":3605524,"id":"Q3605524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408543$35E0CE99-8FFF-45D4-B16E-E05FC1BDDE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408543$14DB371B-A785-45DC-803F-F910BC11047A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1dc9f77118731d07defbe2b73ecd4ccb123bd5e","datavalue":{"value":{"entity-type":"item","numeric-id":703832,"id":"Q703832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408543$F74A22AC-7A49-4BCA-93E1-762349B7BE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d04b694d0d5d5a972bbca1c455f8adf72cd5469a","datavalue":{"value":{"entity-type":"item","numeric-id":631081,"id":"Q631081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408543$D214E6B5-189A-4544-93B1-B6680BE38368","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":"Q408543$A4D2D481-EFF0-451E-A80C-A1F7668DA044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b91a78383567f1a9e36257c18f0963cf3e7124","datavalue":{"value":{"entity-type":"item","numeric-id":2500485,"id":"Q2500485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408543$C69355D5-E5D4-45C0-83FF-8A8A4E37523B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62fe320a8e2945a982156f6d4f3d5b1f2e3ba92e","datavalue":{"value":{"entity-type":"item","numeric-id":2753686,"id":"Q2753686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408543$E0D877C8-41C8-4D16-A7BD-0058266A89A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a51267fa34315997f1044d72988718f3ad5f380","datavalue":{"value":{"entity-type":"item","numeric-id":3370628,"id":"Q3370628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408543$76E839C2-A606-45E5-B45D-8BDB58D9BFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c89eda5434976b3e0758b018c264cd9d344921b","datavalue":{"value":{"entity-type":"item","numeric-id":987374,"id":"Q987374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408543$D9184F86-EB5B-4C8A-80C7-E723F54680FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408543$12CD4006-3881-433B-B624-768DBC19AC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6356a6954d3caf0aa73f0f0fa3715d4613d3f1b","datavalue":{"value":{"entity-type":"item","numeric-id":866565,"id":"Q866565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408543$12BCD797-2FF8-472C-A31A-FC48C5C46BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dfbfd3fd8285c1b250d4a94e1be2061d1444016","datavalue":{"value":{"entity-type":"item","numeric-id":4376067,"id":"Q4376067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408543$E33881C5-1A15-4C59-B425-35C8F5954C0C","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":"Q408543$81DBF609-7AE3-48B6-B814-6C5392107920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85cd49fa29ad82b4073c1a688f60479c17b165d9","datavalue":{"value":{"entity-type":"item","numeric-id":4822945,"id":"Q4822945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408543$8FEB0754-63E4-47E0-B7CD-A47206078568","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":"Q408543$D8139BBA-3865-4E9C-B2D0-996128F3B136","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3fb484a8e5e0315d5467d7dcdf7dfd6b5f77c718","datavalue":{"value":"10.1016/J.APAL.2011.09.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408543$AE771304-23B1-4EDE-B868-F84EC53AA21A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7cd95047b5d6987fa55b58c397e09ff723e1a75","datavalue":{"value":{"entity-type":"item","numeric-id":3605524,"id":"Q3605524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83143f15c6f1ade66d6d004f0d2f0f2df9697ed9","datavalue":{"value":{"amount":"+0.9264565706253052","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":"Q408543$D5B949F8-EA79-459A-A293-75B1243E3393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bfd0f61abfff07cffd1f018098809fac6212afa","datavalue":{"value":{"entity-type":"item","numeric-id":2453576,"id":"Q2453576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de5bf1e38cdcd0204aba4dcfe507d4fbbb75a404","datavalue":{"value":{"amount":"+0.8590165376663208","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":"Q408543$BB6E855C-ABD4-4481-B251-A3E40A74FCCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f84e47782d58b612371d601a9cbee227bc154ff0","datavalue":{"value":{"entity-type":"item","numeric-id":3003343,"id":"Q3003343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"458ea8636c1da384fe9261cfc00588b48463de3a","datavalue":{"value":{"amount":"+0.8581949472427368","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":"Q408543$A76A0C8C-0E82-4530-BA1F-2187FF5BFFC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60cabb9326561f21da6148d2ad17f9fedfc36511","datavalue":{"value":{"entity-type":"item","numeric-id":2921954,"id":"Q2921954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29e34b432c6f028f4c1d01b817dcc1870a6cdb56","datavalue":{"value":{"amount":"+0.8190941214561462","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":"Q408543$910F2B89-64A5-4F88-99AA-2C03F2B03ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fab29f90c09b1c6769e62580fc91b36961514201","datavalue":{"value":{"entity-type":"item","numeric-id":3194706,"id":"Q3194706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"898642c08caa6f4554362cf8414213bf57ea2401","datavalue":{"value":{"amount":"+0.8181636929512024","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":"Q408543$89171AC1-626C-4D36-98B6-5CA334E1B788","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lower complexity bounds in justification logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lower_complexity_bounds_in_justification_logic"}}}}}