{"entities":{"Q2193289":{"pageid":2204032,"ns":120,"title":"Item:Q2193289","lastrevid":71516724,"modified":"2026-04-13T22:46:53Z","type":"item","id":"Q2193289","labels":{"en":{"language":"en","value":"Generalized abstraction-refinement for game-based CTL lifted model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7239094"}},"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":"Q2193289$3DFB500C-987D-4060-AF4D-E45929775F12","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"824ac8bb01236802b7a4f7133d6a2081fe172658","datavalue":{"value":{"text":"Generalized abstraction-refinement for game-based CTL lifted model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2193289$7562A75D-945C-4641-883F-093D28E789E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"863a3cf98f10c9c3c61de0c1141944abe3f6509f","datavalue":{"value":"1460.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193289$1C0E686D-4016-4C5B-9C67-9CD6F6F42225","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":"Q2193289$1EE3C811-481D-4E72-94AA-BBBA3FF23B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef8f966b1875cfc7b5cd4224180401b2f679f3","datavalue":{"value":{"entity-type":"item","numeric-id":243964,"id":"Q243964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193289$D9FFBCB5-FA36-447F-A83E-905F0675688A","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":"Q2193289$AADEDCC5-48A7-4811-B904-0BA8261492CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193289$C3D9801C-B6CE-4173-999A-7EDE9DFCB975","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40d6298d979cc5fe8f26a1cea0e2ec254982529e","datavalue":{"value":{"time":"+2020-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2193289$7A9AE0D2-2F78-4007-B249-9B988080D1FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193289$D8FF8A48-E352-4300-ABE9-B3A288E29374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193289$714565C7-8E2A-4FBA-976B-F582810DD55D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d19c43d0bce0861686f64903025f4cffc630d1c","datavalue":{"value":"7239094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193289$DE6098A7-AF95-4922-9275-6DC9FC55A811","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7ca17bfc3ce40c3ee9796c7844a54d50d93908e","datavalue":{"value":"lifted model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193289$9A3C7CE8-2D81-4E1E-A411-A544B8431035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ead4730b9bcaab55debbf0b4caf00789343fb488","datavalue":{"value":"game-based model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193289$3D02CABC-F160-4FAF-9A69-E475025EF2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b779d5375ab0547286deec66df0bc3fe97a96e25","datavalue":{"value":"variability abstractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193289$EA1053D3-8BE5-460C-A11E-E199189657A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c23b5a41fac79a3ee9cceea4daddb72d967a969","datavalue":{"value":"automatic abstraction refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193289$62B47CB8-B3A0-4BA3-8186-CF86DE9D64E9","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":"Q2193289$93C4C45C-AD7E-4B35-BC2B-2B6357E5F47B","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":"Q2193289$BC5C6436-8714-466D-A236-D5A5C47F2880","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10116a5f899cbdb90b8672220dd1a58ae338d479","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2020.06.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q2193289$DBC3623C-44B4-44BB-A295-17674C74783D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b94575c13a54f63e50e0d6fbd0d2099b936dee45","datavalue":{"value":"W3036435269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193289$A59381DD-4ECC-4C67-8A51-C5DD79BD983A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b122e575bc0dbf1a68082c4b290206f9d3ba038a","datavalue":{"value":{"entity-type":"item","numeric-id":5692278,"id":"Q5692278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193289$3C9DCF3A-96CE-473E-8DC4-9C01C1C823FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3507560ff85a499bdeeeec46056599984e00d32","datavalue":{"value":{"entity-type":"item","numeric-id":5217306,"id":"Q5217306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193289$A6AE58DE-6468-4271-A19C-264CD6FCE0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6beafc86dc141fe1be086952c7656541c845281f","datavalue":{"value":{"entity-type":"item","numeric-id":2324189,"id":"Q2324189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193289$DC8067B4-1F84-4778-9C04-5E1D899AEE9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193289$12AD7157-D07F-4C61-A69B-32F1FD367FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcccba79861386df19c84997945862e47e9786d2","datavalue":{"value":{"entity-type":"item","numeric-id":5941060,"id":"Q5941060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193289$4B6D791A-A478-4067-A032-E53D4AEBC8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7028552be8657cea7c6ef870efa608f422e607c","datavalue":{"value":{"entity-type":"item","numeric-id":5277790,"id":"Q5277790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193289$5E6E69A2-D4EE-4E21-B782-C94B75F8E221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0675e37b0a5f7582a0e2bf97e8c023673cba9ae","datavalue":{"value":{"entity-type":"item","numeric-id":2266991,"id":"Q2266991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193289$8B7AF15C-3CCD-4823-9C9E-A2879FC1DE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38338272dac8f01a00cfb949ea75569fdb402496","datavalue":{"value":{"entity-type":"item","numeric-id":5308433,"id":"Q5308433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193289$78BC4DD9-C492-4FC5-AA9F-049DBEAB935B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5501613cddf33b1396dc7f1668c6f3991128201","datavalue":{"value":{"entity-type":"item","numeric-id":3999206,"id":"Q3999206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193289$096BD15B-5B8E-49EF-8A96-E79C18B901C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193289$F7692AEA-71B1-4CFB-A879-29A95B28048C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c87d244bb47b7033a2215bba62f2b5aef99a339c","datavalue":{"value":{"entity-type":"item","numeric-id":4414390,"id":"Q4414390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193289$3F6445CE-1220-4EFE-98BF-E95D7A975587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00e5090ecb01123b6d1ba4c412557c33fefaa122","datavalue":{"value":{"entity-type":"item","numeric-id":4536712,"id":"Q4536712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193289$D2DB34EA-7C11-4470-9A96-D463D0F529F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa348c1682e12d5bc47045cff79c34e3ad03d240","datavalue":{"value":{"entity-type":"item","numeric-id":5946570,"id":"Q5946570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193289$7ED53774-27F0-44B2-9CEE-31D89F419BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193289$715327B2-37D5-4895-8530-E732D6286F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89b378602d866701dabdb7cf5317c937b47e2621","datavalue":{"value":{"entity-type":"item","numeric-id":5711492,"id":"Q5711492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193289$9F3A08CB-38BB-4118-B75B-5838C4C36990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865c522875e67852c200e186a35b758da44ac340","datavalue":{"value":{"entity-type":"item","numeric-id":5756489,"id":"Q5756489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193289$F0FD5663-6498-478D-9EDA-0725889C21B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"114fe4ee895884ab41bf4f30c7bd74031151286d","datavalue":{"value":{"entity-type":"item","numeric-id":5215914,"id":"Q5215914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193289$BABEB86A-F0C6-4097-A121-62183C0B0A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a00a2286b0e8c50555c9946f34ea3ef9dcc4c8a","datavalue":{"value":{"entity-type":"item","numeric-id":2414252,"id":"Q2414252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193289$275C6D04-57FD-4E92-946A-16E0051715B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddf3b3eacdb8aa77d815ae058a39b7de78c620e2","datavalue":{"value":"10.1016/J.TCS.2020.06.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193289$99F8FDE8-D70D-47D8-B78A-FCDEB3A301EF","rank":"normal"}],"P1643":[{"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":"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":"Q2193289$D50CFD58-A1FA-4F31-85F1-194A672ECC97","rank":"normal"},{"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":"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":"Q2193289$B5F3EA63-9162-45AB-A372-6116A975FE95","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":"f859f6d8eb2fdca28806167d622a3fa2f6d1b476","datavalue":{"value":{"amount":"+0.8139628171920776","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":"Q2193289$1C04ECAF-3377-4106-B21B-B04B16E63104","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":"d233f6e2ce0bb56b4c718f30050a71d5a7e5ceef","datavalue":{"value":{"amount":"+0.7978858947753906","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":"Q2193289$231ABA5B-9756-4205-A6EF-843E365131F2","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":"3262e73975b418b956e48614254aab82d942038a","datavalue":{"value":{"amount":"+0.7773755192756653","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":"Q2193289$A58DEB28-8E0E-4A90-95D9-D1DFCBC53C34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalized abstraction-refinement for game-based CTL lifted model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalized_abstraction-refinement_for_game-based_CTL_lifted_model_checking"}}}}}