{"entities":{"Q6937608":{"pageid":21129273,"ns":120,"title":"Item:Q6937608","lastrevid":75875214,"modified":"2026-04-21T10:34:58Z","type":"item","id":"Q6937608","labels":{"en":{"language":"en","value":"Algorithms for reasoning in a default logic instantiation of assumption-based argumentation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8085548"}},"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":"Q6937608$5C1AF15C-AD49-475E-AB8C-2D58F2CCFEAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f5d4831ee03941f22ce6dcf052ab05537772239","datavalue":{"value":{"text":"Algorithms for reasoning in a default logic instantiation of assumption-based argumentation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6937608$BA1B31F1-3808-4A3A-94C0-5A9E366054D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81fb15c617ed601c6c8004228664f74b373c0339","datavalue":{"value":"1573.68509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6937608$D77BBF2E-DAEA-42D4-AB09-842DF6B3313F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e296a62506307fad1338be4af1defc4ef312151","datavalue":{"value":"10.3233/FAIA220156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6937608$4F73C0E7-5060-40E4-88A7-155B19261F11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"748dc0893c163569e736bc375ae7f00b10283c73","datavalue":{"value":{"entity-type":"item","numeric-id":2401856,"id":"Q2401856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6937608$9B2A50A9-529F-4247-A159-CB70C76ECBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d114eeec42bb6c543b32170c6148e96e20e02d76","datavalue":{"value":{"entity-type":"item","numeric-id":490450,"id":"Q490450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6937608$A35C9640-5ED7-4874-94AA-227F2D5558A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58d1d7d14c02d5fd66164eb2f51bc923e39cb8db","datavalue":{"value":{"entity-type":"item","numeric-id":269491,"id":"Q269491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6937608$C78D5194-6A61-4296-B0B1-4022B51A1ECE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2971c878aed1f7b79cef7831c85f9a08149c033b","datavalue":{"value":{"time":"+2025-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6937608$2B4367F6-CB7E-4ACC-B76E-86EF75C5A437","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6937608$68A66728-FB1D-43DF-BA4D-EDC6A8BBF661","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f146eacbfb6d15581742dcd6f03f4ca57406eb2b","datavalue":{"value":"8085548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6937608$C098FA05-C23E-47CE-896F-B63602BA2DCD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a4e2e059da360c0267e21a579b9c3a1a524e982","datavalue":{"value":"structured argumentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6937608$8C63D7DA-BDB9-4347-B6BF-EF1FC3C62FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"942ecfc09ec4393e4417bcb962d21714ef3b4e1a","datavalue":{"value":"assumption-based argumentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6937608$ADAD40D4-59D7-40F6-B2FD-B0962D1E5D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d126367ec033dbcb543a0d81d4b6faab0105788e","datavalue":{"value":"default logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6937608$9A73C389-767D-4338-B9FB-DF06A8638186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q6937608$8E3E6314-7E57-463B-B571-0BAF1DC72612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6937608$01687E64-D5A7-4BC4-A7F4-3CC8A780115F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9197a37b01c429a80f29ce836959932820d6995e","datavalue":{"value":"counterexample-guided abstraction refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q6937608$BC63AB5F-B9D4-40EC-BEB2-3A391392F5A4","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":"Q6937608$FCD2C740-5BBC-4802-81B1-D141672EF2F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithms for reasoning in a default logic instantiation of assumption-based argumentation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algorithms_for_reasoning_in_a_default_logic_instantiation_of_assumption-based_argumentation"}}}}}