{"entities":{"Q1426159":{"pageid":1436899,"ns":120,"title":"Item:Q1426159","lastrevid":68802114,"modified":"2026-04-13T02:09:55Z","type":"item","id":"Q1426159","labels":{"en":{"language":"en","value":"Past pushdown timed automata and safety verification."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2056576"}},"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":"Q1426159$CB33A2B9-0898-4541-BDB9-F1E335A3DC87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"982de0e5d6b294e83353a5efcef3c0a1481488e2","datavalue":{"value":{"text":"Past pushdown timed automata and safety verification.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1426159$B6FF2532-CAD3-4BD0-8CD5-4C9D6ACDCA4E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0ff1f44aca55ce7b012955cdbf45a0085dae4a0","datavalue":{"value":"1069.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426159$D9DCF114-9A17-48A2-B31A-C6F3398E92A3","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":"Q1426159$E9A65E96-19EE-4C0E-ACD1-D3710B4B673C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"859f8ee7581350f1031dec21f694fc43324b283d","datavalue":{"value":{"entity-type":"item","numeric-id":344798,"id":"Q344798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426159$D7FCF702-52AF-4A54-B86D-6664E45B670F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0ccf6eb6c37793d5bd821ffa019f577d6c7be3b","datavalue":{"value":{"entity-type":"item","numeric-id":243823,"id":"Q243823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426159$E39B8D08-4F16-468C-9930-474925B76C6D","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":"Q1426159$3C9ABCBC-41C5-4BBC-8B50-34C14766D049","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":"Q1426159$EB556862-D8A8-4B67-9BEE-B61D5B407DBC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"947fc07e6e3c9508b7adeaf87fe542c1ae2d0058","datavalue":{"value":{"time":"+2004-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1426159$B70E9868-02C3-42F9-A3F5-68BE823428A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426159$7F19E7B8-F1E9-4BE6-85F5-8ACD7F176AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426159$1BD973C6-3ACA-4862-9467-96E2DA6B14BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426159$3CABE722-5EE3-4BE6-835C-2DB5C3AA02EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85382b0b23519c8353f8c11bc6ef3452cbba1acf","datavalue":{"value":"2056576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426159$032E26AB-8A81-4F12-954E-4A2EC23D4D95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0710ba12b295bea2e2fc50f1eae9fd9848025d00","datavalue":{"value":"Timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1426159$2F9F323E-C503-40F7-A25E-7E613C0EA687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5b1cf7c5bf61fbe0765b3642c87185a78c9f8c4","datavalue":{"value":"Automated verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1426159$27703953-A9BB-4089-920B-E068E91FE3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d02dd1a2dfa11167160686287ff03893b98091d","datavalue":{"value":"Temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1426159$71DBD23A-4174-4B47-80B8-F3C77EF9C677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e5b693814c3c14518dc6ab299cf813c79591f55","datavalue":{"value":"Past formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1426159$FE428F60-3298-4F15-B849-8E97B7508950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1426159$57825304-ABF4-4143-A5FF-5EFB8BE33BF9","rank":"normal"}],"P1463":[{"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":"Q1426159$5A145FBB-5C3C-453E-A118-C47B2E16413F","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":"Q1426159$255F6119-9802-4DC1-A56B-E03F0A90A2E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"51a12c7edcc6eca914dde53e23abb1bebe70bded","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2003.10.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q1426159$3CA720B3-52BC-4775-9C0F-3D6B6F7A8F69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"958c240627c78a87a8571cf54dcac9968d24ddc4","datavalue":{"value":"W2117431842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426159$101311E2-E079-4839-BE70-ACA9784C9DDD","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":"Q1426159$E77A3645-8572-4A3C-B54F-E5255D341113","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":"Q1426159$4E4C72FB-D265-4845-9BB1-D9B9D21FB4A8","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":"Q1426159$33F93EE7-E75A-420C-B21D-6ACE017A0AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e7a108370169c16838733bc613c6abdf38f709","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426159$77E02663-6FC8-4628-91BC-DB237ED5B377","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":"Q1426159$18BE80CF-41C8-4EC1-A95A-AE867EB9785A","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":"Q1426159$C8B3A22E-00AF-4E2A-B9BD-2F51E5D5D0D4","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":"Q1426159$58874FFD-E56C-4DC7-AC55-FBCA45D2AE3B","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":"Q1426159$80CDE772-261A-48D0-9AC3-804EFC44EB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6041a480921e1f5316d9caafb85b6e72750ed7e9","datavalue":{"value":{"entity-type":"item","numeric-id":1853523,"id":"Q1853523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426159$01AF1678-2F78-4C78-8A4B-586E34578BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d8ebd3ef53d7996f7c569cf6663fe1170b13ac","datavalue":{"value":{"entity-type":"item","numeric-id":4302435,"id":"Q4302435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426159$8159F3E4-8FCD-4C4F-8AE3-049F42CA513B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426159$E5126670-A6D3-4B01-B78C-170D1CBB9C61","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f80370488cd31ffd89891fdbbeb4c3390483a25b","datavalue":{"value":"10.1016/J.TCS.2003.10.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426159$2D8A3EEA-125A-4BC1-B0DD-7912C70A12A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87717f2b6eaf68c10fad01f58d3d941cc4f182ca","datavalue":{"value":{"entity-type":"item","numeric-id":4412570,"id":"Q4412570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb6ad9f1649f4d00fecab6ac07a729c0bddc5b41","datavalue":{"value":{"amount":"+0.9731643199920654","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":"Q1426159$AA1A132E-5917-4744-9783-4E3D22FE4291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0b24b9a757d82923f7e4e8223d5783ecafbc057","datavalue":{"value":{"entity-type":"item","numeric-id":2754074,"id":"Q2754074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27d1aef528346b974c941749e9459dff72e36b6e","datavalue":{"value":{"amount":"+0.8423103094100952","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":"Q1426159$9A43A1AB-4AD5-4EC4-B789-1C2418A99DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca6ffd05920b765c8da7118ba630323acf5f9765","datavalue":{"value":{"entity-type":"item","numeric-id":1401320,"id":"Q1401320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abba7786ae8d91e6b6a42cd9d0ea87e20ef4e8e5","datavalue":{"value":{"amount":"+0.8359947800636292","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":"Q1426159$B21CC64F-BC19-4078-BD72-3CB9098CCF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fec18c4235af2a35cc605d0c7f8f5b7c5c04579","datavalue":{"value":{"entity-type":"item","numeric-id":2221811,"id":"Q2221811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"183f17592024169ca6fe05fdaf84e2fe9edc35e1","datavalue":{"value":{"amount":"+0.8079859614372253","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":"Q1426159$5878D5E8-B956-4F5A-ABB0-CF5FF503DA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2ec76355b550f0d22b68c7655bf583604ac4333","datavalue":{"value":{"entity-type":"item","numeric-id":4474093,"id":"Q4474093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bb9c73bd994bad86b8ced180100fc1739a2f4c3","datavalue":{"value":{"amount":"+0.8025941252708435","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":"Q1426159$603938D4-BCAE-4228-8AD3-B1C8F59A84A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Past pushdown timed automata and safety verification.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Past_pushdown_timed_automata_and_safety_verification."}}}}}