{"entities":{"Q4686606":{"pageid":6716187,"ns":120,"title":"Item:Q4686606","lastrevid":82364279,"modified":"2026-05-06T20:43:45Z","type":"item","id":"Q4686606","labels":{"en":{"language":"en","value":"What's decidable about parametric timed automata?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6946588"}},"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":"Q4686606$724B142D-267E-4210-8779-203A0E5B1403","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f1160f2e9d6a4267a5195711aff6c6e33619180","datavalue":{"value":{"text":"What\u2019s Decidable About Parametric Timed Automata?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4686606$4BF86DE1-790A-4E55-B818-938E940F6883","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"481b672cc5435fab030e40b1aec86c41e4a0af39","datavalue":{"value":"1396.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4686606$67853C37-210C-4533-81EC-834899032959","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e77756dacaf2a6c0bca73896c4d24111961579f3","datavalue":{"value":"10.1007/978-3-319-29510-7_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4686606$BD737B4B-996F-4046-9C4C-E12200AEF52A","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":"Q4686606$411B020B-A560-4B6D-97B1-12BA8535FADC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4077ffb18414bbb2357751629d411d50e25c5a0","datavalue":{"value":{"entity-type":"item","numeric-id":345896,"id":"Q345896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4686606$5DB76C71-E71A-4E3B-966C-A0348EF910AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18f7b6f0a3691379e3fad64a28fa4b629012c7d6","datavalue":{"value":{"time":"+2018-10-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":"Q4686606$33523555-5395-4130-A055-3B9FD97CC833","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29374fc81a9ef52cdee3fad4496d69d0d200710f","datavalue":{"value":"https://arxiv.org/abs/1907.01721","type":"string"},"datatype":"url"},"type":"statement","id":"Q4686606$E7B0E04F-2BC1-491D-B774-E78CD7B01C02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4686606$302BB097-F0D5-4032-8C93-443744D1AA95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"476c69f0e4cdb43fc0be48fcb11b628b19733b97","datavalue":{"value":"6946588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4686606$279F6399-6486-426C-A072-51951F211117","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"57b5cd5d4c684812e3cc62aecbd47a87db871c5d","datavalue":{"value":{"entity-type":"item","numeric-id":13197,"id":"Q13197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4686606$A0D4862F-64C6-4E8D-95E4-FB80E35BD7F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4686606$9A3C7DA9-E303-4499-9656-C839B10110EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bde88779cb6e7d8c59bbc11141f6f12a921e132b","datavalue":{"value":{"entity-type":"item","numeric-id":25173,"id":"Q25173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4686606$407EC6D7-04F0-459E-A4F8-72A4B9C3A539","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":"Q4686606$46FD34E7-F135-4F39-B6B5-22C2608224B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c45df1d7cd362e3eff01468f08826360fe1e40a6","datavalue":{"value":"W2296504218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4686606$CB6125ED-65F0-49EB-A7A9-ABCA2254C257","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":"Q4686606$BD6D5818-E070-4D58-B2D6-185CF1BC242F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d86939d9b9794f52fb929a0479751d9d0f6b81","datavalue":{"value":{"entity-type":"item","numeric-id":3549124,"id":"Q3549124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4686606$A6F1D9BC-E995-43DE-ADCC-C6FBD311BF9A","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":"Q4686606$18F520CF-E13C-4ECD-A007-2BA0757C582D","rank":"normal"},{"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":"Q4686606$B5F6D214-6D60-42F3-81D8-0A060A33893B","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":"Q4686606$FDEDBFDC-BE39-47F4-9992-93E89C4CFADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bba78a772e6129ed22a5af7f6e6e8e9dea9d4a23","datavalue":{"value":{"entity-type":"item","numeric-id":2945580,"id":"Q2945580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4686606$84766401-B489-4751-AEB8-09B60127D3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c93aa2e65693997b55b23e066ce9ab26d8c3342","datavalue":{"value":{"entity-type":"item","numeric-id":418141,"id":"Q418141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4686606$B9AA7B41-533D-429C-B5D6-F6189308A279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d475563753b2def66f50645b71310fdb957e1ca","datavalue":{"value":{"entity-type":"item","numeric-id":3449466,"id":"Q3449466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4686606$D16C77CA-DFD4-4B0F-89D7-21A242087272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98bfc53ac7abc1b2cd13f75139a03209fe316d3e","datavalue":{"value":{"entity-type":"item","numeric-id":5168513,"id":"Q5168513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4686606$8F7BF186-C25F-4994-85D2-4A7E853137B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c11dc3a37af742fbb3df95927426a62e888900db","datavalue":{"value":{"entity-type":"item","numeric-id":5168510,"id":"Q5168510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4686606$F5C505E5-E030-4F52-AEBF-A927FD45FFDB","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":"Q4686606$FC30BB1B-394B-445E-B705-8F50D33D3B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff7c91a7f15ff7d0a73481d4336a26ab85760947","datavalue":{"value":{"entity-type":"item","numeric-id":5166676,"id":"Q5166676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4686606$5405F8C5-313D-42C8-B56C-3C68E3219178","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":"Q4686606$6FCBB754-DDDB-475E-BC1F-BE8220E7590E","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":"Q4686606$33BAC49D-2421-4F19-8E32-5768633A8A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b38d814eb51c145cd1775fd8beceba2511519ed4","datavalue":{"value":{"entity-type":"item","numeric-id":1028737,"id":"Q1028737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4686606$7EAD3FAE-7786-458F-8443-07D220DEF28B","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":"Q4686606$BD1C508F-9D49-4B41-BB96-1CD01E49EB70","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":"Q4686606$E8BF2E97-DE15-4090-BFCD-9E377383B685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f2406a3464477fc09f4f68f3666c747d2a5279d","datavalue":{"value":{"entity-type":"item","numeric-id":4645197,"id":"Q4645197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4686606$0EEE319D-255B-4B39-84E0-C6586D3AEFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4686606$89229272-25A9-4C9B-9DC3-71FADAEB3490","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":"Q4686606$5879618A-6A30-4D70-890C-F3A7B9C5BD2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c7d2abc7d9879aec79601bcad6101068b3b5d4","datavalue":{"value":{"entity-type":"item","numeric-id":2889614,"id":"Q2889614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4686606$40144149-6C0A-41F4-919F-2D4596FAC809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4686606$ECFEE021-81FB-48D1-A7AB-279175255838","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":"Q4686606$A99157AC-B683-48B0-9863-9D422D21BD59","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":"Q4686606$D90619CE-8EFF-4746-906F-700EDF6D8D1B","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":"Q4686606$F3F6AA23-1D98-4898-87B5-4FAE69675DB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfb7a190db72c074afb5a691181916be1181b3a9","datavalue":{"value":{"entity-type":"item","numeric-id":4603554,"id":"Q4603554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d209938ffdb07f54026c2dc38839e591aad8ce9","datavalue":{"value":{"amount":"+0.8606492280960083","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":"Q4686606$F6C63064-762C-400F-92A2-55872B7CDB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcebfb23fc7c455d9a3e68111442f34be8c2da60","datavalue":{"value":{"entity-type":"item","numeric-id":2922008,"id":"Q2922008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1acd36901022aa4aee747455e2cc24a80d455516","datavalue":{"value":{"amount":"+0.8526691794395447","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":"Q4686606$46DC341E-3C3B-463C-8CCB-590F6BA988DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1c7184d177548c7e6df612e66405133dfa536b4","datavalue":{"value":{"entity-type":"item","numeric-id":2945580,"id":"Q2945580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13a70581df27136d6ff76511fa567d97d066b4d8","datavalue":{"value":{"amount":"+0.847700297832489","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":"Q4686606$31BB92A0-83E0-42B8-9FFA-D0A6D2744D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b91239ef7db8758d134b7e7e0f44254c821d2137","datavalue":{"value":{"entity-type":"item","numeric-id":5208876,"id":"Q5208876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"644e8fa08e00e4b0d28b3e6d5b824eecf0e7dbf2","datavalue":{"value":{"amount":"+0.8366686105728149","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":"Q4686606$D0F38FCE-C751-4988-8BD0-70AA5B332B7D","rank":"normal"},{"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":"c439f6c6f5983993ed850b3ae75bb00dd1156485","datavalue":{"value":{"amount":"+0.8358533382415771","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":"Q4686606$7C8E8EA2-817A-4B29-894E-D302380F43DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"What's decidable about parametric timed automata?","badges":[]}}}}}