{"entities":{"Q1935781":{"pageid":1946523,"ns":120,"title":"Item:Q1935781","lastrevid":51654167,"modified":"2026-01-19T06:59:59Z","type":"item","id":"Q1935781","labels":{"en":{"language":"en","value":"Efficient model-checking of dense-time systems with time-convexity analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6137330"}},"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":"Q1935781$D8A2E8E4-268A-460B-9B4E-E05A517277EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bde26be89e5c68a23ff2a9b68dde5aaaea9b0efd","datavalue":{"value":{"text":"Efficient model-checking of dense-time systems with time-convexity analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1935781$263D0283-5FCB-4336-B469-6682ECFE2BC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8dfefe8535da0d54ffa667d02d1c294b216bc12a","datavalue":{"value":"1279.68222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935781$AB535BA0-EF15-4F73-843D-577961410967","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"678323d8c357eaf7e7bc2f1d5d96711bb3955f10","datavalue":{"value":{"entity-type":"item","numeric-id":656079,"id":"Q656079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935781$1B829B03-1570-496E-8468-3EF57DB673AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935781$B27E04FB-DE96-44CF-B22C-A278CA4CD988","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42b867b51fba2e4ccb5659deac7fc5f1408febd6","datavalue":{"value":{"time":"+2013-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1935781$FCF2BD0C-CE07-4FCC-9BC9-15C9987D2986","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935781$726B4615-446D-4B73-8199-0F360F487FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935781$FE802B21-EC97-409F-81F8-DA80F4FEC354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935781$892441AE-840B-49AA-8F57-CCA462216345","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a30ed54f2aa4a1c032494a3f9042febbf7814df","datavalue":{"value":"6137330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935781$6A88002A-F6C7-498C-8387-A73E5121E5F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"561abd8670388ff9e3e0e66e81347de6b0fa97be","datavalue":{"value":"timed automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935781$0D735239-4DD5-49E9-AE52-4CE45ACE8CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dbe8017bd91a8a88543904a41e7f6ae172dbb12","datavalue":{"value":"timed precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935781$E18CFE24-606B-46BE-9819-B0432CA25130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935781$8B76C859-B3CB-496A-9156-E04D0FBCC61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1df8ebf7968845b057d89fe8041d8d18adda9a1","datavalue":{"value":"TCTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935781$498A90EB-3FF5-4B1D-A442-E1D351C3C990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935781$4FE7F347-A157-420F-90AF-471AFE08292B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a84920d1749d1101dfec0888d8fd185f7e1bb8f4","datavalue":{"value":"timed inevitability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935781$6BD2E1C6-FB70-4B94-97BF-F70AD83B9F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"353432a3060aa4057699d527d7cdb9f02d2792bd","datavalue":{"value":"convex","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935781$5462166D-BF42-4691-907A-6EA7F15E170A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"247004cf1309e53e1bdba9b1356d4dd90328f5da","datavalue":{"value":"time convex","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935781$898822E2-D811-47B1-8E2B-81E71344958A","rank":"normal"}],"P1463":[{"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":"Q1935781$C60C05BE-F964-4202-8729-DB1D081CC012","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":"Q1935781$F810566F-AF90-4CBA-A783-8199E475C40C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8054ab6aaaf9df8a2e5432cf0c773c6a86e34862","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2012.09.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q1935781$021D9062-5812-4CB4-B123-531262105A52","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"519b93214c8a8e8bc4ec9914abeb9ae525b9a73f","datavalue":{"value":"W2098021313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935781$561F45F1-6F11-4096-8612-E4AC6757B8B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4da07b262c9c67114a269bbd86d3829aa61c2e07","datavalue":{"value":"10.1016/J.TCS.2012.09.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935781$3D557347-2D86-4BD1-B0F3-AC3B5D3AACF4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c13ba33784e44416b7d56f13e28e2f0280e9175","datavalue":{"value":{"entity-type":"item","numeric-id":3540075,"id":"Q3540075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e35d2f50de7ee6cbe5b2a5c79e7e02ec17a72d8a","datavalue":{"value":{"amount":"+0.8327357172966003","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":"Q1935781$4B99C845-E64F-4259-987D-0F6F231C77F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967d2af298ac21f2cd6af9ce8a91a27a9c75621c","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b56af956c002712737ed58ee7896e1fa9be0cfd5","datavalue":{"value":{"amount":"+0.7791396379470825","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":"Q1935781$F22BBAA5-0203-47A9-BABB-816CB6B96033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b419e0e91c848df98c41d87bf2df9ba6f378587","datavalue":{"value":{"entity-type":"item","numeric-id":1882793,"id":"Q1882793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"773589e5ff1c117bf3a99fc787677d6aef20d399","datavalue":{"value":{"amount":"+0.77745121717453","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":"Q1935781$2534F70D-379E-4343-80DB-8CD3AF24A792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"877150049cf44e2eaeaafe10c490adfb982c23da","datavalue":{"value":{"entity-type":"item","numeric-id":5754518,"id":"Q5754518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09ac4f3b7585cf4762c39dd6a60f9f11a8d598bf","datavalue":{"value":{"amount":"+0.7630350589752197","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":"Q1935781$E951252D-2F54-4FF8-8BD2-9B44FD0CE3BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbcf5dade46bade62bd735e1a56145d78bc858ee","datavalue":{"value":{"entity-type":"item","numeric-id":5464759,"id":"Q5464759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edf6ee7b0e359756b4830ad6bdeb17368e1c564c","datavalue":{"value":{"amount":"+0.7606889009475708","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":"Q1935781$C752FDE1-8C30-47EC-859E-59B98ED5E75C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1935781","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1935781"}}}}}