{"entities":{"Q1941889":{"pageid":1952631,"ns":120,"title":"Item:Q1941889","lastrevid":51679064,"modified":"2026-01-19T10:55:47Z","type":"item","id":"Q1941889","labels":{"en":{"language":"en","value":"Security invariants in discrete transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6148354"}},"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":"Q1941889$0EC4531E-328F-4CF9-A888-2C26F023AF02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f58933826311ef4e228fad5fc351fa6e23c2706","datavalue":{"value":{"text":"Security invariants in discrete transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1941889$0C47C52D-8954-42C1-8B4E-DA28224765A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"319e3c9538bbae07bf3c49efdcae3dc85e4c6fd2","datavalue":{"value":"1259.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941889$838D4343-FE9A-44B0-87FF-94A305ECA34D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92ee61dd18574b657f614d4963109a2adfd0b7c2","datavalue":{"value":{"entity-type":"item","numeric-id":333312,"id":"Q333312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941889$D7CE389C-BBF2-4BBD-A0F3-9C46C29C7501","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":"Q1941889$95A87786-2753-48A4-BC17-B0E7975DB586","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e2d14323b1d0cc86219aa2b95091e7f0ab18297","datavalue":{"value":{"time":"+2013-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1941889$2C8FB088-7917-4958-B613-1FB938F0B783","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3cae6fc8e6012def32942511f5258d445774d11","datavalue":{"value":"http://doc.rero.ch/record/317549/files/165_2012_Article_256.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1941889$3C5E1DB5-1E43-4645-9816-E871ECEE18C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941889$04B4A5CD-9165-47A6-9690-77212130AB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941889$450FDECE-A435-429F-9972-DFBDFA5E6788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941889$E650B9F0-0CE7-4F4F-A419-816F07ACAD42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941889$C172F395-AC2F-49E5-838C-1FF86311E386","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"316af96d1863826c04711bd2dafb5ae5a9516348","datavalue":{"value":"6148354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941889$F4AE0459-ADCD-4BB6-9311-78F3D765E401","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21f107e0a5bcb1a7c1f2d0514b48eaed68584e09","datavalue":{"value":"shadow semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941889$DE109606-C482-4E0C-B999-A74FA446F8A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04ba4bf98dd124c8c2742b84b6fb188b54821857","datavalue":{"value":"Event-B","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941889$28AAFF4D-694C-4E5F-A2EF-740B99C1AF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"283c08a5bba6f7894da9a2edd50c3f987061027e","datavalue":{"value":"noninterference security","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941889$0FB7CE3E-7B7C-4392-9197-60D07C2006A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941889$D750425F-641E-4C21-8400-ACE966D47296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca32413f1d623ef3eb8d4a14ac759e926ea85f","datavalue":{"value":"invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941889$5C4382F6-B480-4DCE-AC87-DEC82ED0A334","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941889$823D9D7C-F800-4C3A-89D9-20DA9B7336CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3dcf6ea9ac65c890e0513ced8e4b0dde71e50b0f","datavalue":{"value":{"entity-type":"item","numeric-id":19141,"id":"Q19141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941889$8AE13CE5-7DA3-42E3-BE21-F5903AF28D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b09b080527cf0c7be3719338f59c9e92adea2d20","datavalue":{"value":{"entity-type":"item","numeric-id":19142,"id":"Q19142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941889$26474963-B644-450A-A7C6-4C1BA1A5604A","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":"Q1941889$5A251F38-0347-4E6C-B5F5-806753644A21","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b718cc5941ccfd4a62715b5bc045eb4ff3c612a6","datavalue":{"value":"W1989004114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941889$CB9CA612-25EF-4CD5-BE46-4C25D7955DB5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941889$294D1587-54DF-4A38-BD2C-94C8136BBDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64dbb7c90690de5fbdf0d30d9b861ec41a32a6","datavalue":{"value":{"entity-type":"item","numeric-id":3569584,"id":"Q3569584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941889$ACDF35EE-61E4-485E-84C4-F307439371C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05348a557d2dd187a82890860a29298cc18e12f9","datavalue":{"value":{"entity-type":"item","numeric-id":1109008,"id":"Q1109008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941889$BD7BFE14-B05B-469A-BD2D-6F4EB206129F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941889$8EB56A10-6DFB-4616-9650-2B4068E4B018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941889$BD534AB8-B584-4B47-B1FA-52A1802FE9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e94e13bbc06000b61c0f240b6cd87d50a06be7e2","datavalue":{"value":{"entity-type":"item","numeric-id":2018754,"id":"Q2018754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941889$DD7EDC97-EDFF-4DD7-BDA4-3FA8A48989DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ee09d94bfcf54044ba878c48690e939ed437ef","datavalue":{"value":{"entity-type":"item","numeric-id":5486061,"id":"Q5486061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941889$5CF6840B-F1F6-47A4-9FB6-0A18C72B305F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a16832655d058fb294cac06bffb86b23e4284b9","datavalue":{"value":{"entity-type":"item","numeric-id":3618832,"id":"Q3618832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941889$06DC6814-D1CF-43E9-B358-9DCFA6089972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f3632786669af8b0dc3e0bd7166aee3ee70e8ff","datavalue":{"value":{"entity-type":"item","numeric-id":923889,"id":"Q923889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941889$7F59E49E-738F-46BF-90B8-94BF4C33A842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19ec1ba56991efe8104d108b59c02ed6e35948b1","datavalue":{"value":{"entity-type":"item","numeric-id":2372185,"id":"Q2372185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941889$71762979-0F07-47E4-8E1E-D2658746EEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d30b5d991e8c936e9f00bd341ad06da388287f7","datavalue":{"value":{"entity-type":"item","numeric-id":5246113,"id":"Q5246113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941889$C23D24F2-5306-4961-9569-E6BBB94EDA11","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60fc6279d6d741b08608bf8694a0b0c83abf49ed","datavalue":{"value":"10.1007/S00165-012-0256-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941889$81DF506D-4C35-4533-B567-D3DE01111A01","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49caa989d163da473846cc4155bf6f0af431a1bb","datavalue":{"value":{"entity-type":"item","numeric-id":2018754,"id":"Q2018754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c197aeb0afe90565d5594aab9f79e3f052c081dd","datavalue":{"value":{"amount":"+0.7773948311805725","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":"Q1941889$359863ED-7BDC-49C4-B177-35D0B34D99E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14c2a9ffdbe3b908d7427834a24f16942a71da06","datavalue":{"value":{"entity-type":"item","numeric-id":432152,"id":"Q432152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dea7d57a712d21aedbf0bb84156458e49e36512","datavalue":{"value":{"amount":"+0.7622340321540833","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":"Q1941889$3B05DD14-95D0-4B99-B3BA-637C767F4A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68933fa4ca3203c2a1ea2229b4c05d15c5d60c06","datavalue":{"value":{"entity-type":"item","numeric-id":604479,"id":"Q604479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a334ebc0971fed96f679d2b660f0b3e4de4aa017","datavalue":{"value":{"amount":"+0.7140554189682007","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":"Q1941889$E5834948-D05E-4551-A6F0-0A79E44684DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7979812e01c4c1b2bc1a2dedd2dab888164e0b03","datavalue":{"value":{"entity-type":"item","numeric-id":3092180,"id":"Q3092180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e74406a51d58bdad6816c49264e5fe67438624c3","datavalue":{"value":{"amount":"+0.7043328881263733","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":"Q1941889$7B768CE8-2D5E-4D9C-9B95-7AE6437598FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a61f1721c306d6c096dd2c1cc8df2cdfea25e1d","datavalue":{"value":{"entity-type":"item","numeric-id":826053,"id":"Q826053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5ee7fbf0106d16031b1063f547328d951450a68","datavalue":{"value":{"amount":"+0.7027413845062256","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":"Q1941889$1AB77FE5-CE14-4D28-BE47-BA9532AF7662","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1941889","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1941889"}}}}}