{"entities":{"Q707597":{"pageid":709446,"ns":120,"title":"Item:Q707597","lastrevid":51099242,"modified":"2026-01-16T16:11:57Z","type":"item","id":"Q707597","labels":{"en":{"language":"en","value":"Reachability results for timed automata with unbounded data structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5797365"}},"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":"Q707597$E8AF3C36-8C52-4DEE-AC57-7132B439065A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc4bc4573504d6298bc7de3659bb61b26e4deb54","datavalue":{"value":{"text":"Reachability results for timed automata with unbounded data structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q707597$BA3AC199-6CFE-4CBB-8E43-EC88B3B1EB14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ad5fbcb49246012bbae90bbd62e5308972575ba","datavalue":{"value":"1214.68199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q707597$8F5664DF-9FFF-4E0A-B28B-309EABA8EF32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0230c7e6165a30b4624bfb880a34e585dd13c43e","datavalue":{"value":{"entity-type":"item","numeric-id":606995,"id":"Q606995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707597$B184943E-A3A4-4B5D-B35A-128ECC47A06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"986210a7788bf135576802eb9fb5ade52a93410d","datavalue":{"value":{"entity-type":"item","numeric-id":256972,"id":"Q256972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707597$7041927A-5531-49F2-B473-4F9390A3BE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b24875f9ec8cab93424313cc3583a741f82ef4ce","datavalue":{"value":{"entity-type":"item","numeric-id":418835,"id":"Q418835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707597$94741308-BE6C-4AF5-9A8B-55B35EC29DFE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707597$CE00A354-92DE-4CE4-ADC8-B2A2AAD319C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12116120e612da11bd56798b90a3c232b35a10bb","datavalue":{"value":{"time":"+2010-10-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":"Q707597$B6D6D210-F963-40E2-B242-1CD543A2CAE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q707597$22BBE9FB-2189-48BE-8220-9FAA64AD5185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q707597$88BAA7B1-BDE6-405A-9AFD-8FF27ECD1B0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3d3276e46850a1d26b772af1f2f7f4a3a45f4dd","datavalue":{"value":"5797365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q707597$183AE760-4DAF-4515-A373-C08A1B4BB2A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebcd86fd7e3e98c9d194cc5a924512f79da48fca","datavalue":{"value":"systems of data management timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q707597$73FAA5D1-36D7-4E4F-AC87-98102CBBE5AA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707597$A0828785-29A3-4199-942C-F7E2680F9EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707597$D2719D33-2D8F-4D64-8154-066E6CE66086","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":"Q707597$5C70751C-0219-4B5A-8950-0A2A3834A54B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b7d673fc72df581f73c40018420e993382a2ab0","datavalue":{"value":"https://doi.org/10.1007/s00236-010-0121-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q707597$A8FFD619-C64B-4546-A367-A604617E6FF6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20f2249caed634b04daa3dd86144da926a996156","datavalue":{"value":"W2048551412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q707597$6D7BAAC5-9F83-46DB-8C53-A99FD3076300","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707597$958EFF60-2E21-4008-BA55-45065183E701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e131304022eac74ef1a59104a6a4b74da93f93f3","datavalue":{"value":{"entity-type":"item","numeric-id":5494310,"id":"Q5494310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707597$C443158B-C81E-4B34-892A-6BCB67F95732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ea5c7bfcd7d33e8177170c842fe7d83d5fbf89c","datavalue":{"value":{"entity-type":"item","numeric-id":4206382,"id":"Q4206382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707597$B75E4629-2314-4043-ACD1-37E99BEF9FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a20241696e85f4f1677f8cc6b6c4bec15e7c584","datavalue":{"value":{"entity-type":"item","numeric-id":1401320,"id":"Q1401320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707597$1EF96DFB-5D14-4D86-BDEC-2C9B10CD8BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707597$9C6169ED-8AA0-4953-A8D9-35962371AF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d6689863919efc9d2b8984e9760a2b2c07aae6","datavalue":{"value":{"entity-type":"item","numeric-id":2754157,"id":"Q2754157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707597$34DF918F-C690-42AF-A40F-BE04F38CE1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbe02f6c1a0c23632b2650813603fb3c2693054b","datavalue":{"value":{"entity-type":"item","numeric-id":4654725,"id":"Q4654725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707597$503B5C41-FFE1-4F70-BAE2-100CD5038CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39685dd41490e87f3db14d14959f9b341b177a9d","datavalue":{"value":{"entity-type":"item","numeric-id":1853524,"id":"Q1853524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707597$2EDCC25B-A2B0-4494-970B-A7C2706858B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d499354eab8502f97a03c838f7e460501f69493","datavalue":{"value":{"entity-type":"item","numeric-id":5756736,"id":"Q5756736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707597$E0A47320-3AB8-4A71-8EEA-EADF484F0144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e49577efe0b87ea72f68e9fc085cb064602e2e5","datavalue":{"value":{"entity-type":"item","numeric-id":3517258,"id":"Q3517258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707597$4C811EBC-8533-4696-9E2A-3E86B57DCC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092662f6c5e5c918be8d38fc112657e0d2efc93","datavalue":{"value":{"entity-type":"item","numeric-id":2849849,"id":"Q2849849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707597$270B2BD0-3F56-4BD8-B9C6-DD4A71D029FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6dd4d882f76bc73bbdc3fd690128cb347d45b0e","datavalue":{"value":{"entity-type":"item","numeric-id":4220896,"id":"Q4220896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707597$2B4B720A-CABA-4BDC-BAF1-23B9FD9A26B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e574050348307bcbcfc2e2f0734db761d485e300","datavalue":{"value":{"entity-type":"item","numeric-id":1856194,"id":"Q1856194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707597$B59E21A4-08B5-48C0-9502-06B0CBCF9EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707597$57672E4E-7731-4175-8867-6E7558BCB5F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca948a4fdd8a421f9c0b66fa2c731e4b9f4b865c","datavalue":{"value":"10.1007/S00236-010-0121-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q707597$A62A23F0-817C-4C6E-B606-9BA0D97B357C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ddacc1abe0470b62a15418eaad57094dbb425d6","datavalue":{"value":{"entity-type":"item","numeric-id":3196352,"id":"Q3196352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"065cf8104afcef96e3c2e26fc357f37ad9d9e080","datavalue":{"value":{"amount":"+0.7796462178230286","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":"Q707597$46010FCF-E7B5-442A-9703-5E64D4187846","rank":"normal"},{"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":"7fed3fd2eb319b2ca568127a068bca8d4c9ecb6e","datavalue":{"value":{"amount":"+0.779646098613739","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":"Q707597$4E66A287-CEAB-4ECF-919F-62FE8104457C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42fe322c1d5feae28ff0cc4745c931495950b93b","datavalue":{"value":{"entity-type":"item","numeric-id":5179060,"id":"Q5179060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33aa83689566d371bbcca0518c93f889309cc624","datavalue":{"value":{"amount":"+0.7757200002670288","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":"Q707597$D89BF90A-953E-4260-A3C6-91CCC40AA43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd9968e936c48054e81c3fd1b90019dbc19e7029","datavalue":{"value":{"entity-type":"item","numeric-id":4953401,"id":"Q4953401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7513143ac156b39e4ac4dda2d1960d80d9237e1c","datavalue":{"value":{"amount":"+0.7678002119064331","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":"Q707597$643EE415-7CD0-4FD7-88F7-F43033013297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d160469bc348b0868994627b97e768a52ea0e47","datavalue":{"value":{"entity-type":"item","numeric-id":1631220,"id":"Q1631220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4b5d61a5c93ad78ea743fd3c2d34c2c6b4d0e51","datavalue":{"value":{"amount":"+0.7653378844261169","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":"Q707597$FB9673EE-E7FC-4628-8A4A-F46801AFAD75","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:707597","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:707597"}}}}}