{"entities":{"Q890614":{"pageid":892462,"ns":120,"title":"Item:Q890614","lastrevid":65155134,"modified":"2026-04-12T00:40:38Z","type":"item","id":"Q890614","labels":{"en":{"language":"en","value":"Combining behavioural types with security analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6506926"}},"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":"Q890614$444197DD-0E5D-48DA-87B6-FD3392E8ABA2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88161bd57fe968271ba9cae17ba6e13b61bb56c4","datavalue":{"value":{"text":"Combining behavioural types with security analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q890614$A3DF4B14-9AC6-4DA5-9588-4D45C654A949","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e859cef3e2cf152972a70e819d90315a449ec30e","datavalue":{"value":"1330.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890614$5800333D-8AAF-4204-A92F-859392F92D03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e15ca605d00a4af5ed8da0f068ee3a907ba12187","datavalue":{"value":{"entity-type":"item","numeric-id":272302,"id":"Q272302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$76CF1478-357A-4BE0-958F-7E2A69266FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95f1f23f51d4a1ac9b264ee3b0678f8bce0c8fd1","datavalue":{"value":{"entity-type":"item","numeric-id":315295,"id":"Q315295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$460DCD9F-7544-49E5-9147-C22583675818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dfd49e2268a734a0fec0b364e88dd9162272850c","datavalue":{"value":{"entity-type":"item","numeric-id":890612,"id":"Q890612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$1AF90568-41AE-485D-9F61-7D5273E4D492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69275045e726ef1c313be8e61b328d9b029abc4a","datavalue":{"value":{"entity-type":"item","numeric-id":235595,"id":"Q235595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$51FC36D1-B490-4C10-97A0-9CBA4E6ABDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0a8f67a7203ff5cdeef2bd4736ab7f6f290a0ee","datavalue":{"value":{"entity-type":"item","numeric-id":202167,"id":"Q202167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$B6385EB8-3868-4F6D-9240-9F79964C7CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5bf2daf37619b5f51c5968e7e6d35980ea99e46","datavalue":{"value":{"entity-type":"item","numeric-id":315278,"id":"Q315278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$A62ACD8F-03C3-4D96-A8D4-0027D7BAB1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a50d913d1128f41e9a61785d41010b4144b0015a","datavalue":{"value":{"entity-type":"item","numeric-id":526443,"id":"Q526443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$958E6C27-DE58-4443-A008-3EA1D182AAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1acb8bfb71d90bd14112d4100b38479fd980ef97","datavalue":{"value":{"entity-type":"item","numeric-id":476189,"id":"Q476189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$53059292-8FBD-4920-8CCA-177D5AFF9E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2b0b5d78150bf277acb227481af0b32e386f91a","datavalue":{"value":{"entity-type":"item","numeric-id":315293,"id":"Q315293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$AB53BDA8-3BCC-40CC-9CBD-B9E7E61889DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a06953f1ce467883a97ed3a2a975ddd0ef370fc","datavalue":{"value":{"entity-type":"item","numeric-id":221711,"id":"Q221711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$BF2946F5-7E64-4BE6-AB17-658CFF2BAF6D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$50CC6A1B-AE5A-41B8-AE62-A4A8DBC59268","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"076824462e9739de83dbd861126210324c665107","datavalue":{"value":{"time":"+2015-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q890614$D6C63C3D-A455-4EBC-9C37-D09EA007C9EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"983239d6e7da81bfc7351ef66396aff51c6bc16f","datavalue":{"value":"https://arxiv.org/abs/1510.02229","type":"string"},"datatype":"url"},"type":"statement","id":"Q890614$1CB14F95-B965-4B3E-B54A-833C18B7E922","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890614$0C263341-DAA0-43D6-A7B1-7C98FB2CBC80","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0689141ff47103f521e8a8a0448eeaf08075b11","datavalue":{"value":"6506926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890614$D5A2119C-7159-4EC6-A364-42A6682200E3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9be3c881819601db6c208fd04cd17cc7030c18ec","datavalue":{"value":{"entity-type":"item","numeric-id":15656,"id":"Q15656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$6CE18A9F-8364-456D-9638-5F06DDB834E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$EC2632BA-D747-499E-93BA-B9E246C8094D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcd47c161806a25bc13ea42a8c1475e950973b73","datavalue":{"value":{"entity-type":"item","numeric-id":19351,"id":"Q19351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$A97DDAE2-27C0-4540-9A8A-7EF8CE6DB0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7035d74df811cce22a8e329c44207d411d090597","datavalue":{"value":{"entity-type":"item","numeric-id":20919,"id":"Q20919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$500711FC-F5AC-456D-8807-2ECDE2AFCE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4baaec8dbb9129dec61542780391e732464eec00","datavalue":{"value":{"entity-type":"item","numeric-id":19018,"id":"Q19018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$B2E94BA8-B7E6-45FA-9911-CD78D3751451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1ff223f4a816479bd35b0519dd1cb125f31c19ab","datavalue":{"value":{"entity-type":"item","numeric-id":32677,"id":"Q32677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$AD17C9DC-2646-42FF-AAB7-428B8578E0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0d722dce3a08405fed52ff284d46aa4a7ddebbac","datavalue":{"value":{"entity-type":"item","numeric-id":28347,"id":"Q28347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$5058FCA9-F0CC-4191-B1FB-8467DC67A975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17b6bf936b27bf52d41c01b7a092635fe801ec6c","datavalue":{"value":{"entity-type":"item","numeric-id":39279,"id":"Q39279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$3EE51490-C546-42B1-8EA5-11DB71E71BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"11f28889d608e0b52368ee976560c99135cdb26e","datavalue":{"value":{"entity-type":"item","numeric-id":44709,"id":"Q44709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$EF3E1A62-3D46-44A5-9E9B-34BD5687C397","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":"Q890614$D23196ED-6D58-4CB2-A76A-132F548FA0BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"290fd3a6667804afcbdfbf053359baae4ed67855","datavalue":{"value":"W3105067267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890614$BF9408C9-441A-4E60-88B5-B26045BD899F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"30456fbff3fab9b7db51bf2eb451861fd4063750","datavalue":{"value":{"entity-type":"item","numeric-id":4986741,"id":"Q4986741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$DB2856F5-437A-4B1F-8557-7E50DF0B82C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f1d02365789c4a15cd90707502595a194d34df9","datavalue":{"value":{"entity-type":"item","numeric-id":5326760,"id":"Q5326760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$5C404D68-A854-4C5B-9AFC-CB4794C9D3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573f4b13676257f05e5c837dd13f89e383edef81","datavalue":{"value":{"entity-type":"item","numeric-id":2945134,"id":"Q2945134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$B61FD6C4-5B3A-40C8-BA80-84DD25953BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bace140d53613aa56d9802cf9b7e6c19e2f4bd3","datavalue":{"value":{"entity-type":"item","numeric-id":4621158,"id":"Q4621158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$80FD11E8-CFD4-467B-A0C5-C2082218AD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3e4c8c3d91aa2d87b66422a3f989e4344cac73b","datavalue":{"value":{"entity-type":"item","numeric-id":2902531,"id":"Q2902531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$2369B85E-5031-40BC-B7F3-9C0A4D0C5D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f982ccf1638983550971b32200b3dd06cb60697","datavalue":{"value":{"entity-type":"item","numeric-id":3541035,"id":"Q3541035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$A4B0DF0D-67C5-4C72-AF7E-F97839CEAA7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7498fd20b5bc1173c2b277cb9f3b2bb961953bb","datavalue":{"value":{"entity-type":"item","numeric-id":3584928,"id":"Q3584928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$266A3B46-E958-450D-A164-A47FCFAEF53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76196bfc8a5999c90817decd450dc1fca8f46717","datavalue":{"value":{"entity-type":"item","numeric-id":4676156,"id":"Q4676156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$D2558F53-3AC5-4F24-8811-0D2D8E6A4AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2220cc6866bba35711b6fb8a1015f9bf91cfea7d","datavalue":{"value":{"entity-type":"item","numeric-id":1886452,"id":"Q1886452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$2DF0E0EE-3A3F-4946-9E0D-253D75642505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d3ded47d522181f913b9f33a249ef94198aa6fa","datavalue":{"value":{"entity-type":"item","numeric-id":5505419,"id":"Q5505419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$9064C893-EC7A-4690-AE19-ADE325441BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"339e9b87b316ce7468c84c4cc47a6905a2b7929d","datavalue":{"value":{"entity-type":"item","numeric-id":3584932,"id":"Q3584932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$F5BDE013-BBD8-49BB-AD3D-A7B63A0213DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5034bf56614ac59a4574108650124d1b58cb7536","datavalue":{"value":{"entity-type":"item","numeric-id":462485,"id":"Q462485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$A9DD28EC-25DC-4165-9D93-8F185E70D1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc5cfe451ac5bee7bc1d074b5dd2080580fb3a58","datavalue":{"value":{"entity-type":"item","numeric-id":3584933,"id":"Q3584933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$170993C1-A874-42AA-8653-C0C793276817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d137f7a110c1608cc63b985edf1449b4c1be869b","datavalue":{"value":{"entity-type":"item","numeric-id":5394792,"id":"Q5394792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$C96D5D3C-CE80-4885-89D3-9576BC213847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7249997795b9d02768ef290f3b6e95e3bd93aadf","datavalue":{"value":{"entity-type":"item","numeric-id":2892728,"id":"Q2892728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$6A6941F8-96D5-4B04-9C8E-6E41C21B699B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9971a8b9ead8fccd2d646b5dfe136f3be07427a","datavalue":{"value":{"entity-type":"item","numeric-id":4134927,"id":"Q4134927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$ABAE18BA-0549-43DC-9AD2-EBE239DF5F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e18d1ff9e4f878683676cc1b8d2c70670171782","datavalue":{"value":{"entity-type":"item","numeric-id":1021571,"id":"Q1021571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$50E4738C-CE15-4FE2-B824-7DD9FB5F0080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c3d1dc465addf5e461e37a453df1cc20b5f2a9","datavalue":{"value":{"entity-type":"item","numeric-id":3003511,"id":"Q3003511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$2C1EB684-C6E5-4BA1-B5E3-C0400365C997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91fa583c232b3c30e309aa7883c6937564c8340a","datavalue":{"value":{"entity-type":"item","numeric-id":3608462,"id":"Q3608462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$57C186C8-A8E2-4D34-BFE1-DE596E6CC1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1289356ddc2ae2b4ccfd2f1b77e581a92b1e78c5","datavalue":{"value":{"entity-type":"item","numeric-id":935467,"id":"Q935467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$84250515-9675-408B-BB58-4D8CCF6EF4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8f9872d5eb508cfdb0f0acdb8de210e550fb510","datavalue":{"value":{"entity-type":"item","numeric-id":5410693,"id":"Q5410693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$F891979F-346E-4A30-97DE-C5CCDA569652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a95724bc3aa512c215004e8cf84c8924f4a15c46","datavalue":{"value":{"entity-type":"item","numeric-id":5949704,"id":"Q5949704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$34D657E3-BE4F-481F-B9C9-62C98FDEE912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27a993b508679dacdb66e1ad0a0a57b07d74d4a6","datavalue":{"value":{"entity-type":"item","numeric-id":2566029,"id":"Q2566029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$314C61D4-5868-47C7-966F-A5BB6DD52413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af397c089a22cad0ad4f1100de3dbef8c4a60a2","datavalue":{"value":{"entity-type":"item","numeric-id":2576666,"id":"Q2576666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$D5273C45-44F3-4397-BAF4-128DFD4F9CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$E0B841BC-2B94-4658-B2AD-FC95B0654F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f5cb53d50bb4fa29eff1ca902f010d917a30537","datavalue":{"value":{"entity-type":"item","numeric-id":1399972,"id":"Q1399972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$0EE35AD2-FC65-4AB8-A74C-3EF97EABC0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$B14604FC-D069-4C22-9E82-AE02EFF25292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fddc19db3a580a1f11bd661df24f3defde199f0f","datavalue":{"value":{"entity-type":"item","numeric-id":1330433,"id":"Q1330433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$80FFB085-DDC6-4319-9707-5D314ECEE490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da7ade54cc3f3d6daecae2d2fac3051c53f7ae8c","datavalue":{"value":{"entity-type":"item","numeric-id":1772311,"id":"Q1772311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$6B44BF82-1F94-4931-A310-E7BA83602EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"618ab20bc755a2294a3fce57d311b20f33c17532","datavalue":{"value":{"entity-type":"item","numeric-id":4518881,"id":"Q4518881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$8E1FC362-451A-4815-8419-0E5EF7F1415D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb775710df417de62fb5abc6605142162bfd946b","datavalue":{"value":{"entity-type":"item","numeric-id":3189846,"id":"Q3189846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$A8EA0D8C-17BF-43B9-BFB0-9D3F6FAD8782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ced8777200e419a87b3d16001799ea7f2175196","datavalue":{"value":{"entity-type":"item","numeric-id":3634722,"id":"Q3634722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$C75B2647-7AC4-49E5-A0D5-6286B0EAA293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c34087679b8be9a79e599b75c8bfd76ccf1ac3","datavalue":{"value":{"entity-type":"item","numeric-id":2497143,"id":"Q2497143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$D818F4C6-A0D8-4675-B570-FAF9BFDBF4B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9efd3531eb26971f85b05a12f684825f6b7a9352","datavalue":{"value":{"entity-type":"item","numeric-id":2581011,"id":"Q2581011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$A9539FC4-A553-4916-AA89-C6B625EBB083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c6a6f7e2a9b0caf970337443b1fe43663e64161","datavalue":{"value":{"entity-type":"item","numeric-id":3508528,"id":"Q3508528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$DCCF8542-6AD4-49C2-95F6-B21F861ED294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e545f1adb45625b2fad19601bcc83d390e150b5","datavalue":{"value":{"entity-type":"item","numeric-id":4635657,"id":"Q4635657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$A2C572EA-AD97-4CA7-B383-053489F9CA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c3df969a7db5f5a8744a8ba26eb82eff05a5400","datavalue":{"value":{"entity-type":"item","numeric-id":476190,"id":"Q476190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$E8BD7399-2FAE-4EBB-8301-94F2900879B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9e1b57f934a5ea607e669ba21b3d69c7da2cfc1","datavalue":{"value":{"entity-type":"item","numeric-id":3100198,"id":"Q3100198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$2E7D8457-2178-4C68-B730-1345817EAF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3829033a3a6eac6c5f55f72e44bb58662b45ae91","datavalue":{"value":{"entity-type":"item","numeric-id":3184696,"id":"Q3184696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$8BFECB77-1366-4873-B4D8-755CA03D86CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"275936cfd6130214e9d1021873d4a644d84981c6","datavalue":{"value":{"entity-type":"item","numeric-id":5398328,"id":"Q5398328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$33E47043-5944-43C0-9EA8-5C10724A93CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42cf73ad04ffa126cd3bb7ee704b873c7eada778","datavalue":{"value":{"entity-type":"item","numeric-id":2811931,"id":"Q2811931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$0E8D5F51-4E83-420D-BB3A-06B48E633987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1019b1fafc84cf2571084c1c73c275ee4f0cee4f","datavalue":{"value":{"entity-type":"item","numeric-id":3558249,"id":"Q3558249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$DB205025-BE0B-46CA-AC5F-74B732AAC323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8455ebb2ea2f6763d15a720cd36850b6adf14264","datavalue":{"value":{"entity-type":"item","numeric-id":3413374,"id":"Q3413374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$5E1FC636-2CE8-4A9C-B967-68E9A6B11016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"891f653819c7b523eb5a7d99745feef5f280657d","datavalue":{"value":{"entity-type":"item","numeric-id":859841,"id":"Q859841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$0976F8ED-F95E-4B4D-B332-990143C4EC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56be7697af4dffc8e38aaf2912a4f00e2fd65e22","datavalue":{"value":{"entity-type":"item","numeric-id":3030239,"id":"Q3030239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890614$B3368CF8-FA00-4AF2-B316-1617A1BBD1D9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c0e5e6209dc7be23f32e2c0b656b35774ec1239c","datavalue":{"value":"Q57652373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890614$A1CC5000-13DC-4BC6-A7CF-16B2DB3C06D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f18ecbfab3d800ad7fbc8038cf85f2917c1986e8","datavalue":{"value":"10.1016/J.JLAMP.2015.09.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890614$3CAB5CAA-47B2-4095-A820-7E2E03EB1E5D","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"d6ff797aa5b6e6f62621e5d5c4ff166d5f5c0219","datavalue":{"value":"journals/jlp/BartolettiCDDGP15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890614$F1578676-60AC-4B45-8614-F443F7B0BF07","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ea09af695ee50c49c7e6d93bdb5f64c6f7d000c","datavalue":{"value":{"entity-type":"item","numeric-id":5741560,"id":"Q5741560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0d5a57efbd704a4f95b3a9d34e3d071fa604721","datavalue":{"value":{"amount":"+0.75162672996521","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":"Q890614$C56AFF5C-C318-44C6-8754-07D9679EAFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f5827f126a567803d4dbe2c7796922fedb91178","datavalue":{"value":{"entity-type":"item","numeric-id":5741565,"id":"Q5741565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54fdd1d14ca5f4cdea956a5167d2114988b3dc37","datavalue":{"value":{"amount":"+0.748104453086853","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":"Q890614$5DCE5764-797A-46EC-BF51-31FC2A599F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ba14d364e976a6149fdf135a74d47d108a3264a","datavalue":{"value":{"entity-type":"item","numeric-id":2822666,"id":"Q2822666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f15a38d16b7e34307c7b74d5a142c636628c7b5","datavalue":{"value":{"amount":"+0.7331114411354065","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":"Q890614$6AD54C77-AB45-4361-8889-E4E11012F079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f632d456c53eefa8fd4a2180fd36d1e29a6cbecf","datavalue":{"value":{"entity-type":"item","numeric-id":4967196,"id":"Q4967196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c9c6163ea2c2ed1ccfba8b7febf7f9e0fd695d5","datavalue":{"value":{"amount":"+0.7294245958328247","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":"Q890614$86C42B06-3113-47D1-BEA8-1D63706602A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b849c4ce94f9f4a8873744bfc9f7ae5f093d7653","datavalue":{"value":{"entity-type":"item","numeric-id":5881535,"id":"Q5881535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7971d85ce652fc4c7c1b27586937c8034832b4fb","datavalue":{"value":{"amount":"+0.7159026861190796","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":"Q890614$D13E2A64-0F2A-4633-B640-159B7BC92526","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combining behavioural types with security analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combining_behavioural_types_with_security_analysis"}}}}}