{"entities":{"Q1433946":{"pageid":1444686,"ns":120,"title":"Item:Q1433946","lastrevid":70393941,"modified":"2026-04-13T14:28:50Z","type":"item","id":"Q1433946","labels":{"en":{"language":"en","value":"Checking temporal duration properties of timed automata."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2077747"}},"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":"Q1433946$57DC14E3-ADF0-4135-9BCB-4D650ACB9C57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2dc50a13e6f393336157b9cee4c052094dfcc6db","datavalue":{"value":{"text":"Checking temporal duration properties of timed automata.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1433946$E1C76D1E-5A79-4D40-B77B-817215070277","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a1f4e24e4fe4718274e5b69360f123a46ab0fc5","datavalue":{"value":"1056.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1433946$3C82AC80-B8F9-496D-AC4C-20533B1E206B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"febf8da2c78263e5b5b33f5c1948aecad9c49aed","datavalue":{"value":"10.1007/BF02960759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1433946$A991FD20-58BF-4ECF-923D-D1EC241DE461","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a3cde3df805b94afba535877560699180de7d57","datavalue":{"value":{"entity-type":"item","numeric-id":1433945,"id":"Q1433945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1433946$4A676A51-23C5-4480-8095-319961CAF959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47ec27353a415338dfaf83801f6c5c8a4b326c6b","datavalue":{"value":{"entity-type":"item","numeric-id":168969,"id":"Q168969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1433946$F506BF67-2BA0-4570-9885-24163189D646","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1433946$0E46160E-D7A4-464C-A537-BA1CBF797F3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f1c91819e1068c0617e66c7ecdafdccd99ae8ff","datavalue":{"value":{"time":"+2004-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1433946$EF66DD9A-440F-446E-B3B2-9FF01838435D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1433946$BC97B55D-ABE2-47F4-B059-3D0ED32E4509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1433946$00AEF184-7F6E-44A9-9BD7-8C91A296285D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be7dedb498fcf143bcd124d373d1883725ca7cff","datavalue":{"value":"2077747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1433946$C60FB25E-8C4F-4FB5-9039-DF14B82BB05A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1433946$D8D22406-E72F-4131-B060-FDDFE657C2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4e571d5d1b1f948f468f5f78176e1a3d5c65937","datavalue":{"value":"duration calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1433946$536FA9D6-4355-4061-948E-887629D2F1B1","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":"Q1433946$7CA0C7D9-8B65-413D-9D59-32804F1CC30B","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":"Q1433946$902AC10C-0A72-49DB-A2FF-417278ABD495","rank":"normal"}],"P223":[{"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":"Q1433946$4859A77C-1150-4863-8B9C-CB3EA49E3564","rank":"normal"},{"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":"Q1433946$CE42340A-04C4-4144-A3C7-9C511827B44D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e83e84fded724f0d970beaffaf326aa1ce7b6243","datavalue":{"value":"https://doi.org/10.1007/bf02960759","type":"string"},"datatype":"url"},"type":"statement","id":"Q1433946$3581D0FE-A701-4767-83CD-0F3944F49524","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"73cf44936510e2c77a468357ea47b69319f6134b","datavalue":{"value":"W2041810818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1433946$5D1C4218-389F-4B3F-81D5-D57F6B409C97","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89ad2898700374f6f01c6e3c5d90e84402800da6","datavalue":{"value":{"entity-type":"item","numeric-id":1587334,"id":"Q1587334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3ffe82de0dbd5c745ae9c882e188f4939c4a56b","datavalue":{"value":{"amount":"+0.8964735269546509","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":"Q1433946$6CB4F659-EB73-4FA6-B7E6-B295E8F468E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e961c505d992056e2e44a3f97aa1a4e8ec6abe64","datavalue":{"value":{"entity-type":"item","numeric-id":5709982,"id":"Q5709982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05fe0896b8cdfe9da5930af2438458e6f4ef0bf0","datavalue":{"value":{"amount":"+0.8562819957733154","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":"Q1433946$D7CFDD1C-281C-4DC2-965C-54C6C55AC101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5201a4e8294b81478660c00b347822c5f5b5960a","datavalue":{"value":{"entity-type":"item","numeric-id":1346770,"id":"Q1346770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1189650c535d3926e9ec54a5ca1bca9782e7f97d","datavalue":{"value":{"amount":"+0.8425480127334595","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":"Q1433946$0E3C3356-E1AF-4A94-BDE4-04D0EF887224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61762d1a0b214a9dcb84410f924064d87dbece04","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"963c4b9c403b060fddaa06afa16cc8aa760c5cfa","datavalue":{"value":{"amount":"+0.8406726121902466","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":"Q1433946$8771742D-6CA5-43AB-85A7-7DE8995CA5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8186a12bab447c11fd2e30f81d62a3384c64907","datavalue":{"value":{"entity-type":"item","numeric-id":5277801,"id":"Q5277801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"513a06b8892a5cc587c7f9585256a38e9fcee94e","datavalue":{"value":{"amount":"+0.8237758278846741","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":"Q1433946$59100102-D8D4-419E-BDB4-1850DAAE775E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Checking temporal duration properties of timed automata.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Checking_temporal_duration_properties_of_timed_automata."}}}}}