{"entities":{"Q1685773":{"pageid":1696514,"ns":120,"title":"Item:Q1685773","lastrevid":43277779,"modified":"2025-07-23T10:13:07Z","type":"item","id":"Q1685773","labels":{"en":{"language":"en","value":"Adding dense-timed stack to integer reset timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6820341"}},"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":"Q1685773$A3892E62-6B38-4707-93AE-140E002FE27E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"778875852d8fe3ee4001981bc86ff88cf1b8f86c","datavalue":{"value":{"text":"Adding dense-timed stack to integer reset timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1685773$68A06C06-9E87-4011-868A-CAED6577CBF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e770299058bbe688db0d9e56005e74942b64bcb9","datavalue":{"value":"1478.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685773$FC198B9A-C239-4094-B602-A6C2F7034D61","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d22ec79a126a3a359a5a9b5cf859d3e9eb0c0c66","datavalue":{"value":"10.1007/978-3-319-67089-8_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685773$5F0A9F8F-5A69-49C8-B1A6-59F778A418AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cada4a987c18943f96c8a34147d2ad7f87b131a1","datavalue":{"value":{"entity-type":"item","numeric-id":1685772,"id":"Q1685772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685773$62D1C2CA-8E6E-4D14-A746-A8734A46A217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6ec7cf533a9e797506d0d9cf6304c0b66208f71","datavalue":{"value":{"entity-type":"item","numeric-id":832073,"id":"Q832073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685773$9A22086E-B140-45CA-9E32-BAFBF8C98C51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1f424280bd3a1cce6255069d9afac8f911a0ea0","datavalue":{"value":{"time":"+2017-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1685773$AB1D91A8-87DC-4369-B57E-0991A02CEDE3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685773$0C121E1F-A20E-4D62-B4EA-6D7D1E67D9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685773$AEEE7BBD-E73E-4A17-8E22-0BE472070E1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba6a5262e7b287ed1033083997dbb569210c5588","datavalue":{"value":"6820341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685773$31470635-40D6-49CA-A643-F191F55B1D71","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba51c122061becbfe0e372cd8e7ac957a19e72e0","datavalue":{"value":"visibly pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685773$678472A6-C21C-47DE-8355-D31F15EB4335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbcdeaf99ed270a4aec8139b4942e3fe17056c76","datavalue":{"value":"dense-timed stack","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685773$EFEE4594-5D35-417C-89DC-FA9EDA85C386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ff3f35e72d8e89458720f039429bed3254bf68a","datavalue":{"value":"integer reset timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685773$123AD7B4-8FE3-4A11-8DFF-75D105216059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75ab82a8f4df18227db18bd1221c8cfd9b09d16a","datavalue":{"value":"logical characterization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685773$ADF1D532-E2F5-4ED5-A691-AC1B1CA05203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58050f08a0e3452f382ffc392b06f5975759ad4a","datavalue":{"value":"MSO","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685773$D3178668-088C-4468-AC3C-ED6D5415D50E","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":"Q1685773$21C52FDF-9C3E-4FC6-90AC-1369651B7D82","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77425493f42d252bd92621eb722c183a9c3b989d","datavalue":{"value":"https://doi.org/10.1007/978-3-319-67089-8_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1685773$E69D1E59-5C7F-4AF3-913E-3F3274DA4EA8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aaf8d1539aa00dff63ff9375a66a40a13d957222","datavalue":{"value":"W2745925419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685773$CCDBA6AF-78D7-439C-82DA-410D03B4DB92","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae8553cffd146482226405a79cbc777371373785","datavalue":{"value":{"entity-type":"item","numeric-id":2986779,"id":"Q2986779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"820fbd9aeae6b1aa96ce37a7ea6dedbf79fb0d20","datavalue":{"value":{"amount":"+0.8702166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1685773$770ABF2F-58FE-4BF4-9985-77E95AEE2E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9033bdd1a5ea859d2bb41dbfebd9827da109a706","datavalue":{"value":{"entity-type":"item","numeric-id":3543291,"id":"Q3543291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"079b435bae2a9957971c032fe31cd38c50078372","datavalue":{"value":{"amount":"+0.86750233","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1685773$C63AAB3E-43E9-441E-9A3C-1A3A2E414211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"601e192078428f92b6665f4b7df18fc8b4e8da64","datavalue":{"value":{"entity-type":"item","numeric-id":5144629,"id":"Q5144629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30f87ea89e17b7c829d3f6c107e9c86eec93cc0c","datavalue":{"value":{"amount":"+0.8487585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1685773$3703FDD0-5FB6-4A9E-985F-575302643E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8078b6e2afbf2a0d3b140f3f54f92f2658da4f4","datavalue":{"value":{"entity-type":"item","numeric-id":4635851,"id":"Q4635851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c33d6cf9dae5927db207f4b83fb718a17a8f25c","datavalue":{"value":{"amount":"+0.84575075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1685773$84046481-A860-476B-992C-F7A360F82C0A","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":"1abe2f1b1df4ebad9340a0ee9d5cc2fa8f46832f","datavalue":{"value":{"amount":"+0.8426832","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1685773$CA2D9458-B34D-4880-B474-AA03A4BC7A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0db1e9e487e43128a7ddd093986125cd824c1004","datavalue":{"value":{"entity-type":"item","numeric-id":4540965,"id":"Q4540965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c30c184c2865660893e8116e62738d741165a14","datavalue":{"value":{"amount":"+0.83841467","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1685773$81031EB6-7E2F-4FDE-9D00-3DAB3C448B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f97d3b2f309861aa16f0173f792c4e26ba49ac6c","datavalue":{"value":{"entity-type":"item","numeric-id":5190773,"id":"Q5190773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f8d193f6b3f3a6372970c4252f52b8948edcbac","datavalue":{"value":{"amount":"+0.83694863","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1685773$5A58263C-18C6-49EE-B435-23D560F1D4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6990e44b7e41a09fe288adacfcca18c6c2f68f46","datavalue":{"value":{"entity-type":"item","numeric-id":5756592,"id":"Q5756592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4046a95b897f527111c016d2431331d3faf8824","datavalue":{"value":{"amount":"+0.83370304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1685773$FC88CC6A-5ED3-4F95-B866-218C033FB896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e189a35dbf61f9c265c084d4ed7f7d08b0f1320","datavalue":{"value":{"entity-type":"item","numeric-id":5326340,"id":"Q5326340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8140d8b8bc68423f6346392029f1cf7d3779a6b5","datavalue":{"value":{"amount":"+0.83219","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1685773$BE6BE72B-B8C6-4923-AFDB-3CABA5E0698C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f44ee680a04de0cb5e022e932a94d690d6c4cea0","datavalue":{"value":{"entity-type":"item","numeric-id":1853524,"id":"Q1853524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1dad6f1c87310824d61faf8d36306d4311b23f5","datavalue":{"value":{"amount":"+0.831151","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1685773$ACE7D29A-2ACA-4C5B-828F-62C7873ADD67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1685773","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1685773"}}}}}