{"entities":{"Q5166678":{"pageid":7196250,"ns":120,"title":"Item:Q5166678","lastrevid":52037108,"modified":"2026-01-20T19:39:12Z","type":"item","id":"Q5166678","labels":{"en":{"language":"en","value":"Synthesis of bounded integer parameters for parametric timed reachability games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6314148"}},"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":"Q5166678$61F728D2-78C0-4D0E-87EB-E3C25C441808","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0214a8164fb0ff1f601b03f9b067eefbd0bd9bfe","datavalue":{"value":{"text":"Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5166678$71869678-227B-444C-A128-3903F2B4B3B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7e4e81f5a0760d978c15d8bcfbf799ab80a20d1","datavalue":{"value":"1410.68205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166678$85860122-2BE7-4560-A6F1-A5783649CDF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc8297087c13bd4a66d6e343935e7953f42b9455","datavalue":{"value":"10.1007/978-3-319-02444-8_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166678$9E9287EB-92FC-4264-8A75-3C44CF2ECE28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"607a4318bfb9ac4fa4c0e94dbdcbd3e66269331c","datavalue":{"value":{"entity-type":"item","numeric-id":378903,"id":"Q378903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166678$F01EA35D-1F8F-46D5-8F5E-C0D5E203EAA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8095e556245540fb27a9caa35b65644c130ca5d","datavalue":{"value":{"entity-type":"item","numeric-id":378905,"id":"Q378905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166678$B27B5455-7E7A-4D43-BC20-2683D9863209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57dae1a66b8d364756742d36de532febd4857c8b","datavalue":{"value":{"entity-type":"item","numeric-id":955246,"id":"Q955246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166678$D247A8A9-705E-49B9-B9F0-8E08C39DB757","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166678$35FB276C-13E8-45A4-8CD4-D27F0F888866","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1748075602cc84150ddd9b65a546744ead622c47","datavalue":{"value":{"time":"+2014-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5166678$D0F5E736-EF6F-401A-9163-DA3E2FE06C3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166678$7FFE68A8-CF0B-44F3-A136-9CCB336233C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b2cc0af4c93400281991e2119537f2e74fd8c32","datavalue":{"value":"6314148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166678$1F7C4725-9142-4955-BA6E-E270BE46F6CE","rank":"normal"}],"P1463":[{"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":"Q5166678$D5638DBA-2D84-465D-AF20-B42557D458DC","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":"Q5166678$6EF755CC-D0BA-4F3C-B6F7-895BDC43DFEA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"993baafc19b8931eae760818675e658c23061cfa","datavalue":{"value":"https://doi.org/10.1007/978-3-319-02444-8_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q5166678$E826D39A-6751-4A61-AC04-B9E48991F0BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22e5665458e86c0297da4f5a90d89a4f79401a17","datavalue":{"value":"W4291334134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166678$E3B81BA0-9B69-444D-95CA-533788617E27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e189a35dbf61f9c265c084d4ed7f7d08b0f1320","datavalue":{"value":{"entity-type":"item","numeric-id":5326340,"id":"Q5326340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f7d86788ec50e46779e6cab39b78e7b4ded9914","datavalue":{"value":{"amount":"+0.820807695388794","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":"Q5166678$1FC477C0-559A-460C-8A87-B84F40C2DBA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05ca667b81cc4da7a803ded53555710c6946a1a3","datavalue":{"value":{"entity-type":"item","numeric-id":2636513,"id":"Q2636513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c706058eb2f447ae5112b0ffdd2fc6d66a152d04","datavalue":{"value":{"amount":"+0.7911641001701355","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":"Q5166678$05632848-7226-4314-BED6-A937A48149D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fc093f0c61accf22ff47ff0122cbd8cfdd44806","datavalue":{"value":{"entity-type":"item","numeric-id":3447704,"id":"Q3447704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2159fa23cb313f4e12c5f41a7fe2f0b5360eb7ec","datavalue":{"value":{"amount":"+0.7909674048423767","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":"Q5166678$268887A4-0021-43F8-8887-F74128EC4479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64230143ffdcf40aa0b352d4ccf289b690e725dc","datavalue":{"value":{"entity-type":"item","numeric-id":5231423,"id":"Q5231423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c948cb05e6bfee981d9baa165020967fb4d107fa","datavalue":{"value":{"amount":"+0.7890195846557617","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":"Q5166678$AED40857-9607-4D00-B5B7-FD97742F803D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c9d5fe17ec6a5506543531b83a7f2aa7be5cd7b","datavalue":{"value":{"entity-type":"item","numeric-id":2889614,"id":"Q2889614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1af093fec6e80b788973d6b12fd9b4ed82ad3f09","datavalue":{"value":{"amount":"+0.7735304236412048","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":"Q5166678$5EDE2184-B3ED-4A07-920F-B17C760728C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5166678","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5166678"}}}}}