{"entities":{"Q6937614":{"pageid":21129309,"ns":120,"title":"Item:Q6937614","lastrevid":75875268,"modified":"2026-04-21T10:35:09Z","type":"item","id":"Q6937614","labels":{"en":{"language":"en","value":"Automated reasoning with epistemic graphs using SAT solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8085543"}},"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":"Q6937614$17404E83-D611-4DEB-92E8-4F91518CA166","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"561b3355bbf2e0b3819afd4574c27ec475f18e48","datavalue":{"value":{"text":"Automated reasoning with epistemic graphs using SAT solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6937614$CDD6B56B-3F38-4566-A906-EC479F062786","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2a4245eebd0505913176f5650f4672c9e02ba2e","datavalue":{"value":"1573.68466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6937614$EB6D31B4-378D-41E3-B7F7-6C9405EF2ACF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab44844ae840a5e9343e54e7481ea9ccc7e44541","datavalue":{"value":"10.3233/FAIA220151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6937614$F89C0513-3864-44EA-9286-DF40057F4F99","rank":"normal"}],"P16":[{"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":"Q6937614$51A03644-9C99-477D-8D04-977A7AE68230","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":"Q6937614$368A71E9-A72A-414D-BAE1-9345AD8929DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6937614$FCD0887B-0DF6-49B0-904E-DD74642895FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6937614$F871C660-E40A-4370-965E-9AF5295F5FD8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db376576c0feeb6a41805dd799781a46f5085c52","datavalue":{"value":"8085543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6937614$24B2FF86-911B-4B3E-96F1-9488DDE4BF22","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f001cfb9c7bc3095d471b349f455e9acaca114e1","datavalue":{"value":"probabilistic argumentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6937614$0F26D641-7E3B-4673-94CA-E8CDAB402843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"782bad9ff48f8c62ce3102303e047ff221b37afc","datavalue":{"value":"argumentation algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6937614$E723A8B4-CB91-4DB6-AEB3-9FD69070B796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24b5b18d9541c3478761e10d81fb79ed55832ea8","datavalue":{"value":"bipolar argumentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6937614$B6A8E51B-4265-4E29-AD83-AAD7605A217A","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":"Q6937614$D411CC0C-AE54-4AAE-B677-F68A0079F0A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated reasoning with epistemic graphs using SAT solvers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_reasoning_with_epistemic_graphs_using_SAT_solvers"}}}}}