{"entities":{"Q5198508":{"pageid":7228079,"ns":120,"title":"Item:Q5198508","lastrevid":91527944,"modified":"2026-06-04T23:24:04Z","type":"item","id":"Q5198508","labels":{"en":{"language":"en","value":"An application of proof-nets to the study of fragments of the Lambek calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5936841"}},"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":"Q5198508$104D5BB3-033D-48DB-BA89-7E4AE22B8A19","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"230e879f0dda428fce81135dedd9cb45e9259f7d","datavalue":{"value":{"text":"An application of proof-nets to the study of fragments of the Lambek calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5198508$D1CE0159-0CF5-43A1-9B93-E039384B3747","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"366ee86a0d8f82dbea0e93122ddd0866e8d8c7e7","datavalue":{"value":"1231.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5198508$5AAAA955-E833-4A51-A73A-F948B8FC4F93","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a73ebc157e9d85c2cfdeec94a0b79bb246acd9e7","datavalue":{"value":{"entity-type":"item","numeric-id":2513060,"id":"Q2513060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5198508$37AD8295-F066-420F-A708-118C1221FF84","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7b151f74118b2089fb45521b3381aed82f2e9708","datavalue":{"value":{"entity-type":"item","numeric-id":2710693,"id":"Q2710693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5198508$2BF4AD3D-D56B-431F-80F9-F3974904C772","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1af8b53cbcad7e5d32c76c28dc9a5fb021a2faf9","datavalue":{"value":{"time":"+2011-08-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5198508$FFC87506-4D21-468D-B026-380018DEA3CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5198508$39857F8B-3805-4E54-9F92-16CA45CC5DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5198508$1D5EB3E7-2AAB-4FC5-9C01-AB5BDD5893CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5198508$10058F5F-25BD-4252-B2B0-34BF74DEF0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5198508$F1D1CC79-2987-4B07-9EF7-C2C0F6D85452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5198508$D9A52EC6-F714-4FAD-B390-6E65F30DB353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5198508$40902D8D-8BB4-43A2-9D5B-46905C5A1708","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5445bc2caca50cfd0cc800181eaf5f9810aaa862","datavalue":{"value":"5936841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5198508$AD19C3F6-0BAA-492A-9784-5B50006E0EB9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5198508$976669EA-DF28-4B57-B6B4-A5B00733C947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93077cc6db36e07d535db7c75a2f03eb0743cd04","datavalue":{"value":"algorithmic complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5198508$D4A97743-E89F-42D1-BDA2-0D9B04500F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a432c78bd993e0b9579ff480d0133ff4f5f5ec69","datavalue":{"value":"proof-nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5198508$1C8BF748-FF8D-42A7-B6A1-84B98E8D7334","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":"Q5198508$E44437DD-FC76-4A69-A9A2-18040ACA1696","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77391ed667ed4b7656df57b8ebafd3b21f95906d","datavalue":{"value":"10.1070/IM2011V075N03ABEH002547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5198508$59AF5F22-E6CA-4AC2-992D-CF9FE01467B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97f1d66b0c951e8161c8f3a5f746c708e385a3a0","datavalue":{"value":{"entity-type":"item","numeric-id":3584996,"id":"Q3584996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71ee24175948faf3e62888474348ec5e857930e3","datavalue":{"value":{"amount":"+0.835838","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5198508$9B5EF235-85AE-4CD4-90DD-EFEEA6D1B918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9188f4e3e43c6920e729aa77e8a161dd13f97b74","datavalue":{"value":{"entity-type":"item","numeric-id":5414974,"id":"Q5414974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22c4bfbb15bf04bb75127d51995c4efc52615c12","datavalue":{"value":{"amount":"+0.81784725","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5198508$28BD5835-C9E4-4872-BFF0-BCB20766532C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5df1aec2f434bb8ecd7dc2bcc6c9244398acd88f","datavalue":{"value":{"entity-type":"item","numeric-id":408532,"id":"Q408532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"652ce5acc3815a45f2c62c3e44d2cebcf5ee644b","datavalue":{"value":{"amount":"+0.80102587","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5198508$EE6F3FF0-6E12-4FE0-997B-FDD28E61167C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c6ed1f79517c1b388f9fdcdc438e7e53de44910","datavalue":{"value":{"entity-type":"item","numeric-id":3605542,"id":"Q3605542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4a97537f43691b47419216aa2070ddd3c9f76b3","datavalue":{"value":{"amount":"+0.79599375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5198508$954190C3-D314-4EE0-8849-0523F97A312F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d839ce2c0a056d3ef8ee8135004e30b41c515ef2","datavalue":{"value":{"entity-type":"item","numeric-id":2513206,"id":"Q2513206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1175466bab8e5ceefb5a43c5a206d4d53c21ea27","datavalue":{"value":{"amount":"+0.79019815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5198508$8444F885-1A4E-4A78-8D7E-E8DA74ED26EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e74edeef6ef0c36538750286afb323a446647d1a","datavalue":{"value":{"entity-type":"item","numeric-id":2500488,"id":"Q2500488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f24e83600a4d54ae7e6825824e1d22ad59791db1","datavalue":{"value":{"amount":"+0.7857041","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5198508$6B2BA72E-DEE5-4E0E-9B3E-D342A9781F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a2a4af89c66d52529d6d5fbb65a7704934347b4","datavalue":{"value":{"entity-type":"item","numeric-id":2904061,"id":"Q2904061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25130a95ebe7c65b230717b3685d770d793e8747","datavalue":{"value":{"amount":"+0.75245786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5198508$F984083F-48D6-411D-962F-6A2AD89DA04C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69994630732a8c4febb4d34deb8317638926798e","datavalue":{"value":{"entity-type":"item","numeric-id":4981266,"id":"Q4981266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42cfe8ce2a24c93123e811bc22ef228043e50525","datavalue":{"value":{"amount":"+0.7439841","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5198508$37C294B2-AA5D-4E7E-98B8-A14A2687DE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4747a2797fea49a0c10d5c61f6b7c600c098a2a2","datavalue":{"value":{"entity-type":"item","numeric-id":2513229,"id":"Q2513229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c97b15d33e2a9072c0e1b304c6af9368008d227","datavalue":{"value":{"amount":"+0.7433892","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5198508$2AD35CB5-10E3-4DD8-9169-E14EF6473070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95d96604730de5cece1c4fb1df83b2af00472c9d","datavalue":{"value":{"entity-type":"item","numeric-id":1337693,"id":"Q1337693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b55bec33ed9f62eabf97f2dcd2eb7eee2026cfc","datavalue":{"value":{"amount":"+0.74015844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5198508$BEED6476-7DAD-46D9-B173-B7EF021E6E8D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An application of proof-nets to the study of fragments of the Lambek calculus","badges":[]}}}}}