{"entities":{"Q648354":{"pageid":650203,"ns":120,"title":"Item:Q648354","lastrevid":63295521,"modified":"2026-04-11T11:54:58Z","type":"item","id":"Q648354","labels":{"en":{"language":"en","value":"Algorithms for generating arguments and counterarguments in propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5976276"}},"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":"Q648354$EEDD0AB3-61D3-4709-9C03-52D3F54CC68B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed1816f1ec3633ef106f75a1ab547cbc3a370fed","datavalue":{"value":{"text":"Algorithms for generating arguments and counterarguments in propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q648354$8CEC8BD3-EBEC-4D19-AF7A-ED0FE4D5E1CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4d68cd22c6b5258605a198ef9a1a44e09b4cc37","datavalue":{"value":"1252.68273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q648354$91B236E6-8CAF-4F2A-80B3-1130C2EC84F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1efc677e6a2b7cff4dd0e9819ef70226c666b25","datavalue":{"value":{"entity-type":"item","numeric-id":648353,"id":"Q648353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q648354$B24CF8C4-BE37-4E82-876A-ECA84CFAD456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3864301cba9b10ac52129995b7fe437f7fb60c36","datavalue":{"value":{"entity-type":"item","numeric-id":324664,"id":"Q324664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q648354$0892F018-C5C9-4909-99E6-A9AC1EC1B82F","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":"Q648354$7F6375C8-312F-4F22-97A3-637DAFF70289","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d06d6de084d6566994eb3940381939ab0e2877d","datavalue":{"value":{"time":"+2011-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q648354$161BA17D-BF66-43FE-B300-3B67D9AA97EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q648354$001EF5F0-BD5C-4B50-A005-84E249DBC61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q648354$11AA0F3C-AF0C-4435-95CC-8C57C1881565","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88be33bfa9806aa38796702ea38d60c82d58e1ee","datavalue":{"value":"5976276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q648354$0E130FF9-B576-4365-ADD3-0C6802743F55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e83342ffce426a9e886c5c44a6cf92be90387e9","datavalue":{"value":"logic-based argumentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q648354$03F183E3-6325-42C2-B6BC-F2DC1FE2B6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4688a5eab7de44d4b2de5416657bdc0b6c691355","datavalue":{"value":"computational models of argument","type":"string"},"datatype":"string"},"type":"statement","id":"Q648354$B2B9B7CA-66FE-4110-B29E-52A77A1FBD06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f80dc7cf9a26bdc8aa4d806591d5fdb57c5b515","datavalue":{"value":"disjunctive clause","type":"string"},"datatype":"string"},"type":"statement","id":"Q648354$EC2B0B89-5B8A-4D1F-AEB7-A406090623AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab504d7931a374033e0957f380e685409dae184d","datavalue":{"value":"counteragument","type":"string"},"datatype":"string"},"type":"statement","id":"Q648354$DAAEC059-EFF2-418C-B771-7F2EA728C60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1afd22b3dc214c1e5326cfa5f3db3a849a3505be","datavalue":{"value":"canonical undercuts","type":"string"},"datatype":"string"},"type":"statement","id":"Q648354$B5167F3E-01FD-4044-B677-5DC16211491E","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":"Q648354$CB5B35BB-5B8B-40EF-A29E-3CC2FD2BCF14","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5a1340e3a4a280808918d428f216ddbf34e1755","datavalue":{"value":"https://doi.org/10.1016/j.ijar.2011.01.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q648354$03347251-0501-46E7-9C2A-6C80CAED64C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"961571d07cc084e74340fb96f0e1f33cc1e09be2","datavalue":{"value":"W2073255218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q648354$11430E1D-6634-4236-96C3-2D070CE21468","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a285e1c10d6daedc2cc9f7b045273c3a3c22774","datavalue":{"value":{"entity-type":"item","numeric-id":1601892,"id":"Q1601892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q648354$1BF7DE1A-0F87-49E8-A4CF-94E1EB1C20B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f61c2022342d9d322d4f223d98335b3a66e82b60","datavalue":{"value":{"entity-type":"item","numeric-id":997053,"id":"Q997053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q648354$53B4B13D-BDBE-4C25-9E2B-6E5D60F653DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76976b7b8d12e43bceb1d92eff4101267df29f65","datavalue":{"value":{"entity-type":"item","numeric-id":5941137,"id":"Q5941137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q648354$D9E08471-BC8B-43DE-B3F3-CFD410ED6D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce6e69e941c7f7358c775f22f2ec8b564415ce1c","datavalue":{"value":{"entity-type":"item","numeric-id":1045994,"id":"Q1045994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q648354$771D7199-ABF1-4CF2-A6B9-DDF49F469523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8f0e7cd88e4f53d92a14478df7f0faedba577b8","datavalue":{"value":{"entity-type":"item","numeric-id":4784873,"id":"Q4784873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q648354$BED166FF-61D2-4EB1-9D75-BB5DF20FBD8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b5429938dd68dbcc254ee6b9cd44a67ba56bce3","datavalue":{"value":{"entity-type":"item","numeric-id":1852857,"id":"Q1852857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q648354$5F2480E8-8749-49F9-8058-90590F007E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56a7e216f7aac7407ce3c53785099a89811e0e81","datavalue":{"value":{"entity-type":"item","numeric-id":2457643,"id":"Q2457643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q648354$5FA80DBE-A1A9-406D-BB8F-74683D0174B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04f65a28832b90829d71bb0f46f16e1c96ca12ad","datavalue":{"value":{"entity-type":"item","numeric-id":5445306,"id":"Q5445306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q648354$CB117A76-4204-4ADA-8867-DEEF73DEF65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b549ec2834c6fac884f841f3f2e5160949eefb11","datavalue":{"value":{"entity-type":"item","numeric-id":3638143,"id":"Q3638143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q648354$EAEC5205-0DE8-4D5F-A607-DC3228381951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e443abd205c633af6bf9d7270f54a9ff30c3e75e","datavalue":{"value":{"entity-type":"item","numeric-id":4369855,"id":"Q4369855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q648354$B2669A31-848F-408D-9B35-DB5D619FE5D2","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":"Q648354$6436D9BE-04C8-406F-8DAD-7445D230EBAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdedb4e2ca6ca5959f2c5bf34d6ef9834649187f","datavalue":{"value":{"entity-type":"item","numeric-id":990964,"id":"Q990964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q648354$875413B9-5C7E-4A5F-A283-DB8C5B3C9EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5793530ebdd1a4bf1b1d74bb4e1927346aa1e276","datavalue":{"value":{"entity-type":"item","numeric-id":4700098,"id":"Q4700098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q648354$B0D318AE-F18E-4A97-9059-24D385B084D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a45ed88c84c30a799c478233e266ce605894b324","datavalue":{"value":{"entity-type":"item","numeric-id":4133168,"id":"Q4133168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q648354$28DAD6CE-A247-4D5A-A941-CA79625AF82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a872690aae65aa8cbfced9522c07629e0a8e21","datavalue":{"value":{"entity-type":"item","numeric-id":3862380,"id":"Q3862380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q648354$8C4BDB80-A217-4AC2-A81C-93A62452D5BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08067296a778be982332271922f05534568e2cf4","datavalue":{"value":{"entity-type":"item","numeric-id":5600875,"id":"Q5600875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q648354$DF506E67-3CAC-41CB-B085-DFF888F07D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b10d763dea31349f6ddcda9ba6d6b4d1fc6050f6","datavalue":{"value":{"entity-type":"item","numeric-id":4444965,"id":"Q4444965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q648354$D0CBC782-7CAB-4F9F-B786-056A97834ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3f2dd65c2c506804dbf1ae981a1cd106ee4954d","datavalue":{"value":{"entity-type":"item","numeric-id":3128365,"id":"Q3128365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q648354$4F35B2C1-AAE9-4F5A-940E-A25474A5750C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38bbebcaa9b77370514da270b20f72dcb4f7b55d","datavalue":{"value":{"entity-type":"item","numeric-id":4789446,"id":"Q4789446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q648354$B2EC540F-ECE5-4F87-9C29-C652B98E96CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q648354$F52D15B3-426C-4FE7-AA33-91311ED87359","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8747eafb9b15085d69ce1bacdae268db844a1c09","datavalue":{"value":"10.1016/J.IJAR.2011.01.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q648354$6A66D469-EDB9-4348-A256-79CA74B6D91F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9246cfb3ff67f622541af90e89ae359f65037f0c","datavalue":{"value":{"entity-type":"item","numeric-id":5445306,"id":"Q5445306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc773463d3fd39ec0d1dd752eccbcc90f4e4de80","datavalue":{"value":{"amount":"+0.8729279637336731","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":"Q648354$F61D690F-6DF6-4EE5-8D20-16745430B870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edb9b7b023fd1bb24c694aa9348522ad9a321ca9","datavalue":{"value":{"entity-type":"item","numeric-id":3638143,"id":"Q3638143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52f97bdc24153450c9f909e2b5a473f3490dd3ee","datavalue":{"value":{"amount":"+0.8686054944992065","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":"Q648354$9AF08996-A67C-4A5F-893F-5EE2E7DFBBD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0987db3ffa1a6ab311eb02ef5c2d1e2ebf46c128","datavalue":{"value":{"entity-type":"item","numeric-id":1045994,"id":"Q1045994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce31c9001515ab99596c311ea605c6f614f24a38","datavalue":{"value":{"amount":"+0.7736315727233887","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":"Q648354$A1645289-36C1-4A38-A016-203B950667B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20e67219afa4e960749e7e065961435c18fbd10a","datavalue":{"value":{"entity-type":"item","numeric-id":5215686,"id":"Q5215686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10bc6107e2597dec2d149783977641d3b7fffd5a","datavalue":{"value":{"amount":"+0.735270082950592","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":"Q648354$ED95CC29-8303-4C68-AD3E-0AC984FC98F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9789f01e30191d0c54cecb83bbb0083f9545e500","datavalue":{"value":{"entity-type":"item","numeric-id":2946726,"id":"Q2946726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27384b77f6ecc4504d2736b64b1d5aa777c39e3d","datavalue":{"value":{"amount":"+0.7257425785064697","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":"Q648354$A15D8D25-5979-4F81-97F6-C0AF99803E0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithms for generating arguments and counterarguments in propositional logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algorithms_for_generating_arguments_and_counterarguments_in_propositional_logic"}}}}}