{"entities":{"Q5053003":{"pageid":7082580,"ns":120,"title":"Item:Q5053003","lastrevid":54452576,"modified":"2026-01-26T20:30:46Z","type":"item","id":"Q5053003","labels":{"en":{"language":"en","value":"Logic programming with sequent systems: a linear logic approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7623941"}},"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":"Q5053003$4C545AD9-916C-45F7-AA51-9170CC86480B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0660118efa31fa23d733d68102bfe11d26f48f6b","datavalue":{"value":{"text":"Logic programming with sequent systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5053003$7C51071C-4D18-419C-A837-D7C237C659BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7bf950e61aefde5a79579236da1adbb19f777065","datavalue":{"value":"1502.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053003$80C3CE04-9EF3-4F89-BAF1-A61C8855A9CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"edc6b08afc1b2eff2d555228deeeb1c4cf07164e","datavalue":{"value":{"entity-type":"item","numeric-id":1818357,"id":"Q1818357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5053003$12E18A04-04C9-4471-929D-D6F898B27394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed5c7aa705dc8b3ccdfbdbda8f6eeb473a55f7ed","datavalue":{"value":{"entity-type":"item","numeric-id":1380130,"id":"Q1380130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5053003$DE842E81-2025-4B9B-B4B7-30AE0362E1C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f8eb1b6981ee2f00126edfdc0e11774e104a6282","datavalue":{"value":{"entity-type":"item","numeric-id":5053002,"id":"Q5053002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5053003$7BF3F0C4-1DCA-4430-A6D5-8AFC40A6439A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e1483e38e3bf6c05c7809c6a2cdaaab1a69095b","datavalue":{"value":{"time":"+2022-11-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5053003$F8B8843D-0388-49C3-860D-0ECB1FA63691","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053003$1661F52E-1498-4339-87A0-67D582B2E0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053003$AB52A2F3-8FEB-424F-AD61-080A5C5AD640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053003$0875DEA9-731F-4419-93AF-A6FBECF460D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053003$E9FBDF80-4A12-4F9C-AB1E-F04F83190D8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f332016f030c0d5852f8e32cf90631223370d0b0","datavalue":{"value":"7623941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053003$ADB50C19-56B0-4E57-91F7-F9F7691E0BFD","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":"Q5053003$30FA4DFA-77BF-46AD-B7E4-BC549FE89E05","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78da403f5fc95ebd3ed02860c14f58cf20e9eb5b","datavalue":{"value":"https://doi.org/10.1007/bfb0038690","type":"string"},"datatype":"url"},"type":"statement","id":"Q5053003$1E6A78C6-0C99-4BE6-9556-FB0A3E6B3273","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e779f54145979f4f4f4a067e2ebb4210b4bd9337","datavalue":{"value":"W1469104086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053003$6098D0CA-6235-4805-AA48-A2228E6DFA7B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89116de25e2a41956edb27b253a368253e9be195","datavalue":{"value":"10.1007/BFB0038690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053003$E3D29B3D-F392-4A7C-BDD0-4AE6BAB04A96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d94a692e39d006471d956831b65a35119065b16","datavalue":{"value":{"entity-type":"item","numeric-id":4255503,"id":"Q4255503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e76a5efe8a457f7102e5a5ce303eaa91bdf0bddc","datavalue":{"value":{"amount":"+0.8067551851272583","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":"Q5053003$7D2EAA46-BD08-4159-81D0-800BD47FFA6D","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":"6b2057d86a2b18fdefeb6d251b1e55c97961fae6","datavalue":{"value":{"amount":"+0.7926876544952393","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":"Q5053003$3396D090-FDD4-4FA7-9804-955B88306CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"685ac1e545d2a29702ab34a3e6bb986e02475644","datavalue":{"value":{"entity-type":"item","numeric-id":1327384,"id":"Q1327384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b2057d86a2b18fdefeb6d251b1e55c97961fae6","datavalue":{"value":{"amount":"+0.7926876544952393","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":"Q5053003$3DF6A3DE-0CDD-4891-8E12-C3E7669BAD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f880533c119de7c2962c291abbf7a819980ff0a","datavalue":{"value":{"entity-type":"item","numeric-id":4537511,"id":"Q4537511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cfeecee9c7d1b36a3f9401e51f2dee7ec7f815f","datavalue":{"value":{"amount":"+0.7916203141212463","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":"Q5053003$7B4AF792-E741-4BE5-BE5C-A3B0D6D2E1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa9d686e5aaa7e4c9ec9fe1f604acee7b0c2fe4f","datavalue":{"value":{"entity-type":"item","numeric-id":4370235,"id":"Q4370235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5f8e1a0ef0162f55430d290390dd809b08cf074","datavalue":{"value":{"amount":"+0.7900095582008362","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":"Q5053003$0CB95E74-1285-4A49-B712-E810C118B52A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5053003","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5053003"}}}}}