{"entities":{"Q5194655":{"pageid":7224227,"ns":120,"title":"Item:Q5194655","lastrevid":58480395,"modified":"2026-04-05T09:57:39Z","type":"item","id":"Q5194655","labels":{"en":{"language":"en","value":"Formalizing timing diagram requirements in discrete duration calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7105605"}},"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":"Q5194655$699C37A2-5AA1-4652-9102-EC183B40A420","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"845ee6748997e5dad8fb81a54e99848ecaf70c1a","datavalue":{"value":{"text":"Formalizing Timing Diagram Requirements in\u00a0Discrete Duration Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5194655$3A76DE63-05E5-4EB8-B868-E378BD611B94","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73c7573c143d11788902a10b52b3190ea6e00c87","datavalue":{"value":"1420.68134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194655$4CD6CB81-09F6-4D5B-8BC7-0E93F5E5C514","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"042fa4bf50cf3ead65974fe664564875139e9a5c","datavalue":{"value":"10.1007/978-3-319-66197-1_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194655$69F4A825-68B4-48E0-9FDF-69EFB511681E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a32b33ab602d2740c201c92d30b10d566013a09f","datavalue":{"value":{"entity-type":"item","numeric-id":2915095,"id":"Q2915095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194655$E394D967-31BB-4925-B2E1-5B117AB1376F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ebecdc8963b6629e72067e9f36e75100892dbdd","datavalue":{"value":{"entity-type":"item","numeric-id":673874,"id":"Q673874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194655$A416B0DD-67FE-4D16-96A6-2C03F8836760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c75f60adbf3065c37931c47a5dc6b899b453d4d9","datavalue":{"value":{"entity-type":"item","numeric-id":2672247,"id":"Q2672247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194655$D197F7CB-E993-4125-8047-212774DD25AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a8f5cbf6360429635db718a7502a7494a9026ef3","datavalue":{"value":{"entity-type":"item","numeric-id":3095231,"id":"Q3095231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194655$34399E75-938C-4ABE-8A12-D7D237BF4C7C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96391af82153a94a4af2a0e4c8ac60042cea1674","datavalue":{"value":{"time":"+2019-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5194655$12FED955-8B55-4F3A-B9E3-F486F71F89A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"464a4763df3fa466c28bead623ac328f403dde36","datavalue":{"value":"https://arxiv.org/abs/1705.04510","type":"string"},"datatype":"url"},"type":"statement","id":"Q5194655$49280BBB-ABA4-42D6-A759-4F074787E3E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194655$B65B57A8-2E02-4083-842A-6B17FFFC1B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194655$BB027910-5941-40E5-B88B-7E8885D95F38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"569fd59e6daa3a1f10fbb1d8fd1bf6b6ba7352b4","datavalue":{"value":"7105605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194655$0F043CF6-D76E-4349-9A94-5AE9F83C38CD","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":"Q5194655$9BD234C4-73F9-42F8-B035-5E9D098FAF3F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba529e200e2ff97fe45ff74626402e9df01db1ce","datavalue":{"value":"W2613810324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194655$AAF86814-783A-4107-932E-925B2782CAA6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae9df3c225d42320d1088e1dde072933bdf06e0d","datavalue":{"value":{"entity-type":"item","numeric-id":5493226,"id":"Q5493226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ccb93bba5ce20c35bd22b5c5b5fee77055246c3","datavalue":{"value":{"amount":"+0.7723841667175293","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":"Q5194655$E6E1F3E8-E5C2-41EA-95DA-C58A1305ABB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ecfe6827e656d0eb61d20c33f6629c5ea6c682d","datavalue":{"value":{"entity-type":"item","numeric-id":2723559,"id":"Q2723559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a29ce871fee24dc9982808a52703fec070b50baa","datavalue":{"value":{"amount":"+0.7632964849472046","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":"Q5194655$698C9419-BCD3-4096-B65A-AEDE5D4AA41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38a7ddbe37553b7618f45e9c502ddbc403ce0d8c","datavalue":{"value":{"entity-type":"item","numeric-id":2771065,"id":"Q2771065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a29ce871fee24dc9982808a52703fec070b50baa","datavalue":{"value":{"amount":"+0.7632964849472046","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":"Q5194655$0292A3A3-B227-4BB9-8EC0-6C791A2A35ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ca496ebf51a6ef411a17c6192af5480a2b8611c","datavalue":{"value":{"entity-type":"item","numeric-id":5897790,"id":"Q5897790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83da6715b42a7b73cd74a98b4727e010c1e762ab","datavalue":{"value":{"amount":"+0.7629504203796387","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":"Q5194655$4A6E08FE-F0E8-4A1C-973F-A8C1D575328A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52f815cd8a479c78bca2a165beb2b2825a9dfba9","datavalue":{"value":{"entity-type":"item","numeric-id":4028161,"id":"Q4028161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a922a56760f38d5e6d2396cb55296d62d0807dfb","datavalue":{"value":{"amount":"+0.7454519271850586","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":"Q5194655$1077610E-D035-4F1D-ADFA-CEECB0A72BBF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5194655","badges":[]}}}}}