{"entities":{"Q5897969":{"pageid":7998605,"ns":120,"title":"Item:Q5897969","lastrevid":49966615,"modified":"2026-01-12T08:27:52Z","type":"item","id":"Q5897969","labels":{"en":{"language":"en","value":"Formal Modeling and Analysis of Timed Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5072052"}},"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":"Q5897969$E50E031B-F83D-4189-87E1-8B44EF85283D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08b2c85b6980737cd12066f706077286f4fb04bd","datavalue":{"value":{"text":"Formal Modeling and Analysis of Timed Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5897969$507C6885-D678-4624-A45C-786C327265F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74045f2343795eb0ecc4e732067d614c94b3283e","datavalue":{"value":"1175.68252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897969$1EF6340C-5796-4BB6-A4AD-791E340944B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bcf642420cd36522f65b94fcdcd45b804078cae4","datavalue":{"value":"10.1007/11603009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897969$4D0F6AF5-ACF6-40B5-B1AF-3F6EDF86488C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ffbc2222258f7a4fa78be49047dfe2a14b0df82","datavalue":{"value":{"entity-type":"item","numeric-id":511010,"id":"Q511010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897969$3B5AEBE6-1211-46C5-B128-589D795121AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"145dfc643b53f471cb50f045a5c8b4f60a920b97","datavalue":{"value":{"entity-type":"item","numeric-id":511011,"id":"Q511011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897969$04A83FDE-F67B-48EF-B01C-F8DFB2CFB283","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897969$8E5203ED-3B46-423D-AFBC-028D167D52C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"834c709ac9b6f605c97f46bb2d05fd8a3e4ef397","datavalue":{"value":{"time":"+2006-11-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5897969$4D25E451-CECB-4C27-81A8-8206C9120A44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897969$6455B87C-C44B-4577-8525-287FDFD42713","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e9aa2c2da5b82cfd671a0a133b22c7854d05733","datavalue":{"value":"5072052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897969$3EC8568C-8308-430E-9656-A44695D91BC5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5897969$1104C757-D893-446D-B4DF-EC284EEC8714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q5897969$0FBC422F-9850-46EE-8F8A-A4FF1FBDB6CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"047c6c37b1b59065ab8a30c63416b0516d5d913a","datavalue":{"value":"non-interference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5897969$30C09602-7F54-4BFA-9889-83A29F66F37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79b3b9c23499fd7e8ac3ebe5d98d7c3103238af8","datavalue":{"value":"timing channels","type":"string"},"datatype":"string"},"type":"statement","id":"Q5897969$532E4605-C0B8-4B92-A0C8-84810C8D3F06","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":"Q5897969$B3BEAEF6-2776-4203-9951-55B3A70702E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11c8b6078bfcaf1fe964f04796d22e00c2ac7fa5","datavalue":{"value":"https://doi.org/10.1007/11603009","type":"string"},"datatype":"url"},"type":"statement","id":"Q5897969$09AC3796-B083-4A36-87B2-43F60E9F281D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0cc24a131a86253fa9201d7fc13319c806bce38","datavalue":{"value":"W2493457341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897969$90DF5135-F4BB-46BC-8BAC-0AA0A16AFEE6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7b23b614c737f1f27c1b02f6c54e4ade6c39279","datavalue":{"value":{"entity-type":"item","numeric-id":4461952,"id":"Q4461952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f81e0717e4895f9d5899dd6c9a1899bf1e703a86","datavalue":{"value":{"amount":"+0.8132021427154541","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":"Q5897969$614338B7-99F2-4B04-B056-B24E00F231A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b78211e0705ffe64b85409cb8e2f0ac3e274a403","datavalue":{"value":{"entity-type":"item","numeric-id":3452260,"id":"Q3452260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d976b840cf2fa9ecb7940d3e63cdd80d8684f82b","datavalue":{"value":{"amount":"+0.784966230392456","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":"Q5897969$597DDE56-E853-41A7-B4CC-91C6129BB463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1cacef61f480d4f9c11d6d3eca293e98f8ee55c","datavalue":{"value":{"entity-type":"item","numeric-id":3146271,"id":"Q3146271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa3e464b73a28ad6121cf0fa3771297fcd7c3f57","datavalue":{"value":{"amount":"+0.7780654430389404","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":"Q5897969$78B203F9-D9E2-4BBD-A695-63A4F79A27CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c01f15aa5adc0eb5e133e090f2cc9b507f68a5d9","datavalue":{"value":{"entity-type":"item","numeric-id":5493401,"id":"Q5493401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff68b4ebbde5f6da1a5c6710f69dc240dfef799b","datavalue":{"value":{"amount":"+0.7777801156044006","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":"Q5897969$A5B0B19E-75ED-4912-96FE-32E67940DF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3c081d4995fa38199d902a18f55410e6ce72feb","datavalue":{"value":{"entity-type":"item","numeric-id":3401949,"id":"Q3401949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"253eb55128a99dc834d6226d3446986476a21215","datavalue":{"value":{"amount":"+0.7730575799942017","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":"Q5897969$72E7FD17-BB55-43DD-9A34-236CCBC6E4EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5897969","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5897969"}}}}}