{"entities":{"Q2119124":{"pageid":2129867,"ns":120,"title":"Item:Q2119124","lastrevid":43522304,"modified":"2025-07-30T14:06:51Z","type":"item","id":"Q2119124","labels":{"en":{"language":"en","value":"A formal model for a linear time correctness condition of proof nets of multiplicative linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7496654"}},"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":"Q2119124$64150498-105A-4FCA-BCE2-5D4904BCC00A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2c64802599e2811122a0008ac4da827be0e9ae8","datavalue":{"value":{"text":"A formal model for a linear time correctness condition of proof nets of multiplicative linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2119124$CDFBD5E6-7408-480C-973E-496344DEEA3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2439272d1131e46cd1444d25ccd2bb7e5730e81","datavalue":{"value":"10.1007/978-3-030-68446-4_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2119124$7E8D47AE-A753-44F8-8137-C5095B35EE2A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b3fbe021fe8a37c72cf77df6028e0dcbf50af45","datavalue":{"value":{"entity-type":"item","numeric-id":601134,"id":"Q601134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119124$0585A45C-C9FE-402A-B751-06A15E7EE47F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9aa1d2d8467e713a3bff3ca93031dfa09d4c4894","datavalue":{"value":{"time":"+2022-03-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":"Q2119124$789D7AD8-7D09-428C-ADEF-3E91DD31D243","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2119124$3F7BE7F5-8435-4190-B43C-B2E4E0CA78A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6572f27f1da266b8348c99c3560cfad055601249","datavalue":{"value":"7496654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2119124$6F79C886-FF11-4B72-B445-3E2B8E9A3E58","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":"Q2119124$E86E266D-528C-46C7-973D-731B9D2F0C7B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8867a10cf33c474f9bbea6424d730802faf50f4","datavalue":{"value":"https://doi.org/10.1007/978-3-030-68446-4_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q2119124$D66BD905-28AC-406C-944D-53E50C64B143","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9378155adc1f8faec1b266e64fe9ed52bfcf6d4f","datavalue":{"value":"W3129864002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2119124$0BDC0022-49D6-4625-BEC3-4924D6FDDFC1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"96ea196faee8c640074bf14707c6cefd00fd7c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5458407,"id":"Q5458407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119124$5892D190-2877-4ED0-A7B3-5C31F0613980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9194e9b150f8488fef979658da21ddd0e60751fc","datavalue":{"value":{"entity-type":"item","numeric-id":3651735,"id":"Q3651735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119124$2A2E37DF-AF60-41A6-9F4E-EE3E66AFD2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea08311e5cede8e103fdccb0049502f7fb72a285","datavalue":{"value":{"entity-type":"item","numeric-id":1264140,"id":"Q1264140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119124$6D5F0BE3-72A6-432F-A88D-308F69F8FB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17b46f23e1d95210ec444c78dd7a8edd18f2e48d","datavalue":{"value":{"entity-type":"item","numeric-id":1062461,"id":"Q1062461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119124$5250AD04-AACF-4923-8672-660F4ACE03A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119124$DE48C4D5-DC26-4CAE-BC16-5C4100D9C332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60427dd7759fbd9455d3afc5665f9245f0053e4f","datavalue":{"value":{"entity-type":"item","numeric-id":534705,"id":"Q534705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119124$86D3129C-2F4A-4A24-815E-EFB455F04378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119124$A4346481-C724-4BBD-8E8F-FB9542707C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb55dc632476ebf5cb5adc78918445420c5f0cfa","datavalue":{"value":{"entity-type":"item","numeric-id":1648864,"id":"Q1648864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119124$6C2DA3BA-19CD-4FB8-860E-0CC29D6087E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b546780d40c50376f423802c49749e1215bdce97","datavalue":{"value":{"entity-type":"item","numeric-id":5277754,"id":"Q5277754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119124$17963182-F3A1-4C52-85D4-3069258900B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44a6ffd77942bd15f7449f6b2a2adcf503d14194","datavalue":{"value":{"entity-type":"item","numeric-id":534703,"id":"Q534703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119124$E6BA7E21-E175-4301-8610-432B387FDC43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76d5f2306a357d7eb079458594eb1670d48c6076","datavalue":{"value":{"entity-type":"item","numeric-id":4140378,"id":"Q4140378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119124$52E9BE8D-C5A3-47C0-8E30-A8FA3B690536","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2119124","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2119124"}}}}}