{"entities":{"Q2180221":{"pageid":2190964,"ns":120,"title":"Item:Q2180221","lastrevid":53731937,"modified":"2026-01-25T15:22:53Z","type":"item","id":"Q2180221","labels":{"en":{"language":"en","value":"Mechanised assessment of complex natural-language arguments using expressive logic combinations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7200357"}},"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":"Q2180221$C8149193-993C-4D27-B2C2-77CD81E4BF57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ee2ce9a16b0b02dee78bc2200381991037bbac5","datavalue":{"value":{"text":"Mechanised assessment of complex natural-language arguments using expressive logic combinations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2180221$DB8B5756-38A3-40DE-A086-CAE10AB9E58C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03869f435bac99d041059389b506e4b993b375c9","datavalue":{"value":"1435.68315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180221$560966E6-2058-4475-804D-A22FD990A636","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e303eb5eac02532700c12cc4a8c69a82bdf4500","datavalue":{"value":"10.1007/978-3-030-29007-8_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180221$AE4B26C1-9544-4651-A293-3F8E394476B9","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":"Q2180221$1C7F28F6-0F48-4F8B-B180-A27655A29FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a525f7cd8b191ac2b9090383b0dabde3689f4ff2","datavalue":{"value":{"entity-type":"item","numeric-id":287280,"id":"Q287280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180221$9F3F4465-C30D-4498-830B-AB6FED18193A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d0c48627b068f854a947856c3807165d49ca3ba","datavalue":{"value":{"time":"+2020-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2180221$171B9352-9577-489F-BBE8-8B758276306C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180221$DB31518B-FD70-4369-B45C-6D9D6A83A149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180221$7D4C6B93-7E03-46DC-A2E2-467C5FE5CFFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180221$DA04589F-A3AC-460E-98FE-EC78349069C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"297b4dfebc93d70aa8375dc3917ae84a7aee85dd","datavalue":{"value":"7200357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180221$BDA8D18F-D3D0-4AFB-9300-A918B6D81139","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f98414176ef8f0928b642826f8c4d9b865decd24","datavalue":{"value":"logic combinations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2180221$5B37BF72-151B-4908-8C0E-819EBDAA570D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2180221$CD09FA77-4451-4F71-9CA7-B10F7047FD10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cbf5117dabd8622a849856d4a56ceec1d48654d","datavalue":{"value":"deontic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2180221$3AD0EC4E-32D1-4684-A15E-E25E1D5FF382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"503bf0f226606aaefbf1cddd5b98073d7387e8e9","datavalue":{"value":"argumentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2180221$941E063B-0A92-4AC7-B989-D81A1D68C697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bffac8577b0ac0cf83610798d5a7a75e04f2753c","datavalue":{"value":"higher-order theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2180221$CF8D8409-921D-440C-82D0-F31BA33A0474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7eefb2b1f5e1ddd95f5db204b23cfb4c53d0151","datavalue":{"value":"Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2180221$CFE948A8-8926-4716-A034-6834A659C565","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ecb36fec89ff827cd73a8ca1a85f36a2e419c34e","datavalue":{"value":{"entity-type":"item","numeric-id":13377,"id":"Q13377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180221$796D5553-5416-425E-9C82-91FBB9239413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180221$A8FDCC33-8812-4A6B-8617-C6498AD8392A","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":"Q2180221$BC67273D-E500-441F-B926-E77E0068F3CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c70165f1a3e25f31e4733f49fc6d02952a41db86","datavalue":{"value":"https://doi.org/10.1007/978-3-030-29007-8_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2180221$8FA9E0EF-E5B2-431D-8CD6-027EF15F5139","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"76c5ca94b0244925ee8512901d0ac45135a53c9b","datavalue":{"value":"W2969254288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180221$EC8FAA0A-9B80-4C62-AE42-CA28880AAE21","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0074bc2d874d59c82e79d6bbbe0cc77801f45e2a","datavalue":{"value":{"entity-type":"item","numeric-id":5869572,"id":"Q5869572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30386528bda10145fedf0fe4fbc38b1241796e3f","datavalue":{"value":{"amount":"+0.7081273198127747","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":"Q2180221$F2BD0F64-7712-442C-A7DE-F0F55A5C29B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9c32eb20217ec74852274dc90b65320d8ef2214","datavalue":{"value":{"entity-type":"item","numeric-id":2299238,"id":"Q2299238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dea051ff57343c36d23dc2bf5a4d0376e7ada14","datavalue":{"value":{"amount":"+0.7044575214385986","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":"Q2180221$5D396868-B0AD-4E1A-B98C-08D0CB34C500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e724f90157886f4308f615a23f5e5050bd101fb","datavalue":{"value":{"entity-type":"item","numeric-id":3451165,"id":"Q3451165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e35d3fb8adf581db5faf6857adae1fd3571b10cc","datavalue":{"value":{"amount":"+0.6989601850509644","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":"Q2180221$D05EE782-2F4B-4964-B543-C8885E628347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f3349b7bcec94b76f3ad76b3ae4fcde62c78513","datavalue":{"value":{"entity-type":"item","numeric-id":1744402,"id":"Q1744402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b338c6a882fa9570e8bc8ff878f24f9262011006","datavalue":{"value":{"amount":"+0.6967024803161621","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":"Q2180221$CBD514AC-6AE2-4514-9FFA-471367343641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fa1adbc37c67dd1551363312d677d731d8ed5ab","datavalue":{"value":{"entity-type":"item","numeric-id":656826,"id":"Q656826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5c82cbd54799938d561c48a46e0b047c435f585","datavalue":{"value":{"amount":"+0.685444176197052","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":"Q2180221$F14AF786-38BC-423C-ABAF-A9CAF8AF0300","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2180221","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2180221"}}}}}