{"entities":{"Q1924328":{"pageid":1935070,"ns":120,"title":"Item:Q1924328","lastrevid":71839266,"modified":"2026-04-14T00:52:58Z","type":"item","id":"Q1924328","labels":{"en":{"language":"en","value":"Free algebras corresponding to multiplicative classical linear logic and some of its extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 935226"}},"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":"Q1924328$634411E7-2B7A-47F1-8595-28FDE8679604","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56170b58b8899952cb85faa5a7c84cc03326142d","datavalue":{"value":{"text":"Free algebras corresponding to multiplicative classical linear logic and some of its extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1924328$F73BE887-C2E5-4A1B-9709-58C99C70D162","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf7acce89b850214f4ed74ef9b0a6edffadc4106","datavalue":{"value":"0862.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924328$7A420B9A-FE74-47FB-95B4-378AD8804F0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8a2fdf30fd0859fdd73fd10608e915ae2ad1854","datavalue":{"value":{"entity-type":"item","numeric-id":1194111,"id":"Q1194111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924328$7F73FB44-810C-4E8B-B614-5F523013DB54","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924328$A657D6F9-BA10-494A-9FB4-5A1F9109676E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56f9702c31b9db23a5a567e881d83ae128b09dda","datavalue":{"value":{"time":"+1997-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1924328$C716160D-2794-41B0-A0D2-38AEECE62F74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924328$6B36BA23-C265-4DEB-8CFE-E557D785EDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924328$37DC4FF8-25A3-4BF3-9F29-0BB8616EF615","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7eb6a405cafe202b0ef60fbbee2a5d340acef2ff","datavalue":{"value":"935226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924328$B1511231-76D5-4D00-B838-84B5A327725E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d10530f0426568d4f2df4a2a102e29fd301ff4a","datavalue":{"value":"free algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924328$E2AEFE02-7EA0-4747-B432-4CC3E583D792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f893e10f79aeecb8f114551bf84b1f4ae96dfb5","datavalue":{"value":"multiplicative classical linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924328$8D63CEDA-5FFF-4E68-B685-8BE27282E503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52b7b5875b25e7909c411b5b13407a0c2327a53f","datavalue":{"value":"extensions with \\(n\\)-contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924328$65D74A34-4780-493F-B281-22D75A773A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeaf34c5d783f268fa629ec466f4a5f53dea5010","datavalue":{"value":"cardinality problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924328$3367587E-A132-481A-A61D-96B385E53DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12631cb9ada02eb5efbdd14c4faca43589a79a16","datavalue":{"value":"one-variable linear fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924328$2BEA7898-3B80-4EED-A7C1-412F419A89D4","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":"Q1924328$79D175F3-3206-49FC-9FA1-3C067C3BD129","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ef8e1a36930027a2ec03e35f78d2271ae091b24","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1040067316","type":"string"},"datatype":"url"},"type":"statement","id":"Q1924328$04E0BA85-6681-4F27-B24F-A2D76963DF80","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"963fbd8a49ec9d16b70e1b06a94627c6f06ac602","datavalue":{"value":"W2116032385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924328$56A9A7C6-A9E9-4B21-A6A0-44512E9A9F22","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924328$81A29BCE-AD2A-4D99-B79B-9FE160E27698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94a81c0fc55e696512d983791ca27ca0ed354fc7","datavalue":{"value":{"entity-type":"item","numeric-id":4296741,"id":"Q4296741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924328$DF6DBC68-318C-4330-9A92-8B7E842A0AD4","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":"Q1924328$217F538A-167C-44F4-95E2-44844CF93D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"613196c1ebb5efd26c81cbdcd44f5b10522db4db","datavalue":{"value":{"entity-type":"item","numeric-id":1344438,"id":"Q1344438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924328$808E6116-28B3-4B75-B81E-3B4EFD653D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1243e00d22dc04826073418440e7f07a348657db","datavalue":{"value":{"entity-type":"item","numeric-id":1181713,"id":"Q1181713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924328$D03C6529-0BA4-4AB7-A885-50C6C4E831E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a51cb5ee3f55bdf2f5f7c09f36d7c504071f9af4","datavalue":{"value":{"entity-type":"item","numeric-id":1891929,"id":"Q1891929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924328$13F7B814-5172-4D5E-BACA-B28109A7001E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1785c5247614edefd452dd242bbf025baf6dd7dd","datavalue":{"value":{"entity-type":"item","numeric-id":2563461,"id":"Q2563461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924328$2D511F2A-AF75-4417-8CCE-10A1D3DCC9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9fa18d55a9a16b2be322ded33d78ef70467330","datavalue":{"value":{"entity-type":"item","numeric-id":1313086,"id":"Q1313086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924328$7F7B3A1F-36AA-427B-86DE-91FFDB176879","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":"Q1924328$E0518D17-8A54-4F15-A482-042FDBA3CB11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924328$7E052EF1-BF9B-4810-876C-D11C2EC03578","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83d531d6e61a52df706670fbe5f9bca8c78cebde","datavalue":{"value":"10.1305/NDJFL/1040067316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924328$7C17EE96-40B3-4CBB-9B4A-B387B46C706D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69d73c5dee53293202141438ecb00ccbc345a71a","datavalue":{"value":{"entity-type":"item","numeric-id":2747705,"id":"Q2747705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bba7352302b9542770fa988df05a4237f83280b","datavalue":{"value":{"amount":"+0.8108879327774048","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":"Q1924328$C926EC5F-F068-48CC-9DC3-2D03E34E5743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d5f832926f0cb14d0e464c9f6b0b09068a46c3c","datavalue":{"value":{"entity-type":"item","numeric-id":1960422,"id":"Q1960422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc770a205561fe349adf5ef9f1c0cdf19dc89f24","datavalue":{"value":{"amount":"+0.8103235363960266","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":"Q1924328$310DBF01-5175-4AE9-AF77-C795429626A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86c5139a206e18c904fb25a0c8329a9c0aa66584","datavalue":{"value":{"entity-type":"item","numeric-id":1891929,"id":"Q1891929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"576f0a843188382b356ed96521200b7d187d93a1","datavalue":{"value":{"amount":"+0.76444411277771","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":"Q1924328$C964E89F-51FC-4C19-9D0F-C0CD9C32214C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7ce843292cf7ef202b8aaec9e40e63443ad4a04","datavalue":{"value":{"entity-type":"item","numeric-id":4323009,"id":"Q4323009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c05d8a5ae9e1707ef1ab286e0b114b786bcd842","datavalue":{"value":{"amount":"+0.7628277540206909","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":"Q1924328$AD3C41EE-7B10-4336-B38C-75B79F1F95D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"424224c2e301ef95d48ce3c5580b4551660f7519","datavalue":{"value":{"entity-type":"item","numeric-id":2563461,"id":"Q2563461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"695feec5be16870b5376a3575f4e330e0224fcbc","datavalue":{"value":{"amount":"+0.7544661164283752","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":"Q1924328$566FB443-8B0A-4CD4-9B13-1304F26A7F70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Free algebras corresponding to multiplicative classical linear logic and some of its extensions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Free_algebras_corresponding_to_multiplicative_classical_linear_logic_and_some_of_its_extensions"}}}}}