{"entities":{"Q2201096":{"pageid":2211839,"ns":120,"title":"Item:Q2201096","lastrevid":73580925,"modified":"2026-04-14T16:32:03Z","type":"item","id":"Q2201096","labels":{"en":{"language":"en","value":"A categorical model of predicate linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7251871"}},"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":"Q2201096$8F9B075D-51D3-41BF-BC8A-FF5D897391A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76bdcdc524c41bccd27ef1cdc9625c4b652ab0dd","datavalue":{"value":{"text":"A categorical model of predicate linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2201096$D7EA9F34-4B68-41C2-B7B6-A3950CDBA837","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fa9360070d10d952397af123b0008d36ba59b85","datavalue":{"value":{"entity-type":"item","numeric-id":2201093,"id":"Q2201093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2201096$72E15034-B939-41F6-948D-B58D8388F01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbca9f72b2b37ffd6ee634f02a43be6438876569","datavalue":{"value":{"entity-type":"item","numeric-id":2201094,"id":"Q2201094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2201096$650EC27B-C12B-4550-A481-4069C768C6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f63b920d273255a7402d6cc52f0a7a8b350abbc5","datavalue":{"value":{"entity-type":"item","numeric-id":2201095,"id":"Q2201095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2201096$5F2F98F0-DB90-4AD5-9ED1-E518C04D0E1C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6d0beb7422d3f653a9a2bd4740397ff9b999e8df","datavalue":{"value":{"entity-type":"item","numeric-id":530092,"id":"Q530092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2201096$8B0F4F71-6B47-4FB2-86CF-488BE22DACE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"306d463deb5766e771e19d6cb06ee40cfd980ebb","datavalue":{"value":{"time":"+2020-09-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":"Q2201096$BE2FDC53-D64D-4CBF-B87D-ADAF24718B92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2201096$E48F0B2E-011B-49D1-8C5D-5C838634407D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2201096$E19ED4D4-BFAD-481D-99F4-0AC98572D754","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ead8a95acd67e67c2d70d5131bd4f559c60cbbb5","datavalue":{"value":"7251871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2201096$447153B7-2E68-4A37-8DD6-D96D97DCB03A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70f7f998690cb4873533b09e076d30b45370f48f","datavalue":{"value":"linear type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2201096$BE699068-C8E7-4C9C-9A03-648F6CE3E2BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58c89d5c44c0cccb83a8cd9dfff20b754ff57bc2","datavalue":{"value":"predicate linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2201096$45719B55-949C-4158-9CB0-49FE1A10F7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad80aebe80196423fa694ed46354ee45d24df48d","datavalue":{"value":"symmetric monoidal closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2201096$4A2714BF-53BC-43BC-AAD0-FE3B7DA35F8C","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":"Q2201096$3548E1F2-337D-4C99-931E-DA87313BEB38","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1317e67be45b784b8256024436c0e010cd55aae","datavalue":{"value":"https://doi.org/10.17512/jamcm.2015.1.03","type":"string"},"datatype":"url"},"type":"statement","id":"Q2201096$C28A0796-4DD9-441B-A0B2-C6786CD0ED11","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb2879fc363967f83051a67d1feb028db9269b77","datavalue":{"value":"W2085362584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2201096$5C25E061-21B2-441E-BC1F-C9BD2DEEF39C","rank":"normal"}],"P223":[{"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":"Q2201096$D3B08A5A-7688-4471-BC08-F01DEB75A774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f7b15d701797e7aa9bd7281dc32bfb60cb72e4b","datavalue":{"value":{"entity-type":"item","numeric-id":3077284,"id":"Q3077284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2201096$8706D91B-74EE-46A2-A13E-9AA15C382E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb575a0b36b8f91eebd9d0bf6880a6fe2dd9284","datavalue":{"value":{"entity-type":"item","numeric-id":4689750,"id":"Q4689750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2201096$D76D8A65-1935-4432-B478-B74C91564F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3422cef0c9a9929cf6babf24e2aeeba55fa17104","datavalue":{"value":{"entity-type":"item","numeric-id":3478401,"id":"Q3478401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2201096$886ADFE6-D239-4A1A-B9FF-1540489996EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2201096$CD8828D4-C325-4B66-B514-0C3605824F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be84165c80d400eb5fbccb489212416fea3bece2","datavalue":{"value":{"entity-type":"item","numeric-id":3997112,"id":"Q3997112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2201096$C1B25EE1-7AC2-4660-8F43-99B9B6AB299D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e265a0aa8cb92d21367d8a7ed6101f17d6553fc3","datavalue":{"value":{"entity-type":"item","numeric-id":3075441,"id":"Q3075441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2201096$F0E4AE0F-032B-4F73-B237-6EC63CCC0FCC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"629b6a77cd5310f180f4e08f04c5270a7aa52e5b","datavalue":{"value":"10.17512/JAMCM.2015.1.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2201096$864E77C8-9ADC-481D-A30B-A1E61C3F5817","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2201096$5022FFD0-665D-45F5-BEA4-C93958DF327D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A categorical model of predicate linear logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_categorical_model_of_predicate_linear_logic"}}}}}