{"entities":{"Q5217306":{"pageid":7246876,"ns":120,"title":"Item:Q5217306","lastrevid":53673758,"modified":"2026-01-25T13:05:56Z","type":"item","id":"Q5217306","labels":{"en":{"language":"en","value":"From transition systems to variability models and from lifted model checking back to \\textsf{UPPAAL}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7172770"}},"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":"Q5217306$9DA5D1EE-1B02-4AB9-BBAE-E676E3AE0CB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e57e0b85564e6c814b87294ec3f8220341150da9","datavalue":{"value":{"text":"From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5217306$0BFEE95A-5C6B-44F9-8B87-FE943284DB6A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1ce9c68def9c648ff488788e5c1bc9438ac4fdb","datavalue":{"value":"1431.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217306$89333750-48F0-4D0F-992D-818C78979551","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0484cd3f3480b722de4483f31ce63a040ed08a4e","datavalue":{"value":"10.1007/978-3-319-63121-9_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217306$8887CA49-4614-4296-B9DE-52DDD6C34D76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a730e63f1cf4870b40c1ba1697380387b326670","datavalue":{"value":{"entity-type":"item","numeric-id":477212,"id":"Q477212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5217306$6091C86D-BCBE-4B43-8586-F4D2278AC385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d53e9570d442a569b789880085f203ff32389ae","datavalue":{"value":{"entity-type":"item","numeric-id":338616,"id":"Q338616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5217306$D63FC590-9B44-47D1-B94C-4BC594657902","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":"Q5217306$CA2EE4D8-24FC-435C-B556-AF536D856B5B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff603527318cba6b7a9cd3458e2a545d41485a6d","datavalue":{"value":{"time":"+2020-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5217306$E9F4DE56-CB10-468A-8770-D23D066EE642","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217306$BAB206C9-A0A0-404D-97AF-D1EC1F3FD00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217306$CFC2629B-DBBE-4081-A492-03DD4ACF8E77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be10bb80f14e2d7a0230ff6f6977075be43676b6","datavalue":{"value":"7172770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217306$A0386A73-E8ED-4F37-AB92-713452BFF765","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":"Q5217306$3DDF12A1-03B5-47B1-8298-ECC59781A5B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f05541a493f2fb6c0d7a7b4e140269f7b657e85","datavalue":{"value":"https://doi.org/10.1007/978-3-319-63121-9_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q5217306$7BD48521-B7EF-49EE-84ED-1348972F5436","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d934cbb98691ceb92ee8ccb2a548e643a22b1cc","datavalue":{"value":"W2738172349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217306$8AB2FC38-4168-427F-8AD6-8A1D82468C92","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9b979d95194ae99a49eab25bc80a2406b0af7c0","datavalue":{"value":{"entity-type":"item","numeric-id":5215914,"id":"Q5215914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92c843d99888a6bdbf92fe9ec2c9e04558b1766e","datavalue":{"value":{"amount":"+0.858625054359436","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":"Q5217306$3A60557E-2224-431D-8551-9647EDBDA582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28453852e6fd3e3fcfd26776a7970a7f65451784","datavalue":{"value":{"entity-type":"item","numeric-id":2324189,"id":"Q2324189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20f79211ea6217264fc702c2225fd929a52ce31a","datavalue":{"value":{"amount":"+0.8306294679641724","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":"Q5217306$7A512DFD-1721-4601-A409-CCD27C41A31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39c6138ea05cd204ed4618ebfb72b073a7e085d0","datavalue":{"value":{"entity-type":"item","numeric-id":2193289,"id":"Q2193289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03ac536cf43b391da0cd6b71413c64215b5f6ec4","datavalue":{"value":{"amount":"+0.8274644613265991","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":"Q5217306$F014899F-8332-4FFD-AA15-4D0699D7252D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf0674b35d5ec5c5979d24984a28195492e4c6f9","datavalue":{"value":{"entity-type":"item","numeric-id":5215913,"id":"Q5215913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8966130783ac146f7c348c101c4cd9bb3469370","datavalue":{"value":{"amount":"+0.8016536235809326","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":"Q5217306$0D34153A-C0F3-4E52-A548-4F7ACEE8D16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"255f00d4085c989c6ace32e98d14a17d45148afa","datavalue":{"value":{"entity-type":"item","numeric-id":2414252,"id":"Q2414252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"196192f7c024b79a7fc15eadc3fbba59fcfc4be2","datavalue":{"value":{"amount":"+0.7857713103294373","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":"Q5217306$75821F2D-D416-4A27-BBD4-B0B9DF182C45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5217306","badges":[]}}}}}