{"entities":{"Q3588087":{"pageid":5617991,"ns":120,"title":"Item:Q3588087","lastrevid":51077138,"modified":"2026-01-16T13:09:48Z","type":"item","id":"Q3588087","labels":{"en":{"language":"en","value":"Combining symbolic representations for solving timed games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5783577"}},"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":"Q3588087$5A2108E3-BA9B-4A6C-9300-E0CA51738CFB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"806bd6f1290d74405c045e2bb66cc4e45299c4ae","datavalue":{"value":{"text":"Combining Symbolic Representations for Solving Timed Games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3588087$21828075-2ED8-4AAE-96F5-D05D8ED803EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a4a532a040e157d89c71107b492167e924c3b61","datavalue":{"value":"1290.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588087$D39064E6-5941-4E7B-AF70-8A5BC64BB3ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2aaf93813f6b8e3b5bfeba0fbd0af700036a6531","datavalue":{"value":"10.1007/978-3-642-15297-9_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588087$4A63DBBE-1508-4522-BE24-5CC55D1F028C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d5826cb46f670122cdc676198f817f684799cc9","datavalue":{"value":{"entity-type":"item","numeric-id":453534,"id":"Q453534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3588087$F2E65C8D-0629-4894-81BE-8FB42A087F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d72efb54582b3dc1fdbc1e07b0e6decbced087a9","datavalue":{"value":{"entity-type":"item","numeric-id":2211867,"id":"Q2211867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3588087$8BEDEAA8-83FE-415A-B35F-CE885D5C2B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74da7004a25a0d65393c1d946b8799a150c4bad5","datavalue":{"value":{"entity-type":"item","numeric-id":2843859,"id":"Q2843859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3588087$DDF5D96E-D785-40B9-80EF-15B5C84BF52E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3588087$9B9ADB96-B60A-4F59-86D8-809F1195CC99","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2857b5bc1b1598776d7a167b6234f21df24153b","datavalue":{"value":{"time":"+2010-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3588087$E8449A19-8C3A-4F51-82E1-67F3D0804CC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588087$361BEA7B-5898-4F0B-8440-26EAD2D607EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588087$EF9E1856-94AB-4425-B7AE-282DC6ADD8FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588087$FFE82B98-DEFD-47B7-9E31-77017F9F7C30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79f1d021631d704c1f8e1a9ee9e0e3b2a201c52b","datavalue":{"value":"5783577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588087$FF3B9C06-0FF2-4360-AABC-4B385D8D3C6F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3588087$DA5DDAF7-1806-4C9A-82A8-0B21B0777A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3588087$5AA2D582-9A7B-4D67-94E2-90E6137AA1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c78c15211c2ed190a323edf74a43a39941ce473","datavalue":{"value":{"entity-type":"item","numeric-id":24836,"id":"Q24836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3588087$C6E84A76-AC2C-4728-9F38-5BDBAA543B8C","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":"Q3588087$0BDA6C06-3391-499B-843F-317D9BD63199","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"396e08cde592a7f2005852eda0b4a5a6cd2a28e0","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15297-9_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3588087$52B068C9-545E-4D0B-9A80-0D7C98CD5DFB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0adee9fcf9be699b4baf749530df4174dbc92f6d","datavalue":{"value":"W29925209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588087$1C127F0C-6B15-4262-9B0D-075D4FB6914C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42a124130ebf60179aac8ed19e3205018e62713f","datavalue":{"value":{"entity-type":"item","numeric-id":5897475,"id":"Q5897475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b274fe61f23cbc4d4228aca4869f81c1a5553c61","datavalue":{"value":{"amount":"+0.809724748134613","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":"Q3588087$C1321E5A-100F-4832-AAE9-0D06DF28F0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af23501d6ef4ba878995a64c9f031d0f52276754","datavalue":{"value":{"entity-type":"item","numeric-id":5895527,"id":"Q5895527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62d4be82c2b4ef41b6fcdd5002cad313bc036d2e","datavalue":{"value":{"amount":"+0.7954866290092468","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":"Q3588087$C28B0D83-8336-424A-AAB9-7932FCE83D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c82c4c408c6b92cea9f65a7df7a796a0b6d30ae","datavalue":{"value":{"entity-type":"item","numeric-id":386611,"id":"Q386611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"347cf50bdd09d434885e50a5a0e825b80db6714a","datavalue":{"value":{"amount":"+0.794984757900238","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":"Q3588087$95664E3C-A54E-4E93-92CA-D2C5092AEDBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14380a7508591f79a0a28c3798f717a15fc6b581","datavalue":{"value":{"entity-type":"item","numeric-id":5428863,"id":"Q5428863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a224fba9bfbb9e4a71c0051395ed4623838832a6","datavalue":{"value":{"amount":"+0.7881755828857422","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":"Q3588087$AF1ED16F-ED9A-48C6-B0F1-D9C20ED07509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67792d3e5b295093b644a73f0d61fdd17eacf82b","datavalue":{"value":{"entity-type":"item","numeric-id":5900485,"id":"Q5900485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeb1fc509c7e7aed79ec73851d7e9856d265be38","datavalue":{"value":{"amount":"+0.7862204909324646","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":"Q3588087$8A1AB94B-5E6C-45A3-A2F3-7E3575D3A0D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3588087","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3588087"}}}}}