{"entities":{"Q826053":{"pageid":827901,"ns":120,"title":"Item:Q826053","lastrevid":54187487,"modified":"2026-01-26T10:32:39Z","type":"item","id":"Q826053","labels":{"en":{"language":"en","value":"Non-interference through determinism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7449654"}},"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":"Q826053$80025400-1253-4F2D-A717-1AAECE066039","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0fc10ca574c0ec85c153082eb6602322fd0338d","datavalue":{"value":{"text":"Non-interference through determinism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q826053$B367669A-A680-4F78-B73A-0202D56DE6C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"174558b8ad7148c8e3474c94194cbcc6510373ab","datavalue":{"value":"1477.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q826053$7D51DE61-9D70-46BB-AFFD-6E25417A9B73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3f492471e829b54d2ebb9ab09bd7b5faa143ae9","datavalue":{"value":"10.1007/3-540-58618-0_55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q826053$7F8CE802-1D17-40C8-BC8C-AABDE3BE9517","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80461d6d9d7339257b40c85e88b219a6425c5ace","datavalue":{"value":{"entity-type":"item","numeric-id":333321,"id":"Q333321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q826053$DBFAF477-F507-4F8C-AE35-62F9E89E776F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f50520e0dfe9b201fccdcdaf0b58056733a7110","datavalue":{"value":{"entity-type":"item","numeric-id":826051,"id":"Q826051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q826053$68BF3EE9-6F5F-4B5A-B9F7-7A11B9A2AEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c0874f6b42e806167fb01791554afa13be53ba0","datavalue":{"value":{"entity-type":"item","numeric-id":1725761,"id":"Q1725761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q826053$CF25A9E6-B13F-4288-841A-967DC9336088","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ab89d2d50f17f450d659ae9b22b10d627e5aa712","datavalue":{"value":{"time":"+2021-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q826053$454B73B8-EA68-4F8C-898C-4F36E0FB0F99","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d863ffa50ad4a9c24aa968f205efd86abde708e","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.97.7308","type":"string"},"datatype":"url"},"type":"statement","id":"Q826053$1E75CF6E-4D88-44AF-A07A-4D53C2887E9C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2335101d556243c88261e1fccd8d7026b2856a8a","datavalue":{"value":"68M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q826053$3DA2A175-2030-4D9C-91EB-1B1F74DB8373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q826053$16AC127A-04C7-4F43-B754-254E8797C934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q826053$5C95F492-7B13-4D27-9C33-F963890837D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1668f2ea5ac102e58a86afb71a42ae88f47829c8","datavalue":{"value":"7449654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q826053$57E2B0BD-B8BD-4FE7-B7ED-E5E9B02E62C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q826053$A4FD99DD-7837-4F97-84CD-63A7FB7B8E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"047c6c37b1b59065ab8a30c63416b0516d5d913a","datavalue":{"value":"non-interference","type":"string"},"datatype":"string"},"type":"statement","id":"Q826053$82C1B3C5-BB6A-4F9C-9708-ECF614C30998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q826053$CF21120F-6A60-4C60-8BDE-6C7C07B61AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q826053$AE7FC428-2880-4876-987C-C4B920782B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52ba6d968a7617d9b56b80603a9b30974da2b918","datavalue":{"value":"determinism","type":"string"},"datatype":"string"},"type":"statement","id":"Q826053$2A6FDD69-EEFC-4CC6-BE0C-4B1E04C48BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c20b4fa4782bc26ad106d3b73d2e44447725459e","datavalue":{"value":"automatic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q826053$30A85786-6E3E-4E88-8D32-956D1D081C9B","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":"Q826053$F93DBCF8-184B-4CDD-BB7F-B0044BD7DB43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d6d9cec1b14f2c473da55835685c9629d22dd2d","datavalue":{"value":"W2948700248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q826053$A34AD62B-C8FB-4696-B593-9F7B4EFDF08D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73779578f27228e8dadc17cde41a0ab6341975ce","datavalue":{"value":{"entity-type":"item","numeric-id":4798025,"id":"Q4798025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf149672d94d5459689ab0da5f5cfbf782bb29c7","datavalue":{"value":{"amount":"+0.7835770845413208","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":"Q826053$FD34C692-DFF0-49C3-A986-4EB4FE31A221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dcf7cf1d1e11e266b979ee5676f2f97e1288ddc","datavalue":{"value":{"entity-type":"item","numeric-id":3591420,"id":"Q3591420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf149672d94d5459689ab0da5f5cfbf782bb29c7","datavalue":{"value":{"amount":"+0.7835770845413208","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":"Q826053$18387512-371E-4286-9DB9-51733B7EC3AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5358b74b0f8a8581972d726b00ebda753e488743","datavalue":{"value":{"entity-type":"item","numeric-id":1708712,"id":"Q1708712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25cba14f51d9980396b468ef52303b4f7159a94a","datavalue":{"value":{"amount":"+0.7832095623016357","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":"Q826053$2C7AFD87-0BF7-4812-863D-BD5B0EFD9581","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":"115d581ce5ceb564f50b832754b5afbb7c28dbf4","datavalue":{"value":{"amount":"+0.7725249528884888","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":"Q826053$E46028CB-6672-41F7-A486-9EEF0FAD5B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ab7c5ddcb588620156db6a9a82e0d4ed9ce157c","datavalue":{"value":{"entity-type":"item","numeric-id":5504602,"id":"Q5504602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e77f0b1a3badb027dcdabd19575f3f72b7a578b8","datavalue":{"value":{"amount":"+0.7680807113647461","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":"Q826053$5A126376-865C-4710-8143-109264E49A5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:826053","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:826053"}}}}}