{"entities":{"Q2453576":{"pageid":2464319,"ns":120,"title":"Item:Q2453576","lastrevid":52012553,"modified":"2026-01-20T18:21:00Z","type":"item","id":"Q2453576","labels":{"en":{"language":"en","value":"A complexity question in justification logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6302156"}},"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":"Q2453576$CB99BFC7-6409-424E-AA86-6AA4A1D101A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2036009136991dde5ff35577a2ec12819a7ce27","datavalue":{"value":{"text":"A complexity question in justification logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2453576$4B7709E7-B5FA-469E-B179-A7FE51AE848E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc64971e882c07ec306565600bba1b154d9fb66c","datavalue":{"value":"1327.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453576$31BA6D74-A871-422C-B69C-52B61A104199","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"11c8411560fc28b1b609a2591d5a543bf011c80b","datavalue":{"value":{"entity-type":"item","numeric-id":1652981,"id":"Q1652981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453576$060C6EF6-5920-40D9-98AB-9F04091F1840","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453576$0D52B029-D0A3-4E6B-9D5D-3ACE46561FD4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7deb189b65cc3fc27b859d71d92363347a0068f0","datavalue":{"value":{"time":"+2014-06-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":"Q2453576$2FA5E1FE-687F-41CD-83EA-230DBA07B981","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453576$7E58D3F1-ED3B-4842-93B9-A0B065D78680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453576$085E63D7-8F2B-4BF7-A11F-BF25FF654DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453576$BBF9685A-D870-4EBB-9FCD-236DCF36718B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1476bca82e0f9c8d09ef9d0ab23dc41238f62840","datavalue":{"value":"6302156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453576$34DBEEFC-54D9-412F-AC15-CA2E06FD9A4C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afca37ec283c436ac56ea7dfcea0bd6378181bac","datavalue":{"value":"justification logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453576$1A8CAB22-A2D3-4D87-8571-0996E12047AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453576$BE7BE277-3D32-4EDB-B551-D65FF4F2F2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453576$173DD012-873F-4897-8D9B-F4C824AA0DFA","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":"Q2453576$35B62881-BDC8-43B5-9279-B3EAA0E0D15F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea57ba443c0d3dc6f3700cd2c9ac586e11f3395f","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2014.03.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q2453576$DEEDBB14-FA8D-4CA4-A9AC-56F445835446","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eefa44ecde88ee8edc87b17f10e588567acc3ae3","datavalue":{"value":"W1970335703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453576$612CD905-D1E0-4B95-A5FB-9F2D0FB44C50","rank":"normal"}],"P223":[{"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":"Q2453576$545CC1E9-607D-45CF-B299-8488EA6A0372","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":"Q2453576$E9B3D49A-2026-4090-91BC-71CF8D0419DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2123a84712295b4d7f7bd83561a054011400664","datavalue":{"value":{"entity-type":"item","numeric-id":4829857,"id":"Q4829857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453576$C0AE0B41-C449-4016-B22E-BEB20637CDAB","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":"Q2453576$8CAAB210-0243-46E0-A2CD-8E6EE8FE01EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ef5e283289d3e5e340d7a6aa73b963248d0db3","datavalue":{"value":{"entity-type":"item","numeric-id":408543,"id":"Q408543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453576$7F77186D-AAC7-4A80-9736-3622B86AEF15","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":"Q2453576$E9BB96E9-EDB5-4152-B900-4586ADEDFE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cd3ff5a780d2f3d5dcf512f0e30570449b7834c","datavalue":{"value":{"entity-type":"item","numeric-id":4463930,"id":"Q4463930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453576$CB7C7282-0CC0-4C81-A550-69A672FE59B5","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":"Q2453576$EE16BC23-4F9D-464D-AFAA-1729DF8E97C7","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":"Q2453576$7E221946-A4A8-4E23-8C25-42FD9DD80138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bba8bf53e9a7c2bf004ecf849e0a69a9c6051c6","datavalue":{"value":{"entity-type":"item","numeric-id":2500486,"id":"Q2500486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453576$92C0C83B-4543-4B56-8713-04F8D49D9EA0","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":"Q2453576$3E225F6E-9B0B-4DBF-ABB6-1E5B52C83DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c257e415898a3c1e1a4dacae491c885b57c42207","datavalue":{"value":{"entity-type":"item","numeric-id":3503641,"id":"Q3503641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453576$5E88D8EE-E082-4760-90B4-5E44F8D31E1B","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":"Q2453576$420DBFD2-F08C-4A83-97A2-B522AF6297BB","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":"Q2453576$AED235F6-ACFE-4D29-8724-89C3604FC627","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e5ddde1c95798c0ddb8df9aba2e755b6305a99d","datavalue":{"value":"10.1016/J.JCSS.2014.03.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453576$A4D2559A-12FD-406F-B55A-BFD4CA3870EC","rank":"normal"}],"P1643":[{"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":"c208663c78cec37761dfdd5e583f2d18cbd986d0","datavalue":{"value":{"amount":"+0.994218647480011","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":"Q2453576$0069F287-FEB4-4FC4-9330-F608801870F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a38aff1db7e87b54029e94365a261de2a32310b1","datavalue":{"value":{"entity-type":"item","numeric-id":408543,"id":"Q408543"},"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":"Q2453576$270FEED8-6913-4279-997E-80F655AA416A","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":"0ec72fd7ec7eea38fc8d0e47a8d9982177e13511","datavalue":{"value":{"amount":"+0.8175605535507202","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":"Q2453576$6276C958-BCE2-4789-A647-D5C4D20D6510","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":"b63794cc1378ef4a18614b235b61fefcaa10de50","datavalue":{"value":{"amount":"+0.814445972442627","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":"Q2453576$6BBD1ABD-A084-46D4-A436-A51B25996153","rank":"normal"},{"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":"f1f5b7337588144cd7cb7fafbef652018a45fc49","datavalue":{"value":{"amount":"+0.8096291422843933","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":"Q2453576$AC7FF1C1-41B0-43F9-80EC-8C4659C206A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2453576","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2453576"}}}}}