{"entities":{"Q3196352":{"pageid":3207060,"ns":120,"title":"Item:Q3196352","lastrevid":45653869,"modified":"2025-12-12T03:01:33Z","type":"item","id":"Q3196352","labels":{"en":{"language":"en","value":"Verification for Timed Automata extended with Unbounded Discrete Data Structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6501867"}},"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":"Q3196352$17858DDF-FC64-4913-8824-A0AD70E764C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e91c1d4e27fd1663d62f943bc211382f66e135ca","datavalue":{"value":{"text":"Verification for Timed Automata extended with Unbounded Discrete Data Structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3196352$FF700B2A-3548-467F-A192-64215F5CC629","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"030eb7bf26d3481423d0ea381c34b9732ae67091","datavalue":{"value":"1448.68314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196352$FC5442CC-233B-45B5-A65A-E6B0E583339B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1757c8d6a0b1bf2c6605ec8ffa8679de83c4e2a0","datavalue":{"value":"10.2168/LMCS-11(3:20)2015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196352$19246988-9173-4D9A-B0EC-99B8C2B5530C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ac1f415631a4eb910cb7254df99f703f97084f4","datavalue":{"value":{"entity-type":"item","numeric-id":548691,"id":"Q548691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196352$F73F70BC-BE2E-4F07-8F6F-EC102558AB46","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196352$AE601361-090F-448C-A64C-F8927FC94DE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1bdde30cb0823a415fe067202cfd3663abd98a96","datavalue":{"value":{"time":"+2015-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3196352$7CFF60FC-01DD-40CA-906B-FD4C114CFE36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196352$404FACD8-792F-4298-9B24-A436DF3ECE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196352$1122AF0C-F09B-442A-917C-599424F6DD7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196352$45AC5F00-FA06-4639-A904-58C335BAC64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196352$1A662CDF-7B25-4037-A644-92FA611ADD9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76b661f693f453ed7ee47c36ebc4fa22cc74ff57","datavalue":{"value":"6501867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196352$AAA61EDE-270E-4895-BB90-596A29F887A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196352$C0488065-BB62-41CC-92F1-F0F6E9779B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196352$27776BC3-24F9-4872-B7BB-35F0A2B80E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55dab19b9bb952aada92e638990e309d00d300f2","datavalue":{"value":"counter systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196352$D852A7A8-E422-4DAD-96AF-E3BDC6B768A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456c672ca15cab74651e643baa7549046be81ae8","datavalue":{"value":"pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196352$CB09BF93-AEF8-450C-A1A1-63B04011DA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cef2b34eddcd7a186f07c29943c7d850b90a976","datavalue":{"value":"metric temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196352$3BFE8865-5737-4465-BEFE-25D21E7E4A75","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":"Q3196352$BD537DE5-72CB-4B5C-BC2A-F04AC140477B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f57a04df75ed7298b71c51c80d107bd2da3c72a","datavalue":{"value":"https://doi.org/10.2168/lmcs-11(3:20)2015","type":"string"},"datatype":"url"},"type":"statement","id":"Q3196352$989F54EB-D6ED-4D4D-B663-59C1547B5509","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4115100aff4a37f786120ff64fa0eb311083011d","datavalue":{"value":"W2763333357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196352$60C34FCA-22EC-468F-99D2-37F4BC4364F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e499e48c151e4fd7a131047a9bb83c549bd16a17","datavalue":{"value":{"entity-type":"item","numeric-id":3190139,"id":"Q3190139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","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":"Q3196352$A1C7D10A-060D-4F34-BD3D-1DD252D0D006","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":"0c66c8421836e98931cb8bfccf9d10947c15317f","datavalue":{"value":{"amount":"+0.9326688","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":"Q3196352$E6D84A90-6BEC-441E-A9A5-48D8F9AF2695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8f08ab68240d883d6e630aa32a59921a9a050bf","datavalue":{"value":{"entity-type":"item","numeric-id":4414389,"id":"Q4414389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d141da88a137eb81d0e916389f693066c0be7a29","datavalue":{"value":{"amount":"+0.9170129","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":"Q3196352$DC9B058D-5501-443A-8A31-DDF585C7967A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e9e271c461eaf7166a0470f6c162324698c6f7","datavalue":{"value":{"entity-type":"item","numeric-id":5392293,"id":"Q5392293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7183a04901f5b0910ad5ff42c57d410fd17eb173","datavalue":{"value":{"amount":"+0.90454847","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":"Q3196352$6C105C41-1C48-48FD-A1E6-AF99F20973C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c25d587526a21e55c1c4e1a7c400737446c78d6a","datavalue":{"value":{"entity-type":"item","numeric-id":2120808,"id":"Q2120808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"722257f1e130f0046b134ef74ad9670c5ec3c9e0","datavalue":{"value":{"amount":"+0.90398586","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":"Q3196352$33E38294-4324-47D4-8B74-A49A45B3C7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acaba8635b567616f6fe2d0ca8b0c243a041a22b","datavalue":{"value":{"entity-type":"item","numeric-id":5506384,"id":"Q5506384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ea9cc6c1ca6b8c388b43c36a2a5ca94d880d926","datavalue":{"value":{"amount":"+0.9038257","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":"Q3196352$C601A948-3B7B-4142-8331-DA408741C5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b1cf971686a7a945b060610d34e6358f37746f9","datavalue":{"value":{"entity-type":"item","numeric-id":5039522,"id":"Q5039522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19e01b3e4f0a29d0c9f5435d749233daaa1977e1","datavalue":{"value":{"amount":"+0.90172255","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":"Q3196352$CAFDF835-DAB0-479C-BA15-20EC2ADEFA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d7ef25e7fdeb4371d72e36779ceff8901c01702","datavalue":{"value":{"entity-type":"item","numeric-id":2324206,"id":"Q2324206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25cad15f6781719470b28696fc0abeaf8eff05a8","datavalue":{"value":{"amount":"+0.8995143","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":"Q3196352$1CD87159-51E9-4AC8-B63E-61132215B1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2112e421e7ddbec62d4191922a7cf6343287e1c2","datavalue":{"value":{"entity-type":"item","numeric-id":5422299,"id":"Q5422299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"900dc908208a527b2d1055718d3d026a84833b55","datavalue":{"value":{"amount":"+0.89906186","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":"Q3196352$BD548E3F-5387-44D7-B952-C367991222E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3196352","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3196352"}}}}}