{"entities":{"Q1346770":{"pageid":1357509,"ns":120,"title":"Item:Q1346770","lastrevid":70209171,"modified":"2026-04-13T13:10:43Z","type":"item","id":"Q1346770","labels":{"en":{"language":"en","value":"Model-checking discrete duration calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 742710"}},"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":"Q1346770$9FDE9F71-5862-4625-9204-5B4C82BA28CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31593c1d8b201c7e10660fc647b3c56109ac3bbf","datavalue":{"value":{"text":"Model-checking discrete duration calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1346770$3E23449A-54A9-43DA-88CE-6369BE1C5EF5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88d98c3658cc799c1c136bcbfea6104be61d7f14","datavalue":{"value":"0822.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346770$5D2B152A-C11E-41E2-9593-1D7500518820","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4f09cc628b9533df40abbdfe5b50081b4404ce0","datavalue":{"value":"10.1007/BF01213605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346770$AA25B274-12EE-41EC-B890-80291A80608D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ee8d9d7038763b41daab56ec63374a2aa4834ce","datavalue":{"value":{"entity-type":"item","numeric-id":478378,"id":"Q478378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346770$ECE45134-D927-4145-987B-FFF9E70CF710","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346770$6BF1DD03-311E-455F-BC07-D77E71D7DA64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"231115b38b8392c07a175c06d4f6a9502ba4f74e","datavalue":{"value":{"time":"+1995-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1346770$0C774A7B-9FD2-41DA-B98B-7B66925D6A16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346770$800FC251-FAB9-4B15-AE5F-3C641BA1DC66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346770$511E34E8-F687-4555-9865-E2F1815E34B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b25da48e2b78f373a1949058edc4f8e8dbd99b1","datavalue":{"value":"742710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346770$9B56C64E-834D-455D-8993-1D05B6BFD2C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4e571d5d1b1f948f468f5f78176e1a3d5c65937","datavalue":{"value":"duration calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346770$69A73021-43FF-4C79-A2F2-9923F1F472D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346770$22B57526-A06C-4C99-A274-8B7FD0D350DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346770$4F0D66D4-76AA-49A2-BFEB-6E15E54D915B","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":"Q1346770$23536685-C84E-404E-8602-FACD07AA7A87","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3394b77eec107b905563ae3b7de38349fb3b8401","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346770$28631C22-1FBE-4906-8FB0-F20E0CCC11EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346770$6B8ABA00-5EA2-420B-BCF8-36DB718A704F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdfa05c4d62a01d518c15ad58d1f851be8ddc90c","datavalue":{"value":{"entity-type":"item","numeric-id":3318104,"id":"Q3318104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346770$5901E65B-C9AF-4247-BA2F-9B02EBA646FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8576dc8df0d7857399ab718724b601efc6d9d7d","datavalue":{"value":{"entity-type":"item","numeric-id":3996918,"id":"Q3996918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346770$5AC31D9F-F87D-440D-AA26-FA05C9166A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a91fd66543d31c1344e0c099c5a84fd36bec7bf1","datavalue":{"value":{"entity-type":"item","numeric-id":3997896,"id":"Q3997896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346770$A5C20CBE-8D04-4B0F-B936-0992FE792C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5452d635a48cac09e92f2551cca28e3b0ba6e7ae","datavalue":{"value":{"entity-type":"item","numeric-id":4268464,"id":"Q4268464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346770$FCFA2F72-A3E1-4008-A95B-F43D716EB38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb24b5ef13aa9924706ad086879bb014e8a0fc2","datavalue":{"value":{"entity-type":"item","numeric-id":4281508,"id":"Q4281508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346770$2D805D8D-9F63-4B72-BFBA-999B08492B50","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":"Q1346770$711FF5AF-F341-4197-8D71-9501B45834B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d0fd3e94f7d4f6f94ee608258261920311e8a63f","datavalue":{"value":"https://doi.org/10.1007/bf01213605","type":"string"},"datatype":"url"},"type":"statement","id":"Q1346770$A5B0FA5A-B1C2-4160-91DD-2890891986AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c078eb01daf6e28e035cd57b02b86d9696660fe2","datavalue":{"value":"W1992189872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346770$32B1F6C4-EA89-418A-9C27-3CC85464501A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4a5a2758a5f507b2f0dcd4b7e59da0d7393d50b","datavalue":{"value":{"entity-type":"item","numeric-id":1433946,"id":"Q1433946"},"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":"Q1346770$F77C230A-877F-4565-9816-BF7777358005","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":"48cc5563ccd9058099821f251c7317836f09b80a","datavalue":{"value":{"amount":"+0.8415063619613647","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":"Q1346770$46E80597-080D-4727-A602-B53BEE0AC969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5937426ce6aed06b43d4abc59f202933bd2fa85a","datavalue":{"value":{"entity-type":"item","numeric-id":5209966,"id":"Q5209966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c967efdd720b138ef800132279f2fe586473844","datavalue":{"value":{"amount":"+0.841153085231781","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":"Q1346770$2FA5CC2B-D196-4622-9603-0FA80E902D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e46a0604fb9bac91230e8357f3fb88a6ea4c2819","datavalue":{"value":{"entity-type":"item","numeric-id":939170,"id":"Q939170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5ff9c8a1d9190020f5f71aedc9cc66a667ddb0a","datavalue":{"value":{"amount":"+0.8376986384391785","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":"Q1346770$48D36056-3943-4B7A-B4A1-764AF20AA3B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77fc515ec118b932f1c95ee27e047198bc63c138","datavalue":{"value":{"entity-type":"item","numeric-id":2986927,"id":"Q2986927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15c8ad80ae5db254f8fa3240a38731db227f55cb","datavalue":{"value":{"amount":"+0.833734929561615","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":"Q1346770$CD89BB85-80D8-4F3E-8F11-0B9A0A1C6F65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model-checking discrete duration calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model-checking_discrete_duration_calculus"}}}}}