{"entities":{"Q3460415":{"pageid":5239815,"ns":120,"title":"Item:Q3460415","lastrevid":58184358,"modified":"2026-04-04T03:46:15Z","type":"item","id":"Q3460415","labels":{"en":{"language":"en","value":"Type reconstruction for the linear \\(\\pi\\)-calculus with composite regular types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6527405"}},"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":"Q3460415$912FACAB-5E80-4D95-9B5F-CAF5C427B0D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"916243f6a3496bb1ab517c622dd604a4fb0553ae","datavalue":{"value":{"text":"Type Reconstruction for the Linear \\pi-Calculus with Composite Regular Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460415$EA4B935D-1F9F-4E65-B276-590BEB2D153F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"673f667295d0461eb1fa52dc32d1a9bb203104df","datavalue":{"value":"1448.68348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460415$0E771568-CF1C-4C9C-ABD3-4EA809C41572","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc6464ca592c0b9aa24b0149186c74193cdc6f2f","datavalue":{"value":"10.2168/LMCS-11(4:13)2015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460415$54A6BDB4-3A9D-47E8-8A55-82E618A469D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d55eb18a73a628c8e09a659ca6d5302e982bf63c","datavalue":{"value":{"entity-type":"item","numeric-id":493533,"id":"Q493533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460415$7E26AF95-B127-4AB8-91ED-9AC8294BFB37","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":"Q3460415$261BF0E7-9457-4043-ABE0-1FE4C7F7F6B8","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":"Q3460415$FE525043-A8F7-4776-9FA7-3FEB1E686438","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc0b7fa491a02b9121f14a415ddd10763854d546","datavalue":{"value":"https://arxiv.org/abs/1510.01752","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460415$D879237E-4C64-402A-9CBA-FC2E49F1FFC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460415$2FE7718A-949E-4352-9631-C2F317D2FDF6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e232906ffbd807159284e60ad0febe110b422c57","datavalue":{"value":"6527405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460415$A7E75A5D-1A85-4549-B196-BFF974E58150","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cf42eb467889cb94c42e1cac8efff86a684b338","datavalue":{"value":"linear pi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460415$BD046F65-A206-41AF-B6EC-A98786FC3C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbee9a6a5e50894fe72d0f1a97beaebb5d5446c0","datavalue":{"value":"composite regular types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460415$B8D543FD-412A-4A1A-8DBA-933483887A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97640d3d25485ffa16da9b9e4bed7a23a493e60b","datavalue":{"value":"shared access to data structures with linear values","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460415$BEA68CCA-DB6F-4263-AFFE-9AF77B8E7882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"648a8b1a4ff287794c82684371a13fd38f951633","datavalue":{"value":"type reconstruction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460415$2D899936-70B4-48BC-9697-8FFF8BC393EA","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":"Q3460415$95541C0B-65CF-4661-9ED8-8E2938367E4C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f034e301ba8a383bd29dfeddc8ea22019710c847","datavalue":{"value":"W3103563511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460415$1E3297A4-1AB1-43C9-9438-1235F8C11A84","rank":"normal"}],"P1643":[{"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":"058208fbcf5ab3670b3a578e43ed5e006f3aef6c","datavalue":{"value":{"amount":"+0.9439100623130798","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":"Q3460415$9973CD8C-C7D6-49C0-B882-9826875BF61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb40a727f59a025f582a54c243ce2b99f8908cbe","datavalue":{"value":{"entity-type":"item","numeric-id":1854358,"id":"Q1854358"},"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":"Q3460415$5FE5E3B3-F30E-4A8A-A5B3-6BCE50EF85E8","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":"23dce9367b00ffd160fe71e73c7362d9fbee479c","datavalue":{"value":{"amount":"+0.797053337097168","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":"Q3460415$0D18A5C3-FDD9-4DEB-B7B8-640F4F754596","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":"28cb385013a9cf1aecaf4ecc94452aecc61ac289","datavalue":{"value":{"amount":"+0.7773275375366211","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":"Q3460415$EA477224-6D2E-488C-9F7D-3896FC0045B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ff286054739df0ee6cecb4ffa068223a33bba88","datavalue":{"value":{"entity-type":"item","numeric-id":4417898,"id":"Q4417898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3fac292e7bc320140b4a3e69bc47d1671c74416","datavalue":{"value":{"amount":"+0.774686872959137","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":"Q3460415$9ED87FAB-CA9E-42C7-A401-E2BE566DD8B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3460415","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3460415"}}}}}