{"entities":{"Q2237334":{"pageid":2248077,"ns":120,"title":"Item:Q2237334","lastrevid":78360317,"modified":"2026-05-06T11:24:29Z","type":"item","id":"Q2237334","labels":{"en":{"language":"en","value":"On completeness of liveness synthesis for parametric timed automata (Extended Abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7415130"}},"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":"Q2237334$2CBDBE89-0871-415E-86E3-4C1BA8AF317A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f8f23015f1f41f9c5145c437f20b640008c2aa2","datavalue":{"value":{"text":"On completeness of liveness synthesis for parametric timed automata (Extended Abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2237334$7271439B-4374-476B-913A-8F10C0F177D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"092e351a7d73890d612e1fe718b5eecc00f77d8c","datavalue":{"value":"10.1007/978-3-030-73785-6_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2237334$79F57FE1-34FD-4C22-A81A-EEFA39AEED7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a469e1856598e76c0542f05574b54b053e1e517a","datavalue":{"value":{"entity-type":"item","numeric-id":507380,"id":"Q507380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237334$F4564749-8EDE-4803-9126-E8095E2C438B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4872af84a584556ac338a1ed7d0fa0ccf3730535","datavalue":{"value":{"entity-type":"item","numeric-id":225085,"id":"Q225085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237334$0585FE3E-DFC8-4C6F-B587-0FA474BAC50C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8b86c03faa759ce1c86852416c5f440b0ce79a0","datavalue":{"value":{"time":"+2021-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2237334$FF5906F1-C6E7-4267-8826-335862FB372F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2237334$C4AA729B-537A-455C-87CC-5E11BB41F948","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7622ea5f4bc4beb2ddc61b57accb4e9f8e81e34b","datavalue":{"value":"7415130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2237334$C5318F7F-7B5E-4470-AF26-0E4DB3CCD653","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":"Q2237334$226C5215-D8A7-44C8-A969-9991427DAE88","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"298ea7754b6afd48dce88764a45023d62418869b","datavalue":{"value":"https://doi.org/10.1007/978-3-030-73785-6_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2237334$2E20CB39-8FBC-4BA5-9FBF-4EFAC1B436D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8cd6bb41cd5228fe177d97721b9fad83424cd250","datavalue":{"value":"W3154685813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2237334$EEF71D5B-C995-4A70-9873-55BD8BA86B70","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d139b83b95572def71b75a1df76dc5855dcccdc","datavalue":{"value":{"entity-type":"item","numeric-id":5248530,"id":"Q5248530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237334$2D0ABDE5-2256-4A67-8F17-E0E0CDFDF05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2520dd9bb033fee1c14ef0c511584e299bd8a05","datavalue":{"value":{"entity-type":"item","numeric-id":2044207,"id":"Q2044207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237334$EB55CDA8-8EC7-43DD-8F65-58ED4D16DDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81278e25ba92c1e249c16422daf2bcf1442fb7aa","datavalue":{"value":{"entity-type":"item","numeric-id":2032913,"id":"Q2032913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237334$FAC96F78-6A52-4C7C-88B2-BE5985DDAAD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8420c55f2d9c616e15e3e5aaae3532036bca7f22","datavalue":{"value":{"entity-type":"item","numeric-id":1675143,"id":"Q1675143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237334$DF2BC125-5E5E-41C5-96E2-E34DC5AD5CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ed779e29227a81a903aa97a6be4235ec5dba66","datavalue":{"value":{"entity-type":"item","numeric-id":4571131,"id":"Q4571131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237334$B60BA200-F483-4D23-A816-634D36A656C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b76cd63c5178ec2dcd1f08b328bd5ef3f072c74b","datavalue":{"value":{"entity-type":"item","numeric-id":1041291,"id":"Q1041291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237334$E79ED67A-2861-46D0-8921-AF7919931750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0abfc3b21c0f14353187ab5de281a6e5d1ac24c8","datavalue":{"value":{"entity-type":"item","numeric-id":1858447,"id":"Q1858447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237334$2BDA69C6-73C6-481A-842C-94184CF2AF07","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e39bb0c489a687549ecfb30abd48bf33e1e40586","datavalue":{"value":{"entity-type":"item","numeric-id":2044207,"id":"Q2044207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c53283f93729b4ba10bec15a39814546831979a7","datavalue":{"value":{"amount":"+0.7948903441429138","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":"Q2237334$36AAD310-3E42-4EF4-BE06-098EF05FC096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4847488d9c765d1d5d5d8e551c3566aaead2334","datavalue":{"value":{"entity-type":"item","numeric-id":5897955,"id":"Q5897955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45a671ff575c49a4991200b431b0d2e21152f026","datavalue":{"value":{"amount":"+0.7803599834442139","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":"Q2237334$7C333B0A-6ACF-4CEE-BB7C-A7A50E0A83FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaf525635ff57f85e37544a8e7620ee948336ea6","datavalue":{"value":{"entity-type":"item","numeric-id":1675143,"id":"Q1675143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b4af7de6dddccbb0f57b3cec66e6cb09827e595","datavalue":{"value":{"amount":"+0.7748410701751709","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":"Q2237334$51213912-237F-4492-BA40-420BA4770652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3525b396911526382ca172344274aba8bfce0a2","datavalue":{"value":{"entity-type":"item","numeric-id":4571131,"id":"Q4571131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56bb1d7a57ce4f41eae9f6f4c3713101f1cbf5b6","datavalue":{"value":{"amount":"+0.773794949054718","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":"Q2237334$3DBECB23-9840-4E88-9E2F-9C266515A354","rank":"normal"},{"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":"cb06b50215d6dee1b4817e67912f6cc87ca2e4c6","datavalue":{"value":{"amount":"+0.7684317827224731","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":"Q2237334$E626495F-7AEE-4A8E-9EFE-D475DAA3549D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On completeness of liveness synthesis for parametric timed automata (Extended Abstract)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_completeness_of_liveness_synthesis_for_parametric_timed_automata_(Extended_Abstract)"}}}}}