{"entities":{"Q5902544":{"pageid":8012203,"ns":120,"title":"Item:Q5902544","lastrevid":50871674,"modified":"2026-01-15T12:44:07Z","type":"item","id":"Q5902544","labels":{"en":{"language":"en","value":"The Kell calculus: operational semantics and type system."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5655967"}},"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":"Q5902544$2DCA0905-3534-4C8E-817C-FC55B1107879","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"363ca424090ed56c7c7a013242ba064621ef3cf7","datavalue":{"value":{"text":"Formal Methods for Open Object-Based Distributed Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5902544$4AE5FC40-F283-46DE-AF48-CAF80A2167A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5808ac07bd6f504b9c4b5a3247b5f5d56fa12f59","datavalue":{"value":"1253.68235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902544$0ED2152E-FA72-47E7-8A31-647F02012841","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b983717cf371836e5401a601543c8479d22222cb","datavalue":{"value":{"entity-type":"item","numeric-id":930878,"id":"Q930878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902544$839364FC-30AA-49FA-B79B-A11B32290567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c81fa914816673215f0fc2fbca4f9fe394b7c3d9","datavalue":{"value":{"entity-type":"item","numeric-id":264995,"id":"Q264995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902544$FC800A30-010B-427F-AF28-702E93E4AB30","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":"Q5902544$805E9BA5-9DA9-42E3-8DFF-CA2B0DCC25FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"149999f0c51cbac40d9c91928c2dc96d82dca2c9","datavalue":{"value":{"time":"+2010-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5902544$EA7E17A5-1345-4E37-8ECC-60ED8B6675DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902544$966772F7-F4EA-4D0B-AADE-462DFA6802B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902544$D0194720-1C34-405D-B1E1-528416F47A5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e2788eb2f083316c2ceb905e78b197ec1448a0b","datavalue":{"value":"5655967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902544$48D1CDAF-A5C8-4690-9C34-1EFB060DC35E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"859c013267f0cd05f93b102a5aea26ac3d2a9a42","datavalue":{"value":{"entity-type":"item","numeric-id":14458,"id":"Q14458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902544$F067B3DF-AD22-417C-9C1A-EDDBB4288085","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":"Q5902544$FED8881F-00E6-4F7C-B926-52EE936D09E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60ecfb77cb46c115fc8dde8520100c4c50d11d0d","datavalue":{"value":"https://doi.org/10.1007/b94120","type":"string"},"datatype":"url"},"type":"statement","id":"Q5902544$670BC50F-CB2C-42E1-AE94-203461709707","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e073dc8678288ecd82bb6e5dc673ce7397119a7a","datavalue":{"value":"W4205898334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902544$CE78EAE3-0FF6-4DF1-9B37-89DEA4155FBE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0efb0b5e33777c37dabb817e541725a6ed71c215","datavalue":{"value":"10.1007/B94120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902544$A95180CC-3082-4F4C-A89E-EDFED9A503F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ea888ad096316a9e2a4f07e47466c7a41ea9a0d","datavalue":{"value":{"entity-type":"item","numeric-id":2844040,"id":"Q2844040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bd0ebb2dcb302bd21533eeff1d05f8cbe959095","datavalue":{"value":{"amount":"+0.893286406993866","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":"Q5902544$823DEC0D-F222-4174-A7F1-66D9519875A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de1b684f810dc99e8510dbd7a3f8c408de24113f","datavalue":{"value":{"entity-type":"item","numeric-id":2942912,"id":"Q2942912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"424c994d37d7b585e7b74d903f08b710a8477cc1","datavalue":{"value":{"amount":"+0.8355790376663208","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":"Q5902544$B3963D16-5416-4D83-A263-319A3704912D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b496b4d5aff8e3dac6e8e224885fd8c90818d33","datavalue":{"value":{"entity-type":"item","numeric-id":5464841,"id":"Q5464841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb5c46cfbd241bd003ca95e3619c988949599312","datavalue":{"value":{"amount":"+0.8349700570106506","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":"Q5902544$68B51681-8126-485C-B98E-B9109654F801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ae66ca1469a95de7f5a2bc429aaed56d9668e09","datavalue":{"value":{"entity-type":"item","numeric-id":4989023,"id":"Q4989023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fa97e288cab59b0c9a3da4eb1b1561378beb4f5","datavalue":{"value":{"amount":"+0.7852801084518433","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":"Q5902544$B4FA958F-A323-4B94-BACE-B8E347136277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcbf49e91393d10ea7428e57e16f8fd4df4a4efd","datavalue":{"value":{"entity-type":"item","numeric-id":4921499,"id":"Q4921499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c225e01c195db6365167ae5ce6ec0c6231307369","datavalue":{"value":{"amount":"+0.7820941209793091","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":"Q5902544$A51CA6CD-F969-458F-9E55-E707BAE397CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5902544","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5902544"}}}}}