{"entities":{"Q3447698":{"pageid":5185585,"ns":120,"title":"Item:Q3447698","lastrevid":46405839,"modified":"2025-12-24T17:33:55Z","type":"item","id":"Q3447698","labels":{"en":{"language":"en","value":"Synthesising Succinct Strategies in Safety and Reachability Games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6499385"}},"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":"Q3447698$72B24DDC-F0CE-41FB-9834-8F3272260506","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e01078894b6881598665eb2d36467e928a2982db","datavalue":{"value":{"text":"Synthesising Succinct Strategies in Safety and Reachability Games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3447698$B2880CA6-FC32-4FA6-8C95-E9A40BD1211A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84b221b14094433419b6807133a1d80574a94e45","datavalue":{"value":"1393.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447698$401E8FB2-12A1-4B63-BAD5-450BD15BC5B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48580d1a6973ccdc71ee2c0648633e55f3662831","datavalue":{"value":"10.1007/978-3-319-11439-2_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447698$458643F8-6456-46A0-AA04-345B8D4A1A43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78c3f9f38aefd8497e435cf677955510a3778959","datavalue":{"value":{"entity-type":"item","numeric-id":487252,"id":"Q487252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447698$97B631E2-4EEE-4B0B-8F89-19FF65F08C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34046b7c9de9210de4a6c1007bc08a11a1f6dcce","datavalue":{"value":{"entity-type":"item","numeric-id":294727,"id":"Q294727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447698$BBD97135-EC92-49B0-9CB6-EFEF1706F845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10090c00094d410f953d392dea2aa91bb096dd99","datavalue":{"value":{"entity-type":"item","numeric-id":2018057,"id":"Q2018057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447698$9953F31C-97C8-4CFD-81EB-7EC42053B7E4","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":"Q3447698$D83F1BDC-318A-4516-9849-57165555E7FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19d39e0f031dafeaa905907e1e92731e668fffa6","datavalue":{"value":{"time":"+2015-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3447698$A323441B-DEBD-4B14-A82D-388F26002288","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd407982343360de2a2b1bbf55680b8078d5feef","datavalue":{"value":"https://dipot.ulb.ac.be/dspace/bitstream/2013/160787/1/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3447698$858526D6-8C35-4F57-8ED9-D56D6999AFA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447698$AF222893-9A39-45EC-A0E7-131F70809E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447698$D6BE451B-8A41-4835-B316-3E232A00BE7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6fea9d0b66a9fadc4c4ca0df32d1a477ac204142","datavalue":{"value":"6499385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447698$4D216C39-D2DE-46B6-8953-E310BCFF8439","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":"Q3447698$07779CEC-CF05-4D64-A3DB-18C558CEE9FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43413e583529d30b8c5d1b1fee8b532bc783a228","datavalue":{"value":"W2592855906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447698$419AAE9F-3E3C-430E-9B17-900D87F18D2D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5380d218e1869ae94540cbec9cb6f721bb624a68","datavalue":{"value":{"entity-type":"item","numeric-id":2636511,"id":"Q2636511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17d4d60123199c384151eb2a4d556733ff1743b1","datavalue":{"value":{"amount":"+0.92157817","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":"Q3447698$A821AF67-7B04-4612-9C13-29809F5D1CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba3f92c4ef99b0064665eb4dd9c1b0e27ce25624","datavalue":{"value":{"entity-type":"item","numeric-id":355506,"id":"Q355506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f733a58abc69ea55ae32b59a958ef65725b3ae1","datavalue":{"value":{"amount":"+0.89076567","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":"Q3447698$58C693DE-B53D-401E-A1E6-E7F20F2E339A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c57bd386642573e832e9125ffb4c4806321087c6","datavalue":{"value":{"entity-type":"item","numeric-id":5111270,"id":"Q5111270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85cf8d94587e273505df8d04980b1bb1dd47ad55","datavalue":{"value":{"amount":"+0.88016856","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":"Q3447698$AFBA295F-FD5E-4D24-A7A2-E48F7AD04078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97eed48126099e3a5317fe5225706dddbf03bc4d","datavalue":{"value":{"entity-type":"item","numeric-id":2226751,"id":"Q2226751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d36d73ed113798f1d6d7e585fecd014f0455fde","datavalue":{"value":{"amount":"+0.87697977","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":"Q3447698$3559222E-02F7-415A-9480-128FFD5D00E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"940cee48c737373c16d25783fdb4636d1e9076f2","datavalue":{"value":{"entity-type":"item","numeric-id":4633826,"id":"Q4633826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01e544fb8a728c5b0ba3df930efb35e563d6c076","datavalue":{"value":{"amount":"+0.8756112","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":"Q3447698$89C0C143-A332-4541-8992-A1C30D07612E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d1363a3aa2faa960e9466f13a7e17a3732c15c0","datavalue":{"value":{"entity-type":"item","numeric-id":6113986,"id":"Q6113986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"357ab2e65f9468f9695258792ff13d923d25df0e","datavalue":{"value":{"amount":"+0.87400794","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":"Q3447698$DA7B86FE-DF1A-445C-B858-FDDA779542AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29f0c1d51e185db7677a300ed62cb24357ac824b","datavalue":{"value":{"entity-type":"item","numeric-id":5875363,"id":"Q5875363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9ad6b77a1efa7c9e2edd477cf606cc0df066384","datavalue":{"value":{"amount":"+0.86361694","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":"Q3447698$05EC8404-F1AA-40EC-AEB0-719C437F25EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d7baee479ac9e539c6225c4939f74f8e22aca07","datavalue":{"value":{"entity-type":"item","numeric-id":5005144,"id":"Q5005144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60162514ffee0d14339968116dc0d6f396e4aed0","datavalue":{"value":{"amount":"+0.85832745","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":"Q3447698$E2AF51DD-431E-46A2-8407-CAF76E7A517B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5fa1107f8b9bd660c161dc4409122d478a016bd","datavalue":{"value":{"entity-type":"item","numeric-id":5703780,"id":"Q5703780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6589debdbcd838d82a26df2f5dee4a40c16886d","datavalue":{"value":{"amount":"+0.85769653","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":"Q3447698$1D74C916-51E2-4F7A-832A-38FC459BA25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b06ed236a8d947e6d1f2d52725b1500c23b3e484","datavalue":{"value":{"entity-type":"item","numeric-id":5089248,"id":"Q5089248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b01ce9551fdaef26919b51d8fb3d8b35ca0434e","datavalue":{"value":{"amount":"+0.85590196","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":"Q3447698$B69D1CAF-4C37-4323-9F72-53E75331C6E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3447698","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3447698"}}}}}