{"entities":{"Q5215914":{"pageid":7245484,"ns":120,"title":"Item:Q5215914","lastrevid":53663597,"modified":"2026-01-25T12:41:39Z","type":"item","id":"Q5215914","labels":{"en":{"language":"en","value":"Variability-specific abstraction refinement for family-based model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7167171"}},"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":"Q5215914$3D4D21EA-B4A0-466F-B0AC-35EB50D42E07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bdcd1ac287d72d83bfdf84432a1516412725e0a3","datavalue":{"value":{"text":"Variability-Specific Abstraction Refinement for Family-Based Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5215914$B991C023-D06D-4F5A-BCA1-E6E400348574","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b9a5d2f73091006de888863352171277317d52e","datavalue":{"value":"1430.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215914$9A266A16-C4AB-4D81-BEBD-B7B3FFB7227A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6ebd855f54f57df2eaf00e699d0984b0d0b519b","datavalue":{"value":"10.1007/978-3-662-54494-5_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215914$A042FBF8-145D-45B5-8D8D-67E7902FDFAB","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":"Q5215914$179461BF-A304-4D66-A3AE-8DFCF908471B","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":"Q5215914$160FA499-EA02-4196-BFC6-FF57BAF0E9FB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cc4882ceaa76eafa569df2ac7494f37debc41e25","datavalue":{"value":{"entity-type":"item","numeric-id":2801760,"id":"Q2801760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215914$1A189BB1-B794-4681-B7C9-7932E0492821","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abfd8c068e34548cdf05c7584997a586e2790d23","datavalue":{"value":{"time":"+2020-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5215914$5C023A18-6F49-436A-ABA3-90913A97D671","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215914$4414F27D-8E40-42B7-91B3-C633AE35CFC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ddb6e0285d7e5cd18eedb5b797e46ebf7d46d052","datavalue":{"value":"7167171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215914$C41A97E7-7DC9-479D-86AC-3D50D0B4392A","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":"Q5215914$8E4457D5-8F79-4C55-9E09-EE8B2D2D7687","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c20d9d1036e20ff9193936698c29e650ed301c01","datavalue":{"value":"https://doi.org/10.1007/978-3-662-54494-5_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q5215914$D5A26AA2-C4D7-4481-993D-9F99CD8342CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c04d9552addea1d23f4b566411826a05e7cfd8d","datavalue":{"value":"W2597775210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215914$679142AF-9C96-42D0-AEFC-67EF7BF28A70","rank":"normal"}],"P1643":[{"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":"3028c569227583e618792552acf7ca9660277089","datavalue":{"value":{"amount":"+0.8619290590286255","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":"Q5215914$3A192EA7-8D2D-46BD-820C-A6A17127D990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f43a3379361a2315ca48241462c144317a89aac","datavalue":{"value":{"entity-type":"item","numeric-id":5217306,"id":"Q5217306"},"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":"Q5215914$225E03EA-B8F3-42B3-B3EE-E3D139E97F93","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":"92ecc914c5082298b379c3da58756e6066a1c04a","datavalue":{"value":{"amount":"+0.8188453912734985","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":"Q5215914$8661E089-E33C-4EED-A30D-4C7CC1D13888","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":"908da3f646b7d492f3aae0d0c647acf7cbb246b3","datavalue":{"value":{"amount":"+0.8168044090270996","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":"Q5215914$88CF393C-6D96-4599-A42A-165EFCA88F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef7e675c47a5a796e433a67632c2da23e605e613","datavalue":{"value":{"entity-type":"item","numeric-id":5039535,"id":"Q5039535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c11ad3ace6311353eebcf2dd97c8b91ce3b237e6","datavalue":{"value":{"amount":"+0.7894142270088196","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":"Q5215914$28BAD5EA-8259-477F-AC65-BBC4277BD0EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5215914","badges":[]}}}}}