{"entities":{"Q4965856":{"pageid":6995435,"ns":120,"title":"Item:Q4965856","lastrevid":58368966,"modified":"2026-04-04T22:17:55Z","type":"item","id":"Q4965856","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7319029"}},"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":"Q4965856$1CA03C17-7EF0-49EA-A18B-0F1BC39E0F85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa8b9222e49b2c6e8424371988b8ca6b77594d37","datavalue":{"value":"1457.68182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4965856$07389E5F-2B17-4989-8305-388C44AD6C71","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2a457ca075b6a25984ded6a326e159b4db8d948","datavalue":{"value":{"entity-type":"item","numeric-id":462484,"id":"Q462484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4965856$CF6AAEBB-5711-4533-9FE1-357CFB5A6368","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":"Q4965856$059DBA3C-6F5A-40EB-971B-901208C12C72","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":"Q4965856$9CC2771B-6E17-481F-BDE8-D01555D73D3F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d07f1615638384ca69a50bef14bf883b80a1545","datavalue":{"value":{"time":"+2021-03-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":"Q4965856$92E30011-3EDA-4C87-8323-E5795AB1B836","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71d780330bdf8a7b9fe553b01bf10cd59738d79a","datavalue":{"value":"https://arxiv.org/abs/1108.4465","type":"string"},"datatype":"url"},"type":"statement","id":"Q4965856$5F6D95A4-32ED-431B-AC23-BAFAD50295E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9788d584a0c88fe107419c5b57c4927c70e6a14","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESS2011.2","type":"string"},"datatype":"url"},"type":"statement","id":"Q4965856$58F14AED-81BE-414C-AC2C-130F68225F29","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4965856$35CFA50A-A797-46A2-99A2-3BECB6ABB1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2335101d556243c88261e1fccd8d7026b2856a8a","datavalue":{"value":"68M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4965856$9D4DD777-97E6-432A-BCAF-070E83AA72FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4965856$B4709DD7-CF22-4C53-8576-474A785560EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60527ef227c289910b4ec954af2f5bc16f5e96ff","datavalue":{"value":"7319029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4965856$76B6DD15-2A6D-4847-A042-80F2A47D154B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4965856$72DED1DB-00A6-4450-A780-C7CE9AF90E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"604404ac7c8e3df0e14f87ef6e52bbf260ea7efd","datavalue":{"value":"session calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4965856$9826F33B-8853-4182-A266-8027655D119A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfaff2e656c9ea4d9057132f06ae95194b97478d","datavalue":{"value":"secure information flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q4965856$A4283E1B-80DE-4CD2-9A9A-223A2BB64062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bc664d58470e50f20f05be982dee1931a29c1a1","datavalue":{"value":"monitored semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4965856$B7DBBBCC-597C-4E0B-841A-BFED6BA3D5C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q4965856$0FE7AF2B-DEE2-4E48-8A7F-A23E9783E97C","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":"Q4965856$A0ADB35E-80DF-470C-98E2-7C3BBB88BB41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d58e68e0597540dec8404531c5e8c98272ad0a5f","datavalue":{"value":{"entity-type":"item","numeric-id":2971077,"id":"Q2971077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbab897a6d3e720dc80b67e0eef4e13e205a07dd","datavalue":{"value":{"amount":"+0.9999999","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":"Q4965856$0F7D0EA0-213B-4EA9-9FBD-C8C9FBCA7B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d9b643944cd7d9d8464fcc857511eb0de61f38f","datavalue":{"value":{"entity-type":"item","numeric-id":3619469,"id":"Q3619469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a861b04acd1de9439dc2d3395968d1f80c885353","datavalue":{"value":{"amount":"+0.89058435","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":"Q4965856$9621A988-C32D-4F4E-B0ED-A7FDA2C45128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66020237595b6741d33f7d0399761a632f7c4214","datavalue":{"value":{"entity-type":"item","numeric-id":5146656,"id":"Q5146656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18aaf543f34205288bd20c079931d046c6b7be3e","datavalue":{"value":{"amount":"+0.8858027","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":"Q4965856$5C9A54DA-5315-4B3F-B15E-AB46FCAC03DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c361968ba2e497454baffcfb09deabdf045cee2e","datavalue":{"value":{"entity-type":"item","numeric-id":5205794,"id":"Q5205794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e94c279e20190cac36feb4559b4aeae5fa789da0","datavalue":{"value":{"amount":"+0.8848788","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":"Q4965856$3A443D7D-CCF4-40A1-9308-ECC29A101653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"479a5a1e20de477174222eef4a7555eced92e333","datavalue":{"value":{"entity-type":"item","numeric-id":4608620,"id":"Q4608620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e94c279e20190cac36feb4559b4aeae5fa789da0","datavalue":{"value":{"amount":"+0.8848788","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":"Q4965856$583BFE19-A55A-4AEB-A328-B749BDC38DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2701b64854ca26f360cd175f7b55c7510d9afcf8","datavalue":{"value":{"entity-type":"item","numeric-id":3304808,"id":"Q3304808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0399e26c66f69d74a0732b352ecb6ac96180e6c9","datavalue":{"value":{"amount":"+0.8842943","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":"Q4965856$5BFB596A-679B-44CD-9EA2-73E7DD751F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ba47d76f90b3ef560107f343f2413947c6f846e","datavalue":{"value":{"entity-type":"item","numeric-id":5897442,"id":"Q5897442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"319a32ab62775ab8c84e168394dbaaa5ddc5712c","datavalue":{"value":{"amount":"+0.88280493","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":"Q4965856$6630B3A4-863D-41E0-B27C-9A932F304064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f03c6ba00a9b697d5ca8e106c7517dd8a588af28","datavalue":{"value":{"entity-type":"item","numeric-id":3325624,"id":"Q3325624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"261d1ae56369d224e5776c24a12c11695c5aa162","datavalue":{"value":{"amount":"+0.8793995","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":"Q4965856$6FD2D47E-1A72-4231-AC5B-9B9820971BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57200323b77893bc89488ab181fb8c0edc39ac4a","datavalue":{"value":{"entity-type":"item","numeric-id":315296,"id":"Q315296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37dd8fb8b3c9e6efcd8dd5ced93a70e285f19360","datavalue":{"value":{"amount":"+0.8792803","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":"Q4965856$BE16D015-8927-42AB-B02A-EFB9BDE6577F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4965856","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4965856"}}}}}