{"entities":{"Q3460414":{"pageid":5239814,"ns":120,"title":"Item:Q3460414","lastrevid":87230090,"modified":"2026-06-04T11:09:33Z","type":"item","id":"Q3460414","labels":{"en":{"language":"en","value":"Modular session types for objects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6527404"}},"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":"Q3460414$0F5514C7-3E18-44B5-B60B-9EA12F073CAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a108b10ee623559d37af24bf3eb769e137945053","datavalue":{"value":{"text":"Modular session types for objects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460414$1AF90DD9-FDFD-4214-9D58-6BAED53065CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d61a667ec5c774f48c694585dc07f9c3a143c51b","datavalue":{"value":"1448.68213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460414$44981E7A-020B-49F8-A519-5B26890407AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8236d74b46872716ecf6bbcc272fa3e68eb47ecb","datavalue":{"value":"10.2168/LMCS-11(4:12)2015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460414$FC41DC07-DE5E-43B3-A743-6B0C8E845C9D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4645cc704e1e0fcd18127bde18bc1f327838b540","datavalue":{"value":{"entity-type":"item","numeric-id":2182318,"id":"Q2182318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460414$4764CD13-EA42-4279-A277-E8EFD03C586B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"795f48b4ae9178d57242a9f07437351885d44244","datavalue":{"value":{"entity-type":"item","numeric-id":418151,"id":"Q418151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460414$73B80858-DADA-4EC2-9121-6AC0FFD4762E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"321ca6e544834c17532b59a2fec765e641824743","datavalue":{"value":{"entity-type":"item","numeric-id":859840,"id":"Q859840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460414$F2BC8BDD-3C4D-4F31-9F1D-EFF003F42413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54e24206e48bfa64d206114cfb99aae3b6caf361","datavalue":{"value":{"entity-type":"item","numeric-id":1352124,"id":"Q1352124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460414$6D0C7FBB-6242-4AEC-9DA6-FFC6DDB6ADC0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460414$7152B3F8-817D-41E8-A7BC-A2FC68F79C00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ee4b5b4fe49e6c76e054339063b302c9f6ef1f6","datavalue":{"value":{"time":"+2016-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460414$FB6FA7F2-C232-4343-A5A5-65056CDDBF52","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d38b97ead52968ef00259c1102b3e87496c71a53","datavalue":{"value":"https://arxiv.org/abs/1205.5344","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460414$126ED4FB-945E-4CF1-B0EA-C92CB5299E1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460414$DCC9E3D6-99ED-456F-9856-C41EC631EEC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5bf4772b7b2b9a44082b3f5d9166aea8e71d036b","datavalue":{"value":"6527404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460414$15245B41-6CF0-417E-AE08-BD33919D2460","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d713601ee3e558658c4dd273e9b646f3493ae17","datavalue":{"value":"typestate","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460414$24CCA13B-421E-49CB-8935-631EA21B236A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbfc9efe2708426c86c41393e21566b41f4f22c1","datavalue":{"value":"session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460414$E4E9FCA7-1BA8-485D-8385-4CAD09377F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef0af8e154974f354b767237482d0f713c514fe7","datavalue":{"value":"object-oriented calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460414$97A78911-90FD-4CB0-89C0-6A143367DF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7ebd1b6e7dc385653ce1c3c1fee4d4732069917","datavalue":{"value":"non-uniform method availability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460414$EA0DD992-453D-4AEA-BB68-7B080023C56C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a557776217bf8c27ff1474396465b9e88385161c","datavalue":{"value":{"entity-type":"item","numeric-id":23420,"id":"Q23420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460414$5ABF5BBF-6FF1-4777-8304-708937697E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f92da9ed97a630c53d09a1a47379d53101539632","datavalue":{"value":{"entity-type":"item","numeric-id":20833,"id":"Q20833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460414$410782F5-4488-4E7E-98A3-7B3EF132EC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"659e5bc024c4b1f9d14df55055d0ec91ae309b77","datavalue":{"value":{"entity-type":"item","numeric-id":34511,"id":"Q34511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460414$9666AD85-6B75-4E8F-A242-15544A583DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"35dea11f7340d96d415fe1f2b140031e290aa926","datavalue":{"value":{"entity-type":"item","numeric-id":21672,"id":"Q21672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460414$FBA87FD5-6E6A-4D80-8C1D-F1881A317638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"236b52fd7f2d298844bb74e88a9324ba3bb8f5a1","datavalue":{"value":{"entity-type":"item","numeric-id":25699,"id":"Q25699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460414$367B0B85-9F30-4F18-91D9-2C308E59D9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f052285353a64a558622cadc0e48583405ddf516","datavalue":{"value":{"entity-type":"item","numeric-id":25700,"id":"Q25700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460414$7E036695-A05D-47C6-A7B3-8F3AFE9A9158","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":"Q3460414$678C08D4-FAB8-4ADA-A04C-4D9446610C74","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e14cb010edd954afc8a6ec7e6887cb6a4537c7d","datavalue":{"value":"W237093534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460414$33B32702-7750-4617-A652-921B8707D370","rank":"normal"}],"P1643":[{"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":"fb2e016b9dcbd9d9f28867d63d1973578fd05ecb","datavalue":{"value":{"amount":"+0.9812158346176147","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":"Q3460414$A02C10AB-BBFC-40A3-A9BD-7B57A9750C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a1a297784841ede16e15d8183cb3f51fc4f2c50","datavalue":{"value":{"entity-type":"item","numeric-id":1021571,"id":"Q1021571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c92a2b2491ea05837fff06dacdc9d576c58454a9","datavalue":{"value":{"amount":"+0.8376113176345825","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":"Q3460414$0014F8F8-2890-4ACE-B7A5-D6D3498E4F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff4c0e6b07e8b6e5965c970697f0cd365c785a2","datavalue":{"value":{"entity-type":"item","numeric-id":3525113,"id":"Q3525113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"631336867e22d89092dfd30edad5dc67b69e50c3","datavalue":{"value":{"amount":"+0.8130699396133423","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":"Q3460414$7E7F7B64-007F-4A36-8837-134D3A31A50B","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":"83954e0e1eb97f2926de556df32a48d3e0e20b90","datavalue":{"value":{"amount":"+0.810148298740387","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":"Q3460414$66132064-BC80-4389-BD6B-864BF0D6A5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10be69e0e1ad0bcde1c5cdbc0cf94ba5421097f9","datavalue":{"value":{"entity-type":"item","numeric-id":5394806,"id":"Q5394806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23e7ec486a93a092795b90e55ab2b3ceb495bfc9","datavalue":{"value":{"amount":"+0.8067744374275208","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":"Q3460414$F5C12CA7-1B35-496B-B3C3-1894F5B0D41C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modular session types for objects","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modular_session_types_for_objects"}}}}}