{"entities":{"Q1776581":{"pageid":1787323,"ns":120,"title":"Item:Q1776581","lastrevid":72932946,"modified":"2026-04-14T08:51:08Z","type":"item","id":"Q1776581","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 2167614"}},"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":"Q1776581$291F4F82-8026-49B4-A1A4-F8C807643552","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a5224de8e590397b1fdf05bb5219ada26ac5818","datavalue":{"value":{"text":"Live and let die: LSC based verification of UML models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1776581$B34C8099-F3D4-45B9-8321-02F3839AB698","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14fda575e11d492db22aca40d2a46127d8e88a74","datavalue":{"value":"1075.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776581$9700D396-8BEA-4279-8089-52FE5D9E6998","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":"Q1776581$B02FDB56-8710-496C-B059-4DFDE05B7996","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":"Q1776581$BA4EA37C-8D42-4498-9F17-C3BF8CCA2129","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":"Q1776581$162D8E94-0F9C-41D1-9170-3328A5A8F21A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"816fb6440c9cbb78f47d27fe48607ca1e7ad5f08","datavalue":{"value":{"time":"+2005-05-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1776581$49C819B0-A802-426A-8837-6A68A06E1A17","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776581$237F7B22-82F0-478F-98BD-BC8F72C4D8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776581$7121BA2A-A1BD-4A80-B234-AE54A8772354","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7840c64aaf95f76b1272f50ec8f3fd91a579ee1","datavalue":{"value":"2167614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776581$F636E45C-D0C1-4633-BC52-F531F69EB45B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc9cfef8fed1be9e2bbe65b9adfff4f5b59d3bb4","datavalue":{"value":"query reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1776581$B138A67D-3499-4E65-A0DE-0BE488739983","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":"Q1776581$ACCB5E7A-B3F6-401C-9724-245C4B5058B6","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":"Q1776581$BDA2834B-F87F-4629-86C0-1F73BF658A3D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70413e7b3973dbbc5baf0445e7347ebdc930806a","datavalue":{"value":"https://doi.org/10.1016/j.scico.2004.05.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q1776581$868B0FCB-0129-49BD-8070-7D1CE80CAD1F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e32d35e854b2ec5cdc5a3026ab3da992b51ad60b","datavalue":{"value":"W2027500030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776581$4CEF5B33-3606-4DC8-901E-906D6E33D516","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d01c0520f4d6e09eda3aba607496e70d54d3d14e","datavalue":{"value":"10.1016/J.SCICO.2004.05.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776581$51BCABFA-C8D5-4411-B51B-311E88BC9426","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19eb3dac85778291952644f09a9308ec034064e9","datavalue":{"value":{"entity-type":"item","numeric-id":5897125,"id":"Q5897125"},"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":"Q1776581$F8C29A54-90DC-42FD-A9D8-F8650284E154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86241b29d4577d4ee896de62a806fa1f00975481","datavalue":{"value":{"entity-type":"item","numeric-id":2847424,"id":"Q2847424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44a4e5c7f3729e3a93b46ff163dbb60be0e622c1","datavalue":{"value":{"amount":"+0.7891829013824463","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":"Q1776581$E853068A-2DDF-4241-955A-F9A55074A630","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":"906cede766974727bc6e10cef637c0f969fa7bbc","datavalue":{"value":{"amount":"+0.7743911743164062","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":"Q1776581$9C3D13D6-0DAD-4FDD-B987-03DAD8460540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaab82ee6c3f666d4e5595309d932324ee914989","datavalue":{"value":{"entity-type":"item","numeric-id":4738327,"id":"Q4738327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccdd23220122b457a6f1e9d4249bffb2ffc4c7b7","datavalue":{"value":{"amount":"+0.7703095078468323","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":"Q1776581$ADFCEBA4-CA8E-4424-9060-41E28089DDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8a4b3338b3af97897f121003b028b1aee32b4d7","datavalue":{"value":{"entity-type":"item","numeric-id":4483796,"id":"Q4483796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0c22bcf0f4ca75e1d632e12383d6471ac06a2c3","datavalue":{"value":{"amount":"+0.7676494121551514","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":"Q1776581$A2D02917-68BC-4FBF-AFE5-0569461B1FE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Live and let die: LSC based verification of UML models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Live_and_let_die:_LSC_based_verification_of_UML_models"}}}}}