{"entities":{"Q5039535":{"pageid":7069112,"ns":120,"title":"Item:Q5039535","lastrevid":98308454,"modified":"2026-06-05T17:11:33Z","type":"item","id":"Q5039535","labels":{"en":{"language":"en","value":"Family-based SPL model checking using parity games with variability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7600851"}},"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":"Q5039535$6EA3D6FE-D76B-4FA3-9EDC-F309E2E564B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"619bd8e7a49e7336e0f59fe2fdfe2e6d5a2eb27e","datavalue":{"value":{"text":"Family-Based SPL Model Checking Using Parity Games with Variability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5039535$9B424654-8BC5-4EE8-8714-3BACDD817423","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf7627f3a090a7f75a57754e42690336f41ecab8","datavalue":{"value":"10.1007/978-3-030-45234-6_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039535$67C5AF64-E432-4097-A062-C66C65F1F1CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b4ddb4e18c709d52412f29e118ee0635e94738a","datavalue":{"value":{"entity-type":"item","numeric-id":246443,"id":"Q246443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039535$2329BD57-5030-462F-980F-078A371D9392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"081921d853977a862e5d056a8bb350d2aceef125","datavalue":{"value":{"entity-type":"item","numeric-id":5039534,"id":"Q5039534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039535$C31908F9-80F6-4629-873C-3E4DE28A8ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24a50c23c3978492e58521f1c41f776352eabb0d","datavalue":{"value":{"entity-type":"item","numeric-id":541684,"id":"Q541684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039535$1E668167-D829-4C75-96C1-21F221724574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cca7caa26c1edecee311baf10734f3d68d8795b","datavalue":{"value":{"entity-type":"item","numeric-id":960854,"id":"Q960854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039535$EC09EB2A-C767-416F-AA65-02B5D1EC9E70","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":"Q5039535$5BDF6BD9-8EED-4295-81A1-44E2E262410D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f63eb77a6cdb61f75205564f776cc43c0ac4bb43","datavalue":{"value":{"time":"+2022-10-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":"Q5039535$4C184F80-DEEF-4CFF-A12D-6DA60D681B0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039535$3167787F-1FDB-43B9-92F6-D9B4E392F45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039535$DD1AB544-E9FA-4B20-AFEC-3A1999ABA594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039535$CE4BE20E-C3CA-4B48-AD7B-CA241EAE3FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039535$D53D7CE3-90B4-4BF6-983E-96152CF83D2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ff116ee91d9ea8357417212944b803be00dd511","datavalue":{"value":"7600851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039535$3110EB2A-ABE5-4EA9-8A1E-20108C9630E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c18a7f2e374ceefba6556f4ee6ee0ed64d6b47a","datavalue":{"value":{"entity-type":"item","numeric-id":21724,"id":"Q21724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039535$CEE6F249-63D5-4FF2-BC2A-EFBA2DA5D777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b1ebb77f2d9154b5578772e63babb4f78bc78af","datavalue":{"value":{"entity-type":"item","numeric-id":14230,"id":"Q14230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039535$CBB31D2F-DCED-4B15-8A4B-F7347C855A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6857b43bf0fc7ae763faff54b1a40591d192a080","datavalue":{"value":{"entity-type":"item","numeric-id":2026788,"id":"Q2026788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039535$38224540-B287-4CFE-9F59-2845F8EC9719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a29d5b2557dafc731116e1ed79c23edf54bbe203","datavalue":{"value":{"entity-type":"item","numeric-id":898621,"id":"Q898621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039535$FDDF0E18-4D32-4724-9CDB-9BE01B792590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1b25525714a123fb2df53b9dfe08819dbee935d","datavalue":{"value":{"entity-type":"item","numeric-id":5215913,"id":"Q5215913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039535$1DB4D002-A17C-4542-BA66-6B30F7B2F996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c47b1ec42f76c6c902744c519a0f20cb7d46322","datavalue":{"value":{"entity-type":"item","numeric-id":5326326,"id":"Q5326326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039535$10D182E5-CB01-4ED7-AE56-51CAF250B855","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":"Q5039535$436C2BA4-360A-4924-944D-4ADD2765BE16","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":"Q5039535$4F1E9790-2909-4608-B472-CC68E8CC735C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1002ac740fb9bcc3af454470785b8cd71508750a","datavalue":{"value":{"entity-type":"item","numeric-id":2193289,"id":"Q2193289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039535$983E3F01-1A38-4B6E-A861-13C67EE2705C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee0f06f8149ad9449d52f3e00709cc707f14bc42","datavalue":{"value":{"entity-type":"item","numeric-id":1276252,"id":"Q1276252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039535$E28A8413-F029-43E5-BB1F-BE45ADFD9219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"992b6ec142ea2c9384e4c75b8982ca586e3de7f4","datavalue":{"value":{"entity-type":"item","numeric-id":3648698,"id":"Q3648698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039535$396ADB13-054E-4876-BE05-C31D369FF126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b3f60964ed57d86f2847571e03e4efcce710916","datavalue":{"value":{"entity-type":"item","numeric-id":3176384,"id":"Q3176384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039535$B6C17F9F-88B8-40C1-855A-BDCE9234D043","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":"Q5039535$667E12B4-34FA-4BB2-90F5-DA96714AC56C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aa0a015c7ff5550e74185ed9d70b576324c4cc5f","datavalue":{"value":{"entity-type":"item","numeric-id":21724,"id":"Q21724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039535$0FA7A0F5-EF80-49B5-B062-8C2DC9C8DA09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"abde918e525ebd74af14326f8ceb67bfaf5c3838","datavalue":{"value":{"entity-type":"item","numeric-id":14230,"id":"Q14230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039535$08ADAE9E-463D-47D2-BC1A-5DBE76D55081","rank":"normal"},{"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":"Q5039535$C2FF171A-32B2-487B-91D4-3659FFFE3C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c08b821e2757e65336a65d387f7a2d3401521642","datavalue":{"value":{"entity-type":"item","numeric-id":17930,"id":"Q17930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039535$E769C74B-DC33-439D-80A5-D1CDDD7094B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53e625b17a6ab3e76f980e56d1197419c1a0485f","datavalue":{"value":{"entity-type":"item","numeric-id":26376,"id":"Q26376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039535$5CA0F3EA-9759-48AC-A41A-0920B7218CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0ef557ffcda9627b52809b9f15010666acbec250","datavalue":{"value":{"entity-type":"item","numeric-id":25960,"id":"Q25960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039535$53CE99A1-8AFF-4CBC-8758-2E8EFAB71534","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":"Q5039535$D27CB063-2339-4F99-B9B5-44CD470AF1CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae1d5094fb62cb3afc915601f66d7578b8bd51cf","datavalue":{"value":"https://doi.org/10.1007/978-3-030-45234-6_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q5039535$C8A70610-3231-4D72-ACA9-4DC76AEE023E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e86f737dfd62d854b143e5b8e6dd20d2b0d6ced7","datavalue":{"value":"W3019048927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039535$9250D82C-DAC3-49C5-BDD9-783886254D85","rank":"normal"}],"P1643":[{"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":"f8db3466cc0a93d16b9cdf0d80d6dc3f7644eddf","datavalue":{"value":{"amount":"+0.8714030981063843","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":"Q5039535$139B044C-C418-4888-ABE0-9E139C9A9241","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":"17f94a29d5f0a969747fcfd43ad84ac8241a297d","datavalue":{"value":{"amount":"+0.7997410297393799","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":"Q5039535$418DF67B-7483-4D14-93CB-C835716FACF1","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":"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":"Q5039535$BD455630-0993-4F18-BFFC-FC4F03A60FED","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":"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":"Q5039535$C510CA94-0E16-4115-9AA5-F0E7EAF71FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b98f1968ca44851db43a9c04afa7699656ba7c53","datavalue":{"value":{"entity-type":"item","numeric-id":5963087,"id":"Q5963087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8279c0777543db80a2cd5a9b8e8391bac44c9d57","datavalue":{"value":{"amount":"+0.7764021158218384","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":"Q5039535$6FBD426C-77FF-43C6-9AA4-6EA0BF245685","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039535$28480644-8CF9-43B1-A90F-6702F4F83207","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Family-based SPL model checking using parity games with variability","badges":[]}}}}}