{"entities":{"Q2851073":{"pageid":2861793,"ns":120,"title":"Item:Q2851073","lastrevid":51837764,"modified":"2026-01-20T07:12:30Z","type":"item","id":"Q2851073","labels":{"en":{"language":"en","value":"A tool for the syntactic detection of Zeno-timelocks in timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213315"}},"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":"Q2851073$1EEEE393-57D3-4FB7-A74B-23A33758C1BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7f3c3eb6fa16b20537896cdde3a47eb3414dac2","datavalue":{"value":"1272.68229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851073$B011E79A-CFCF-4E53-87C2-123309D6F1A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea924b22f3821ab14ef9284a5085f61b2a7d6c48","datavalue":{"value":{"entity-type":"item","numeric-id":448346,"id":"Q448346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851073$540FF7B2-FAEE-4DEF-B041-F995E677C4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48632cb946b309fd3abb1fcdf63d4308e9e5bd3d","datavalue":{"value":{"entity-type":"item","numeric-id":736843,"id":"Q736843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851073$63B2AC18-EE97-44AF-9066-FD751D7C655E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9bb76f8c858ddc05c9b0805444140cd69f0518fa","datavalue":{"value":{"time":"+2013-10-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2851073$F717B4B0-79FF-4ACC-8FAD-06226594FF48","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97f941adf4c955aaef816f18f0f7bd9899b41925","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105051157","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851073$24CF50C4-E216-4388-AA31-28B53280A3E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851073$95E9EEAF-A920-439F-A03D-93184192682F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851073$062F0637-510E-47FD-9BCE-8FD602DA59F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4ea89ef438f68bfbe4c722edaf037cad1efa27b","datavalue":{"value":"6213315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851073$B229FFDF-80FB-4219-934B-2ADF02FC0F29","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8a49be4a9cb7b2131c7b348c426c00703c6ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":14301,"id":"Q14301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851073$B472C636-C1DD-49DB-959E-418B4CC23BC5","rank":"normal"},{"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":"Q2851073$4CFB11E6-5E0B-466C-966B-1DB371082D0D","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":"Q2851073$A2987C9B-8FF8-4999-B1B4-3FE3F6903969","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":"Q2851073$2FB8733D-491B-4B36-9B96-99659DBDEE36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6568a1886785d606f1e0a1dfd28257a43a68771","datavalue":{"value":{"text":"A tool for the syntactic detection of Zeno-timelocks in timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851073$D25954F9-C847-4D59-B6E7-97DA03A4F051","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2f12ebe22f80b9bf1ee6a1e2082925ac10012cd","datavalue":{"value":{"entity-type":"item","numeric-id":855006,"id":"Q855006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78ae94d1ffb9e545ce004ecda31bb92e1e6334dc","datavalue":{"value":{"amount":"+0.8954377174377441","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":"Q2851073$1E13E333-09B2-488E-8FEA-F7552AAEB696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7544124a4232ec3850f86b379191696dc7bcdf89","datavalue":{"value":{"entity-type":"item","numeric-id":3510844,"id":"Q3510844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cec8a6e09c47d5fdfc98340add6add45b4fb758","datavalue":{"value":{"amount":"+0.8045126795768738","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":"Q2851073$FACE7FDB-5398-4701-B9B0-8369BCC205FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dee5c015f97247526b6ff4b5564ac3662377da10","datavalue":{"value":{"entity-type":"item","numeric-id":4649399,"id":"Q4649399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"527a48a6d47063d0ddbcca692d3eb655297cc931","datavalue":{"value":{"amount":"+0.7654753923416138","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":"Q2851073$EF2D03B0-941A-414A-8FCE-74D0B6F9E967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1056e1e32cef5bd069021eed125b38cd28246c49","datavalue":{"value":{"entity-type":"item","numeric-id":4913769,"id":"Q4913769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6251fb400dd8a4b3f272c4745ad6e730366dfe0","datavalue":{"value":{"amount":"+0.7612043619155884","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":"Q2851073$DADA7D50-657C-42F8-9DC7-7D5C77134042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a170975d6532548c3e7f6c048cca75ddb42df254","datavalue":{"value":{"entity-type":"item","numeric-id":3090824,"id":"Q3090824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d5af6d99663f12f57a8f681a436b1ca74e58dd2","datavalue":{"value":{"amount":"+0.7612042427062988","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":"Q2851073$4C2C4495-7A5A-412B-AF5B-DCAC37419634","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2851073","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2851073"}}}}}