{"entities":{"Q3608898":{"pageid":5638804,"ns":120,"title":"Item:Q3608898","lastrevid":49679320,"modified":"2026-01-09T00:02:30Z","type":"item","id":"Q3608898","labels":{"en":{"language":"en","value":"Non-interference Properties for Data-Type Reduction of Communicating Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523903"}},"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":"Q3608898$E5D9C63C-35D6-48BA-AA55-ACB729342BE5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b53f6cc9a4050865b29b1b64c29c2ca4970545a9","datavalue":{"value":{"text":"Non-interference Properties for Data-Type Reduction of Communicating Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608898$18DA311D-1E6D-45E3-BD12-3CC787981036","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93e7fb86fe795d243863ea79464b302799108fc9","datavalue":{"value":"1213.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608898$55A61FDD-638E-4433-97B4-D7C3A6870EB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19b59c039ccad778e3f443a887453b24326fa8d0","datavalue":{"value":"10.1007/978-3-540-73210-5_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608898$D5E28CF9-B057-4803-A7C3-97DA16C71E90","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69fd14b62dc172e64c0b7c449be7f2153de7aa1c","datavalue":{"value":{"entity-type":"item","numeric-id":271720,"id":"Q271720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608898$20995B13-1E4D-4CD6-817B-EED8359B921E","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":"Q3608898$19E3ED89-87CD-4827-BD0D-E14042E22BD8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19a1026dd4f6172034494e7235e1c6afaf15c529","datavalue":{"value":{"time":"+2009-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608898$2BA7AE63-F362-4FE0-9E56-329910C0FED5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608898$6F11129C-AAE9-45A6-B4AC-364BD4327DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608898$FCD99655-7DCD-47ED-96CF-7018BF62D7F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a54274a0ec0cf5cc67db64d5050aea85ef1b62b9","datavalue":{"value":"5523903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608898$CC4B7918-5911-4BEB-BF7B-AE0425D11981","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":"Q3608898$16979D54-EE48-4758-AF0B-627AC172B435","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3fcbb731bdcb3858de12b381386123361a90546c","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73210-5_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608898$927323AF-B4A7-4B6B-B650-D5B1D8301DDD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7adeb521d5172bf8f602b8ae6705b99541bb660e","datavalue":{"value":"W1607787799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608898$EC8DD462-19DC-4A1A-AAFB-164DBB6FF7E2","rank":"normal"}],"P1643":[{"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":"5d4ce24174cf1128aa28b99a8de54a6026c84907","datavalue":{"value":{"amount":"+0.8176398","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608898$541B3297-E6C7-4FC2-9DC4-107C774A4199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9ae06b323bd1325bcc67eb9e875ccb626151357","datavalue":{"value":{"entity-type":"item","numeric-id":5393997,"id":"Q5393997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5dbb390ed3032434ec13cf14c529e387e78eea9","datavalue":{"value":{"amount":"+0.8163552","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608898$99AF11D3-0BAD-4150-B2FD-CD4DE93277B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c627fee83162a10b7f15ae07d2cce803aaaeed7","datavalue":{"value":{"entity-type":"item","numeric-id":3553917,"id":"Q3553917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a884401dc07ced2650771b8dec219ca464b21f61","datavalue":{"value":{"amount":"+0.81309456","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608898$72E411C7-9B99-4720-8992-4F3BAA24CD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78a75a6e0d71a8635afb04612d2b232feeabd1e7","datavalue":{"value":{"entity-type":"item","numeric-id":3606357,"id":"Q3606357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16852e73d2c5d53f7bcd1efe8a0f7916b171844f","datavalue":{"value":{"amount":"+0.8102521","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608898$701DC72C-9CF9-4523-9533-70BEE445159B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a99750c9c3a274f15bd5fbd1dd08c1112095d9cf","datavalue":{"value":{"entity-type":"item","numeric-id":533921,"id":"Q533921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"117b6aab9d94a5028643b8ffc7d5f39d11f53083","datavalue":{"value":{"amount":"+0.80906224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608898$A4F56B77-E58D-4985-B2AD-C1E7EBC2248D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02a758ce33eed6293c1bdf7aea787fe82bd44610","datavalue":{"value":{"entity-type":"item","numeric-id":2119081,"id":"Q2119081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acf0ac472ad197366c2b28d59fc1d6d4818c1051","datavalue":{"value":{"amount":"+0.8089947","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608898$FCA603EF-0A96-48A2-98B9-96BA88F84D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19251c04886036887613e8c420ba3eb7783f0606","datavalue":{"value":{"entity-type":"item","numeric-id":4904106,"id":"Q4904106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a28924ae70ebf9d2c090ef2305063e27216ea50b","datavalue":{"value":{"amount":"+0.80876124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608898$B52C2FAB-CE00-47B3-8D76-8E89E742B9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fce420774f459ad9dc112471eefb8278d2c679c0","datavalue":{"value":{"entity-type":"item","numeric-id":4465479,"id":"Q4465479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eb8d7039468a6bf0306fb22f3c3dd332a22f4cb","datavalue":{"value":{"amount":"+0.8075539","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608898$8AD57E33-E78E-40FD-A464-103798B5DED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e285570ad8985431784f8c43ec132238862c0e20","datavalue":{"value":{"entity-type":"item","numeric-id":5490407,"id":"Q5490407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"565f368fec367a79d301b99c20faa98197afcc54","datavalue":{"value":{"amount":"+0.8063297","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608898$89693BEF-B4E7-493E-A386-9EF2D4D7A28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb941bbb35ffb7c5237388fa7552bd87cccbd11c","datavalue":{"value":{"entity-type":"item","numeric-id":3829058,"id":"Q3829058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d2039e36cb12f6abd2afbc7c5f7a59f1b290d65","datavalue":{"value":{"amount":"+0.80610067","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3608898$8694AFB1-6058-4174-83B9-BD1F0DAE72A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608898","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608898"}}}}}