{"entities":{"Q5890063":{"pageid":7919613,"ns":120,"title":"Item:Q5890063","lastrevid":47845372,"modified":"2026-01-02T20:55:05Z","type":"item","id":"Q5890063","labels":{"en":{"language":"en","value":"A syntax for linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680655"}},"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":"Q5890063$50B0AA18-B261-4D66-A825-A3DC32C1DA0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"758ecb8b35cbcc739621599740af24becc2c22fd","datavalue":{"value":{"text":"A syntax for linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5890063$98F319EB-DEF5-46F3-ACF3-D491F6B0A97A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0740b8dc281d2651718c9d08bd20b73ef78d158","datavalue":{"value":"10.1007/3-540-58027-1_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890063$037999E9-2F87-4D8A-8217-3033FD0CADF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8fea356f84d37a924ceb58cfe03d1b4469ed36c","datavalue":{"value":{"entity-type":"item","numeric-id":879365,"id":"Q879365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890063$5C4095B7-8EA1-48CC-97F6-B3AF70CEA483","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890063$2BEB5EA8-2E18-4852-B104-4B65E7CF5EB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30bf4c979a904132ac28909e79b707831f730270","datavalue":{"value":{"time":"+2023-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5890063$B68B985B-8016-466F-9B51-046D33C798D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890063$C13168D2-AA4F-47DE-85FC-DE22F7843B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890063$9BC44D1A-C6F3-4676-8665-0AFCE82C2D13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2516b27f3224c0930b96db3d27daf6ac9f2eb04","datavalue":{"value":"7680655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890063$13A30568-BA29-46F3-B787-9E85433F0F9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"441392e7cc712396aea9e92aa5599da25d24fc14","datavalue":{"value":"pattern match","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890063$E8AE1479-93E1-426E-A0A8-A6302EA0CD2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890063$9AEB8A6A-913D-4739-9DA3-92BAB76E143A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890063$DDB873A9-79F9-4A64-8D6F-4AFD76C23648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb70105dd81d7c0761158d99a76856826a6dc971","datavalue":{"value":"linear assumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890063$B7B0907D-FCF0-48C3-A333-1F4CCDBED23D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01e18aa3cd1221849b0fa5b9c76d737a201a45bf","datavalue":{"value":"concrete syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890063$099321FE-2F87-4087-8B53-8D4F4532E093","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e2a74c523f453d5d9063194486bcb383c672e9f9","datavalue":{"value":{"entity-type":"item","numeric-id":20978,"id":"Q20978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890063$836E0954-8A4D-4F5E-A64F-521964B6B53B","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":"Q5890063$262F0B85-001A-45AD-A11A-9192FB2C9284","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1789883fd9010bad47562225d022818d82005a7","datavalue":{"value":"https://doi.org/10.1007/3-540-58027-1_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q5890063$5AFCE544-EA15-47CC-8C66-78BC593C0012","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9aa1dde30f8733ba455a520bcf67b1d1b32bbb16","datavalue":{"value":"W1563480347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890063$783224C9-1D32-4145-A20C-AC2CDBC8A0FB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c15a37e1cea15f374069f32e15730dc1397414b0","datavalue":{"value":{"entity-type":"item","numeric-id":599898,"id":"Q599898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890063$7E6A4C9E-1F6E-4533-9069-9816577E9CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d96cb74d35dcef0be34809322dc2ac71fba5dd","datavalue":{"value":{"entity-type":"item","numeric-id":1175335,"id":"Q1175335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890063$E861962D-0EC2-48B1-9402-D55CC3858AEC","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":"Q5890063$9F1224CE-1C46-4D20-82AA-C9AFE174D188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb0cef3710adbd86fd4521d1c8531cd34e84dd13","datavalue":{"value":{"entity-type":"item","numeric-id":1105351,"id":"Q1105351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890063$EA9EC025-C9AB-4C39-A560-6D657DEEE926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890063$AACA6431-4D9C-4F4D-B39F-DCE3480CD955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2aa2d0194b9e900919e3bc3fd94d8d3bc295239","datavalue":{"value":{"entity-type":"item","numeric-id":4282570,"id":"Q4282570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890063$70DB3CE6-EF28-4B50-9747-E0FA3830B469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f86d9f5cfa728eaec66298b011d7269fca9cac","datavalue":{"value":{"entity-type":"item","numeric-id":3827993,"id":"Q3827993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890063$E0C027CB-A8AB-435D-85C8-EA33DC539A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652d70412e741600b08d0b2cede4a9cacadf16ad","datavalue":{"value":{"entity-type":"item","numeric-id":4495851,"id":"Q4495851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890063$DDD5EB51-CFAC-40B8-8E58-3964B16A58BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1048a47a90373bc7b5355c785e75695b5eb5afff","datavalue":{"value":{"entity-type":"item","numeric-id":4842966,"id":"Q4842966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d30e1496740b0cd3cdcf2adb14c388e5763137d","datavalue":{"value":{"amount":"+0.7957732081413269","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":"Q5890063$17F51E62-8900-4F69-8CBC-EA2195B90D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc47658fbde05d76bd9a05e291da30b133402539","datavalue":{"value":{"entity-type":"item","numeric-id":4699356,"id":"Q4699356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"203af45d24347d57fc1e21c74c6f043ff5264e23","datavalue":{"value":{"amount":"+0.7868385314941406","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":"Q5890063$AA79971A-FD46-4CE2-A819-1B554F7ECEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d94a692e39d006471d956831b65a35119065b16","datavalue":{"value":{"entity-type":"item","numeric-id":4255503,"id":"Q4255503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7edec28a9c27abd05352ed05a17c272c7190a287","datavalue":{"value":{"amount":"+0.7842392325401306","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":"Q5890063$673F2899-BB14-4F01-97ED-5C80095CB354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5a298f24996e765d38d2efeed8299436b97d4f","datavalue":{"value":{"entity-type":"item","numeric-id":1106836,"id":"Q1106836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a26034abe6a9c1e2f26985b154fc16de19eacea","datavalue":{"value":{"amount":"+0.7669469118118286","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":"Q5890063$1FDB1957-38CE-4406-BB19-960922E1A750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1748af548a2db5d7d245a0ebb4650561cd1670ee","datavalue":{"value":{"entity-type":"item","numeric-id":4896506,"id":"Q4896506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e61b31b7d7c7b1185f69d3317bd045c669309a8","datavalue":{"value":{"amount":"+0.7589442729949951","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":"Q5890063$BDE8B43B-A28F-4DEB-9001-4C7A339374B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5890063","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5890063"}}}}}