{"entities":{"Q1874402":{"pageid":1885144,"ns":120,"title":"Item:Q1874402","lastrevid":73050075,"modified":"2026-04-14T09:53:25Z","type":"item","id":"Q1874402","labels":{"en":{"language":"en","value":"Presburger liveness verification of discrete timed automata."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1915578"}},"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":"Q1874402$77F4EF7F-3456-4093-8D5D-C18F0CE0C27E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b0b4aef1d35bf162369516b79fceffde5e2a4c9","datavalue":{"value":{"text":"Presburger liveness verification of discrete timed automata.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1874402$ECD6BC80-07E7-44C6-837C-288155FF7EC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9569749177bcf1c0cd1007a52a3c085287603913","datavalue":{"value":"1040.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874402$818EBBE6-F9FF-45E4-9598-9D558A58EB91","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7783b3a5febb6b8cd3f31a10d87d46647cac39b6","datavalue":{"value":"10.1016/S0304-3975(02)00485-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874402$0D803E82-2D4C-4447-9AD0-CBFA254C8AD7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77e44c9d54d0cfc71832e715dc19584237ba4067","datavalue":{"value":{"entity-type":"item","numeric-id":243822,"id":"Q243822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874402$0883DE75-B6B6-4EF7-9D80-F8631BD64C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"856e553426bf2fdacc265aabae14211fd962289f","datavalue":{"value":{"entity-type":"item","numeric-id":262136,"id":"Q262136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874402$9601B903-09AF-40B1-BD75-49D30BD84C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1e9ee15e04024166fbc010b993d29589f250cf1","datavalue":{"value":{"entity-type":"item","numeric-id":1401258,"id":"Q1401258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874402$54E8843D-6FF1-48D6-BBDE-78F68865A05B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874402$3FBDFF21-15F3-4C7B-BBC1-FE235E13FD2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68a6a59edb1a41421171fc7a476d9d545e0612d5","datavalue":{"value":{"time":"+2003-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1874402$6C5A266C-95AA-4CC8-8476-E3EF8F78F201","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874402$AC760308-827D-4716-A3AD-C3CA1D78759F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d2f3c59176f189cca33fb17f9cc07d9662f0451","datavalue":{"value":"1915578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874402$3F63B034-5AF1-4E22-96A2-FC7A0D987E26","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc7c3fd3872f7a30fbc4a3c1696a9662468e045b","datavalue":{"value":"Model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874402$09DE469B-7C62-4F62-91E6-5330F7956758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0710ba12b295bea2e2fc50f1eae9fd9848025d00","datavalue":{"value":"Timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874402$144935F2-CA36-44F7-BA67-B1E2ECC4AB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d02dd1a2dfa11167160686287ff03893b98091d","datavalue":{"value":"Temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874402$D24C7476-47C5-4912-AE24-A6633995125C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ee47f00ce5d29c5c11c2736604a1a27f89258ee","datavalue":{"value":"Liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874402$A6684305-D691-4582-B256-F02033AFAEC7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874402$29000852-8A52-4FCE-96DF-C70A56A7496D","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":"Q1874402$9284B953-AA23-4509-B7E3-45CBC9F44B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d2471778ba09b75f1c0cda73884736e0143e43dd","datavalue":{"value":{"entity-type":"item","numeric-id":15416,"id":"Q15416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874402$CD648860-ED0C-4E83-8D5C-020F0CA91226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874402$C4CDE42C-0111-48D0-AFD7-997A1052D62B","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":"Q1874402$D41BBEF7-1D46-43C2-AB4A-23293AAF8D4E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f0677d986de7ae767d3696ee3197efa0dd10513","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874402$259ADE6A-9160-4351-A5AC-9C0C10FD78D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874402$A9180147-A923-43A4-AAA5-AF90349F224A","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":"Q1874402$F8F422EC-0CBC-4BA5-9694-EC259BC7518B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e019e14c862ddaf7bcd66cd64d6515bc5dc195","datavalue":{"value":{"entity-type":"item","numeric-id":4371517,"id":"Q4371517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874402$9FBE75DD-5552-446A-89EF-83411E0E6585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c7f8b3f1ff6940d5ec48ef42f10efe12dcb747","datavalue":{"value":{"entity-type":"item","numeric-id":689093,"id":"Q689093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874402$2C8E2C37-8E73-4B11-B47C-B1659DD398C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874402$6839B982-7189-44EA-90A5-4177895AC124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ee9246f6d31df8e6ef9a2a4d199037289def53c","datavalue":{"value":{"entity-type":"item","numeric-id":2753678,"id":"Q2753678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874402$C7407655-66EF-48F1-8424-48396208F501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acbe5a701cddd7194eb28385f2a16723583b00bd","datavalue":{"value":{"entity-type":"item","numeric-id":4270062,"id":"Q4270062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874402$7A9118AE-8E93-4B7F-882B-C7B902FEF121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae5a97cbd9c220f9e26357aa338afd6a64b98f80","datavalue":{"value":{"entity-type":"item","numeric-id":4551181,"id":"Q4551181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874402$2572307D-F889-4635-835C-42AAEC501C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da955fd986994d622ff42c86830cc6ba9ad32393","datavalue":{"value":{"entity-type":"item","numeric-id":2754074,"id":"Q2754074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874402$16460155-773C-4778-A15D-8A31E59912B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e3319f6e82444754097d9d1b24449da5f3bac05","datavalue":{"value":{"entity-type":"item","numeric-id":2762788,"id":"Q2762788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874402$8BB18A59-71B6-4B19-9988-28B1A7653E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"824bf93b5181245b88573e28058822d36f9fc0d2","datavalue":{"value":{"entity-type":"item","numeric-id":5204346,"id":"Q5204346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874402$654B1870-ED71-46C3-9491-D37A556C1A47","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":"Q1874402$3C5A8BF2-413B-43AB-94A6-336829508F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"182981e0e770b39d22d2da0fccd0d6dd8798182f","datavalue":{"value":{"entity-type":"item","numeric-id":4140393,"id":"Q4140393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874402$7D0E7D29-DC49-47DB-9DFF-B537EE94A35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf54f956180a58a7b1b09efa5870d33c05d087f7","datavalue":{"value":{"entity-type":"item","numeric-id":3569043,"id":"Q3569043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874402$25511655-0965-45F2-BA94-4E7437A80019","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":"Q1874402$BF572FC6-0CB4-4ED2-967F-95C67CB884BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c73915bcd97bc7bb9ece7f65069678107a79a338","datavalue":{"value":{"entity-type":"item","numeric-id":753494,"id":"Q753494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874402$3BD7D9CE-A7FA-4078-804F-1C2441F9D59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e574050348307bcbcfc2e2f0734db761d485e300","datavalue":{"value":{"entity-type":"item","numeric-id":1856194,"id":"Q1856194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874402$BDA3BFA0-6C8B-415A-90C0-549EBC1F455F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"427814497f80f0f77373a66b20c4c441ac985935","datavalue":{"value":{"entity-type":"item","numeric-id":2762788,"id":"Q2762788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3149e0c26ae7975edcbfc89ba61dcfa189c11be","datavalue":{"value":{"amount":"+0.96071476","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1874402$B034F2C4-03E3-4ECC-A9AE-75C090774346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de1ea2d9e13bc0481c7671b5c818c084ac5c6423","datavalue":{"value":{"entity-type":"item","numeric-id":5094115,"id":"Q5094115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2aa0f95b40b702926218327af08ee9727b21a7c","datavalue":{"value":{"amount":"+0.9116703","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1874402$A04A46F2-A836-4B9B-8D4A-96843C786599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40c91107db671e873d357b5eb026a65ddb762267","datavalue":{"value":{"entity-type":"item","numeric-id":4649386,"id":"Q4649386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c0f96aa2e58055ab8952e4f4b36343cb7e1843f","datavalue":{"value":{"amount":"+0.90969896","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1874402$65E05044-2BDB-433F-89F1-606C02F13FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55aad7f11611340e48867c1e398d4eb88f8d1392","datavalue":{"value":{"entity-type":"item","numeric-id":2237334,"id":"Q2237334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bd08be9fb61c1b40a345c08d82aad3b9616f1b9","datavalue":{"value":{"amount":"+0.89467835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1874402$4C7C802B-DB22-4F94-A2B9-48F741E48FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e9e271c461eaf7166a0470f6c162324698c6f7","datavalue":{"value":{"entity-type":"item","numeric-id":5392293,"id":"Q5392293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7df0170f378b0298ab2f08d3386dd3db5b68e530","datavalue":{"value":{"amount":"+0.88262355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1874402$101E55DE-FC9D-4C77-8AA1-7DA1772E605D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4de1bd30df00ebf2ffdf6c7af1de0fa2ee2dbfa8","datavalue":{"value":{"entity-type":"item","numeric-id":5121268,"id":"Q5121268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db6bca4d843afbda3e085d86db200e2020201451","datavalue":{"value":{"amount":"+0.8778405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1874402$CA1261A6-E18C-4E9F-A235-F70814B41CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93f1ffcb558f099d48324dec978a8094d5cce94c","datavalue":{"value":{"entity-type":"item","numeric-id":4636598,"id":"Q4636598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db6bca4d843afbda3e085d86db200e2020201451","datavalue":{"value":{"amount":"+0.8778405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1874402$EFA62C1F-2470-4FE7-B3A2-4C9A8B8C7004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d7ef25e7fdeb4371d72e36779ceff8901c01702","datavalue":{"value":{"entity-type":"item","numeric-id":2324206,"id":"Q2324206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff176a038cf61ef3745d1d16aa960ad4978510d2","datavalue":{"value":{"amount":"+0.8773978","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1874402$E215109E-E601-4672-9BF2-5EA541625354","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Presburger liveness verification of discrete timed automata.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Presburger_liveness_verification_of_discrete_timed_automata."}}}}}