{"entities":{"Q3194706":{"pageid":3205414,"ns":120,"title":"Item:Q3194706","lastrevid":58142985,"modified":"2026-04-03T23:50:37Z","type":"item","id":"Q3194706","labels":{"en":{"language":"en","value":"NEXP-completeness and universal hardness results for justification logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6496812"}},"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":"Q3194706$F33B3BCF-7787-41FB-9852-D802E5448F6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"102f192bc9086333810b9d326d6958d47880a5da","datavalue":{"value":{"text":"NEXP-Completeness and Universal Hardness Results for Justification Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3194706$F14A82B8-0866-425B-BA75-DF7855935777","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b58a0ab31f5df8197a4e427b8d846b46fd76e61","datavalue":{"value":"1464.68333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194706$ED49737E-D31A-4F3B-B780-260BB3059E6E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af6bc42dafad3a391841435b2c1c847596780332","datavalue":{"value":"10.1007/978-3-319-20297-6_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194706$66BB63E4-DAB8-4C0D-BE34-D36ADA0BF857","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":"Q3194706$BFAEE227-640A-4C04-B234-1133714A45A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194706$1ED828A0-ED80-410F-89AC-9E19B29684DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ca124807d665f1ac71f73d3aada45c27dfaabea","datavalue":{"value":{"time":"+2015-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3194706$01427B6D-FFFC-403F-AF65-CF1C944AEC14","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3628c501853947111ac369de79f4b219ddf605f","datavalue":{"value":"https://arxiv.org/abs/1503.00362","type":"string"},"datatype":"url"},"type":"statement","id":"Q3194706$F2077E29-2CDF-47B6-9BAC-1EAA07BB3594","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194706$F107028B-04F3-487B-80FA-42D64A80B215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194706$4612D4B3-2C0F-4281-9074-1690E88A3595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194706$02857BAD-6485-484C-A76D-1B13C6DE5667","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa175d3754585405267edc9ee596c0a8496ecab0","datavalue":{"value":"6496812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194706$07A65DF0-6E67-43BE-BA6C-F5709A877DA3","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":"Q3194706$3B93A2EE-D7D2-440F-914C-62456B5A4543","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d44326a14f94e0dd945758a89767bbeac32ab58d","datavalue":{"value":"W1565822158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194706$C561C70C-E01D-44D6-B922-C3829123A5DE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbe27c28be40d717bb2da3fe779947fa14a0184d","datavalue":{"value":{"entity-type":"item","numeric-id":2453576,"id":"Q2453576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194706$43E8AB66-E145-43D4-BF59-0B310A62FB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fc589149847ef0ba04d20ec8c10a79214e071b9","datavalue":{"value":{"entity-type":"item","numeric-id":2921954,"id":"Q2921954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194706$CAD05FD9-A51F-4B6C-A84B-44F5BD02781D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42af17d4350e2a0f945ece594ed16589983fa33","datavalue":{"value":{"entity-type":"item","numeric-id":3194706,"id":"Q3194706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194706$FDF4895C-0B61-4EF7-BCF7-D4568EAC578B","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":"Q3194706$5A9B3DDA-6BC9-4AE9-B400-D889F8A84435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7f734330c8f5394f8e9e9dcd4c009dbbb580298","datavalue":{"value":{"entity-type":"item","numeric-id":3532452,"id":"Q3532452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194706$1A4A1DCA-8253-46DD-91E0-538AD2F4B1C2","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":"Q3194706$3EBCCD1E-3FA8-4847-B87D-F09AFA9C62E7","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":"Q3194706$65323354-811F-4597-AE69-E53837CF8092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12ad6e1f7379b37f01b0314ada1886b3d6385160","datavalue":{"value":{"entity-type":"item","numeric-id":2721196,"id":"Q2721196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194706$336C6421-BA98-4546-8B44-88671BA0D5D0","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":"Q3194706$A77F9222-22FC-4DCF-8E1F-5335FE6EC93A","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":"Q3194706$32834F75-530D-46E3-B9DF-A7EAD9CD59E0","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":"Q3194706$FCCB5176-A26B-4881-A7F3-825D13095F49","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":"Q3194706$7708BABE-A439-4A06-AE34-04AB653C37EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d6e5a2ec66a572177ef7c34d7ff9e3c5a3050d5","datavalue":{"value":{"entity-type":"item","numeric-id":1157324,"id":"Q1157324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194706$11B9F319-D83F-4AAD-9E5D-5FD75BD6FC09","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":"Q3194706$51AC1B2D-9465-4AB0-A8AA-18176643422E","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":"Q3194706$23BF96B7-9DE5-482C-906C-3F4546A0C3D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46ed020b59c477403bed93a2bd5eae02fddd49ee","datavalue":{"value":{"entity-type":"item","numeric-id":4833777,"id":"Q4833777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194706$42578252-858B-4CFF-A8F6-99C3D88A9E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"594e1537c7fca0bed7f4d1cf6c5510ab27bcc08c","datavalue":{"value":{"entity-type":"item","numeric-id":929292,"id":"Q929292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194706$B6272557-7345-4816-BB3B-65C88CF6546F","rank":"normal"}],"P1643":[{"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":"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":"Q3194706$9781E730-F4D5-4CB6-AE5F-46F1F033027E","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":"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":"Q3194706$2E914AF9-404F-4093-BDCE-BCEAFBAADB96","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":"8615db7d650c02e517f49af0a490051673ab26f6","datavalue":{"value":{"amount":"+0.8084306716918945","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":"Q3194706$0D03504B-6775-4E8E-9146-AE22C7E822CE","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":"86ad6138775572aa0b9982aa3202ea63b7696294","datavalue":{"value":{"amount":"+0.8045147061347961","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":"Q3194706$98DC0CDF-E563-46C4-A498-24FFA2162269","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":"16b6726d304657ba32edda2100eb645812786078","datavalue":{"value":{"amount":"+0.7955047488212585","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":"Q3194706$5DDB972A-4F5D-4818-A89C-C8CBA7F4111E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3194706","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3194706"}}}}}