{"entities":{"Q6159948":{"pageid":13294809,"ns":120,"title":"Item:Q6159948","lastrevid":39735403,"modified":"2024-12-30T18:00:43Z","type":"item","id":"Q6159948","labels":{"en":{"language":"en","value":"Output Without Delay: A \u03c0-Calculus Compatible with Categorical Semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7700637"}},"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":"Q6159948$9FE11D3B-432C-45C6-8821-530D5A7E9548","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0581f98edb9409b3644da18bec1ac1e018640b3","datavalue":{"value":{"entity-type":"item","numeric-id":2145346,"id":"Q2145346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159948$110BF542-FC09-46FF-A65F-FE0521796EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0eaf951c75d2d5db5073cd2949ee5f4196ba23e","datavalue":{"value":{"entity-type":"item","numeric-id":2038069,"id":"Q2038069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159948$0CD816A8-716B-48D1-BC54-F5AC69DF13CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3088b6e1c2b1fc23f329cc708e78f720e11947f4","datavalue":{"value":{"time":"+2023-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6159948$0F7E76D5-E4C1-4C77-9746-6109FB3C418C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159948$D956B876-EF21-4F75-9ACF-7E0EBE9A268A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159948$49B44441-8F60-4BFC-BA8A-E86FFDD35646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159948$0A1F3380-9C35-4F99-80DB-9AF932018317","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"408304dd919e2d7a3ec41f9e10110ea2728a2688","datavalue":{"value":"7700637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159948$095CF7B1-DA0D-4A8C-8D18-653E6D3F5EC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655cd682a4adbd6541d5cee97296a1d75bee9632","datavalue":{"value":"\\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159948$90ADA2A3-E4EB-4214-A08E-52D50DA64076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159948$EFEF0E9C-8FE3-4526-B46E-C012B83D2EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0469344374d38bcee2aea4b937d8cd34a9f1a5d9","datavalue":{"value":"linear approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159948$6E6BEC85-2B71-4CF1-9B5D-D5A2832036B6","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":"Q6159948$E0A87AB4-A387-49E6-A56F-DAA62CE0A7AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b21a37dda69b5c87acfe5c2987ed2852fb81e696","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.FSCD.2021.32","type":"string"},"datatype":"url"},"type":"statement","id":"Q6159948$9A1A68F2-5FCE-4444-95F5-9DF888170C08","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bb2671e0e04bd39b74d91691743e6b386b85d941","datavalue":{"value":"W3185587936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159948$C5D649A4-010C-44D3-B19A-E2A8C55B5CB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff6614053976c7c529ab6ca056cd83f1f297aba7","datavalue":{"value":{"text":"Output Without Delay: A \u03c0-Calculus Compatible with Categorical Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6159948$A8225CFD-0349-47C5-83B7-47CC79A3C25B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7dc52806006e044866d86cc948cdaa4577ffdb72","datavalue":{"value":"10.4230/LIPICS.FSCD.2021.32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159948$ADECFE57-9EC0-445D-B8A8-052278EC914E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6159948","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6159948"}}}}}