{"entities":{"Q2799176":{"pageid":2809914,"ns":120,"title":"Item:Q2799176","lastrevid":79771643,"modified":"2026-05-06T14:40:29Z","type":"item","id":"Q2799176","labels":{"en":{"language":"en","value":"Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6566781"}},"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":"Q2799176$12B891D0-408A-43FB-9738-B5F6A88978BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2777a9ec46992a9949882b02bfdfed0486ee084c","datavalue":{"value":{"text":"Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2799176$DE901DCE-6C28-4E0B-A652-75EDD255F17E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e912a9d9cda4c45a6040e965576a54a4057f81a","datavalue":{"value":"1451.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799176$DAF1724B-2C35-43F7-A9DF-D93C42E7AB78","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e1f5f0eedf96faa1910343e62d091ca963726d2","datavalue":{"value":"10.1007/978-3-319-15579-1_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799176$90FDD7DF-FB6E-423E-AD79-AD0D38436DDF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6807c838a0c13cc8536b7508e779053a5949ccae","datavalue":{"value":{"entity-type":"item","numeric-id":537906,"id":"Q537906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799176$F1FF20E0-0A4C-4716-B7BD-8D3605262127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5b97891df93576345681864c9eebdf5a29a270d","datavalue":{"value":{"entity-type":"item","numeric-id":537905,"id":"Q537905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799176$04E1D207-6B53-49C9-9FA4-9CC5E5064E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a72b28ad0c1900b47db02f10ab1ac784719860f","datavalue":{"value":{"entity-type":"item","numeric-id":278756,"id":"Q278756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799176$1D0C4D4C-9A38-4EC2-84F6-088FA3D35E28","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0685e722024dfab8b1c6ee631b614ae84196cb3a","datavalue":{"value":{"entity-type":"item","numeric-id":2798705,"id":"Q2798705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799176$FEECC826-B399-4DB2-856A-435A631594B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b86ea1a94e09e929f8289e34f06858aefd9bcd2f","datavalue":{"value":{"time":"+2016-04-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2799176$0303DCC9-3202-44CB-8F91-A5AEE3714FB5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"06afc6edf2895310259c794b17145c6c2259a1b4","datavalue":{"value":"https://arxiv.org/abs/1406.7289","type":"string"},"datatype":"url"},"type":"statement","id":"Q2799176$FC58F0E1-B88A-4DD2-808B-BD05967AE363","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799176$EF432DE0-CBD4-4146-92B9-216C5F29B594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799176$2DEB3814-B839-4E76-BE9F-03B63C8DE5FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"460c6c795c23a11db3f591682563aafb7d229db8","datavalue":{"value":"6566781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799176$37D7EE22-F45A-4368-AFB4-1B99914A2B29","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08536d4c6c121e3817ee42e01ac97d338e51d79d","datavalue":{"value":"recursive state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2799176$AEA034EC-B7A3-44A2-BD61-505B152B49E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2799176$31664A31-6938-4956-821F-0A7CEB5F09BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2799176$70757283-2FB7-4D1B-AA3D-BC5B4F6F89F9","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":"Q2799176$3AF10AA8-ACD9-44E6-9543-76944DDC6B00","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"142c988bbb770edf60930cd10420638181aabccf","datavalue":{"value":"W96196053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799176$A8B283F4-C15C-49E6-AE5C-41889B9552EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f162c2a21cb056d5b5f98928bc7ee53929d3de6","datavalue":{"value":{"entity-type":"item","numeric-id":1300103,"id":"Q1300103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"330a5ddc1dc75ed1ba9d24807539f074215a640d","datavalue":{"value":{"amount":"+0.936242","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":"Q2799176$A3F14848-222C-4696-9F94-67E47CDC8017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adcaa2951bbed1ab2ff5f4c4fd406bdb663b8a25","datavalue":{"value":{"entity-type":"item","numeric-id":3511235,"id":"Q3511235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a12a6cf14ccefd3b5d1ec5cd52a2a5d3cbba824","datavalue":{"value":{"amount":"+0.9281273","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":"Q2799176$D8083BA3-D405-473C-BD39-F5AE5E54B719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9660fbe1c0118bb7706ba787a8e5161de63a7af","datavalue":{"value":{"entity-type":"item","numeric-id":4995373,"id":"Q4995373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97d036ede62f6db30803aecea1367a1d1e377880","datavalue":{"value":{"amount":"+0.8949074","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":"Q2799176$F31EF9D8-9CCB-48EE-B470-F6B1425659E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ded305ec011f37a054374169bff44564373fcab8","datavalue":{"value":{"entity-type":"item","numeric-id":5144644,"id":"Q5144644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b8eea4312525aa0a33f19bf7ac23ad74c44e961","datavalue":{"value":{"amount":"+0.8940117","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":"Q2799176$F7A3A8E6-3CA8-4575-A8A6-35D73A41F9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22ca166dada9d7f7074056f71b2b7de2b86fd8f4","datavalue":{"value":{"entity-type":"item","numeric-id":707597,"id":"Q707597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70a060b808805c101f023ca03f86546b176dda21","datavalue":{"value":{"amount":"+0.89274025","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":"Q2799176$3F6604EE-6B49-4509-8F41-099A16FFC302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7c48658e1653a5b6a6405b2cd3a6a23cbf03562","datavalue":{"value":{"entity-type":"item","numeric-id":2563381,"id":"Q2563381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49b5f907e21a598a051dea7d77a63e25f6ab74b4","datavalue":{"value":{"amount":"+0.8891155","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":"Q2799176$33882755-1E40-4A71-96EC-E80E1ECA2D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1395b95b89e73242afefcd1dc09c6087f98f1e08","datavalue":{"value":{"entity-type":"item","numeric-id":3510831,"id":"Q3510831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdc7a912305e2b1c03fbc87b1fc39ec75375b00a","datavalue":{"value":{"amount":"+0.88658905","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":"Q2799176$6A313A02-3E41-40CD-922D-D7FAC02CAA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d0ea491282ad27e1f4e81812357eb2cb3b8e2e3","datavalue":{"value":{"entity-type":"item","numeric-id":2842589,"id":"Q2842589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b97b1d3436c52fe27aa1ebb794f98aa1b20df79","datavalue":{"value":{"amount":"+0.8837117","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":"Q2799176$B6F15C5D-0F59-41EA-A437-FFB0047B2510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b6250073bbcfaef979c5f46947f1c1b05cd6518","datavalue":{"value":{"entity-type":"item","numeric-id":5450118,"id":"Q5450118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b97b1d3436c52fe27aa1ebb794f98aa1b20df79","datavalue":{"value":{"amount":"+0.8837117","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":"Q2799176$99E9CAFD-6D0A-4832-BA67-6AEE2EBFDFAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44df482e9b4c1a890d4c81f2d156013a55501a51","datavalue":{"value":{"entity-type":"item","numeric-id":5308410,"id":"Q5308410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1e3011991889d8d24e24352a077444cccc55df8","datavalue":{"value":{"amount":"+0.8833078","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":"Q2799176$D73000CA-5576-4DFC-B67C-CFFFAEF6A1F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Time-Bounded_Reachability_Problem_for_Recursive_Timed_Automata_is_Undecidable"}}}}}