{"entities":{"Q1678415":{"pageid":1689156,"ns":120,"title":"Item:Q1678415","lastrevid":68119500,"modified":"2026-04-12T21:34:01Z","type":"item","id":"Q1678415","labels":{"en":{"language":"en","value":"Logic-based argumentation with existential rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6808362"}},"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":"Q1678415$AB99CEE3-4AB9-4524-BA4B-DF9DDE6FCA5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31f4b84dbdd03c517344134d8118d52f42589722","datavalue":{"value":{"text":"Logic-based argumentation with existential rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1678415$A102090E-F876-4B5C-B883-96206C3FF36D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2bc77b6b5b72cef3736740204422c6d7fff3ff9a","datavalue":{"value":"1419.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678415$3E396B9B-2148-4A15-95E2-E2FF3C36134C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d87d4a18be1e5b85971e664fa1d923da5277839a","datavalue":{"value":{"entity-type":"item","numeric-id":1678413,"id":"Q1678413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678415$622684F4-CAD9-49AB-A7D4-66BECFD483AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0bc13b09add1e4176f92e5b9d28dc735f98867b3","datavalue":{"value":{"entity-type":"item","numeric-id":1678414,"id":"Q1678414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678415$F2E1E404-4F90-443C-9E39-274291545457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c288b6879c40016851dc634142f4dd50bcd26af","datavalue":{"value":{"entity-type":"item","numeric-id":766044,"id":"Q766044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678415$2FC0CFE6-7F7B-4B97-A5DB-5447B082A144","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ffcf9cdef56de74059e9064d7fefa5c3d05fe8f7","datavalue":{"value":{"entity-type":"item","numeric-id":110194,"id":"Q110194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678415$8340779B-B91B-4D45-A290-75E9C20876F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"825b3410cb99f0539fb93adb9a664af4059fbf52","datavalue":{"value":{"time":"+2017-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1678415$0BAE8A28-44B7-47F3-89DE-1E5A3BC34BB9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"06b6d5fdfdbb4fc1514dd055e1cea8dae5fb9b34","datavalue":{"value":"https://hal-lirmm.ccsd.cnrs.fr/lirmm-01596666/file/2017_IJAR.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1678415$35A3801F-5E15-4560-B246-913752E903A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678415$FE5CE0DF-E2A0-48BC-80DB-1F3AF285E5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678415$9AE485E8-DAB4-4D78-BCBA-2FDE3173BCA8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b6a6310b262c265c502b6a356c61f5c7d49811d","datavalue":{"value":"6808362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678415$DFA45EDE-7D3A-4838-9C9A-8DB7FD626A9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e83342ffce426a9e886c5c44a6cf92be90387e9","datavalue":{"value":"logic-based argumentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1678415$82781D3C-49F2-4730-BDFA-0FD2BE396843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"362b008192ad2726ca89a6a0dd1599cef594d27b","datavalue":{"value":"existential rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1678415$CF7CB6EA-E6ED-4EF8-A01C-8BE41A33C66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04f4c967b9310713c2f3577eddaf8bd7e60f75e0","datavalue":{"value":"universal acceptance","type":"string"},"datatype":"string"},"type":"statement","id":"Q1678415$144D22CA-84BE-4309-AFE9-834FC010649A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"630f6db73fb94e48dbfd97f4de95dfa40bc58935","datavalue":{"value":"dialectical proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1678415$FD759424-D1E2-439F-BA6A-A73FC94946D6","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":"Q1678415$52306B53-F189-4014-898A-F2B282A0847A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"156cba4ce845222ecdb517c6387c30a616949345","datavalue":{"value":"W2734695529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678415$1B495B1E-8D9C-4A97-AC9D-43B45AF910C7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae600d82e59da48d9490ff29ee5b51a547bc0409","datavalue":{"value":{"entity-type":"item","numeric-id":4864249,"id":"Q4864249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678415$918F570C-2E86-4BF4-9DAF-EA1D5025309A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"951d9fe21fea4ae90cead39077240d3e512f083e","datavalue":{"value":{"entity-type":"item","numeric-id":465599,"id":"Q465599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678415$8DEE5F6D-030D-46C3-B41F-641D5B61261B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9545c55db03cfe68874950a8955ddc048a781329","datavalue":{"value":{"entity-type":"item","numeric-id":4576164,"id":"Q4576164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678415$C2FF5C51-A649-46B7-82CA-6E83B477A879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52798ad66a5945a840926a04847c8a04a768266d","datavalue":{"value":{"entity-type":"item","numeric-id":646515,"id":"Q646515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678415$5B65362F-B64C-4766-80A4-21F9A615E56A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af550426c6f65b1a6e27a4b0de7486d9ecbe787b","datavalue":{"value":{"entity-type":"item","numeric-id":2863166,"id":"Q2863166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678415$84575580-C2AA-4244-80E7-E079A5FB023F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6e090ea15ded718fe0410ea1e64ddce7b1f9aaf","datavalue":{"value":{"entity-type":"item","numeric-id":2462646,"id":"Q2462646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678415$5A6EFBAA-B635-4236-B12C-F39142D54366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3246bf8304ea1d14483917af5f6a2ffca67a3db","datavalue":{"value":{"entity-type":"item","numeric-id":1028909,"id":"Q1028909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678415$D87155A0-AE2F-43C1-8889-0D93E192E67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"285ed42edc96816350bfcbfe3e40c26401008f95","datavalue":{"value":{"entity-type":"item","numeric-id":4444966,"id":"Q4444966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678415$A5024C8A-DB02-42AA-8883-FFAAA78130C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8939c749f37826ad573162fc01707a32e3d116","datavalue":{"value":{"entity-type":"item","numeric-id":932109,"id":"Q932109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678415$BC1B1667-55BF-43EB-AC95-618B7FC31F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f54de1889434eefdacd7e907b0785abf923be8e2","datavalue":{"value":{"entity-type":"item","numeric-id":3189562,"id":"Q3189562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678415$FE705951-3D9E-4899-9AC0-516D8C9ED6D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"498424bf4b694b61b0f5b3d890d0c2da5a490f1e","datavalue":{"value":{"entity-type":"item","numeric-id":5394145,"id":"Q5394145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678415$30DB6802-8CAB-4D68-89DD-F2EE0331BEC3","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":"Q1678415$ABDB2CFE-EC22-4FFD-9966-BF768779E352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab592f3f0422ce79e7ce3ee9c77c0e13abcfecc1","datavalue":{"value":{"entity-type":"item","numeric-id":814510,"id":"Q814510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678415$15FF9027-DCC8-407C-A3A3-14EA1205095D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c899235653f556a0aa7859035023b96ac1cb9131","datavalue":{"value":{"entity-type":"item","numeric-id":4708957,"id":"Q4708957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678415$3A7794A3-169C-400C-9396-E523F052436E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10caff25ba90017d4276edddc45383cbaf0e9e58","datavalue":{"value":{"entity-type":"item","numeric-id":3391905,"id":"Q3391905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678415$3CA5A4C3-E44D-4CD1-B4A3-D11F0EB2099C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94714868e2346c217668da5cb7c6d7252f1db86c","datavalue":{"value":{"entity-type":"item","numeric-id":4819006,"id":"Q4819006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678415$8B1803AE-6053-4B92-ACED-C845E30EF399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb6618c2e327f561010ebb398f01a8c90f6975d3","datavalue":{"value":{"entity-type":"item","numeric-id":360132,"id":"Q360132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678415$62B13201-A41A-4037-AF75-54078323EE78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51aac6bce5ccda718f13f5f0441a64e88db628e8","datavalue":{"value":{"entity-type":"item","numeric-id":5445729,"id":"Q5445729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678415$BFB65B1D-104A-4CC3-AA82-B6EE5B24C99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae39cc70a912c66ef643bd1551110353d4ecc186","datavalue":{"value":{"entity-type":"item","numeric-id":5946356,"id":"Q5946356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678415$DA46C8CD-0D8B-4E36-A473-5ABB348E57B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3043584a63fc36f34b1f253742062e5fc8b4f9b1","datavalue":{"value":{"entity-type":"item","numeric-id":1102126,"id":"Q1102126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678415$CE82CF6C-4EC7-4048-9E89-8EF9D6458619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac6dcc84e03f2a151ea8571a73318c92a0b1b8ea","datavalue":{"value":{"entity-type":"item","numeric-id":2544606,"id":"Q2544606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678415$8D8EFCA2-97FA-43CC-AC2A-B9DD3AED09BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bde64050d27cdd4ca63f51f6cb824802a8d44b6","datavalue":{"value":{"entity-type":"item","numeric-id":3656766,"id":"Q3656766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678415$F106809C-E939-47A9-8D48-D447034FA455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df52b55e02dcc0a82f23b87d965c9cd0f666d181","datavalue":{"value":{"entity-type":"item","numeric-id":4927418,"id":"Q4927418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678415$0A872865-1A33-453A-A5C8-ED6A8A106047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a76108dbaf3bea2928959d4b19a970053e8d650a","datavalue":{"value":{"entity-type":"item","numeric-id":4536329,"id":"Q4536329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678415$90ABA1A1-C1C7-41EE-99C2-FB73C1B297E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f22aaf332364e42d23fadc4f72e04681d8bbb9fe","datavalue":{"value":"10.1016/J.IJAR.2017.07.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678415$14859649-5F06-441D-AE79-51735BF66A5F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21ae151557585b2f542b13fab4dbc93e72114d20","datavalue":{"value":{"entity-type":"item","numeric-id":5145824,"id":"Q5145824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"326974141e025205b09659d710970c8035f0c275","datavalue":{"value":{"amount":"+0.8188691735267639","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":"Q1678415$0D1399C5-A03F-4154-8276-633BDD25A13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b65805d25dc1b887ca71f8a71f494e5106680d4d","datavalue":{"value":{"entity-type":"item","numeric-id":3189562,"id":"Q3189562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72ab81ca58ad169c2adbeb3dacdfb0d7d6b0acb4","datavalue":{"value":{"amount":"+0.7797257304191589","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":"Q1678415$9F251DD2-DC6F-4C55-BC17-84634EED9F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44866162bcb62c45c4e8e916769c934acb44bdb3","datavalue":{"value":{"entity-type":"item","numeric-id":1869617,"id":"Q1869617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"521d4fd18a844c9d84a9c6067fee85a397162ca4","datavalue":{"value":{"amount":"+0.7790713906288147","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":"Q1678415$C46CB69A-CB14-415C-B49A-BDB85D8B0A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"141944c8ff6416b486fe52635f6e61755684de1b","datavalue":{"value":{"entity-type":"item","numeric-id":465599,"id":"Q465599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fabf07eb4dc49284cfb97bb0506d17fd985f917","datavalue":{"value":{"amount":"+0.775680661201477","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":"Q1678415$9A1A7DD1-C0CE-4009-AC25-12EEC7E62A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d92437b61f3af6a2cdb97e4741c36158a003eb4d","datavalue":{"value":{"entity-type":"item","numeric-id":2038047,"id":"Q2038047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf8bd7800dc5c8e57018b9688d3794881f9cfe5b","datavalue":{"value":{"amount":"+0.7691560387611389","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":"Q1678415$E4363D93-3119-45DC-9DFD-065DCF74498E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic-based argumentation with existential rules","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logic-based_argumentation_with_existential_rules"}}}}}