{"entities":{"Q2018058":{"pageid":2028800,"ns":120,"title":"Item:Q2018058","lastrevid":43477831,"modified":"2025-07-28T11:33:53Z","type":"item","id":"Q2018058","labels":{"en":{"language":"en","value":"A game approach to determinize timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6418979"}},"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":"Q2018058$04C12704-DB31-4383-8EF5-A5B9F59AF323","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aee2f36b0f4b0d892a36fe65fc74684c2e727a38","datavalue":{"value":{"text":"A game approach to determinize timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2018058$D01249C2-F203-458D-8245-7AE09342306A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2ea8aaba8dbea9ed834301cbaeb41c791d8c2d9","datavalue":{"value":"1323.68337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018058$2B3DCC00-4327-46D3-B266-8941E49363FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c924f782f247b037ef49227efcc476dfcb2e57d","datavalue":{"value":{"entity-type":"item","numeric-id":1045895,"id":"Q1045895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018058$295644F0-E28D-4A81-A250-9FE588D36855","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":"Q2018058$477A6BDD-3139-4DB3-8CCC-7B9B2215D931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35f8ef2e44345b44d5df789c93a6d744e54eb86f","datavalue":{"value":{"entity-type":"item","numeric-id":487255,"id":"Q487255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018058$2CF3BD74-E22A-4953-B79B-2F7E391946C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba65115dc067c98e9f21b9d06577b2912f62f344","datavalue":{"value":{"entity-type":"item","numeric-id":842582,"id":"Q842582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018058$5E011DDC-C52E-453E-BAA7-6D07B7298FF0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018058$00657DFF-8DE7-4F63-B78B-25C7C3900B6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04d0d4c4c3e9076631188c819941971a1d8655c6","datavalue":{"value":{"time":"+2015-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2018058$CCFEB5C9-8583-4564-9C55-AEB47C604FB6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018058$C8E7307C-4F98-4225-9384-E33BD2EC2FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018058$D980A6B1-D0FA-46C8-8B44-563CAD696833","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f1983f460b8cfc9a4dec5a63edc28811d011fc3","datavalue":{"value":"6418979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018058$4137180F-1B11-44E1-8DDF-2645C82F79BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01d01ba0554735b278236b61d3de2db638b07c84","datavalue":{"value":"determinization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018058$62240DA4-320A-472C-B503-365A96046226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018058$4F3D626F-B9DF-4560-9238-ECC62998E7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69ac6e09c89b3a7a3bb6aba692981a348cdc1d8a","datavalue":{"value":"approximate determinization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018058$EB8EEA57-E395-4DC9-880D-11F1085922B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b53c552f034f0759ded21ef7d92b5c6222376092","datavalue":{"value":"game","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018058$6E7B71E5-15CE-4A17-AFFC-A8C5019CB851","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":"Q2018058$6E51F016-4F03-4CF1-AA5F-06AB96AEDF0C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59221b5f65117450a313d8417337d24bf6abf2a4","datavalue":{"value":"https://doi.org/10.1007/s10703-014-0220-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2018058$6C9EFFCA-4E57-4CE5-BA20-6749125391D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3150a9db392dce701f7a95f5b027aaf567ee6237","datavalue":{"value":"W3022641585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018058$5EE19805-BFF0-43BF-8AE4-89FF23AAFFA0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018058$9B1A742E-E3B7-4559-8026-3C9165DB7708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a882ddb213a4d6ed482eb68dc25e4cee7f55653f","datavalue":{"value":{"entity-type":"item","numeric-id":3511235,"id":"Q3511235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018058$C3CEB82F-B416-49BF-AB8A-8655A0A142A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f167889b95f8d71fc5e93e219f59d51beef85f31","datavalue":{"value":{"entity-type":"item","numeric-id":845728,"id":"Q845728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018058$5A2D3439-F555-4170-8D90-0B3D3BF4E1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ccf8586597c3566f257c91d59d2b4dcf95056d","datavalue":{"value":{"entity-type":"item","numeric-id":1274452,"id":"Q1274452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018058$26AB28F8-0E03-4719-8C12-76E6BF59862E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b9f0ec80ec6d7cbcb87923302232ebdad5d185d","datavalue":{"value":{"entity-type":"item","numeric-id":3543291,"id":"Q3543291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018058$44779F7B-8818-4463-90BD-95083AD00065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"919b3b9b331b9f238dfcaf9697c18afb0978b607","datavalue":{"value":{"entity-type":"item","numeric-id":3638084,"id":"Q3638084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018058$C7912B56-43E3-4FAE-BF94-5D8B16980093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d4aea5c52101774f6b624e4ecadd81bcb005e6","datavalue":{"value":{"entity-type":"item","numeric-id":842583,"id":"Q842583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018058$3CA243C3-E94F-476D-B0A1-B219AD058FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00e19bb52a9c8c241f845cb6f7eb26111667ec9e","datavalue":{"value":{"entity-type":"item","numeric-id":5705876,"id":"Q5705876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018058$984C45A9-A672-43E4-9AA7-6D7203FF8A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36c7d313c568663fdb4cc8216d9b0d28fe16727","datavalue":{"value":{"entity-type":"item","numeric-id":3166229,"id":"Q3166229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018058$0DBE7138-D0D9-4068-896D-875740564B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e01e7fc2f264a8f7c6b74dc8d4088f47d8ba96e","datavalue":{"value":{"entity-type":"item","numeric-id":3000613,"id":"Q3000613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018058$E412B34E-92C0-46C6-8FD6-5B2CC486624A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018058$976D7AAF-6069-49CD-B4B0-5E08F472004C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e37a48c8d3919297f8fb6663795a2e39b5f04735","datavalue":{"value":{"entity-type":"item","numeric-id":1885906,"id":"Q1885906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018058$02ECF463-A396-4EC2-81C2-EDAEE4BB4D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ac7ea46ed5829de66002dbc9fdd446ec28b2d53","datavalue":{"value":{"entity-type":"item","numeric-id":1878925,"id":"Q1878925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018058$DB0515C8-913F-4C1D-8462-82FCB4306CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd959c64a3590133894d3fadecb02599db8a6c7","datavalue":{"value":{"entity-type":"item","numeric-id":3000640,"id":"Q3000640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018058$F63D151C-F947-414F-B4DA-13B92CA97425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfc7710aae4636347b7acce12b63ad940c9b4b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5692280,"id":"Q5692280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018058$F948F97F-4BB4-44A9-AB18-010AEB2B5E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f3722a01ff9977e3dae59cf7bb07fb3de2a6c6a","datavalue":{"value":{"entity-type":"item","numeric-id":2985870,"id":"Q2985870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018058$023ADB7B-8228-4D2F-A9CB-7F1C741AF11E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4e935c56e34448eded2522362f2b2baf4cc65b2","datavalue":{"value":"10.1007/S10703-014-0220-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018058$830FBACA-21A8-4231-8899-54A99F29204D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec94ff7567d8465d29136fdd773acc78b9e61efb","datavalue":{"value":{"entity-type":"item","numeric-id":3000613,"id":"Q3000613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","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":"Q2018058$4E26CA0E-9D9C-4723-BC75-A3BE66DA20CB","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":"e9632868c9b400f4019a529927b7f9a4d0ff4b24","datavalue":{"value":{"amount":"+0.9471117","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":"Q2018058$26CD6077-18B0-4F53-AB3F-86710EA6EEA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aada139e4cdd12646aeacbda54eef8e373730f86","datavalue":{"value":{"entity-type":"item","numeric-id":4736990,"id":"Q4736990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9632868c9b400f4019a529927b7f9a4d0ff4b24","datavalue":{"value":{"amount":"+0.9471117","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":"Q2018058$74F03417-D8A9-4807-A0D3-95EDAA4FEA73","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":"8a8818c8cc8b7bd3996db28225fccefea4a91eb2","datavalue":{"value":{"amount":"+0.93400675","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":"Q2018058$439F0E5D-982E-4462-B657-59CA14BEC95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffec3bcef26d0307e150fc4e7aa3c1d21f49b820","datavalue":{"value":{"entity-type":"item","numeric-id":4992499,"id":"Q4992499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b65ee30e3c83985c7af1bd722d46aa107cf79dd","datavalue":{"value":{"amount":"+0.9231422","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":"Q2018058$F1C3D44C-E4E6-4ED1-8D16-DEDBDAED717A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a979a0508663df222d5e8c10a106e85b935b01c9","datavalue":{"value":{"entity-type":"item","numeric-id":3167005,"id":"Q3167005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00fafce600c84afc06671afa9a2d1fcb7a9d6674","datavalue":{"value":{"amount":"+0.9193297","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":"Q2018058$AF8AEE8C-5EF9-4DD4-80B2-C2E120F2055A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d53371f894569878028567531c32c3f1e52f426","datavalue":{"value":{"entity-type":"item","numeric-id":481098,"id":"Q481098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a41b421717f79acb86a3ea8529ac128ac18985a3","datavalue":{"value":{"amount":"+0.9121244","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":"Q2018058$1EEFBD06-15EB-461F-A8EA-2E4E7C1F679D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63603bca8f7e51f0051f8cd1a7a7a30670f86590","datavalue":{"value":{"entity-type":"item","numeric-id":4636594,"id":"Q4636594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae3ecbefd596834b137359b1a24d0fa6e7dd9ede","datavalue":{"value":{"amount":"+0.90560967","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":"Q2018058$72279A5D-AAED-4206-9EF1-A628289C459A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af635cfe46cc8d109f58b1ea11cb5e3ee0142ee1","datavalue":{"value":{"entity-type":"item","numeric-id":3648833,"id":"Q3648833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b30d2b5b92f803a9977e24d6d4b352b4c134d88a","datavalue":{"value":{"amount":"+0.90286106","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":"Q2018058$BD18B4BD-3201-4DE0-B4C0-B8BBE4ABEE67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2018058","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2018058"}}}}}