{"entities":{"Q2841317":{"pageid":2852037,"ns":120,"title":"Item:Q2841317","lastrevid":83725040,"modified":"2026-05-07T10:14:55Z","type":"item","id":"Q2841317","labels":{"en":{"language":"en","value":"Specification and verification using message sequence charts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6191004"}},"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":"Q2841317$7B4551CA-EF56-4AA4-B666-95EC0A1D0476","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ff2a1cdbc9b5df7a6851ca3ad729d2ee9566c06","datavalue":{"value":"1268.68116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841317$DFADAA3F-9707-4619-8B26-8DAF3C1C6A8F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64bf5314cbfe255150fad8bf1231f53ed9a08786","datavalue":{"value":"10.1016/S1571-0661(04)80484-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841317$81BD9C87-C1D8-4124-A7C2-885CC26B5045","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01b122714b074858e7dfe34a02e4db705a543a81","datavalue":{"value":{"entity-type":"item","numeric-id":200942,"id":"Q200942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841317$F83D1151-4B5B-4A77-8204-342DF5409C7E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841317$EDF7D834-2EF2-4A01-80E2-E445B15461F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fd0691c7173b432a2a4c9fb2775e82f2b46520a","datavalue":{"value":{"time":"+2013-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2841317$4390A271-3C52-4EB6-8F19-154E78771EC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841317$8ADC6DCC-827D-4A5B-AF34-A71F95427BA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6bec30af58194d8562a9b992b8051d53eb8ac4e","datavalue":{"value":"6191004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841317$460C3431-F54F-4A07-A1FF-C5DF7CA5B07B","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":"Q2841317$841F6745-DFAB-480C-B55B-71842683975D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"05f72e649cc1f434125c8fb4e3befb6685036fce","datavalue":{"value":{"entity-type":"item","numeric-id":2769610,"id":"Q2769610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841317$FBB9AB7B-3C06-4A99-9009-EFC6621E98BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f60db55428521e0cf5ccdeaa2bf5e3fd0ed1e94","datavalue":{"value":{"entity-type":"item","numeric-id":4326390,"id":"Q4326390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841317$06F519E7-F802-4AF0-B352-C66F40E38367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"decb4737ef9605c600f3faacab42ab1687d3b246","datavalue":{"value":{"entity-type":"item","numeric-id":4535064,"id":"Q4535064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841317$244FEC8B-A99E-41B1-B17B-0D739C36A255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c18ab676636b97245c873cb4e3d5b1cf83e630a","datavalue":{"value":{"entity-type":"item","numeric-id":4941891,"id":"Q4941891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841317$C5877AB5-9E1A-4E5B-B44D-3304770ED7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2d2ed63131e17ca1553662e846a3798cc67ad93","datavalue":{"value":{"entity-type":"item","numeric-id":2841317,"id":"Q2841317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841317$7D5CD8ED-2D86-4AF0-B4BC-B33F6C6BFEF7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a605ae20dfaa437b20e0105d7c042af7ba761c6","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)80484-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2841317$60B4242A-DE57-4D17-8B1F-B5334614946B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e775d0b35a0ec2cef739ec032065804e7832d6d8","datavalue":{"value":"W2047666749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841317$7E08C7E8-2815-4B17-8660-068BB543DA9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fcd841e9b7abf5efb389c9a7302c8d614deef3a2","datavalue":{"value":{"text":"Specification and verification using message sequence charts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2841317$9B5E7159-F2B7-4A79-9538-7F547EBC9BEF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"220fd759cac38ad94ad63746ea5b976f1d054719","datavalue":{"value":{"entity-type":"item","numeric-id":4907862,"id":"Q4907862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc73613ba61d5f3cde7c74cb237ed09d807feb6a","datavalue":{"value":{"amount":"+0.8574175238609314","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":"Q2841317$2BB4385C-FB31-4814-9076-747D3C5AFCD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3a1ef8b54123563c694e34d356f971b501d0bda","datavalue":{"value":{"entity-type":"item","numeric-id":5712282,"id":"Q5712282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ca080d36a7dcf1eb2f942639026420c0aa3dce3","datavalue":{"value":{"amount":"+0.8443241715431213","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":"Q2841317$3CE6DF8F-0A14-4E24-A3E9-F873E41363C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6a040d388647c89bdbbe8f653639bf713a7b123","datavalue":{"value":{"entity-type":"item","numeric-id":2573328,"id":"Q2573328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfe6c0895c99c3ce399e903eeb0bd05624a48d7e","datavalue":{"value":{"amount":"+0.838111162185669","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":"Q2841317$B40B79F5-8D06-45F1-B81F-46E934E0AA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad7ad28d1b2d6454957e1b5ac4b39a1c889a7fe6","datavalue":{"value":{"entity-type":"item","numeric-id":4252989,"id":"Q4252989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a24e532ec08a05c969228dd852b19be52dc6339","datavalue":{"value":{"amount":"+0.7879992723464966","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":"Q2841317$57A33392-8A6D-4838-955E-D29E4ADC5C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2e88cb3bb1d5705d40923e7eacf8a53caf3db7f","datavalue":{"value":{"entity-type":"item","numeric-id":2841314,"id":"Q2841314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a24e532ec08a05c969228dd852b19be52dc6339","datavalue":{"value":{"amount":"+0.7879992723464966","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":"Q2841317$6D27193F-7FB1-4FEE-80E1-DC132FFEBE15","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Specification and verification using message sequence charts","badges":[]}}}}}