{"entities":{"Q1951638":{"pageid":1962380,"ns":120,"title":"Item:Q1951638","lastrevid":51732578,"modified":"2026-01-19T18:01:24Z","type":"item","id":"Q1951638","labels":{"en":{"language":"en","value":"Validation of formal models by refinement animation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6171359"}},"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":"Q1951638$956854C8-B82D-4204-B7CB-1B57CB613E21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bcbc7a27c141098d679eebe3c086d58010949c67","datavalue":{"value":{"text":"Validation of formal models by refinement animation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1951638$7C51307B-BF7A-42CA-8758-06B463216D25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"918825907cb98bed782cbf58a439722ebee46cc9","datavalue":{"value":"1264.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1951638$54EA5E11-B129-44FA-8B9F-EF61E2CDA428","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c3cadec2ef714e5660771f9ec0500ac9b16a25e","datavalue":{"value":{"entity-type":"item","numeric-id":432153,"id":"Q432153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1951638$63079638-DC61-4A92-B987-09BD58CCF3AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f18d6b5c094a5b54491448ffca180723301eb8f","datavalue":{"value":{"entity-type":"item","numeric-id":418180,"id":"Q418180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1951638$773F358F-F7A7-4579-8C1E-4445DA6BE657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"088e6e7679330db9f7357b8c90c95bcebd22a717","datavalue":{"value":{"entity-type":"item","numeric-id":1951637,"id":"Q1951637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1951638$0FC80144-5AB6-45DD-88A5-06FA3353B28D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1951638$DC6856FB-387B-4464-871F-22D08E36771F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63e96e0f21aa9e59ddd731e2dc0f086f16e88ce1","datavalue":{"value":{"time":"+2013-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1951638$4CA4E418-AB7B-479C-AF84-CD71D51BC9E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1951638$B4AAE0FA-5377-4031-9448-FC03147319E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e868c8c8c3d404dc40d5d0d1ffd3666d5610f090","datavalue":{"value":"6171359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1951638$1986C739-1D92-4346-B994-31195586ECBF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1951638$1F22B4AD-02C7-47A9-BB7D-CAA7926A8E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1951638$D0C33308-82C4-444C-8F07-E7EA16B7DA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e6517d89eed4ed04c07486f8ff4754ee0cb8806","datavalue":{"value":"constraint-solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1951638$D6E4CCA9-6B50-471F-A80B-CCD5D8D07335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dffc2b5816bbbc9c1c53426339d58fcc9739c7fa","datavalue":{"value":"tools","type":"string"},"datatype":"string"},"type":"statement","id":"Q1951638$35F9C292-3F20-4E6B-A8D5-AEF411E6BDC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02c05a2f5d78e09bfa5372d1831d6c853c600a89","datavalue":{"value":"industrial applications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1951638$6C8A3234-9F40-49B9-BCBA-C13E42A06F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04ba4bf98dd124c8c2742b84b6fb188b54821857","datavalue":{"value":"Event-B","type":"string"},"datatype":"string"},"type":"statement","id":"Q1951638$489AF0CB-CC89-4F1F-827D-8CA33C1671ED","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b09b080527cf0c7be3719338f59c9e92adea2d20","datavalue":{"value":{"entity-type":"item","numeric-id":19142,"id":"Q19142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1951638$9784ED31-6FCE-45C0-A455-034C51AA7101","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":"Q1951638$97FDEAB9-1F1C-4D78-8498-8C3E5F4AD564","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3d3f91857e69d0f3b759bed78fbd75423525969","datavalue":{"value":"https://doi.org/10.1016/j.scico.2011.03.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q1951638$9285552F-D3D5-4E42-8C7E-0050040A4E88","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a783d84d464498408fa83025308df1464e51087a","datavalue":{"value":"W2072113070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1951638$AD53237D-013F-400D-86D5-6DCB3857CB5B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3bdc69ae26e916ec5a62f8e6d34b53cc75154466","datavalue":{"value":"10.1016/J.SCICO.2011.03.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1951638$BE66E4EA-EBE3-48C8-8D18-BCC49D11BF6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49e8a1d7be5e629ea9bbc316a3c17c5ab78a486d","datavalue":{"value":{"entity-type":"item","numeric-id":5703804,"id":"Q5703804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13c145ceb274c78a7510ac4e9f5c8ba9dc0f3e4f","datavalue":{"value":{"amount":"+0.7379235029220581","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":"Q1951638$7E4A6374-DD0D-45D6-A18C-540CE0A44B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60d55a10c2ad878f62bea659b5b7d5246122ec47","datavalue":{"value":{"entity-type":"item","numeric-id":4472176,"id":"Q4472176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bd64c4496c63ecd890a703e812923e50f89092e","datavalue":{"value":{"amount":"+0.7363747358322144","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":"Q1951638$20715675-47E8-4347-8701-BD14CDEB8B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"493cad6f3de1d42c53b0c3cf7ee8b567ee64dde4","datavalue":{"value":{"entity-type":"item","numeric-id":706513,"id":"Q706513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b5fb438f79b8950fab67fdff0ebed6515a6d2b8","datavalue":{"value":{"amount":"+0.7265634536743164","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":"Q1951638$4F6C310A-1401-4FD8-BB7F-8C9187CF0324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e55510c286d731f16f6df0ca57db5a082702170","datavalue":{"value":{"entity-type":"item","numeric-id":736910,"id":"Q736910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02f51d493dd8f1fedb93366887b77f5d61f66195","datavalue":{"value":{"amount":"+0.7253164649009705","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":"Q1951638$FE2B1A64-D565-4ED5-A535-DF17D064B006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bf6b76195465b3a1366ac929fc1e8c3d4250488","datavalue":{"value":{"entity-type":"item","numeric-id":3066119,"id":"Q3066119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c2f84ed58122911299639b395b3b598cb485387","datavalue":{"value":{"amount":"+0.722217857837677","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":"Q1951638$2D54F9F4-9B65-4531-9068-B39FFBA172FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1951638","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1951638"}}}}}