{"entities":{"Q1854358":{"pageid":1865100,"ns":120,"title":"Item:Q1854358","lastrevid":71504862,"modified":"2026-04-13T22:42:20Z","type":"item","id":"Q1854358","labels":{"en":{"language":"en","value":"Type reconstruction for linear \\(\\pi\\)-calculus with I/O subtyping."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853115"}},"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":"Q1854358$488BBDA3-5EB6-4175-A88D-C699EBAC0F43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f4bed407a458ef24dbbb1f7dad3a69950be158e","datavalue":{"value":{"text":"Type reconstruction for linear \\(\\pi\\)-calculus with I/O subtyping.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854358$6854B1E3-6324-4D31-B396-F3A26405049D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aba7f01166fcb8c51d9fdb797607b888f3e1bf1e","datavalue":{"value":"1046.68620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854358$04C5AF42-43F3-418F-9A3E-12B0AD0C3A07","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab25b5f4f54e5cdc6aef57ab7fc4ea55d23354ad","datavalue":{"value":{"entity-type":"item","numeric-id":764261,"id":"Q764261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854358$1B7D91DA-B659-4463-8552-EAB74142C55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854358$4CB3584A-5196-468A-BDF7-3523303DEBAC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854358$BB612731-4ADF-475C-A31E-F0E3E4FB5915","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1854358$A9CCDC59-BCB4-4C77-8717-42A450149E95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7e054e12c6154bb5b6916ff65f99c616e95b35b","datavalue":{"value":"https://semanticscholar.org/paper/7c9cd4390a611c60bec9c1da5f13a4bfb2e22989","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854358$CBBB7D53-28ED-46E4-8CA2-6B6FE82DF430","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854358$F51477FF-D364-45F6-B0BF-24AACA7735EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854358$8F0DE5AC-D9C4-4D2D-89F0-9F3DA7A39928","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0199bb4a03a2d7d5ea2fff5cbe0dddd27fba9260","datavalue":{"value":"1853115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854358$D8BBD039-073A-4811-BB33-43CD313EABC5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45f91ffe61e49928c2ce0dbbccce5ae7e37bf93c","datavalue":{"value":"concurrent languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854358$5113C972-8045-4F63-8AF6-56CA875F4E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ef29cc67626477be8b1b99a0c9545969bd98f12","datavalue":{"value":"compile-time optimizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854358$06E93C19-73AB-42CE-B1CC-1C64B45547A4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4712411ef2fc1a9fba5ade20ebaf8e63a257640e","datavalue":{"value":{"entity-type":"item","numeric-id":39793,"id":"Q39793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854358$EDD20CF0-CC18-4C5F-9637-3D2FA312C681","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":"Q1854358$6CEB40BA-84BA-4427-9854-BE878ECF7B41","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef31aae60200793e820a0257be532323975c9b9a","datavalue":{"value":"W2050084141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854358$208326F2-E5DE-4A8A-A341-70CD8F73BF55","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"040f5839a8a0832570521f20d279b9902d1d22f5","datavalue":{"value":{"entity-type":"item","numeric-id":914357,"id":"Q914357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854358$D13678D4-83C2-4849-9178-5601ED3AB727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edc80d5e05c0f55f98a0b2c33ee68b10c0daf69d","datavalue":{"value":{"entity-type":"item","numeric-id":6116579,"id":"Q6116579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854358$65B5AE76-BEE0-4AF4-B9E3-EA50638602C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b660a1d6f23fa00c73df7a1e6854e93090924d6","datavalue":{"value":{"entity-type":"item","numeric-id":5096756,"id":"Q5096756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854358$69F7FF7F-02D2-4121-AD3D-293562D03953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f65ad711d725f7c7ce38cb04914fbe94f61b532","datavalue":{"value":{"entity-type":"item","numeric-id":3837262,"id":"Q3837262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854358$E5347250-0E3F-485D-910E-567AA13BF43D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854358$7A8C4F2C-F8E1-449C-BA1F-CCEAB9CB7DE4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6e7d3eae89d5d574e6a721a376400196ba38fbd","datavalue":{"value":"10.1006/INCO.2000.2872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854358$75384326-91E3-4F21-B3B2-45A266E6B816","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3908b3180b7392dcbb14b9210edffae620bd8343","datavalue":{"value":{"entity-type":"item","numeric-id":3460415,"id":"Q3460415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8d4c9a41f0e0a8c98ae7d38243b80a15455d4ef","datavalue":{"value":{"amount":"+0.8171073198318481","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":"Q1854358$BE21D2DD-734C-4E88-8DB3-1CF8D51567EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b63f6b52574ed037e35c1da6b68f4f0ec27f917","datavalue":{"value":{"entity-type":"item","numeric-id":5410666,"id":"Q5410666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19f1fbc2153f13aecda2412f762a97b2bd673fcb","datavalue":{"value":{"amount":"+0.8104827404022217","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":"Q1854358$77FE39FF-0536-44D9-950E-7A45ECDC4E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41d65460650fda6442071e21e391346bcd1f1bc4","datavalue":{"value":{"entity-type":"item","numeric-id":4536623,"id":"Q4536623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"151bf4f62bb90e087694aa702a033fdd4ef5e201","datavalue":{"value":{"amount":"+0.7974651455879211","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":"Q1854358$68C2537A-0E49-4B94-9CD4-98E12C410641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e78d0e8a1e95889e1f41b0b2235648eff97eee02","datavalue":{"value":{"entity-type":"item","numeric-id":3584947,"id":"Q3584947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b6499de2afa6480576cef064c24512e4c35dd14","datavalue":{"value":{"amount":"+0.7809279561042786","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":"Q1854358$6795ABF2-B567-44D0-B196-1A49D74D2D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03f64200f1fc966923efab764c570855784a0408","datavalue":{"value":{"entity-type":"item","numeric-id":714736,"id":"Q714736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c9af494b50ffc0b2266fbc56dad5a7685c3aaba","datavalue":{"value":{"amount":"+0.7737839818000793","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":"Q1854358$190D6887-B385-4622-A9C0-9C6FE8309CC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Type reconstruction for linear \\(\\pi\\)-calculus with I/O subtyping.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Type_reconstruction_for_linear_%5C(%5Cpi%5C)-calculus_with_I/O_subtyping."}}}}}