{"entities":{"Q5094115":{"pageid":7123691,"ns":120,"title":"Item:Q5094115","lastrevid":55419385,"modified":"2026-02-17T15:59:18Z","type":"item","id":"Q5094115","labels":{"en":{"language":"en","value":"Reachability and liveness in parametric timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7566044"}},"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":"Q5094115$12D7F250-FEBD-4AAF-B137-4992C2605FD4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5474941530a831b2b2da197492290557d39bddf","datavalue":{"value":{"entity-type":"item","numeric-id":315304,"id":"Q315304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094115$8A7F994C-1BFB-46D3-BC7C-2B023D1D98B6","rank":"normal"},{"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":"Q5094115$6BABBD01-8804-4007-9EF5-D90F41563205","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":"Q5094115$ED41EC92-26FB-41DE-87AB-7E5AF504B5DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad9afbe138412ffaaaf6109d22a748c988081a7b","datavalue":{"value":{"time":"+2022-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5094115$4716D268-C76A-4A20-BC07-36036ADE29C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"43d35f0084ce91950e5bc06e2e870c6f31cc2a3b","datavalue":{"value":"https://arxiv.org/abs/2004.09171","type":"string"},"datatype":"url"},"type":"statement","id":"Q5094115$ED2E64DC-676A-4A58-A660-8D84141A4AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0ef13123cd2435e91a1b303efe0bbbec5c0b624","datavalue":{"value":"https://lmcs.episciences.org/9070","type":"string"},"datatype":"url"},"type":"statement","id":"Q5094115$3829B685-7CC3-4035-8E9C-5F1736119608","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094115$3DCC0E09-EDFD-412B-A567-4A96D2E37DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094115$DFDD3192-4EAD-41D8-89A4-45CC146A6719","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf4470f9eafae38bc783c118666fc70a2c5d7c15","datavalue":{"value":"7566044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094115$45BFBCF5-A684-4AE0-B027-06A9514CB439","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7cb7aaf2a5bb8a7be5ce8256b40edd3ca624af3","datavalue":{"value":"parametric timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5094115$35E8DC82-AC20-4ACA-9672-2F1B4EAEDED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51bdb772e1a898d325f8dd6882e26e953d1a641e","datavalue":{"value":"L/U-PTA","type":"string"},"datatype":"string"},"type":"statement","id":"Q5094115$0B0F5560-6479-4578-A24F-4ED612E371E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5094115$CCD17BCB-8021-47EF-8968-2C0D50A2543E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5094115$4856A381-734B-4D22-AEE1-28EFC212B321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65f8bed1b0b96630a67cfe42bcdbf0a41383c5d0","datavalue":{"value":"deadlock-freeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5094115$7A7E5108-708F-4AE4-A02D-5133988A13EE","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":"Q5094115$E9469766-DA39-4776-9D07-448F26994D46","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebb4dee46e0b969a233da17f13d596a697e076e5","datavalue":{"value":{"entity-type":"item","numeric-id":3646167,"id":"Q3646167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094115$F8627DAD-7174-460F-93EB-170FE8C63FD7","rank":"normal"},{"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":"Q5094115$AC873ED9-5AA2-4F49-9993-1299D01136FC","rank":"normal"},{"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":"Q5094115$03481A97-0060-41B0-9C3B-91A205AD1BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11d0a7287171571baf18f73474b0ba23bf95666b","datavalue":{"value":{"entity-type":"item","numeric-id":5208876,"id":"Q5208876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094115$DD529A4A-E890-4F45-8103-9B4069B234E1","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":"Q5094115$DEFA848E-0341-4612-A232-C4E8FCC8697D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa931417c6251646d894cfff555faad7aef07ea0","datavalue":{"value":{"entity-type":"item","numeric-id":4603554,"id":"Q4603554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094115$976014EF-B228-45EF-851B-BA2E40D4F042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81aeaea6545bf843808c5f621be5f3dd69fdbed5","datavalue":{"value":{"entity-type":"item","numeric-id":1631215,"id":"Q1631215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094115$970FEEE8-AF7A-4F80-B88F-9455128844A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b227bbdc8e3d451976cde1108291fb838e87e14f","datavalue":{"value":{"entity-type":"item","numeric-id":4989408,"id":"Q4989408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094115$E4B9C396-8D11-4F50-AFF0-F5F4E2272DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"701037265d864405530d021a0dfd0049c95b8e25","datavalue":{"value":{"entity-type":"item","numeric-id":5277801,"id":"Q5277801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094115$DD153053-3165-4B32-9315-9312C9C177F1","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":"Q5094115$58B7EBDB-153C-45D9-8066-4A8F948038F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d70113cd5b654bf0a9dc73bcf0093af4ab44d9b2","datavalue":{"value":{"entity-type":"item","numeric-id":2922008,"id":"Q2922008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094115$31B409AE-87AE-46BB-81F2-0438825601FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c44aa82d83f0c7bc5c59f30b4bc65d87c7eafe0","datavalue":{"value":{"entity-type":"item","numeric-id":515666,"id":"Q515666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094115$68F5993A-CE34-45BC-80D8-BA75FAB90F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5faab6947a1daf8170d12a06c66c2afffdec907","datavalue":{"value":{"entity-type":"item","numeric-id":5310683,"id":"Q5310683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094115$A35C5516-50F9-4D40-AE4D-6BCDBEAA46AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c815cb968c16107cefb000f62a5dae27bc671faf","datavalue":{"value":{"entity-type":"item","numeric-id":5712294,"id":"Q5712294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094115$D22BBE2A-B0FE-4CDF-BCB4-BFE462A1CF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094115$58E9551D-EB71-4C3C-A6C1-70E262DF95E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60dc32dff08f7e062837373e4e0bb0cd53c724ad","datavalue":{"value":{"entity-type":"item","numeric-id":4536599,"id":"Q4536599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094115$6E0C632C-031E-4669-91BF-2BD016B1C076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb26fb1846b6f18c02035a5f88554afa02bb81bb","datavalue":{"value":{"entity-type":"item","numeric-id":846009,"id":"Q846009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094115$38013DA9-0DDE-48E9-9F13-4194CED5CBF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4ef16668b23a47c29b0d7fa300962a3df1a1fa","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094115$084F5C5F-23C8-4DD1-A806-32DD75761AAB","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":"Q5094115$021BA517-D71E-4F77-8F6B-222896E45030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e33b53c9004b61a90401a2052769d8efa2f34a0","datavalue":{"value":{"entity-type":"item","numeric-id":4120115,"id":"Q4120115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094115$C970B3A1-D2C8-4386-A2B1-A37B38025B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e499ca4910168e9fcc3cd0ad40566cb27f72097","datavalue":{"value":{"entity-type":"item","numeric-id":4953401,"id":"Q4953401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094115$50340697-3663-4CD6-AB61-8A54F11F3A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094115$C8AEAB30-7BE8-4865-9871-800645E5716C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f02c4243a265cc03a73a3605e5d794b781620cf3","datavalue":{"value":{"entity-type":"item","numeric-id":4994958,"id":"Q4994958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094115$D335E663-AE50-4686-9E04-D137371EC2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c1636aff2846942c87bea61d48c734e11e3c833","datavalue":{"value":{"entity-type":"item","numeric-id":3088071,"id":"Q3088071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094115$B10C440A-B25A-4210-9A98-3DF038D9FD4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094115$73EAD598-1BAF-4115-BE45-D4BAEFB35E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2eca8222b6ee4cf2f834e22b9f57835fb1bb56","datavalue":{"value":{"entity-type":"item","numeric-id":4929342,"id":"Q4929342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094115$F233AC57-2D1C-40E4-9784-740D17D4B4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba57bef9dcf8610ea862985a8d05b601f1f871bc","datavalue":{"value":{"entity-type":"item","numeric-id":5929099,"id":"Q5929099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094115$F7D5D74E-519C-4232-A775-BB3D1AF2DE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75eb33fcfa4dcf8f3cb224015a88a380e338a35f","datavalue":{"value":{"entity-type":"item","numeric-id":675050,"id":"Q675050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094115$0D3E12B9-0E17-4ED8-BD05-30A1D72A16EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56189e46c96f917172b9e9c44beae5f2017d3363","datavalue":{"value":{"entity-type":"item","numeric-id":1631215,"id":"Q1631215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aad2c068f4b0ada5014173a62e3cbcc2c347463f","datavalue":{"value":{"amount":"+0.8782961368560791","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":"Q5094115$4A1E86C8-792E-4FCB-B6ED-2A8611951B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9326e5b0cbc990f169282df3d776b073e67d1ffb","datavalue":{"value":{"entity-type":"item","numeric-id":4686606,"id":"Q4686606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"547baf7806935cc312790e438f870e6db6bcf2b7","datavalue":{"value":{"amount":"+0.8418792486190796","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":"Q5094115$F6FC381D-C445-4DBD-859B-2FF507A7152D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8850055df15e3cc72a93bda40f41a31b64ca8159","datavalue":{"value":{"entity-type":"item","numeric-id":5428870,"id":"Q5428870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2365d998a55b6afae901dd93f7ff86385e27e01d","datavalue":{"value":{"amount":"+0.8337714672088623","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":"Q5094115$2A2A3134-9A0F-481F-9A42-2B6A24D4D0D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d41929f724147a2cad9ea17191508e1c9a57bbd7","datavalue":{"value":{"entity-type":"item","numeric-id":1041291,"id":"Q1041291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71206bd582d62fc9cad0b1fe417f8e1c14fc9e26","datavalue":{"value":{"amount":"+0.8301951885223389","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":"Q5094115$A879962F-AF0A-4C3A-B23F-F986266000A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9e4c50280b7ca24e7c41a221b387028cf2d75be","datavalue":{"value":{"entity-type":"item","numeric-id":846009,"id":"Q846009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01e07eeb0fd5ccd7dd40b5a3e980903704bb5cc7","datavalue":{"value":{"amount":"+0.8198342323303223","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":"Q5094115$C2012C2F-8D4A-429E-B208-F50D9DBB5D81","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5094115","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5094115"}}}}}