{"entities":{"Q5079791":{"pageid":7109367,"ns":120,"title":"Item:Q5079791","lastrevid":91316957,"modified":"2026-06-04T22:51:39Z","type":"item","id":"Q5079791","labels":{"en":{"language":"en","value":"Population based methods for optimising infinite behaviours of timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7533385"}},"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":"Q5079791$5436DED0-A7A4-4260-B115-4CB5785B0B04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"355fb492bedda7db5f11fd58ce47f10e99d81e5f","datavalue":{"value":"1487.68217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079791$072AFD86-542F-4BF2-A2EE-1AFD95692D05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d24e354b851bacf6f54a6a609a84067a00c617e","datavalue":{"value":{"entity-type":"item","numeric-id":5079790,"id":"Q5079790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079791$1F39776B-2CB1-401B-AB55-2738E0D304B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b731434e1148d12c80d6300dedff0088d080112c","datavalue":{"value":{"entity-type":"item","numeric-id":476191,"id":"Q476191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079791$A272C82C-05CA-4993-B049-276943F06B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22c3c5a22fb3da755e2e8fb1d94c251a072f6ebc","datavalue":{"value":{"entity-type":"item","numeric-id":790946,"id":"Q790946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079791$25BD8D0C-2A15-460B-AD2A-8B509EC4A10D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a86b7f6396ef59f89bc1a16a5090a2410ec1949","datavalue":{"value":{"time":"+2022-05-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":"Q5079791$165263AA-C2DD-44EA-A7DC-3C4B5544749A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079791$CEF3DE52-2FBA-4EAC-BC90-0D5FD6383219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079791$5970D934-484E-4276-B540-9F36DA0D536E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d42ae7884b9335550c4d21f090798ce9c56a9bf","datavalue":{"value":"90C59","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079791$29B6EF0D-6A99-48C8-8CCF-26C5E1040FCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b5dfdb63bd3ce012662a1c2a97ec51ae8920f68","datavalue":{"value":"7533385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079791$A6C4C18E-0BE0-4F82-AE75-1B74B6A5BBE2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079791$BA4E8CF6-0BC2-46F8-87E3-62C74C1EC155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19b6ba98ff19f3860dca8d7a4e1436857f3fff49","datavalue":{"value":"heuristic search","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079791$56B27B66-2BFE-48FC-B0EC-83B0D14B2B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0589344118e8e0bd906f638d9464137f0a5bdf01","datavalue":{"value":"ant colony optimisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079791$8818295B-68AA-4770-AE9C-DEA52537E965","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":"Q5079791$69349349-A7F3-41B0-9D9E-086519A1FF47","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c0198d043e9906d3d875f52cc8682fa544cb8a5","datavalue":{"value":"10.4230/LIPICS.TIME.2018.22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079791$ED5FD8DF-D2E7-4E51-B970-8FD0836E6CFC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d080cd4e16f734629d4701ddc7534ffc8d691df","datavalue":{"value":{"entity-type":"item","numeric-id":2475633,"id":"Q2475633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ce6707b33e94d724e386622c66292cfe4fa9a2c","datavalue":{"value":{"amount":"+0.8510700464248657","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":"Q5079791$A4397F41-8795-4B9F-8A77-A2987490144F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7593d3d22f4c89bd1afa6aad7b1bbfeb427a4b33","datavalue":{"value":{"entity-type":"item","numeric-id":5307469,"id":"Q5307469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"470f6f515a8c03502aafee226ae6794499ab88f8","datavalue":{"value":{"amount":"+0.8329960703849792","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":"Q5079791$019940E6-5943-4C77-A90C-29008206B906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0e08487b47a75206f8103e503c6bc3a08676c3e","datavalue":{"value":{"entity-type":"item","numeric-id":5179061,"id":"Q5179061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"769b20cf3e310e498fcd9343df90672e1ec3e8b7","datavalue":{"value":{"amount":"+0.7860777974128723","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":"Q5079791$0D96233D-CBDA-4C54-A3CC-0A9B7DB28686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bba14df9c00cb6a16700dd8a226c88d39e41ba20","datavalue":{"value":{"entity-type":"item","numeric-id":5897450,"id":"Q5897450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3936396349b27c088354b2c17e985f5e2012e2f9","datavalue":{"value":{"amount":"+0.7802188396453857","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":"Q5079791$870DC566-9D46-4A42-97E9-967769430F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5031e2b5408448e0030db1223f1f8c0b81e20c6a","datavalue":{"value":{"entity-type":"item","numeric-id":5308409,"id":"Q5308409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3e2ffe3a5f9b48e53c59b43dea50e195a5d9f1d","datavalue":{"value":{"amount":"+0.7520949244499207","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":"Q5079791$74122E5F-9131-4025-B4C6-210EC61435AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Population based methods for optimising infinite behaviours of timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Population_based_methods_for_optimising_infinite_behaviours_of_timed_automata"}}}}}