{"entities":{"Q2908514":{"pageid":2919239,"ns":120,"title":"Item:Q2908514","lastrevid":44726631,"modified":"2025-11-25T12:14:58Z","type":"item","id":"Q2908514","labels":{"en":{"language":"en","value":"Playing Hybrid Games with KeYmaera"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6076925"}},"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":"Q2908514$564E131E-C65C-4F98-B859-7B53B7DEAED7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fde8da300e8eb6ae01d8d303400f46fda0ec0814","datavalue":{"value":{"text":"Playing Hybrid Games with KeYmaera","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908514$219C5B29-D85B-4CC5-9A68-18E5BE641FC5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d7fee872604ba2285a559c69ed34066c7862bfc","datavalue":{"value":"1358.68261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908514$ABF48C3D-0D98-467E-944E-59BD952009FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b478e7e86b27125446551b790324f38ba1681f44","datavalue":{"value":"10.1007/978-3-642-31365-3_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908514$67AE0BA4-C25E-4CD2-8B87-4ACB2EB35394","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23eeef9589cbe39cdbb39af3bc4bb2d05242b0e6","datavalue":{"value":{"entity-type":"item","numeric-id":2908513,"id":"Q2908513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908514$1FCAEAB2-CDF2-4D73-A769-3D72FAEE2AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc654f17b8a10219c5683cabcebc6a770c6278e4","datavalue":{"value":{"entity-type":"item","numeric-id":681339,"id":"Q681339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908514$9D61DAD6-AF29-44C8-A2CD-80FD600FE79E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908514$11ABEA45-6584-4E47-B405-1EF2E3A74448","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd0374f9cee657eee67ac4dd9d79d96d1538c53a","datavalue":{"value":{"time":"+2012-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2908514$4646A68E-F331-4C7C-8EC7-80F5DE6024FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908514$20518E5E-55E3-4EED-AC60-384FC950BE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908514$75D444A7-F5CD-4C06-A2DB-8B78930617B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"46ffee837b0dbcd63fffc2834ebe2705f88e57be","datavalue":{"value":"68T40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908514$92D91266-C04E-4936-AD9E-83C347FAC280","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b799e1e4b6fb82f4b153889a3b5be0ff86016d9","datavalue":{"value":"6076925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908514$20E22A6D-9567-4CFC-930D-8CEB9B2D262B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f86059082e213c6d99600292a95b3e82fea30a53","datavalue":{"value":"differential dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908514$F0686648-1BC2-4869-A9EC-451650D022BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81e7ef311159931b4670c54cde88d5152c6e5d78","datavalue":{"value":"hybrid games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908514$4E2FFE0A-4568-4F17-AECB-1EB5C7CAB1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908514$8D1BE997-26A0-47BF-9AF2-AF340D9C5035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908514$51A796EF-1EE1-4C6C-BFC0-2A9B141B5AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a386dc82180d08e05dda2825f3e2d019822ea07","datavalue":{"value":"logics for hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908514$AAFEAB16-183F-4A29-813F-409875A905AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5b0fb1a517e1d81d556016373b7662b26397c1b","datavalue":{"value":"factory automation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908514$3079CF59-9E35-4616-BA22-82C870118E17","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"49f6fb65fa6d2a219475c4a5b936c8907f84d3cb","datavalue":{"value":{"entity-type":"item","numeric-id":16063,"id":"Q16063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908514$6F8E486D-3A59-4BEF-93A1-B9EE6B716C14","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":"Q2908514$FB7751A7-CA04-4A54-8407-9DEF6DF01911","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"429a94c38b4d220cce84e33cc512463756ad40da","datavalue":{"value":"https://doi.org/10.1007/978-3-642-31365-3_34","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908514$2FF95AD3-2BC1-4495-8C18-129F28F51BD6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5692bc997716827ffbe259412c823bf5f69c6bfa","datavalue":{"value":"W129487540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908514$058D6015-F50D-41DF-AFDB-A974893DBB5E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b597957abc396df853b300c8caaf56a591eddd9","datavalue":{"value":{"entity-type":"item","numeric-id":2096468,"id":"Q2096468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11ecd7c9530e6cd0302adcb66b8a83ed920a1963","datavalue":{"value":{"amount":"+0.79559296","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2908514$F55807F3-8F57-44A1-9621-F08DCE68F428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9203d2098b2686e0608213290f65c26da924bbb8","datavalue":{"value":{"entity-type":"item","numeric-id":3973041,"id":"Q3973041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aed4e0a275c536b90a3e97b79a6669b2532708a","datavalue":{"value":{"amount":"+0.7702421","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2908514$4E46D045-8545-42A6-8EB3-DBD979F2B0A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8a46789eaca18f580afc114dc18d7679591d828","datavalue":{"value":{"entity-type":"item","numeric-id":617687,"id":"Q617687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ecfcade8b73a522446e1b631dc872e66f3d2e9f","datavalue":{"value":{"amount":"+0.7687645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2908514$BF633D4E-CC28-4D1C-AD8E-0A5072818084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fc47f189cbcc0a920d99b07070458fbdc1b5c49","datavalue":{"value":{"entity-type":"item","numeric-id":3624600,"id":"Q3624600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef11037820096ad357cd929aea4bf77d31536c4a","datavalue":{"value":{"amount":"+0.7647442","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2908514$8FE46105-DD99-472F-91C6-47840680083F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f4ffd308da6124e9453baf0a65a1b4b0c682c09","datavalue":{"value":{"entity-type":"item","numeric-id":4363745,"id":"Q4363745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06ef04f5ed6877efd5ee4fcdc268e1dba2aae5c7","datavalue":{"value":{"amount":"+0.7584008","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2908514$7DC180C2-97A5-4E1E-B7E9-2C0E3CC71621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36410f68cd83e3d1bae3fb2a0d0237601586d0b4","datavalue":{"value":{"entity-type":"item","numeric-id":4738164,"id":"Q4738164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"472d91d5121e78775698403dac0a93c321eee5fb","datavalue":{"value":{"amount":"+0.755471","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2908514$8C4B6EDB-C97E-4086-BBF2-C9E683B1A2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"089296ead5bd5de1b913c475c5ecabbbc7599802","datavalue":{"value":{"entity-type":"item","numeric-id":4270068,"id":"Q4270068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff30e7be343a2ba024607a9220ee4f8dfd0a329d","datavalue":{"value":{"amount":"+0.75049967","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2908514$CAD8BB4C-5E47-4227-B47F-147D5CC319C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f06809d6efb1b5a57717be5a0e3d5467d9e4df2","datavalue":{"value":{"entity-type":"item","numeric-id":2345021,"id":"Q2345021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cad25200dfb73d0c5629defbdfabefc81aef41a","datavalue":{"value":{"amount":"+0.7450402","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2908514$CF9334DC-ADA6-40A0-8D38-3521262C2EC0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2908514","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2908514"}}}}}