{"entities":{"Q3413374":{"pageid":3424077,"ns":120,"title":"Item:Q3413374","lastrevid":49991245,"modified":"2026-01-12T12:29:10Z","type":"item","id":"Q3413374","labels":{"en":{"language":"en","value":"Typing the behavior of software components using session types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5081768"}},"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":"Q3413374$ECC044AB-01A3-4E73-950F-F81FCBD83087","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3cd013d733403d4937483da02c9d42c315bf90e4","datavalue":{"value":"1114.68384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3413374$D9A0334A-482B-4193-BAC4-83C97AE6AED4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9904829e8444b9c7f9009b76ea274d5751e165b5","datavalue":{"value":{"entity-type":"item","numeric-id":838160,"id":"Q838160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3413374$81F93E83-FD13-480A-9F76-E0B812EB2940","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":"Q3413374$F81582A9-DCEA-4BDF-8AE7-239AD1A746FA","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":"Q3413374$4933AE81-C25E-4BFC-9F31-89E184EEBAF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27b4e4a51bf604d70e174840a6623a8922651fb0","datavalue":{"value":{"time":"+2007-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3413374$E7D8C274-AE71-4D2D-B6EA-E95BFA4C2499","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3413374$E79AC888-6C2A-4215-A5D9-39C1CE979BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3413374$55118BF7-E012-476A-BFC4-DA096102068F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3413374$C3F2E075-29B6-4B2F-B8B8-E5450751B73A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc722339ca37a122d2c2056b68625f07a56ab7b9","datavalue":{"value":"5081768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3413374$20E5CF67-3B4F-4D1C-B203-DF50727F7DD8","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":"Q3413374$55F1C628-429A-4D7B-B627-B484DBD52666","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a7284c918bad484b4f42534d32fa7a14c045c5f","datavalue":{"value":{"entity-type":"item","numeric-id":5313011,"id":"Q5313011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaa114fcd0002c569a3f4f1803280e08258b748b","datavalue":{"value":{"amount":"+0.7379534840583801","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":"Q3413374$C9521596-0637-48E5-AA65-AB780F266B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6183ec1f01edef83993b3e61bcf3da57982e7839","datavalue":{"value":{"entity-type":"item","numeric-id":3612640,"id":"Q3612640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c49f8ee7488816d3dfde951921c02865062b45a","datavalue":{"value":{"amount":"+0.7271580696105957","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":"Q3413374$F0FCD53D-DC67-4F0D-B25A-D2749AD3C4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3520bd3efa9be41f980b06436fd198cec2d07ba","datavalue":{"value":{"entity-type":"item","numeric-id":5741569,"id":"Q5741569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c008c0551e333e21cdcfd1cf6108ab2366c3076","datavalue":{"value":{"amount":"+0.7210699915885925","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":"Q3413374$7E57EB9A-11D5-47A9-8C48-C0CE98BE2623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5667f74cfc4b939bd09a5dadb2d0d3c59fcb4e5","datavalue":{"value":{"entity-type":"item","numeric-id":1882802,"id":"Q1882802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2218c254a6354d8f7b8bfaab159f7beeeb31468","datavalue":{"value":{"amount":"+0.7200483679771423","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":"Q3413374$07F4470F-021C-4B8B-89B1-E324951AA1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e6071b7f449d44aa84cd791d897030582f80ba","datavalue":{"value":{"entity-type":"item","numeric-id":5150075,"id":"Q5150075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3769e43145c5310d6046e46c3c294cf7690fa5b","datavalue":{"value":{"amount":"+0.7177973389625549","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":"Q3413374$4CB4A8DB-D12E-48C3-9B4B-10E916B8C563","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3413374","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3413374"}}}}}