{"entities":{"Q6915765":{"pageid":20996947,"ns":120,"title":"Item:Q6915765","lastrevid":75672160,"modified":"2026-04-20T14:14:54Z","type":"item","id":"Q6915765","labels":{"en":{"language":"en","value":"An encoding of abstract dialectical frameworks into higher-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8106335"}},"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":"Q6915765$0B7F662D-5C77-4B4F-9B10-C687B3921606","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec128f051d3c5591e5894b37e319f61e3fc0e840","datavalue":{"value":{"text":"An encoding of abstract dialectical frameworks into higher-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6915765$F51778B1-50AD-405D-8A86-A3041628E6EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6345c4d4734a9eeedc8f38ca2e6e51c458fdaed1","datavalue":{"value":"10.1093/LOGCOM/EXAD079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6915765$F213FE1C-6017-4796-A518-9D7C1F87B3C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d1f404a9a9bf15972bfed6efcd25d25256e03b3","datavalue":{"value":{"entity-type":"item","numeric-id":6915764,"id":"Q6915764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915765$4B103588-E623-4F68-A2AA-B623D37A41F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d804cf7e485bfddfeb0967f0a2ed09ee96e11180","datavalue":{"value":{"entity-type":"item","numeric-id":1799071,"id":"Q1799071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915765$C5B2A4A6-1271-4C68-9BD2-24161D8D07B5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915765$F64996F9-7D1C-41D1-928F-7B05962CAEFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1be1a084743b7fe843755b397196118f7c063294","datavalue":{"value":{"time":"+2025-10-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6915765$7385031C-6780-4B85-AB6A-6F747DFDAC5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6915765$B9651455-C05B-41D8-B2CD-4B3AA3DA2D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6915765$F9304692-9BDC-4156-A932-DEB1B450C1E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a1612e78030166e8fe30147db279b97f22d1ddb","datavalue":{"value":"8106335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6915765$A4ABEBC3-B8D8-47E4-9FBF-57D125367850","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46b72c7f5391ded81b838ef624858f1d4a876cf1","datavalue":{"value":"abstract dialectical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q6915765$FFF9FA67-6633-46A3-ACD2-C085A8A1F64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2382d987c221034f356a6ae8bd223f406ffafb7","datavalue":{"value":"formal argumentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6915765$7A618ADB-5758-47A6-85CA-49913F17B791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6915765$8384E85B-C505-46FA-B278-787FDE32198B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6915765$15EE94E0-9236-44C0-ACE1-936B072614C0","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":"Q6915765$ACCB84DE-9A5D-4B03-8C16-A02C716CE53B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An encoding of abstract dialectical frameworks into higher-order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_encoding_of_abstract_dialectical_frameworks_into_higher-order_logic"}}}}}