{"entities":{"Q5178973":{"pageid":7208545,"ns":120,"title":"Item:Q5178973","lastrevid":40992987,"modified":"2025-04-17T00:33:07Z","type":"item","id":"Q5178973","labels":{"en":{"language":"en","value":"Verifying Communication Protocols Using Live Sequence Chart Specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6416533"}},"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":"Q5178973$8794DACD-6FC7-4AA8-A2C8-8A569E8BF929","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ad6da812b3e9984d394a3126d20f00fdab5bfc9","datavalue":{"value":{"text":"Verifying Communication Protocols Using Live Sequence Chart Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5178973$5780E395-F60D-4E7A-96D1-CAB10B7BBDB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f0a5a000a9b6b785d27aa97b151388827d323f8","datavalue":{"value":"1335.68142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178973$844F64B5-5DC8-4F97-8B7A-2A5B73D26BF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af5eaa9233ec862ca530af5f120a8b4615165e6e","datavalue":{"value":{"entity-type":"item","numeric-id":1645125,"id":"Q1645125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178973$2AF88D97-5598-43D9-8068-2D15F62CC682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdee428d2eb82cff221d059f8b87cc92758b7194","datavalue":{"value":{"entity-type":"item","numeric-id":2796049,"id":"Q2796049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178973$6C5BC22B-6F6E-4608-9306-49ECC89204C9","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":"Q5178973$290E35B4-E5F7-47D0-8DBC-39423D2D9437","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3ae1d772ce191deb207c0bad17ca1d39804476a","datavalue":{"value":{"time":"+2015-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5178973$1C98B417-9593-48DB-B48C-34CF86DEEFF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178973$52F5692D-87B0-433E-B58D-963A0627D9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178973$7BAEA5F8-8873-4AFB-96B5-470F8CDC6189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178973$9E9F13C8-BC7A-4573-8827-1F2A6513F359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178973$9DF690C8-BAAE-4186-9607-BCB3D32E866E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23a8afc874b49f12354aa7aa8facfb21a8e91b21","datavalue":{"value":"6416533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178973$954E3DB9-36F9-4145-A3B3-B51DC66D81A8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178973$82BFC57A-A179-4A1C-B84B-15A3FEE831F2","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":"Q5178973$0DF15C2F-4A2B-49FC-981F-DB451BD43918","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ccd4dd8ca406f6a6fdfb76b0037771c5a8cb65b","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.08.016","type":"string"},"datatype":"url"},"type":"statement","id":"Q5178973$780D727C-6A96-4F2C-A328-2D1A042F8156","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54f98bfa9f6475fe4a7f05ba1f0ca0ebf8b9d1dd","datavalue":{"value":"W2146724565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178973$BA66AD80-5464-451D-88EC-534D41A705B5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1078f86c8fbb50a7d84e780de2c1da8d67c43ab1","datavalue":{"value":{"entity-type":"item","numeric-id":5959851,"id":"Q5959851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178973$FFCCF7AC-B099-4D06-B050-C5A50C671EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87c7aa291819039199c8428d1f12f39d12153767","datavalue":{"value":{"entity-type":"item","numeric-id":5710415,"id":"Q5710415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178973$80ECE3B2-3BBE-49D5-825F-12FE65084FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"828eb970f22b65ac9c9d4a43705a670bb2d1033d","datavalue":{"value":{"entity-type":"item","numeric-id":5481211,"id":"Q5481211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178973$CC05CFCD-971B-4667-BD82-92C1892F729A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"612277e182ba1b70a3979c9589d06d0d97b6ea4c","datavalue":{"value":{"entity-type":"item","numeric-id":5703777,"id":"Q5703777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178973$3DF3B600-C059-4E8E-830F-5CC0D10E1A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3669fc3339585af842979eca72b322ad75e9a39","datavalue":{"value":{"entity-type":"item","numeric-id":2810977,"id":"Q2810977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178973$72A1205F-3039-4104-9131-0248ABBDF3B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5000beeb99f42a1194faaefda3b1722dd887e36","datavalue":{"value":"10.1016/J.ENTCS.2009.08.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178973$D19433E2-739F-4690-8EEB-0D19AC605F63","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":"05b30e64fafccad0dcfab5770901b7ace9f16bb1","datavalue":{"value":{"amount":"+0.8854824","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5178973$D0034F9A-9903-4BF9-BA97-A81BC13AA382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fe307ec27e1d74e4e47502b895ba2dfa196a636","datavalue":{"value":{"entity-type":"item","numeric-id":5491883,"id":"Q5491883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f12740ba55e5e88d3983de12762b5980007985e2","datavalue":{"value":{"amount":"+0.86494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5178973$59268A22-0169-4800-A3D5-97DBB62CD0F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4da7ead3b808bec853624a5d3e1aa9e70c937bf1","datavalue":{"value":{"entity-type":"item","numeric-id":4951009,"id":"Q4951009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ab0c208e5f9cb5523e3d1d22243d6860ba9de8e","datavalue":{"value":{"amount":"+0.86342263","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5178973$16FC7017-7D70-4A0F-9013-A2FF7BE3E423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"910234018dc39b2e1abb4d046cb3a31aebdda4f5","datavalue":{"value":{"entity-type":"item","numeric-id":5756737,"id":"Q5756737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef01636f831374cb3f3f0b1bc2f1fe07b56c6f13","datavalue":{"value":{"amount":"+0.85696757","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5178973$6B7F5C34-315C-4605-964C-4CCCD76ACFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"011da9fe8e28030487f6e928b5cacd8552997d43","datavalue":{"value":{"entity-type":"item","numeric-id":4473980,"id":"Q4473980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4778e6f088cc001710fda394251390e71dad4266","datavalue":{"value":{"amount":"+0.85276496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5178973$ABF5375E-37AC-4BAB-A619-91EF5E4AAB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cfaddd1e573ccb822b1fcc5fa4be2f10d39019b","datavalue":{"value":{"entity-type":"item","numeric-id":3623935,"id":"Q3623935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32dca3b7284fc7a1d2626499ff15e9bfff1d8b6c","datavalue":{"value":{"amount":"+0.8480985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5178973$5D8533B2-A6DE-4D85-8E1F-45D8A6C8AF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"356d37e5aedcdbcde1449423060cf5f806a07079","datavalue":{"value":{"entity-type":"item","numeric-id":916356,"id":"Q916356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f95214f50b7742d3ad73cd7145a7b64808ddaf84","datavalue":{"value":{"amount":"+0.84703594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5178973$04DB23E5-04C5-4F68-BD6B-DE62AC22FC90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5178973","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5178973"}}}}}