{"entities":{"Q5137919":{"pageid":7167490,"ns":120,"title":"Item:Q5137919","lastrevid":58445970,"modified":"2026-04-05T06:24:45Z","type":"item","id":"Q5137919","labels":{"en":{"language":"en","value":"A categorical reduction system for linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7281443"}},"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":"Q5137919$A6639A2E-6F2E-45A0-9A99-B19B78B33FF7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69cde8e2517e3549ad7906f32ef1f7661def014f","datavalue":{"value":"1453.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137919$4B9CB99A-F839-4C3F-AA02-0AB4F72A0F86","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"991f99b314ef46390c1639de77b60a5bc5cfd477","datavalue":{"value":{"entity-type":"item","numeric-id":235606,"id":"Q235606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137919$C0CF8336-8793-41C7-BA89-1003A11790D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"264ccd2874de70b65c9e8226185d78b9e2bc5a3b","datavalue":{"value":{"time":"+2020-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5137919$E313A718-AD0F-4C7B-A7DE-9EC516292392","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d01b4753a9f329198059965af744d41da0f3f63","datavalue":{"value":"https://arxiv.org/abs/1912.00629","type":"string"},"datatype":"url"},"type":"statement","id":"Q5137919$1483C37F-89F8-4AC8-9D47-D866B65D3974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"520763fe5b2b079137d87fb2399dbdd546273b5c","datavalue":{"value":"http://www.tac.mta.ca/tac/volumes/35/50/35-50abs.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q5137919$3D4EAAE8-8BCD-4444-83F9-CED9E0338DF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137919$3BA9F8EA-C952-4B99-9E53-9CEA7C835761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137919$7720E8A1-2660-4795-B12D-D5CD3F9ECB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137919$3CF90FE3-B3A1-4728-B285-8323E140B91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137919$D91490D3-7F1C-467C-8F63-60E651C1F153","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a68d4965441e4f5bfbca1d5f1bcf1d56f234772e","datavalue":{"value":"7281443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137919$15B2D7FE-FC27-4FA1-9FBE-30B4B52214A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5137919$E97967F8-10C9-400C-905E-2D093086F611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5137919$C815F33F-0ACA-4109-B92D-0F1F774FB50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bcfb0301bb17cb416489e95a0d2e3c5b1efbac9","datavalue":{"value":"rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5137919$DCB624CB-8F4C-42D5-8ECD-995EA4023645","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":"Q5137919$EFAC3432-E237-4875-A648-0D6DABF9760A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a43b56ab219637b1e31e6b9f821a826a27e187c","datavalue":{"value":{"entity-type":"item","numeric-id":4327828,"id":"Q4327828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137919$84A8E858-8AD8-44E2-8A19-1C92EEA5AD00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef793cd341d40ecfedab2b760bf19a2d788dac7b","datavalue":{"value":{"entity-type":"item","numeric-id":5397484,"id":"Q5397484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137919$25394CF0-F871-4187-903D-4141E815EEBF","rank":"normal"},{"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":"Q5137919$4222FC07-D925-4966-B2C4-17F8FFA05188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4984b480ff603fe16bf0e07551fea0c30c709de6","datavalue":{"value":{"entity-type":"item","numeric-id":4474834,"id":"Q4474834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137919$CAD75857-0D2A-4F11-91E6-20EE37C3CBF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3021d90eca077841517bd64fc171b2a128b003a","datavalue":{"value":{"entity-type":"item","numeric-id":4283230,"id":"Q4283230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137919$133CDFAA-0F98-459B-BE82-9B7BC1620B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d5dee1508329ebbe91043792d838e50e8c4344d","datavalue":{"value":{"entity-type":"item","numeric-id":1126244,"id":"Q1126244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137919$52BCBD3C-71E7-4A9A-967D-99D9F3466E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d43aa3f7d8a349cf75c122d633ecf49f988057d","datavalue":{"value":{"entity-type":"item","numeric-id":674463,"id":"Q674463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137919$416A8168-63AC-4198-8158-153B61B3721E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e0bc180311b57c62eeb872b6b44fa7298188cae","datavalue":{"value":{"entity-type":"item","numeric-id":1097043,"id":"Q1097043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137919$C91CBE1D-B4A0-42EB-ACC1-715E8B82C0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c5c0a322641e0fb0bfcedb9760d56ea332ad04e","datavalue":{"value":{"entity-type":"item","numeric-id":3745827,"id":"Q3745827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137919$B7307EAB-174C-4CA6-B891-B998CDFD89F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c25fd989cf0905bee30a12a207e1ac08f2d646e","datavalue":{"value":{"entity-type":"item","numeric-id":2524063,"id":"Q2524063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137919$D4694F0C-70ED-47C7-BD61-8CA489942EE1","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":"Q5137919$04E7255E-6408-41E3-A725-B0C2F8EFE4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27a221be14e9bdd455f06ee8c6dd95839717db94","datavalue":{"value":{"entity-type":"item","numeric-id":4635635,"id":"Q4635635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137919$50892AFC-D8AF-434F-8901-415D9558B081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ede258dca46757f1614622a2eb32acf7085c663","datavalue":{"value":{"entity-type":"item","numeric-id":1936110,"id":"Q1936110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137919$2B7120FC-7281-4547-967C-E0243193D278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137919$A05C1CA0-9E74-4465-BF55-8E65B18AE0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f7fc9d8759eae25b30d62dc875060facf7a558","datavalue":{"value":{"entity-type":"item","numeric-id":3138541,"id":"Q3138541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137919$8CCDE80E-BC4C-4C3E-BEBC-C1F53AD8506C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c313607c5b1e0df9ac4308367c819e2105df73cc","datavalue":{"value":{"entity-type":"item","numeric-id":2555556,"id":"Q2555556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137919$AD6174D5-2D62-4D66-A00A-40F3F99A377B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8a74fd76e2d9e94e09e493d795b400a0e721b82","datavalue":{"value":{"entity-type":"item","numeric-id":2544617,"id":"Q2544617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137919$85FAB2C8-E426-45C3-8781-0C5124C97F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"654b9da35bb1975c7b6e87c0586a0aa8bf916f88","datavalue":{"value":{"entity-type":"item","numeric-id":4040149,"id":"Q4040149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137919$9B1F1AFE-F0E8-4142-8605-D4B4513AB5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8172d2b409dca4f9256400d17d78d5eeab9e4524","datavalue":{"value":{"entity-type":"item","numeric-id":1781095,"id":"Q1781095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137919$DB1BF4A1-55F7-446D-8AB5-26C64E697EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fccf929221ed0af9043006d25d894f4e7300d9c","datavalue":{"value":{"entity-type":"item","numeric-id":3815296,"id":"Q3815296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137919$62A9CFD5-ECD3-4418-8136-B9927CCEF6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd1ab920babe8b69cd188f78a28074341fb4e88e","datavalue":{"value":{"entity-type":"item","numeric-id":3644769,"id":"Q3644769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137919$3AAB760E-97DD-4F7F-A173-4DE507718588","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"fab14812e41c6a111713d50993ac51d22377e247","datavalue":{"value":"bafkreia6r4gm7sxwxtguhdrez2n7meuf5wrud7zdops2f7p4oqeht24nnq","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137919$6723E39F-F7A2-448A-8672-CBA17319FEE2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8ebcdb43103982ed85c0ed5387a7afe264687a9","datavalue":{"value":{"entity-type":"item","numeric-id":685406,"id":"Q685406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d555802b56f9c3ef5fc5b8cf31a669aabfb154ab","datavalue":{"value":{"amount":"+0.7498176097869873","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":"Q5137919$41C846A7-8DC5-4E21-8F3B-32550786CBC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5042da839f30de08484a642d83f7912a1885006f","datavalue":{"value":{"entity-type":"item","numeric-id":1126244,"id":"Q1126244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"144fa64e50b5d157155a1b4db92e0e4e7dae7925","datavalue":{"value":{"amount":"+0.72896808385849","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":"Q5137919$C3B4392B-ED9E-4A1E-A573-0F28BFD32D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e03e66530d09c928f6a1979ebc16e7e0540c8f92","datavalue":{"value":{"entity-type":"item","numeric-id":2331072,"id":"Q2331072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"144fa64e50b5d157155a1b4db92e0e4e7dae7925","datavalue":{"value":{"amount":"+0.72896808385849","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":"Q5137919$96C6FC97-7382-466E-BE00-9FB6E951BF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"774c7ec6e148cb4c3f66effad5802804e7fb15cf","datavalue":{"value":{"entity-type":"item","numeric-id":755877,"id":"Q755877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d71a69bdd80df5eb6cd8a4c652e486108e4727a2","datavalue":{"value":{"amount":"+0.7280496954917908","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":"Q5137919$6A176A0C-4B9F-4C68-B6D8-B33C55AA9097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52109a5e42f9832b13fce64b5e12814ddd8c28ed","datavalue":{"value":{"entity-type":"item","numeric-id":5740350,"id":"Q5740350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f30d6c89b12050dd4fa1b80a92300c8ee35603c8","datavalue":{"value":{"amount":"+0.7250173091888428","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":"Q5137919$2CCF30B3-D8DA-4EBD-ACD6-33CFE78CB272","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5137919","badges":[]}}}}}