{"entities":{"Q2297749":{"pageid":2308492,"ns":120,"title":"Item:Q2297749","lastrevid":73893918,"modified":"2026-04-14T17:39:03Z","type":"item","id":"Q2297749","labels":{"en":{"language":"en","value":"A model-based theorem prover for epistemic graphs for argumentation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7170122"}},"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":"Q2297749$5077E710-1F03-4953-BCC1-86D118979578","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a272d290d74efaf4a5e17f7f4132149f75f9ddc6","datavalue":{"value":{"text":"A model-based theorem prover for epistemic graphs for argumentation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2297749$501D9226-D4E5-4DC7-9252-FD341E3721C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2fbb8c1722071206f9b4f4444ec02f4ecc2e8574","datavalue":{"value":"10.1007/978-3-030-29765-7_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2297749$3AA21BA7-D974-4C5F-AA32-42C8B4D0311C","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":"Q2297749$0FDDFDBF-1654-473E-9743-09C2C34F7D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10d7fc95ca27d43c2d8ca456c6e6098b595f17c7","datavalue":{"value":{"entity-type":"item","numeric-id":1726414,"id":"Q1726414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2297749$0993CE98-E1A3-455C-BE20-E73BEFEF8367","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24486b0c9c2f4867c6ded703b21ce26ee6b26916","datavalue":{"value":{"time":"+2020-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2297749$267E62F1-6B90-4735-B817-3D600B77036C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0b200cf04d2a56968b90722e5339e7bfdd8619e","datavalue":{"value":"http://orca.cf.ac.uk/124050/1/autoepigraph.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2297749$F202F4C8-6462-49FD-B7EC-AEAE2A329F6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2297749$AA4D84D5-B878-4C1E-B578-BA7E054546A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df5e774031bc58cd3dc519f2d2e96fc39da45e38","datavalue":{"value":"7170122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2297749$F75779DC-8C17-4B0F-B266-BC848605289C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f001cfb9c7bc3095d471b349f455e9acaca114e1","datavalue":{"value":"probabilistic argumentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2297749$BEC2AEC2-892F-4E2B-A66E-5808E31EC404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6530084b46504ae8c4941ac9def5ff5b7263ebe2","datavalue":{"value":"epistemic argumentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2297749$8E1276A7-EC56-44D2-BAE1-A05DABD085E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13c77b4231922cd57d42bac9b81da5ba946aa73d","datavalue":{"value":"abstract argumentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2297749$765997A3-0B6C-486F-A40A-9B1D129C0184","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":"Q2297749$FF044D7B-5120-471B-B9A3-24FF309F9589","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e9489767018c202cbc143cecd17e03f3c0ed74c1","datavalue":{"value":"W2971611732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2297749$6472D625-7F2F-4BCE-AE75-AA39177BA28B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a57954aaa68414feb63c4eebee03711f553d728b","datavalue":{"value":{"entity-type":"item","numeric-id":5145814,"id":"Q5145814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7724408120922df77c3d3fafe1b728eb0d4b272","datavalue":{"value":{"amount":"+0.8405519127845764","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":"Q2297749$93441441-E8B4-4C9A-99B9-240A8CB9A8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b442eec9f5b4c2e6a29192b954d4d25e71e5066","datavalue":{"value":{"entity-type":"item","numeric-id":2303513,"id":"Q2303513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c54cae25b36dd8cc8a9d33f5e6e76efab33cb64","datavalue":{"value":{"amount":"+0.829587996006012","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":"Q2297749$72A3160C-39F2-4704-B418-C712BB32BC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd1b42b1cfd0060f795b5e4ab18a0008494891f8","datavalue":{"value":{"entity-type":"item","numeric-id":4999281,"id":"Q4999281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d8639edc97defe49f2b205f034bff355910de60","datavalue":{"value":{"amount":"+0.8016376495361328","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":"Q2297749$B311CFBE-F3DA-4B27-8DD5-5EECC336D5D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"531493ada8050da490868b5772071ef7a1f59fca","datavalue":{"value":{"entity-type":"item","numeric-id":5045311,"id":"Q5045311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5ba32639f13ea68896a9c80773d6b43f533a44a","datavalue":{"value":{"amount":"+0.7779898047447205","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":"Q2297749$5A59C700-1328-43B0-81B7-89B403EB86CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"603cf551647f048d9038b907b7bac1eb1417bf35","datavalue":{"value":{"entity-type":"item","numeric-id":2297753,"id":"Q2297753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa4689ef9fde8a6e33904e07d4058cedb0bccfeb","datavalue":{"value":{"amount":"+0.773427426815033","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":"Q2297749$EF82D3E1-413A-4C69-B093-06FE9F572BFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A model-based theorem prover for epistemic graphs for argumentation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_model-based_theorem_prover_for_epistemic_graphs_for_argumentation"}}}}}