{"entities":{"Q2573328":{"pageid":2584071,"ns":120,"title":"Item:Q2573328","lastrevid":72808674,"modified":"2026-04-14T07:59:42Z","type":"item","id":"Q2573328","labels":{"en":{"language":"en","value":"Basic protocols, message sequence charts, and the verification of requirements specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2225709"}},"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":"Q2573328$E5C18536-8DCD-4CEE-8638-8BB2261F3F03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2cc7b19f520388339b057362693cd2506d5d46c1","datavalue":{"value":{"text":"Basic protocols, message sequence charts, and the verification of requirements specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2573328$6B18CA5E-BD68-4F50-844F-913A19FA7FFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3aadf2dabe2cc8998a7800b8aa283631ba566367","datavalue":{"value":"1101.68375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2573328$082370AC-10B4-479B-A48C-2AAFEC894D93","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23f31b3fbae2fd4e8eed2fd06b0b553db7e3c431","datavalue":{"value":{"entity-type":"item","numeric-id":2573327,"id":"Q2573327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573328$40FE348D-0E8B-49AB-9BAC-C3E3110C1044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"27406b47bde94d7716cfc2a6d1ad1fcabfe9af25","datavalue":{"value":{"entity-type":"item","numeric-id":468782,"id":"Q468782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573328$4F0333EC-FA29-4D45-BCE6-D9D54662E2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3da56530840e8d94ab071f628656c8efd3391393","datavalue":{"value":{"entity-type":"item","numeric-id":1901128,"id":"Q1901128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573328$28608196-0A40-45D2-886A-904010EF3C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ef08cca54b6dc5c7bcfa7ee920aeb381201e8f0","datavalue":{"value":{"entity-type":"item","numeric-id":1286272,"id":"Q1286272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573328$08CB5E82-7848-4DEA-9AA4-E315B118B27A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4971b531335e28a850a8419a6fb4750f4dfcf1d3","datavalue":{"value":{"entity-type":"item","numeric-id":1406344,"id":"Q1406344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573328$AB6D8584-CBFA-4A92-B9DD-ECE5491B60A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d280e15e8de16cf00e901ee69612fe69a687a79b","datavalue":{"value":{"entity-type":"item","numeric-id":1193839,"id":"Q1193839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573328$07F7A69E-4CB4-4F74-8AC1-65B6B569FB09","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5b6d2e589e4e15465d745ed9cba11a5a86e282","datavalue":{"value":{"entity-type":"item","numeric-id":551683,"id":"Q551683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573328$04FA0520-9FA5-4FE7-A11F-ACE846667D03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d6caaa16ec57e4bb5caaf730cdf7928d5600fc3c","datavalue":{"value":{"time":"+2005-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2573328$4C3ED7B1-AA4B-4A91-815A-22306DBFDF27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2573328$7C839EAC-074B-41C2-80F2-E7EB69CF2ECC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6da3aaab39475bf16e882692f80231d1785902a5","datavalue":{"value":"2225709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2573328$DA9B5178-0397-49A2-BFBA-6C3B11536FE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a00d8ed47fb03a22cbfcd29835e4939b17d83660","datavalue":{"value":"Requirement capturing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2573328$3732AAA8-F34D-4CB6-B280-B67B744EEDC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa9a64fd8c201cd17de48a9097f01a15ba248ed9","datavalue":{"value":"Agent","type":"string"},"datatype":"string"},"type":"statement","id":"Q2573328$783354C2-9F04-440A-BF94-19ACF20BFCC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1460b557642592011c35c2a01ff8570957ab4fdc","datavalue":{"value":"Environment","type":"string"},"datatype":"string"},"type":"statement","id":"Q2573328$CE4B5031-A813-4DD5-BB78-BA0E09F38F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbbcffb13114d8832da6951402ee8b0f86d2c855","datavalue":{"value":"Insertion function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2573328$89A74DB0-B6D1-4A90-9D82-23B569703E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9ef75f8281166ad42c30a162961094280ffaf8e","datavalue":{"value":"Process","type":"string"},"datatype":"string"},"type":"statement","id":"Q2573328$2B7B600D-B0EF-4194-B6E1-E26A5BFEAAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4675ade5cd61aaaa9bf9608fcfbdbcb2299cc47a","datavalue":{"value":"Interaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2573328$40B541EF-B445-43E2-92A7-F5E55D5805BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b3f210910becb27540644b96d59bca7cba92a01","datavalue":{"value":"Formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2573328$C8BA3F41-1055-42D2-AA47-B478D5E0084A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac47609866fc8099ba8e2b51aea7305635ea0616","datavalue":{"value":"Basic protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q2573328$7F46F668-4EDA-481C-B3E6-64CAA31679FC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f41eea6c38120c5efc7b966e886a51a58f394d23","datavalue":{"value":{"entity-type":"item","numeric-id":13951,"id":"Q13951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573328$1CA4A7CC-C827-4DFA-BFDF-2BC4048AE037","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":"Q2573328$47E266D8-7D8C-470F-A4C5-CB6F39693DDD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc711ce6a4084849aa823b2e83498fe6af66b7a4","datavalue":{"value":"https://doi.org/10.1016/j.comnet.2005.05.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q2573328$C7784C12-7268-4F6E-8DBD-AF354E3991C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b0a53c0b8cacf0bd13b2f734f0156558cef9044","datavalue":{"value":"W2013386105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2573328$4890D6BB-6DB7-49E5-9FA9-FF180F943C6B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5397e5930fcd86e40aeab38e0c15444f96bedf72","datavalue":{"value":"10.1016/J.COMNET.2005.05.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2573328$40669162-6ABC-4AB7-9614-29A413746FDE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d43d6abfdfff503df55f09975fe138ca124d266f","datavalue":{"value":{"entity-type":"item","numeric-id":2841317,"id":"Q2841317"},"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":"Q2573328$79C9F75D-1DB6-470B-BFD2-4AFEEFFD9D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97b783b5cd12750cac0d018cb5c66f897574fca0","datavalue":{"value":{"entity-type":"item","numeric-id":2508786,"id":"Q2508786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18c09840b68cd4bc1af27290d5d53aac8e0d39a8","datavalue":{"value":{"amount":"+0.7793589234352112","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":"Q2573328$5E225C45-A85A-4E8A-8A68-C70842C7C87D","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":"558e0e06b381b1c42a524233c25ecc9474d4f577","datavalue":{"value":{"amount":"+0.7753901481628418","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":"Q2573328$1D99C0B8-9397-404E-8571-3CC6F1A5E550","rank":"normal"},{"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":"5810e735b3c1eeca05577783da34438c99cda71c","datavalue":{"value":{"amount":"+0.771780252456665","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":"Q2573328$5A94981C-89E5-4639-9341-17F2698D4649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf364e22632878f7388a3c1e565dc98b4f2dbc4e","datavalue":{"value":{"entity-type":"item","numeric-id":1406345,"id":"Q1406345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1504b1133b699238acf91e996ec552f987723d19","datavalue":{"value":{"amount":"+0.7569512724876404","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":"Q2573328$FC4704C1-1BD1-4A93-8921-0C0C1C118415","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Basic protocols, message sequence charts, and the verification of requirements specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Basic_protocols,_message_sequence_charts,_and_the_verification_of_requirements_specifications"}}}}}