{"entities":{"Q4972152":{"pageid":7001731,"ns":120,"title":"Item:Q4972152","lastrevid":53600831,"modified":"2026-01-25T09:52:08Z","type":"item","id":"Q4972152","labels":{"en":{"language":"en","value":"Binary reachability of timed-register pushdown automata and branching vector addition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7135652"}},"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":"Q4972152$B05AD143-6499-4526-9A9A-6E83159FCC2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a66ade28a5e1f53b48c73898458c2cc6fd020314","datavalue":{"value":{"text":"Binary Reachability of Timed-register Pushdown Automata and Branching Vector Addition Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4972152$64D36A94-B89B-4745-B8F5-AD02A04D1C75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b9f7040e9201ee5751df97c96eae0d102fd0965","datavalue":{"value":"1433.68194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972152$8D54C2A9-AD86-4EB4-9AD1-7EEFB2367253","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79a7dd61513bfe4b0878315481d005326ab40f0b","datavalue":{"value":"10.1145/3326161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972152$3390214F-E436-4611-9EE1-528180217CDD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01e14a2ab9fc255c6552f3abb28f56fd94b40f3e","datavalue":{"value":{"entity-type":"item","numeric-id":2221810,"id":"Q2221810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972152$96A9BFCF-B67B-49B7-8368-714DF8CEDDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"053dba02bd09ebc72c65d4ae91f0998a2a20fd83","datavalue":{"value":{"entity-type":"item","numeric-id":344533,"id":"Q344533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972152$B40AB27E-CC8A-401A-9571-6C0F73CE7EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eacacbbe6e051b16df56b4d3a50a13e6712a6099","datavalue":{"value":{"entity-type":"item","numeric-id":407524,"id":"Q407524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972152$5B48E080-3082-46CE-A206-4727D737DFC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6d6c10c40b5e5dd06cf3d1bab585e20b08c02e0","datavalue":{"value":{"entity-type":"item","numeric-id":1622947,"id":"Q1622947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972152$B8E55FE4-7BC0-4369-A931-2795B8A3DE31","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972152$20AE28B4-355F-4116-98E2-C11101D9F8D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"33cce4fd4ac55934aa54f9a1aa310e23129f81c7","datavalue":{"value":{"time":"+2019-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4972152$7FA887AB-24AA-4F0E-A68F-5D0513F1D1C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5a7835bcb9c770d2dbdee5c721a8fed032b1cc2","datavalue":{"value":"http://wrap.warwick.ac.uk/119092/1/WRAP-binary-reachability-timed-register-pushdown-automata-vector-Lazic-2019.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4972152$89B42D62-E1A3-4D97-BFD4-2294F43D729E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972152$E272303E-8D21-473B-B360-6BAC93F2BE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972152$B7CC3975-A047-4E3F-985F-6FD08D3AE9A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"061588676686a0bdaa9890bfc51662bd66c7a5af","datavalue":{"value":"7135652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972152$2702D6CD-51FA-41CC-9A5F-02316618767B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972152$230252FF-53AA-4FDD-BDA9-DEC10DB679DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6cbbb0056c540fc2e159a9b9cd862d39d8a1729","datavalue":{"value":"branching vector addition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972152$ABBCD66C-3C3E-434A-8E07-2BC70E728788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456c672ca15cab74651e643baa7549046be81ae8","datavalue":{"value":"pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972152$C60B2A3E-5FA1-46D3-9A21-B75818D03532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e5ef0b9089389aa7f003250476ef64e1233f280","datavalue":{"value":"timed-register pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972152$90287A3D-108D-43AD-A18A-E0E3EEF1CCA1","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":"Q4972152$F766A204-FCA6-4D04-A5C1-C03ACDEEF5A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e5a575a65ff922d364cecd52e8615a283eb3cdac","datavalue":{"value":"W2948751124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972152$EC72006A-1E53-4B83-9FF6-91DD8531D973","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0cf54f872ff3d0ecc5aff676943375e2fb299745","datavalue":{"value":"Q127707694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972152$47731634-539B-4CC2-8403-2457D5FA2561","rank":"normal"}],"P1643":[{"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":"f345d7a5e67fb93372ff2ba65b97dcbfd556ec78","datavalue":{"value":{"amount":"+0.9087211489677428","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":"Q4972152$A97FC527-891B-4836-BD9D-0C1CE1920341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e3f898415c54333b7a8f82be8c4ba26fd6aaf2d","datavalue":{"value":{"entity-type":"item","numeric-id":5002803,"id":"Q5002803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd22b659593fa662ee415caad01b1aa540e50f50","datavalue":{"value":{"amount":"+0.8382411599159241","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":"Q4972152$0EA5F4E6-879E-412C-AA82-70569A80D304","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":"505375bb9c8261f0f9c60c8318684fb8a1ef5806","datavalue":{"value":{"amount":"+0.8266049027442932","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":"Q4972152$EACA0363-04DB-4BB5-8792-79672A107696","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":"21744a002ceb6b61aac26f3f098b243bb0d71fc8","datavalue":{"value":{"amount":"+0.8220151662826538","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":"Q4972152$C838EB0F-A354-47CE-AE37-4BFC8E723ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f35b9d73349e5d2910362fe07d6664a612035cb","datavalue":{"value":{"entity-type":"item","numeric-id":2396722,"id":"Q2396722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d614a1cd4c09b19e9b3038657eaad021767a74c","datavalue":{"value":{"amount":"+0.8177719116210938","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":"Q4972152$110AC5C9-D66C-44CC-8133-789128C30E67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4972152","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4972152"}}}}}