{"entities":{"Q2272938":{"pageid":2283681,"ns":120,"title":"Item:Q2272938","lastrevid":71734506,"modified":"2026-04-14T00:12:02Z","type":"item","id":"Q2272938","labels":{"en":{"language":"en","value":"Characteristic formulae for session types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7106074"}},"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":"Q2272938$951CC94C-D848-46C9-8B12-78A035202C0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69eec8e6700c38d8e4f7e2ac772da26b2f6820bd","datavalue":{"value":{"text":"Characteristic formulae for session types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2272938$FD32F0B9-2397-45FF-B9E2-DA613AECEBC5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"425f9f1b358d4c5c029f6681138891c3455d4ce6","datavalue":{"value":"1420.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272938$505ED2AE-654C-4744-8A7B-ABD6161FAF46","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5e4de3fefbde2c1f107dfb1cfd7efbd8a90643b","datavalue":{"value":"10.1007/978-3-662-49674-9_52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272938$2E10F631-3F11-4492-8CF1-19CADFE62BF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f1d7c23f310292dca075efa6e262853e0ebc547","datavalue":{"value":{"entity-type":"item","numeric-id":832187,"id":"Q832187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272938$53304AF7-0ACC-4741-BE3C-F576134730EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a10e2d4e7c7f35976aef2937159c2a644c708f28","datavalue":{"value":{"entity-type":"item","numeric-id":236085,"id":"Q236085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272938$BDCE18B2-D85D-44DA-9DD2-F72BB7EAE213","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"860c75d427a5be90563ac8b1b9f2dee75426aaaa","datavalue":{"value":{"time":"+2019-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2272938$0D974A72-771E-4D1F-804E-E899D43437B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab544d8840b210862b8d4af3f530be4a42ea8f32","datavalue":{"value":"https://arxiv.org/abs/1510.06879","type":"string"},"datatype":"url"},"type":"statement","id":"Q2272938$7A648C50-03A2-41B4-B9D6-45379ECA97D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e3dfaa752d9d77b00e8da749e1e01977275e5b85","datavalue":{"value":"http://hdl.handle.net/10044/1/31170","type":"string"},"datatype":"url"},"type":"statement","id":"Q2272938$6DA7FD5E-DD2B-45BA-BD68-39706CCD3B1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272938$5C9E9A4D-900E-4C1C-8BBD-D303366DDEDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272938$B9CDEA73-D91A-42C4-8703-1154F6B5F630","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24f97cfcae0168f26e8b824b1e24964b87908be9","datavalue":{"value":"7106074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272938$324BCAE9-22D6-4520-8796-33247B52060B","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":"Q2272938$DF73E996-B842-436E-8C4C-49E7413BF96B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dafb75e8f00faf44fb2f6a74d08ec7164d67726a","datavalue":{"value":"W2418777044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272938$3CC5D04C-5A0C-4BDC-8116-6E4D6F539191","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d6a4c345eadfb4697e5dc0a52810f7a0690f6f9","datavalue":{"value":{"entity-type":"item","numeric-id":2576666,"id":"Q2576666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c81129b5a54f98256ebff24e5e62927a12ae0921","datavalue":{"value":{"amount":"+0.8162397742271423","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":"Q2272938$EAE4659A-CEC9-4930-8EAA-102310FA5157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b907f8633ff92b6a5320fbc17ed708d0b9ca3051","datavalue":{"value":{"entity-type":"item","numeric-id":5327448,"id":"Q5327448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"871a0f88c69a252bc3cdfcff61d0807ccf27e80f","datavalue":{"value":{"amount":"+0.7985988259315491","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":"Q2272938$67B8576D-CE73-44F2-B86C-D995B19F0CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527e468e0948b51872f142f01291e2b8a1157876","datavalue":{"value":{"entity-type":"item","numeric-id":5856424,"id":"Q5856424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c18c296c07a3c155d063857242d5cfa966adb6ee","datavalue":{"value":{"amount":"+0.7907273769378662","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":"Q2272938$7AA7D91C-AF02-4D95-80DE-228F1A676EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be17c0d8427be59d8099008b58675dacc5f8a562","datavalue":{"value":{"entity-type":"item","numeric-id":3188281,"id":"Q3188281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"804090a29c3bedcc51dc5a3ead09cec8a97ef52c","datavalue":{"value":{"amount":"+0.7800953388214111","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":"Q2272938$994991E9-0983-44BE-8D65-733F0A882A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cc4e4f19f12abce6f4fe2420783e19c46293417","datavalue":{"value":{"entity-type":"item","numeric-id":5278078,"id":"Q5278078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdd9546efd2d2ea7838c462c812615be4d32f5ff","datavalue":{"value":{"amount":"+0.7761270403862","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":"Q2272938$45818BED-FA7E-4630-995B-8249A27DDD48","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Characteristic formulae for session types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Characteristic_formulae_for_session_types"}}}}}