{"entities":{"Q5934292":{"pageid":8111094,"ns":120,"title":"Item:Q5934292","lastrevid":102144377,"modified":"2026-06-06T03:35:36Z","type":"item","id":"Q5934292","labels":{"en":{"language":"en","value":"Towards a denotational semantics of timed RSL using duration calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1606596"}},"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":"Q5934292$D577F144-F96E-434A-AD37-94C968810A7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e98ecc1a2548dcd792e474399c423f11c57d4758","datavalue":{"value":{"text":"Towards a denotational semantics of timed RSL using duration calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5934292$0DCE23F5-FC64-47C1-8367-2CC64BDA4840","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1df002c1ce4f3b6bf2b5ce9b5d9163a3ba9cd7bc","datavalue":{"value":"0974.68114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5934292$5123140A-9719-4927-B533-BF7A9EEEF93C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8b876738db69a78b5084440dd532bb774d4fc0f","datavalue":{"value":"10.1007/BF02948854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5934292$99E52F37-9745-4D1F-89EE-FACE74A27097","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8880b0d8e503937a70df86909f28d5eff42d69f2","datavalue":{"value":{"entity-type":"item","numeric-id":182356,"id":"Q182356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5934292$E54A6A6B-7FEA-4B37-A912-97BFE75A1E9D","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":"Q5934292$C18D9B74-8D27-415D-8C44-BDAF36993151","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b2e9bec313c75be18727347f98d0bbd311989385","datavalue":{"value":{"time":"+2001-06-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":"Q5934292$A46CD944-93B0-4CFD-89EE-8FEF0CC6448B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5934292$0C5ECB44-9409-4B9D-919B-6F2B018CDE65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5934292$77EFFA20-1885-401C-A4AD-8561614FCCF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"821c942743165356975804cd1ae644220a91054a","datavalue":{"value":"1606596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5934292$7B130299-066C-48B6-8FEA-B396A7652836","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85cb53c66086f6768b2babc4b852350f4448425b","datavalue":{"value":"timed RAISE specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5934292$342A5CC9-7DE5-426E-9C45-3D2178E51990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4e571d5d1b1f948f468f5f78176e1a3d5c65937","datavalue":{"value":"duration calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5934292$5A47DDEE-8B3F-429F-8A0B-774F54B53D7E","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":"Q5934292$B2645C89-0834-4379-BBC6-C939365CD41E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"10823bf5be5278cbff1c98afd96bfe396ccae834","datavalue":{"value":{"entity-type":"item","numeric-id":4845499,"id":"Q4845499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5934292$81F043FB-B5B7-4F00-AD66-41ADA2055AFA","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":"Q5934292$1E5162F6-71AE-4B7D-9CB1-A26C92476204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a979ba4e458cdbb8a1a27a189cd19f7088892ac3","datavalue":{"value":{"entity-type":"item","numeric-id":4845494,"id":"Q4845494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5934292$B2CC5EF2-4974-43E3-A997-92E00C021D11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2b32cce40fe7fdb357a1ac54b0735e0e69d876f","datavalue":{"value":{"entity-type":"item","numeric-id":1428351,"id":"Q1428351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"505e3123776e0be65c2f0219959960d2d6ec3416","datavalue":{"value":{"amount":"+0.8081328272819519","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":"Q5934292$49F980FC-D0A3-4D0A-A0A8-BF92F6E8FAB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59e44e1da535bc26c795efe8f1a0989c9e6b4148","datavalue":{"value":{"entity-type":"item","numeric-id":706508,"id":"Q706508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c69dca0fbdfd72e465f12982e59acf3413c6e90","datavalue":{"value":{"amount":"+0.8074954152107239","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":"Q5934292$5B7A837A-3045-4A7B-BD02-396C765C3E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f7f842c8ed52dd870ccf0cb7ab0745430ca55af","datavalue":{"value":{"entity-type":"item","numeric-id":5709993,"id":"Q5709993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98708ffa27d5eea01eb8c9f3ffbfe1c6d0b61163","datavalue":{"value":{"amount":"+0.7938058376312256","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":"Q5934292$6A978BDE-887A-42B1-A3B5-869D73479AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64e135b85d9571533658b21536299101dcb0e701","datavalue":{"value":{"entity-type":"item","numeric-id":1377324,"id":"Q1377324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1744ec6f09a43614d0013b0f480579a189e24c0","datavalue":{"value":{"amount":"+0.7927871942520142","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":"Q5934292$F24A792F-B9DD-4502-A0BB-7AA900C57879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e151b541ecbab333cb688615d06d49df889c7bbf","datavalue":{"value":{"entity-type":"item","numeric-id":4264107,"id":"Q4264107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc78bdaf97c5446f703e9a62c80cf971ae448ea3","datavalue":{"value":{"amount":"+0.7879279851913452","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":"Q5934292$A18247E0-4D7C-4F5E-99A7-78095DF79F87","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards a denotational semantics of timed RSL using duration calculus","badges":[]}}}}}