{"entities":{"Q5688803":{"pageid":7718363,"ns":120,"title":"Item:Q5688803","lastrevid":46768761,"modified":"2025-12-25T13:38:53Z","type":"item","id":"Q5688803","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 970624"}},"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":"Q5688803$357B273B-F4AC-43E1-A44F-5DBA95C6470D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"939f43ff0b62384cd7199f247ba773cdb401386c","datavalue":{"value":"0860.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5688803$22BE94B2-BA40-42B8-A48F-E487FEB0B3DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"991173f2ea22332135ad6abd3f0c984815ecedd3","datavalue":{"value":{"entity-type":"item","numeric-id":1345900,"id":"Q1345900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5688803$74CE14F0-93A3-48C3-B83F-14F0B14FBEB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5bc48ff7272712d3abc20a4d87040a18a4c3fff9","datavalue":{"value":{"time":"+1997-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5688803$B14EFB81-863C-493E-9BFA-22FC5F627F4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5688803$89DB447C-C0DB-4089-9516-47142AF18457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5688803$2F8591E9-8531-4D22-867C-A71BB926F345","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c9a650fb3ca3f53aedab6cc7c442bc804b1b1de","datavalue":{"value":"970624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5688803$72980552-91F1-41E9-ACB4-89E732F326AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae682d5c22f8702c694a649057f29b8c3c289b60","datavalue":{"value":"modal logic S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q5688803$C68ABAF7-6202-4294-BD0C-98389B4CD021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47b20d4998028bfc7448587faabf0580b54a34ae","datavalue":{"value":"strongly normalizing reduction strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q5688803$36D357C8-CF79-472E-80CE-91A4B08E547C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6a9bdf4b5be39a453a90897f5ab56f9a34681c6","datavalue":{"value":"proof-theoretical analysis of sequent derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5688803$6F31DFE3-8388-4AF6-8772-F3985236FC11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5688803$491BF54A-995B-4CD4-BD8E-DE9ED2256014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc25f7a225c5d59568ddb5591d06dc234665e0","datavalue":{"value":"embeddings of S4 into classical linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5688803$339DD797-E830-453E-83A0-318A02A01F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6630fedd8d7ef57e4b6d8eef346cfc2959e38d4a","datavalue":{"value":"linear decorations of S4-derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5688803$C4781CDA-2731-480E-905E-3EF8C20750EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5688803$3541A194-FD30-4764-907D-E7A9B942E13A","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":"Q5688803$67EB71E2-A772-4942-8706-7310008B814F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e259268085225e4b8182f77c0e0e854f0c60702e","datavalue":{"value":{"entity-type":"item","numeric-id":4314678,"id":"Q4314678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a3bde38da9083858774223756cd3d0f9492cd89","datavalue":{"value":{"amount":"+0.828537106513977","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":"Q5688803$91073283-9267-425A-B96F-1F11B9942CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f364b9701cf87b22fcb8225603daa10a34efca2","datavalue":{"value":{"entity-type":"item","numeric-id":1345901,"id":"Q1345901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12466598ce89eceaa0623537949176ebe60b4965","datavalue":{"value":{"amount":"+0.7861337661743164","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":"Q5688803$FD1614EF-408F-414A-AF64-642B393BF066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705f09eacb69a7f821a55d3261d13f15e59dd26d","datavalue":{"value":{"entity-type":"item","numeric-id":5688812,"id":"Q5688812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"962e4564a39f1227bd22292962b6858a7e8770a4","datavalue":{"value":{"amount":"+0.7748683094978333","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":"Q5688803$F9AC2B9C-43CA-434B-8677-BD37303EF186","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5688803","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5688803"}}}}}