{"entities":{"Q4603564":{"pageid":6633147,"ns":120,"title":"Item:Q4603564","lastrevid":41215339,"modified":"2025-04-20T02:55:28Z","type":"item","id":"Q4603564","labels":{"en":{"language":"en","value":"Abstraction Strategies for Computing Travelling or Looping Durations in Networks of Timed Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6839695"}},"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":"Q4603564$AE63C89E-37DC-4528-9AFE-BDFBCE713158","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7aba5fd2998535883e037cc4ededc565fc986305","datavalue":{"value":{"text":"Abstraction Strategies for Computing Travelling or Looping Durations in Networks of Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4603564$0EF14F3C-6577-421B-A69E-B4AC7C7C4F8F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"055db636fea5ba5a0c50430b518e3f1a79ee2ab9","datavalue":{"value":"1433.68248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4603564$F3CFB9EC-6D83-45EA-9B6D-3DECB88F058E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4b70f5b34803eaf9efd117e93f0fc67701b4a77","datavalue":{"value":"10.1007/978-3-319-44878-7_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4603564$366BAA59-9919-444D-AEDB-8DAC31510B13","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"339e021ba63ce43474248ae6e57750fa061ec58e","datavalue":{"value":{"entity-type":"item","numeric-id":218984,"id":"Q218984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603564$D6AAF7B6-D849-4575-9448-11FDD94EEBD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6e639d2eeaa2d3553e052d48e38290f102cbe38","datavalue":{"value":{"entity-type":"item","numeric-id":227613,"id":"Q227613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603564$6A030F1A-2AF0-4C4A-9216-9F0D42569206","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603564$7230068B-3AEB-46BF-ACB1-E5CA9B6ABFB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"026fcddfc7ebe5ada2146aa6bcd14393afcc73e1","datavalue":{"value":{"time":"+2018-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4603564$740D5108-5001-4D83-9145-8CBE055951E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4603564$5C8E234F-82BC-4DCC-86C2-BB70E6267E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4603564$8264CC1F-BBA9-4D06-912A-0967211FDFF6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64d3bd67f8018f6e67b189e57d5b86b30bfb0244","datavalue":{"value":"6839695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4603564$98F990AA-0C57-4974-9A56-99E1535751C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4603564$AFA80CDA-8E2B-46C7-B757-9F34C502893E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b56d664759feaf523f20560e46308abc4f86bdd","datavalue":{"value":"state space explosion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4603564$CC3FCC7E-2279-49B1-B323-1849181B97FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa83d0a6994a386769668f19b840b796e9afee9a","datavalue":{"value":"duration","type":"string"},"datatype":"string"},"type":"statement","id":"Q4603564$42B4D537-90E4-4589-8504-F360994D0B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc058f54aac0023b7543c366366b86bc4e72c56b","datavalue":{"value":"approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4603564$E5DB86C3-62AB-43FA-8AB9-955BCBB4E4C5","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":"Q4603564$04C5DA26-5C28-4313-8E48-D3D997A48E3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e59718b4fa8d89da4587b57837865f25932e343","datavalue":{"value":"https://doi.org/10.1007/978-3-319-44878-7_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q4603564$6BC10361-79BE-43E7-82B8-BA99AFFC014F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e336b10b0bbdc8c1a4b00833052f796380f4fa50","datavalue":{"value":"W2517932978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4603564$C59E69A4-9008-43FC-A96A-E797D8FFE7C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aed4e0f7fb8a6fe0cfa20793fd9d8ff7a255bf6f","datavalue":{"value":{"entity-type":"item","numeric-id":3371683,"id":"Q3371683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8c96e73343be5341f5a7b807094f71990d6070c","datavalue":{"value":{"amount":"+0.87568796","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":"Q4603564$463DF9A1-71A0-40CE-8C0B-56D2B487F3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2583cd1f5bebd6a9b0bff0d8ac893d1207151fe9","datavalue":{"value":{"entity-type":"item","numeric-id":3457811,"id":"Q3457811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3d857fa1f7809f1de6a1f464c3dbdb2ee97264b","datavalue":{"value":{"amount":"+0.87056947","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":"Q4603564$BEBFBE41-4265-474C-87A9-4D3A54B28B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"274488422d1b7207ff867c50e2a000d964e41bfd","datavalue":{"value":{"entity-type":"item","numeric-id":342707,"id":"Q342707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abff8edd10713fefb3d7fbb8b93b48c9c77ff370","datavalue":{"value":{"amount":"+0.86929387","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":"Q4603564$E0BD9378-D24F-4574-ACD3-2BE3F6FA6612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6948e93f69b608be9b9b40188f27feba5198ca20","datavalue":{"value":{"entity-type":"item","numeric-id":2986813,"id":"Q2986813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b62f436a7e3c4bf0195a659b62ef987f23f4ed36","datavalue":{"value":{"amount":"+0.8692936","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":"Q4603564$9E4E20E3-1B12-4F84-8AAE-51501AC6207C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee2a2d0063648adb0e33aa5af4b8912dc1d9bdf2","datavalue":{"value":{"entity-type":"item","numeric-id":5875377,"id":"Q5875377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6cb33431e91526e1a322e74338e3fce68582279","datavalue":{"value":{"amount":"+0.8640229","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":"Q4603564$77FBE1C4-6677-465C-948C-303CD152679F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c389d5d734041e6993858ee8ad1fc2dad7d517","datavalue":{"value":{"entity-type":"item","numeric-id":3522916,"id":"Q3522916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa85905fbe7e33d5733578b9134c680bd536a3f6","datavalue":{"value":{"amount":"+0.8627885","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":"Q4603564$B70EE61D-80FE-4D29-ACA4-D3449F1180AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04fbdeaf1c1cece30df620a4fcc42b82edb9df71","datavalue":{"value":{"entity-type":"item","numeric-id":3510839,"id":"Q3510839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e22f92eaec971d155a83f911c066dedb294c2c7","datavalue":{"value":{"amount":"+0.86165684","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":"Q4603564$8E5C4921-05AD-458E-A503-96E0FEF32899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eddadbc0aa725ee5764bb614552dd965beb9dc7c","datavalue":{"value":{"entity-type":"item","numeric-id":4551149,"id":"Q4551149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51df1d6b14527e990b881ef1b9ce1c0c40790df7","datavalue":{"value":{"amount":"+0.8593171","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":"Q4603564$C4494A65-DF6A-458A-99F2-7B09D58F518F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02a1b23db82c0030f1eed2e7dae094c6bffdda32","datavalue":{"value":{"entity-type":"item","numeric-id":360650,"id":"Q360650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc7ac49d6815c9bd396192d8957ccb090667737e","datavalue":{"value":{"amount":"+0.8520945","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":"Q4603564$93479CD7-2516-4E2D-958B-5AAF5FAD8BB8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4603564","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4603564"}}}}}