{"entities":{"Q5040701":{"pageid":7070278,"ns":120,"title":"Item:Q5040701","lastrevid":54422024,"modified":"2026-01-26T19:16:18Z","type":"item","id":"Q5040701","labels":{"en":{"language":"en","value":"On the SMT-based verification of communicative commitments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7602644"}},"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":"Q5040701$BBF79C1F-6BDF-44F8-BD6F-4FE882804433","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e4a2efc5cd7a79a0d9c28f2460ef01fba73e6ba","datavalue":{"value":{"text":"On the SMT-based Verification of Communicative Commitments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5040701$1DF38034-B5A6-48F4-8549-6958A2E69027","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70320fcc24032cc2326ada00967df5fb708d7b3d","datavalue":{"value":{"entity-type":"item","numeric-id":310080,"id":"Q310080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040701$8182AF08-C69A-416B-B98B-2B6FDB0D29CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7013a491a3d293ebff883101e3aa79f35d96512d","datavalue":{"value":{"entity-type":"item","numeric-id":5040684,"id":"Q5040684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040701$CD93F236-FC74-4890-8D4B-A6A0CCACA8A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"633573d5fb5c9e8722e57b8c68df5de664e79435","datavalue":{"value":{"entity-type":"item","numeric-id":5040676,"id":"Q5040676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040701$7DEDE851-D620-4B02-9504-6D39F302A24E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b8a886b77bbd2be6d65b2d24ad7ecc45071c32e","datavalue":{"value":{"time":"+2022-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5040701$2A48414A-3C80-42B1-BA6A-41DA4B0451FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040701$C6C117AB-0048-4A29-8137-08D68DAD99B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040701$EFE60A7E-9646-401F-A004-AC727FAAB5E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040701$632EA7C0-C2A5-4D95-B95C-91B30299E5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040701$627FF94F-34BB-4274-8D55-76266D17080C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040701$A35C4139-57D7-4E3F-8B63-D88DFF739983","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a2170040e84882aac8c56dc71ba7a62514f7142","datavalue":{"value":"7602644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040701$309105F8-0C91-4F2D-80C3-219E0E295102","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":"Q5040701$57FB08C2-4611-4BC1-9081-C21F532259CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d6cc626a81efa93d14cf683e6a5382d783eb993","datavalue":{"value":"https://doi.org/10.16926/m.2016.21.14","type":"string"},"datatype":"url"},"type":"statement","id":"Q5040701$7D892FC8-32FE-4399-9D3E-53A20A317B52","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53cd9ec225e4467ef8139272fbaac551c7860ffe","datavalue":{"value":"W2584195221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040701$93A5BF4E-6B92-4870-9FF7-B54711DA7E73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d943e9b16deade96c6dcc4f2924caf9337a65172","datavalue":{"value":"10.16926/M.2016.21.14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040701$314E6B39-894C-417B-AB6E-49954ED7A0DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f926ad9f8829debbd7a43dc393730f177621549","datavalue":{"value":{"entity-type":"item","numeric-id":2999248,"id":"Q2999248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2000beafad419c4e3349b3134cf204c00d8169c","datavalue":{"value":{"amount":"+0.8037942051887512","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":"Q5040701$FEC7033D-505D-4AF0-A060-CC75359ACD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef58294b431eab127996ccf5c77d9204ca0a6d74","datavalue":{"value":{"entity-type":"item","numeric-id":4595595,"id":"Q4595595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cbb579b94e5f69977404b8c35bbc6242f92929d","datavalue":{"value":{"amount":"+0.7843112349510193","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":"Q5040701$FF9F8718-797C-469A-B032-C71954A14987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5a61d768dd26b30033a4e928567dbf82165ce0c","datavalue":{"value":{"entity-type":"item","numeric-id":5897330,"id":"Q5897330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e157e29f58c8addb88c6c5a6bb7e7cdb6351f4b6","datavalue":{"value":{"amount":"+0.7599236369132996","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":"Q5040701$83415286-F97E-4801-9160-4BFA9A26727F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94f84670331ba87cfa916e7454a7b5bcf3f69c9b","datavalue":{"value":{"entity-type":"item","numeric-id":5394113,"id":"Q5394113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d2183de802a60180c938a3d83b6cc67af940c52","datavalue":{"value":{"amount":"+0.757731556892395","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":"Q5040701$AC6E4A88-79F8-420A-A673-D50C8721CC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ffc7baeaf579d974b2182928f46cedbcd0688d8","datavalue":{"value":{"entity-type":"item","numeric-id":2848072,"id":"Q2848072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd26e306f0f7e59b05771b1ac2828500c9cdb9f0","datavalue":{"value":{"amount":"+0.756673276424408","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":"Q5040701$AC49E7C2-2A0C-4B02-87FB-28A4F5DD9387","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5040701","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5040701"}}}}}