{"entities":{"Q6915765":{"pageid":20996947,"ns":120,"title":"Item:Q6915765","lastrevid":84150617,"modified":"2026-05-11T10:09:39Z","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"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"77314febffea549b4cacea9de208a7c7133a2c77","datavalue":{"value":{"entity-type":"item","numeric-id":2446545,"id":"Q2446545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915765$B5632770-67B3-4E94-B9F8-E0378E6401C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d3a2cbeb7d5e5101e1c7df93289af363effd5b3","datavalue":{"value":{"entity-type":"item","numeric-id":4585837,"id":"Q4585837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915765$E0011137-7667-49FB-A53B-3BB35DAF3AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4400288a82fb4c227c02a809a571483aec09878","datavalue":{"value":{"entity-type":"item","numeric-id":2457654,"id":"Q2457654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915765$83F3AEC5-E568-4126-86BE-CD24DD2D46BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04cdbf60575c5f5395b6bb7df67d68d06aea35bd","datavalue":{"value":{"entity-type":"item","numeric-id":4619819,"id":"Q4619819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915765$023BEB0D-DBF5-462A-B351-99CD24C91CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d4afd360c55657f5f71c4b2160366c3488de0d0","datavalue":{"value":{"entity-type":"item","numeric-id":2211865,"id":"Q2211865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915765$9C4BABC2-C409-42E0-BDAC-1E0B25EEDEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915765$E6F84E59-C765-4C12-A19B-C66134F58C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6a505c48f7ed8fbc36053c87307f799e1a7f54","datavalue":{"value":{"entity-type":"item","numeric-id":2351158,"id":"Q2351158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915765$667F54DE-313F-4D51-B40D-9F0F357EB43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49023bd5aa461c9f63f0725228815aa2af2e478f","datavalue":{"value":{"entity-type":"item","numeric-id":5747646,"id":"Q5747646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915765$9217E908-3CEF-4E6C-845E-76ED920406E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba16d3643e7f45b2a6fcdd3509fdca985c4702c9","datavalue":{"value":{"entity-type":"item","numeric-id":2589521,"id":"Q2589521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915765$5EE026A9-40AA-4DC3-BDAF-22C9F4CB90DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe8574c45198898f6069bfbbf791134b0e96a1e7","datavalue":{"value":{"entity-type":"item","numeric-id":289011,"id":"Q289011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915765$81416041-DE84-49FC-B108-C29817B39AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"522109033fbdc9cba73520db160020695f5ddb9d","datavalue":{"value":{"entity-type":"item","numeric-id":2734934,"id":"Q2734934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915765$ADF309CF-6BC8-4771-B403-767A213EEB54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2467f1b2221d034d0fe8a069e2133a347586153d","datavalue":{"value":{"entity-type":"item","numeric-id":598245,"id":"Q598245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915765$D1010468-BFC7-4EAD-B1E0-B7E79B75AE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef0f7e101a0ec1c49d6dbda6afd04acdf641c074","datavalue":{"value":{"entity-type":"item","numeric-id":1855240,"id":"Q1855240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915765$25BB0F7F-2ECB-43D0-9D1E-E5E8C51FCD5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99f7f8ca49a6d52a4668a6a67afedd878b1b8495","datavalue":{"value":{"entity-type":"item","numeric-id":1852853,"id":"Q1852853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915765$B758B795-0157-4E6A-8BCE-8E48A9DF6755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6de45c9c6b2381a4a93e449ae21274316529d490","datavalue":{"value":{"entity-type":"item","numeric-id":2957944,"id":"Q2957944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915765$77D3AB50-4CAF-4E19-A5E8-46B0C282F8C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b39c0abf987f72ff3f94c59c4e99b62f2974e7","datavalue":{"value":{"entity-type":"item","numeric-id":490451,"id":"Q490451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915765$10FA6219-5A2E-4D57-B2C7-46DE334AB4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2179cb2cf6d980d14975c941fae95f468d843e1","datavalue":{"value":{"entity-type":"item","numeric-id":5145833,"id":"Q5145833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915765$41868C26-0F74-4347-A0C2-CEC586ABB963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915765$A1151E04-F25E-493D-BDA4-8B9EDC7CD52D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeb4d3b75ace92c2bd19a6c827b2d3dc8f42e019","datavalue":{"value":{"entity-type":"item","numeric-id":2124467,"id":"Q2124467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915765$EDE6EA61-ADC8-43B9-A86F-8C186DF310E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f280831cd6352636c5283181a1a388ab4eb968e5","datavalue":{"value":{"entity-type":"item","numeric-id":6915765,"id":"Q6915765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915765$0D9506A5-5812-4BA0-96C3-404D79BEE121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915765$62BB5F05-772C-4FD4-AAA6-0C17F30FF0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93fc8985b7898988b7d52edb5c0cd61c1b917df6","datavalue":{"value":{"entity-type":"item","numeric-id":3150301,"id":"Q3150301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915765$6A007BBF-A49B-48CA-9901-914483E9CBF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cafb1aab48a88bd1a080c979a206fc7fd624f321","datavalue":{"value":{"entity-type":"item","numeric-id":2666959,"id":"Q2666959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915765$6C067962-0526-4C10-BC0C-6264F9816E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e5b93286e2298167f66fb7667c0ea085c615f9f","datavalue":{"value":{"entity-type":"item","numeric-id":490444,"id":"Q490444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915765$1F959135-FE97-4280-BE63-E03447074D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bcfc38eea9abf6b4f0c182cb79df21478398d4e","datavalue":{"value":{"entity-type":"item","numeric-id":898737,"id":"Q898737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915765$B1293040-DABE-4486-A082-162484632779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb9edb17a4ee4c3d37e2281add9270d450a40688","datavalue":{"value":{"entity-type":"item","numeric-id":3001919,"id":"Q3001919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915765$DD51701B-EDDE-41C5-B40E-A7537E4EC80F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d5a080a872dc1a1ec125040fc303cac77806b3f","datavalue":{"value":{"entity-type":"item","numeric-id":2851963,"id":"Q2851963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915765$07F0A679-8638-486E-B6A9-313FC6A4B396","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"}}}}}