{"entities":{"Q998103":{"pageid":999951,"ns":120,"title":"Item:Q998103","lastrevid":65821080,"modified":"2026-04-12T05:35:57Z","type":"item","id":"Q998103","labels":{"en":{"language":"en","value":"Protocol conformance through refinement mappings in cadence SMV"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5178641"}},"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":"Q998103$630402CA-A44A-4E8D-8845-015CB444B050","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1973e566c2517e0972424a61835f27e5d8b1fbe8","datavalue":{"value":{"text":"Protocol conformance through refinement mappings in cadence SMV","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q998103$39D94B0A-65E2-42C9-8A64-726F19C4337C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5c2cd14954f574d9100d3731edf67dbe844fb9b","datavalue":{"value":"1119.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998103$8179A682-68D0-464B-8BE1-23604BB9C192","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0689c0a8409adec318343f3772a2de9831fb5f65","datavalue":{"value":{"entity-type":"item","numeric-id":998102,"id":"Q998102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998103$B47702D1-07A1-4463-8723-F3AC5FA30E0A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c4f16ddc5cdb18d4f4fb3ee6d704d6609c3404ba","datavalue":{"value":{"entity-type":"item","numeric-id":223802,"id":"Q223802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998103$F7DF98A8-9752-4BC1-A76B-7FB2FE5A670C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"afb98c4ec1048abba6e7f701413ea5fbc62888f9","datavalue":{"value":{"time":"+2007-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q998103$9CACB39F-247F-4AA0-979F-92F7362440CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"52dacf91cc44127a76b9eced9c77365828355339","datavalue":{"value":"https://projecteuclid.org/euclid.bbms/1170347813","type":"string"},"datatype":"url"},"type":"statement","id":"Q998103$8531AF12-B7A3-4864-AFBD-F277F944B8E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998103$75B90EFD-35D3-413B-8656-D292A1977910","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4c1e1dd29cfbae11789278961f38a1ebd5b85dc","datavalue":{"value":"5178641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998103$EA72EA55-83B3-4B30-B84B-A06A261A3A15","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41a035d2e6b497f11c75eb19262617334ba4b9ca","datavalue":{"value":"model-driven software design","type":"string"},"datatype":"string"},"type":"statement","id":"Q998103$DD36A11B-73F4-47EA-A4F6-3ED225847493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9efdde645fbc5d3f1b836e5daf897c6c15673d91","datavalue":{"value":"protocol state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q998103$8AA24BB9-5462-4058-98CE-1E788C424174","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":"Q998103$0300924C-A391-47F8-8790-874D94CCC2F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db482a3e2bf68a5e65bc6fa626462e153f129d5f","datavalue":{"value":{"entity-type":"item","numeric-id":4551150,"id":"Q4551150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be27e209e8267f9282df41447cd8701c4604454d","datavalue":{"value":{"amount":"+0.8101225","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":"Q998103$941579A6-84B9-4B9C-BBB7-2B521396D3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0258788ab427f9fe51edad33ffe364fac781600","datavalue":{"value":{"entity-type":"item","numeric-id":4917437,"id":"Q4917437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"579e7748af58e1cda8ee2a7b86354d1c3c2b783d","datavalue":{"value":{"amount":"+0.79737186","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":"Q998103$5098D7EA-6B7B-463F-958F-B2A4CF740716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25fc9f2993b4b334e4e14689dc265a5221493d8a","datavalue":{"value":{"entity-type":"item","numeric-id":3498469,"id":"Q3498469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0c9b3f95db17a47c52701b4034b40bd208398a1","datavalue":{"value":{"amount":"+0.79034203","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":"Q998103$85309466-4550-4422-9EF0-1D86F6F6A5C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"191c1e7e1745d284083376e3762513908df5083f","datavalue":{"value":{"entity-type":"item","numeric-id":1004291,"id":"Q1004291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59b110ba52ecec2eba6a6e4fcb55f5db5480adc6","datavalue":{"value":{"amount":"+0.7835202","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":"Q998103$C4D1FCD9-810B-4F49-8846-F0B29550C366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"783ef8276e3ed8237cf3fab7900c86d53720cc00","datavalue":{"value":{"entity-type":"item","numeric-id":3046809,"id":"Q3046809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb59adccce1f8beb9f3f70d55092127f06593ef1","datavalue":{"value":{"amount":"+0.7831703","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":"Q998103$C53B12D9-A374-4BF1-B3A8-2380001418A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Protocol conformance through refinement mappings in cadence SMV","badges":[]}}}}}