{"entities":{"Q5458322":{"pageid":7487881,"ns":120,"title":"Item:Q5458322","lastrevid":40912007,"modified":"2025-04-14T01:50:57Z","type":"item","id":"Q5458322","labels":{"en":{"language":"en","value":"On-the-Fly Techniques for Game-Based Software Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262362"}},"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":"Q5458322$AC6C6E40-CABF-4FA4-A970-319050F59243","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38465cda7fa05f7b8d5855a3b1e1782abb514f58","datavalue":{"value":{"text":"On-the-Fly Techniques for Game-Based Software Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458322$57D45831-6930-45A7-8353-EA363D744583","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6fec27da154a96fd90cee25381090ac4f18a9e27","datavalue":{"value":"1134.68396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458322$874C7461-8E4C-42E7-9699-1551172F67F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7cbd6d30bd96e88a5b54e06db3389dcd9c7e29eb","datavalue":{"value":"10.1007/978-3-540-78800-3_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458322$E1F60B22-7C9F-4497-B248-3FE80199EB95","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"323444a1ca5863db09ece838c5140263a449b8b1","datavalue":{"value":{"entity-type":"item","numeric-id":2766782,"id":"Q2766782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458322$18810525-A9FD-4F27-989C-83A43A7D2420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5185e8175824add6dc52d9a0d759ffa7ca714345","datavalue":{"value":{"entity-type":"item","numeric-id":1566882,"id":"Q1566882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458322$34EF48A2-257A-414F-B715-EC06BAA793A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458322$D4401C3F-50E0-4301-9156-FA514DF850DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5306c1211a7dcd78b6214088eb3e5b7092fd16","datavalue":{"value":{"time":"+2008-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458322$4435998A-658D-4CB4-B839-8BD6D81BF808","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458322$BC6E055D-5ED9-439C-8491-721B22BEE621","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ffa604670e5e3a780854e9c99bdd11262772b33","datavalue":{"value":"5262362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458322$D4F1F500-96C8-4630-8683-28710A1017A4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4f55591526bfa06dbd19dfd10ca3b2c9d44db2a","datavalue":{"value":{"entity-type":"item","numeric-id":20924,"id":"Q20924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458322$A15E5FB5-6384-47C3-844B-4ECCE87A53E5","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":"Q5458322$623FB7E6-3914-4A71-8582-DB70F51A7DFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f97e96a1f2bb7025a99fbc5701df7a4f589973b7","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78800-3_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458322$63871BB3-39CE-4F33-B672-702F3D201F2C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"39c040b53f53849a800369cb248a749a49e46a05","datavalue":{"value":"W1564663187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458322$3066BCA0-E546-41F6-8FF4-EFD499DCA593","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb81bd457bbe741eac4d814dc1090b2d9998aade","datavalue":{"value":{"entity-type":"item","numeric-id":3348896,"id":"Q3348896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458322$98387CE6-3295-46F6-BAE6-8EE5681C8367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea27c2074b50bb307d13b5988cbec7e603c4989b","datavalue":{"value":{"entity-type":"item","numeric-id":5308424,"id":"Q5308424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458322$3CB492BF-356E-4231-B9C5-2EBAE80ACD1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"598d99525e9a0094b9fed1dcff845cc4b8ee91b7","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458322$68B1F150-829F-4127-A38E-7D8053BFA27E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7265e9e11cef8ee9783f60b6b7d3fb8808c7c56d","datavalue":{"value":{"entity-type":"item","numeric-id":5458322,"id":"Q5458322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458322$C79C3F96-8042-4550-91A8-E8084EE889D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ee36fea820e4ec41c645157a399b976a6698393","datavalue":{"value":{"entity-type":"item","numeric-id":2753756,"id":"Q2753756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458322$5D68626E-7120-4ECD-908C-B087CF164121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458322$3787ED93-E8E9-4BEB-BD15-1857F0D596D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18f4aa5c560d7330cde0fddfbd1a748cf9bc0f76","datavalue":{"value":{"entity-type":"item","numeric-id":5897431,"id":"Q5897431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458322$E9DDBB55-4756-4CC9-AE08-226896CCCB43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c6c2a0bbfd65e6f3d4ca31107fea6b84b41955b","datavalue":{"value":{"entity-type":"item","numeric-id":1884909,"id":"Q1884909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458322$0102955A-3E25-440C-81E5-3D759261F046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77835ea41da83053700fdc98383bb8b3fd3094c6","datavalue":{"value":{"entity-type":"item","numeric-id":5899066,"id":"Q5899066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458322$C291684F-6347-4037-94BE-5083DB0B8063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66c6da71e8a94cd04a28d10050c62390af74a66c","datavalue":{"value":{"entity-type":"item","numeric-id":5305649,"id":"Q5305649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458322$8D45777F-1EE4-4F92-9263-3A80A0C564D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69189b9ee1b2a20bb21990a8dbcff02d49d239ed","datavalue":{"value":{"entity-type":"item","numeric-id":4426387,"id":"Q4426387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458322$69804773-F965-46AF-84B8-ED1D0DDF619D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458322$EE493092-C1EB-4FB6-8C40-D98E53CC19AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458322$A26221A4-2F69-4C5C-856E-78F3F69150A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95803da382dc4e174d8bd7163f4ffe42583c9e8e","datavalue":{"value":{"entity-type":"item","numeric-id":2848417,"id":"Q2848417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9679f5a231bb29e682f75952f29fce9ba938dc7","datavalue":{"value":{"amount":"+0.9182732","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5458322$2672F299-F092-4E1C-BAAF-A2D882A7BA6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aebd28f839dc286c747c18611df2ff5bf527893","datavalue":{"value":{"entity-type":"item","numeric-id":5308424,"id":"Q5308424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ae88dc99a10867b0a232cb99e47acf42c7b3df7","datavalue":{"value":{"amount":"+0.88727754","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5458322$29670058-E455-4102-80D5-3F7FE0CB7375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90de270c190988c8673dffeae9eea262ebaffe1d","datavalue":{"value":{"entity-type":"item","numeric-id":4916199,"id":"Q4916199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74e3d0b50eaea56351077e0aa4b060e240bcf272","datavalue":{"value":{"amount":"+0.8865475","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5458322$3F72C8D6-A5BA-42DB-B9B8-F4AB85223359","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":"81febca45362316bc492b106e3c617d547917af7","datavalue":{"value":{"amount":"+0.86457384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5458322$FFF2738F-606B-4F75-BD42-64CD7650C7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70aa0f5016bf40200337180672fb5030c0b545a9","datavalue":{"value":{"entity-type":"item","numeric-id":5326322,"id":"Q5326322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97fb1c1f0e2725b6757c7be423c2cc9ebab944ee","datavalue":{"value":{"amount":"+0.8629604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5458322$A1A32430-5B55-4361-B95E-B06D4691ADCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"067c6c616126bc0ec1b35e069bd560f51cd5c0c2","datavalue":{"value":{"entity-type":"item","numeric-id":1674862,"id":"Q1674862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97fb1c1f0e2725b6757c7be423c2cc9ebab944ee","datavalue":{"value":{"amount":"+0.8629604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5458322$9B87C77C-66DB-45FC-875D-A8F3C485A10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d48291d8162efce92f2506103fad5dcdce580aec","datavalue":{"value":{"entity-type":"item","numeric-id":6091321,"id":"Q6091321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15a7eb61895ab9db4a21993d0bb3674a30847ef7","datavalue":{"value":{"amount":"+0.8607911","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5458322$97347A59-9E68-4105-B3C0-5DF1F121FC24","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458322","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458322"}}}}}