{"entities":{"Q3408152":{"pageid":3418855,"ns":120,"title":"Item:Q3408152","lastrevid":50913590,"modified":"2026-01-15T17:43:22Z","type":"item","id":"Q3408152","labels":{"en":{"language":"en","value":"On structuring proof search for first order linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5674844"}},"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":"Q3408152$C32DCE25-BE39-4412-90CA-B7AA625E08E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e9db2a7536061de331d725794ab3ae78223c345","datavalue":{"value":"1273.03163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3408152$D1021208-C18B-4BC8-89D1-01034891D4A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd3ed2b4f31654a06039d9483f2de0ff47a0ba93","datavalue":{"value":{"entity-type":"item","numeric-id":1685910,"id":"Q1685910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3408152$29D179F8-6642-4337-BC53-F5C8539105CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52205c49578ff1cfeedb9fdb2178766a03a9a062","datavalue":{"value":{"entity-type":"item","numeric-id":1035694,"id":"Q1035694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3408152$5CA1E3B9-10A0-4A58-9173-564ED103A02D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cd58fa7916be1dadd68e97310e9b33bd528be1d","datavalue":{"value":{"time":"+2010-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3408152$5EB7FB25-6637-4ABC-9BCF-8191BBBC9C69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3408152$E5FF4716-53DD-4476-A0C6-D263EA330A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3408152$E3BB2B66-DA36-4C29-B591-77C4F4D0115F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3408152$24C13A11-0800-4352-BE03-A2CC87DE8C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3408152$D55547A0-5641-4402-80BC-01706F198A68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"132846d724c8b3f96e1913b8632cd81a4882faeb","datavalue":{"value":"5674844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3408152$15DAF598-C239-4E2D-ABA0-E0A1C8EFBE7A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72b11b9668f5b983aff7c08ac617c6b3e700e327","datavalue":{"value":"Forum","type":"string"},"datatype":"string"},"type":"statement","id":"Q3408152$A250F9FD-D928-408B-8547-4904FF1CB3C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4378d1cd9d3156c2c23992c972f5935590e16786","datavalue":{"value":"first-order linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3408152$2A4D9A5F-3D4A-4EA5-9772-5A66F768BA30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q3408152$5383D460-565E-4EFB-B551-8702D1B156B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3408152$204E7299-1566-43AD-8365-64762ED7C237","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":"Q3408152$E7C4FF62-BE31-4B10-B586-C9AABC8880E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eb2102511dec07fb34f4d057bfc8c8f969e5375","datavalue":{"value":{"entity-type":"item","numeric-id":2503319,"id":"Q2503319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7eb59ef78510ad9bfca1fbbcd47ffee39fd095d","datavalue":{"value":{"amount":"+0.9144504070281982","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":"Q3408152$C887A538-6763-4494-83C9-74A61455F722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"181c7c870ef6785e31b0e6508f57bb8f8d4d6d91","datavalue":{"value":{"entity-type":"item","numeric-id":4501142,"id":"Q4501142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee9c6fb9de264aeb78cd3b230e1bc70a7eb56ef2","datavalue":{"value":{"amount":"+0.7733389139175415","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":"Q3408152$18F672E1-E6C8-46A6-8D76-0A2903B13E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b1a1b8742ad4b4fd8b08700fc7fa5c02d34775c","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"072192965d84c74426cb60e7273ffccb5bec0bcf","datavalue":{"value":{"amount":"+0.7648493647575378","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":"Q3408152$DE6E2F04-EA79-4F91-A0BE-1E29D4CAB5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"418f04edcf11ec662a481924a0aaf5060c05f5fa","datavalue":{"value":{"entity-type":"item","numeric-id":1575865,"id":"Q1575865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"072192965d84c74426cb60e7273ffccb5bec0bcf","datavalue":{"value":{"amount":"+0.7648493647575378","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":"Q3408152$21E95511-2D49-42C7-AE23-6BF41BB9C2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f58d5e1ac65ae4230a0a40dd416bc257fae2485","datavalue":{"value":{"entity-type":"item","numeric-id":2883080,"id":"Q2883080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8640a341128448ff0b997e9252f36e0b2cf5469","datavalue":{"value":{"amount":"+0.7587947249412537","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":"Q3408152$5A9B188D-7F96-4CB8-8008-5B3A3AC2A6DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3408152","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3408152"}}}}}