{"entities":{"Q832208":{"pageid":834056,"ns":120,"title":"Item:Q832208","lastrevid":64674516,"modified":"2026-04-11T21:28:21Z","type":"item","id":"Q832208","labels":{"en":{"language":"en","value":"Fast zone-based algorithms for reachability in pushdown timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498159"}},"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":"Q832208$7E544E2F-F4B0-4756-AFEB-DC58BA19DCA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e55a79f5ac954bceb2171f9992ab07f1e5041d01","datavalue":{"value":{"text":"Fast zone-based algorithms for reachability in pushdown timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832208$DBBDFDD1-D8ED-4CFD-A311-43C520A2A1DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e589f974e2743d3c2489cd52d9e0ebef4aa63367","datavalue":{"value":"1493.68181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832208$6C0CCEA3-E2F9-4BAC-96FE-6AA373E8C4B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02706ffb8f91a462aeb700fd1314454283818bd9","datavalue":{"value":"10.1007/978-3-030-81685-8_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832208$010798C3-E202-40DF-B8DD-B65E287123CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0148a7914729f10791714961eacfb31054def7ce","datavalue":{"value":{"entity-type":"item","numeric-id":436614,"id":"Q436614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832208$7316D97D-2D32-4A9C-ADA9-86A9B18912D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc6828000455d6a95d0c2ee169c20b1ba0a23b3b","datavalue":{"value":{"entity-type":"item","numeric-id":472793,"id":"Q472793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832208$F377CF42-4D03-4917-83B5-58A3A1F8BB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c87f0d3b76b8b79352030d9108c49b1bd277b6ea","datavalue":{"value":{"entity-type":"item","numeric-id":832207,"id":"Q832207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832208$D27E13CB-3BEB-4C74-ADE6-45CFCE32DECD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26426ab4d5a6ecfa201abc41ba9257e3996155a5","datavalue":{"value":{"time":"+2022-03-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":"Q832208$BE14F274-746F-41AB-AF8E-187E00F914A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81ff99b269f3d0cf3e0fa4457b29f0cc23ecbdb1","datavalue":{"value":"https://arxiv.org/abs/2105.13683","type":"string"},"datatype":"url"},"type":"statement","id":"Q832208$BDE1E967-E267-4326-9AA6-68F6EE412997","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832208$8420D38B-AD91-4F8C-BB29-11A0DF86D249","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06b95b7a36bf27f6071269bbf28ccba9d405e599","datavalue":{"value":"7498159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832208$E6F09F8C-DF32-47BA-A992-D59694CE0608","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q832208$DB8F811E-D39D-4389-8F0C-3A6036232C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e24c14facee7103ec5918a24e0c1c5e5c38f38b","datavalue":{"value":"zone-based abstractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q832208$23D363D5-A8A7-4A7C-9BEB-C21DF106F585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456c672ca15cab74651e643baa7549046be81ae8","datavalue":{"value":"pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q832208$10114A09-9A81-4691-8DCF-6C5C44BAEC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6face949411ba012398a60ca5a40c69df448333","datavalue":{"value":"simulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q832208$804C08DC-8AF5-4F5F-9C70-ABCF65D05F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q832208$543F7467-A5D7-437B-B5EB-A5FF0226BC41","rank":"normal"}],"P1463":[{"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":"Q832208$11411F1C-3DC2-433C-B617-FA969C839F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832208$5B77FB76-B041-4C16-B6B9-98502898FFD5","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":"Q832208$1075EFD8-3D54-412C-B668-6E58600685F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f061b7131e01d855584d95c3a43bac4ba2924caf","datavalue":{"value":"W3184529758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832208$9681CC5F-C113-45CF-AE30-655975F03162","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c1b21124277bda9d7b03777705e1af69eb38d28","datavalue":{"value":{"entity-type":"item","numeric-id":2986779,"id":"Q2986779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832208$D4117925-9DA1-4977-BD51-AA48BB30CD17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea6bf3dfd248a3514cf17d2001ad6605b920f447","datavalue":{"value":{"entity-type":"item","numeric-id":4643961,"id":"Q4643961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832208$ADE1CFE2-DB05-4AE3-A9D5-2AD4D92D5301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d344aae9bcab431ea98a15f445f815746633c9c9","datavalue":{"value":{"entity-type":"item","numeric-id":5039520,"id":"Q5039520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832208$3F45E0FF-7717-43F4-AD60-9654F8CE31F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eadb3d918dee4557f92a079330c3fedeb8d3620","datavalue":{"value":{"entity-type":"item","numeric-id":5111654,"id":"Q5111654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832208$75758A1C-F077-4723-BD11-74B7B01E38A0","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":"Q832208$B3D1671B-D176-45BF-B821-24C0122DD761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a459d2db3f32657a2d6999b1e05297d4d9fbbded","datavalue":{"value":{"entity-type":"item","numeric-id":5308415,"id":"Q5308415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832208$2BBC93BA-4132-403B-A170-B986FC8A751E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ac7ea46ed5829de66002dbc9fdd446ec28b2d53","datavalue":{"value":{"entity-type":"item","numeric-id":1878925,"id":"Q1878925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832208$801729F3-1B63-43EF-91D7-C48F15B34DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87d1bf7cc5a9af2cb77b90f9d195e725fdd71d20","datavalue":{"value":{"entity-type":"item","numeric-id":5897958,"id":"Q5897958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832208$520BE986-876C-49DF-9112-91CB35453DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"936271c4725ed0b10005cea1032d70bd3874fbc9","datavalue":{"value":{"entity-type":"item","numeric-id":4635851,"id":"Q4635851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832208$F81AE3EF-A073-41FB-A803-FBA1E4E12CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b6329ca4a325738b88dcf7b98f6f0191cbeabe2","datavalue":{"value":{"entity-type":"item","numeric-id":2221811,"id":"Q2221811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832208$1409B02A-1E94-4BF3-8960-06FEC445731E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9887f8334bb0714633e6f92e0114d303a763232","datavalue":{"value":{"entity-type":"item","numeric-id":5144629,"id":"Q5144629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832208$499CD314-7949-4FD6-908C-F02A773B2247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a20241696e85f4f1677f8cc6b6c4bec15e7c584","datavalue":{"value":{"entity-type":"item","numeric-id":1401320,"id":"Q1401320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832208$C40BDB26-0E37-4E26-BBDF-9767BA5DB5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"983fcea7d39188a45f0a743c447953dc7f38995b","datavalue":{"value":{"entity-type":"item","numeric-id":6154574,"id":"Q6154574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832208$C6031DB6-BE33-44E8-8547-163E46EBE54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4492d2d99d818756060ecb10d008a00a1e30e5c0","datavalue":{"value":{"entity-type":"item","numeric-id":2911614,"id":"Q2911614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832208$7EDC1A7B-EEA6-4D61-BF9A-057228490061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f7f63f1e82065cd02b8dc2f25786d62356c795b","datavalue":{"value":{"entity-type":"item","numeric-id":5121268,"id":"Q5121268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832208$45532224-83E8-4E8D-AF64-3CC3D46A3FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d598e5c45bd555eb3e64d7d6775d5a1517a017bd","datavalue":{"value":{"entity-type":"item","numeric-id":2986813,"id":"Q2986813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832208$4E9D8B21-C404-4093-AE2B-E96F2928D6A9","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":"Q832208$81C502FB-7B48-4CF8-B5E1-C03C9FAE53CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61bdb575cdb541a62748f0762a05193c4db58062","datavalue":{"value":{"entity-type":"item","numeric-id":2946573,"id":"Q2946573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832208$BEE4121C-8D4B-4CC7-A7A4-8617492C13B6","rank":"normal"}],"P1643":[{"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":"bfb12568e3ce68ee18bc77bd36f5aee0a411816e","datavalue":{"value":{"amount":"+0.8043160438537598","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":"Q832208$011E06B4-8015-4D0B-9CE8-E89AC52FE291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09cbf31ef00693b46c67d824556b690879d0db6f","datavalue":{"value":{"entity-type":"item","numeric-id":4551181,"id":"Q4551181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f931afdb7d58377010a5050d0ebcbdb1d3e3dc51","datavalue":{"value":{"amount":"+0.7825408577919006","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":"Q832208$EB078E80-A3BC-46AF-BA4E-7A9C760B6217","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":"709d9c0934d6bbef43def283818302c498a259a4","datavalue":{"value":{"amount":"+0.7817237973213196","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":"Q832208$8BAAC763-DCB7-4F57-97CD-152B14CA4552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0323ff955426c501d3a6a1d680c4ef55e83fcc1d","datavalue":{"value":{"entity-type":"item","numeric-id":4994711,"id":"Q4994711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"915991626d69d82c389c9ecc1fc076d6d707850e","datavalue":{"value":{"amount":"+0.7715312838554382","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":"Q832208$AC002D69-4E97-4BA4-B8E0-3090C9D43545","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":"48f0241fabc7321b6cf837f2aabae8f5907f8e5d","datavalue":{"value":{"amount":"+0.7644298076629639","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":"Q832208$F37ED536-3D31-419D-9961-259E8269DAED","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832208$98A675CA-9FBE-44BC-866D-6E520B2DC599","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fast zone-based algorithms for reachability in pushdown timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fast_zone-based_algorithms_for_reachability_in_pushdown_timed_automata"}}}}}