{"entities":{"Q5897125":{"pageid":7937774,"ns":120,"title":"Item:Q5897125","lastrevid":50900126,"modified":"2026-01-15T16:07:15Z","type":"item","id":"Q5897125","labels":{"en":{"language":"en","value":"Live and let die: LSC-based verification of UML-models."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5668048"}},"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":"Q5897125$BC15224A-B737-44A3-A9AC-39428C4281D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd72f02aa0622ff6b1d6ba05406cc01476c61375","datavalue":{"value":{"text":"Formal Methods for Components and Objects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5897125$DE28077A-A1FE-4394-9DA9-9F518D4771BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4fa7789cfa0f387f868e09dce31cee9c9b26b15b","datavalue":{"value":"1254.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897125$9F18F60B-292A-4978-976C-BC0F9BED9DD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcbdb18b8f9d60686ea68fcc5d8c76e0868dec3d","datavalue":{"value":{"entity-type":"item","numeric-id":209472,"id":"Q209472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897125$9D41CFBF-2D92-42D2-92EF-542591D850FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec1149dc19eb237b70332309cccd20957cd91eb6","datavalue":{"value":{"entity-type":"item","numeric-id":1683434,"id":"Q1683434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897125$A0CA5255-866B-473A-8D9D-348628729FB6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897125$EA3449F7-0734-4D21-9286-EFDADD0D5A4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00de9f7ecd6f8efd38a07b132aa7063b53ae83d4","datavalue":{"value":{"time":"+2010-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5897125$11FBAF1D-9DFA-4D65-9884-9A1E549BA60E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897125$42995C83-0BA4-48C4-BD23-2D0D93483370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897125$E6316C33-AC68-49D0-AF4A-6A8677F7E0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897125$BD84FEAF-17BE-4DE9-8BC7-790EA037B57A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5a16f43a128ce8c65f8d20f39cea0f2259d90ea","datavalue":{"value":"5668048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897125$44AD264A-5BF9-45B0-827B-E215B9691409","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":"Q5897125$F8377FA2-A904-4707-BDA2-0FFBC8E53FAF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"694ecc6121bc1698b5b8e2fefc119ba3501c5fba","datavalue":{"value":"https://doi.org/10.1007/b14033","type":"string"},"datatype":"url"},"type":"statement","id":"Q5897125$A2504BEC-457D-4F35-B2DD-CB341498CBED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"65095d1ea206916668ba018f05a3494387d29751","datavalue":{"value":"W4212909638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897125$6DDA5F43-D562-4DF5-8F7D-DF83F48199F3","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"03d0e0bdfed74b7b82ef993492d9a8ff115db0bb","datavalue":{"value":"conf/fmco/2002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897125$DD23A5A5-CD97-4B99-82F4-585A7F42A4B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8116e892939797244d3d69c3fdabc51e0201333a","datavalue":{"value":"10.1007/B14033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897125$43861A0C-47BE-42CE-8151-C5C4F769AA0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43f45325064c593d6d3024851c918832c30afebc","datavalue":{"value":{"entity-type":"item","numeric-id":1776581,"id":"Q1776581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dac367750fc11ebc134ec73220decb2378d42cb","datavalue":{"value":{"amount":"+0.9270930886268616","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":"Q5897125$69B6A75F-8C12-4F1F-9EB2-CC1D1BE30E32","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":"70b07ef92a7ae46d4a6753800a899427bcc5492d","datavalue":{"value":{"amount":"+0.8285252451896667","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":"Q5897125$6492F4D5-DFC8-4F1C-9266-2997A2A88CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e3ef8a46652782b7d1cad85782c7f17881136d8","datavalue":{"value":{"entity-type":"item","numeric-id":2769611,"id":"Q2769611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae310a5755b77e9e31efc46f457c3fbfb3c37342","datavalue":{"value":{"amount":"+0.7807740569114685","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":"Q5897125$2658D2CF-E3D7-4F84-AE45-98ED89D32CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f57dc1eaf6107bfdf741b85b9243aa169ec6cab7","datavalue":{"value":{"entity-type":"item","numeric-id":4540954,"id":"Q4540954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d5d0e5d99c2de0583a7e41b08046e3b1eb8220c","datavalue":{"value":{"amount":"+0.7570074796676636","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":"Q5897125$5ECD70E7-ECC3-44DA-9152-82F9A69FE9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea74535319b63e8d750c03e887392abc9185e031","datavalue":{"value":{"entity-type":"item","numeric-id":3021937,"id":"Q3021937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f604222c210fbad94e5617aa61ef4d9f29a9dd4f","datavalue":{"value":{"amount":"+0.7567237019538879","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":"Q5897125$2160D1B7-1538-4DB6-8727-CEF15C9FADDF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5897125","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5897125"}}}}}