{"entities":{"Q6104495":{"pageid":13238802,"ns":120,"title":"Item:Q6104495","lastrevid":58684341,"modified":"2026-04-06T07:50:17Z","type":"item","id":"Q6104495","labels":{"en":{"language":"en","value":"Stateful Behavioral Types for Active Objects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7703767"}},"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":"Q6104495$156355CD-771B-4FC7-B08C-978B7EDD52C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c16b76c0d0405a6f014c94d8938849b4889c3efb","datavalue":{"value":{"text":"Stateful Behavioral Types for Active Objects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6104495$039C1421-4FE1-4CA4-BDE3-88E1D490FF3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7936ac4631039b74a2b8270a02decdffaf7644c8","datavalue":{"value":"1514.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104495$E8A19520-0AFF-4D47-A064-9C86B6B4DD8C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"730f9c0277f7eee231581eb16e04313180e79adc","datavalue":{"value":"10.1007/978-3-319-98938-9_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104495$BF75B06D-D11A-4DFC-8B17-7B4D78980DC0","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":"Q6104495$046D8B41-E9ED-4DEF-A804-EF0070D5543E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b878ec3713c817dca00288e268c11822e517167","datavalue":{"value":{"time":"+2023-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6104495$88EB3CE7-8665-4549-8128-AEA7BB4FA6AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa48cb6bd0418eca55cc6598c75c153c62f2ecad","datavalue":{"value":"https://arxiv.org/abs/1802.08492","type":"string"},"datatype":"url"},"type":"statement","id":"Q6104495$ABE3DEC2-B957-4C63-8BF1-CA2DF89EAE12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104495$7283A3E0-55CA-40D5-9A46-AA1795EA28E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"050a59f880b6a363e18538cb345a00e9e448c7f5","datavalue":{"value":"7703767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104495$9EE7230B-7C94-4548-ADC5-879FBE66C0C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7e0be8668f4bfed6596e70599d38da611fbd720","datavalue":{"value":"behavioral types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6104495$3BD80948-7061-4CA1-B6ED-75CEDEBFFCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88e45810749de1f1982397f402c73d6d1cfedb9c","datavalue":{"value":"global type","type":"string"},"datatype":"string"},"type":"statement","id":"Q6104495$5944617F-5C0E-4588-89A3-3EEB3B8A290E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe5a37a28327315ad98282d60379d2134129f90","datavalue":{"value":"heap memory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6104495$2809ED07-3C78-4DC2-9192-8F742BACD870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7324e550b2676bf8a5c9e27f4ebd6249d4e801f9","datavalue":{"value":"protocol adherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6104495$08E2657A-962E-4057-AC4B-E1CC22A4D2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51b5cecd226008b2bcddb0b16ea95d504b6657f1","datavalue":{"value":"asynchronous method calls","type":"string"},"datatype":"string"},"type":"statement","id":"Q6104495$E755F522-8B98-4C6E-9AF5-A63E4DFF91AF","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":"Q6104495$5DEC897D-5508-418B-9313-86C5F490EF00","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"943ce67b6daca8ac1a07c587717c4b2a289010ed","datavalue":{"value":"W2885961200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104495$E19B5524-CB5C-4305-8AE9-7EB2C1998C0A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd0520418326f1c85df603dddc2d9b8904c42a5","datavalue":{"value":{"entity-type":"item","numeric-id":5277912,"id":"Q5277912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104495$0C141E62-37E2-4DB1-A449-10072C8DB079","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":"Q6104495$58F175AC-4B9E-414B-A983-876DE6EDF970","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":"Q6104495$C9FB0CDB-6F39-4215-A20D-2F7F1D58FAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8919e7005deaf602dd8c7fb05a4ecc8bb4ca4ed6","datavalue":{"value":{"entity-type":"item","numeric-id":4608685,"id":"Q4608685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104495$1E322FBE-EFE2-4E6B-8065-07A7266FF727","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":"Q6104495$4AB95C9C-20F4-446B-9FC8-8002D0B789DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ff1d4928c9402bbd24cc1598ff8570d7ee88637","datavalue":{"value":{"entity-type":"item","numeric-id":3454119,"id":"Q3454119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104495$8AA19118-3BCD-4EF5-8DB7-1225C436014F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24914221979d5fcf6a419b7549199cc6fce863fd","datavalue":{"value":{"entity-type":"item","numeric-id":465485,"id":"Q465485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104495$7508188A-7F09-4765-B605-3C0F15598566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39aa8330ca5929e6a3b53b8a0c2545f5b84c8674","datavalue":{"value":{"entity-type":"item","numeric-id":3460414,"id":"Q3460414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104495$771C67C4-7A43-431D-AA65-C93AC37BEE50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104495$7ED7C322-A865-4D42-BEDD-4FA9E3DC35F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9f539587296f2b052a018bbeeb12138dff24a2","datavalue":{"value":{"entity-type":"item","numeric-id":5537625,"id":"Q5537625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104495$B3F3F0F0-9953-49FF-85A6-909F9EBC1CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104495$0EED04E5-CE8E-4D07-8142-6DD00BCD1C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"790778054f0b8617f9a706a7beba5447691c83fc","datavalue":{"value":{"entity-type":"item","numeric-id":3177766,"id":"Q3177766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104495$702C140B-CDF6-4C3E-BCE6-BFABC7C9ED91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fa1aea41b23b77e49c2e6c48c1b67f2ce6b255","datavalue":{"value":{"entity-type":"item","numeric-id":4095837,"id":"Q4095837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104495$8F0A2149-F719-4DAA-8237-C9CEED05BA33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d702519d12d96fc0d547ad0b24a8ca8aed45baa5","datavalue":{"value":{"entity-type":"item","numeric-id":2272938,"id":"Q2272938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104495$C38117AC-849C-44A3-AFDE-66DD9F168841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1294a9f149b32a4428893a0339f4128fe743db7","datavalue":{"value":{"entity-type":"item","numeric-id":3067542,"id":"Q3067542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104495$8DEBE771-7477-469A-AC21-14DB3E05642B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac10ddc61831b5d6f96e72b7dcb9e503d7589078","datavalue":{"value":{"entity-type":"item","numeric-id":2360653,"id":"Q2360653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104495$6B6099EB-8CB7-490F-AEDF-6AD948EBF2B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3e092e7f3042ed4b11711950888bdaf445a54df","datavalue":{"value":{"entity-type":"item","numeric-id":3460414,"id":"Q3460414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f748ad6a74bfa3c8713aeebae722e56442f2d25","datavalue":{"value":{"amount":"+0.7330292463302612","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":"Q6104495$B7E2DA0A-27F7-44BA-B317-E89F1D3FDBFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edd77d26f5c8b8bd3909634a8cd1575fee9245e2","datavalue":{"value":{"entity-type":"item","numeric-id":5255084,"id":"Q5255084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d4ae898203aad293c371239f2ab89756b829624","datavalue":{"value":{"amount":"+0.7304878830909729","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":"Q6104495$058AE9B7-A5FB-4F34-83FA-BB45335CDC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a7d41d9f1476074c067460d0d30402e1d2dfa45","datavalue":{"value":{"entity-type":"item","numeric-id":2980982,"id":"Q2980982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5565a7100bad0368a5cc18d850a94c8f25f49ea6","datavalue":{"value":{"amount":"+0.727899432182312","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":"Q6104495$75DD524C-25DC-4001-9DD2-7FB20556F9E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60648d16db3a20feed5e3edd3955748c5bd81350","datavalue":{"value":{"entity-type":"item","numeric-id":3189846,"id":"Q3189846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67b2fb203964a17ab4e32e1ea207a2f10b32996f","datavalue":{"value":{"amount":"+0.7273454666137695","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":"Q6104495$E25BA396-B00F-4190-BC1E-5DE2BE4FA2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eff0729f95f1ac297146984f27a7156c8ad950e7","datavalue":{"value":{"entity-type":"item","numeric-id":5311495,"id":"Q5311495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6461ee86cf0e99b8de27083b9c70aa09b4714d32","datavalue":{"value":{"amount":"+0.7231253981590271","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":"Q6104495$FAE38E52-1F28-487B-96BF-055E531FCB7D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6104495","badges":[]}}}}}