{"entities":{"Q5037672":{"pageid":7067249,"ns":120,"title":"Item:Q5037672","lastrevid":91237172,"modified":"2026-06-04T22:37:33Z","type":"item","id":"Q5037672","labels":{"en":{"language":"en","value":"A flexible approach to argumentation framework analysis using theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7483821"}},"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":"Q5037672$72543EA7-C703-48C9-868B-487D2DBF4019","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e0e7bfd361f54b88dab3291a31c182cb0702767","datavalue":{"value":"1484.68228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5037672$062E0838-D59C-4906-A57C-319F95D50A75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"39f9666546c0d0fded6ba7ab8965559a6b0910d9","datavalue":{"value":{"entity-type":"item","numeric-id":2180220,"id":"Q2180220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037672$B4510197-B494-434C-B37D-5472E1550DCD","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":"Q5037672$746EAEFA-700F-4D73-838C-136101966300","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2199ecf1fe17346ff9ea48622eb6ad7ecdd5bf0e","datavalue":{"value":{"time":"+2022-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5037672$02E9164B-16A1-4A61-8135-C7CE8CE3400A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5037672$0733A8FB-EEC5-4607-AA53-45C82250E935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5037672$01EDB6ED-70C7-43AC-954B-7AFA772F450A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76f0d7eac32e313407e229acd23826d1164bfb59","datavalue":{"value":"7483821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5037672$458A415A-0AFD-48C8-B53D-3B41EB4E84F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13c77b4231922cd57d42bac9b81da5ba946aa73d","datavalue":{"value":"abstract argumentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5037672$AD0ACF02-DE69-4131-8879-0965C8E426E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0b1c0cdebab056f48262c8d55665d2570dccce8","datavalue":{"value":"extensional type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5037672$3B476B76-7BE8-414F-B175-A8758A746295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5037672$9261A742-093E-48F0-960C-7B5E41D8A6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5476ab0844a53cdbd59a90a0ac7a706c7ad7a23a","datavalue":{"value":"meta-logical reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5037672$C88A01DD-082F-4E64-814D-9CA81E07BC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddbcb2073b5c7b755f2e5b673e59622629e687d7","datavalue":{"value":"proof assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q5037672$C5C38A1D-3915-43CA-8948-29419ED6233A","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":"Q5037672$EA2F459A-284A-4D9B-BF8C-CD8A745E990F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ec8b20b10d091b97157f0d55cc744dd2be57e30","datavalue":{"value":{"entity-type":"item","numeric-id":4599795,"id":"Q4599795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0c18b2ee6379b3059ccb704a9aca7d931325706","datavalue":{"value":{"amount":"+0.756074845790863","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":"Q5037672$AE34065D-87B5-4DEC-BA57-3FA8002C524F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cfb8d7b8c7818bba60fa9575115e65c00e84d14","datavalue":{"value":{"entity-type":"item","numeric-id":5039147,"id":"Q5039147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6550417de1998d9e44ca5af904c312ede6c045ad","datavalue":{"value":{"amount":"+0.7508930563926697","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":"Q5037672$C581EFC9-629D-4AB3-85AB-D9D0FA041D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f12069dbcc7b2cd77e88b319f5569bc97392fd3","datavalue":{"value":{"entity-type":"item","numeric-id":2028722,"id":"Q2028722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d8549477c7b017064bc1d85052e2f20719e48bd","datavalue":{"value":{"amount":"+0.7437912821769714","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":"Q5037672$79DCA010-23EA-4A56-8299-8152D6F02000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96071a2bcde7f5ca73ab57c6b15e7d65e791de44","datavalue":{"value":{"entity-type":"item","numeric-id":5224797,"id":"Q5224797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faeb9079bf997fbb805e682245f86727176d6de4","datavalue":{"value":{"amount":"+0.7412697672843933","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":"Q5037672$C20EA2BB-09E4-4850-9604-FC9F59842850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82a61b63e910d059e432eda51bf16a49e88990e3","datavalue":{"value":{"entity-type":"item","numeric-id":3103976,"id":"Q3103976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47fe6afac4e2bfa7fbe559e0c5f77df1252cc9fb","datavalue":{"value":{"amount":"+0.7396800518035889","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":"Q5037672$AD0D766E-BD45-4B95-A38D-E3D79E2963BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A flexible approach to argumentation framework analysis using theorem proving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_flexible_approach_to_argumentation_framework_analysis_using_theorem_proving"}}}}}