{"entities":{"Q4882488":{"pageid":6912067,"ns":120,"title":"Item:Q4882488","lastrevid":46379634,"modified":"2025-12-24T16:22:53Z","type":"item","id":"Q4882488","labels":{"en":{"language":"en","value":"Reductions in Intuitionistic Linear Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 890010"}},"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":"Q4882488$C91B5D6D-AD98-4650-B6F7-A04A72243878","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa2957f43f3e2a245f4e588198d5e975085e1dca","datavalue":{"value":{"text":"Reductions in Intuitionistic Linear Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4882488$470BDB3D-0E31-44D0-B802-0B53B664DE1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"953c0c64d5cc35dce24a8c19af08559998f22a9a","datavalue":{"value":"0847.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882488$571B2809-E669-4554-8462-3A97DB95801A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e11e46fcfc7a7dbf83f3cb00c87223047c71da1","datavalue":{"value":"10.1017/S0960129500001201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882488$F096758B-5671-4668-AC69-C3F33A04B577","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882488$A84FC457-95D7-413C-A0A1-A8F0FD32203F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3050a190ac0349a6dcbdbf95d44ef12e50c002cf","datavalue":{"value":{"time":"+1996-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4882488$867A199F-6E9D-496A-AB54-BEE8612DD0DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882488$A52E23A3-89A5-499D-ADAA-D9885B6CF026","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2a3917e693be306dc0558f7a02eea278e504b76","datavalue":{"value":"890010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882488$CB3306DD-F85E-481B-BDF5-8E4496F88241","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a78b648d77b9a51552964b940d3755d3dfabb55","datavalue":{"value":"reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4882488$C2729F3A-CA97-4F9B-9CAC-3C8057A7B66D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35e6898b50088c8e1117289cebdd88933d79821d","datavalue":{"value":"Intuitionistic Linear Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4882488$2FD0BA43-197E-496C-9A25-8F16E594247A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b243572f25465f3ae7a32f2d3b06ae2073b8520","datavalue":{"value":{"entity-type":"item","numeric-id":590478,"id":"Q590478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882488$D93AE417-5F93-4B8F-8DC8-41D81FB8687B","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":"Q4882488$C4FA7941-7C2A-4774-A66F-5D64F46337BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a001bea59f4f49bf4906b79254c069c38b37e44","datavalue":{"value":{"entity-type":"item","numeric-id":5566549,"id":"Q5566549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882488$C0D2F217-2A58-48D1-8D04-034965E47A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad78f0c9eae65d440bef225de3d19917af4dc15","datavalue":{"value":{"entity-type":"item","numeric-id":5822056,"id":"Q5822056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882488$5E91CB70-332D-4D00-9208-82BCB627CA19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f30df818bfd03003a38ac93471e94dac39302e1f","datavalue":{"value":{"entity-type":"item","numeric-id":757581,"id":"Q757581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882488$1773D469-2DE3-4A5A-B674-4859372DE29E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78f96ca0a98366652ffa332f57c39160bc871d23","datavalue":{"value":{"entity-type":"item","numeric-id":1168318,"id":"Q1168318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882488$21847CA6-5238-4A76-966D-CF52709F6AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee55ada81d31217cb0c473ae17b12345717ef0b","datavalue":{"value":{"entity-type":"item","numeric-id":3316619,"id":"Q3316619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882488$E4C6B77A-E522-4544-B7F3-0AAB5B4147A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"afdd0323f46a42475d47ef9d225ef2880e9b3e40","datavalue":{"value":"https://doi.org/10.1017/s0960129500001201","type":"string"},"datatype":"url"},"type":"statement","id":"Q4882488$01F681E9-4435-4F16-BAB0-589F820CE61E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a3210c45834567ee8a307caae35aa929ef26604","datavalue":{"value":"W2118829502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882488$5F78BD34-9E46-477B-AFAB-921359FB6BC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3720fb551bf8c8dd2bf3f28b889da5130af7cdc","datavalue":{"value":{"entity-type":"item","numeric-id":4281466,"id":"Q4281466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8496a3d1a9f28cdb870980c06bc63093530eb13","datavalue":{"value":{"amount":"+0.7948029637336731","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":"Q4882488$34BAF65D-6F83-4F2F-8D54-9258C02A7A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a1c1bb59fd9363bdacd386fc7141e51a81d0525","datavalue":{"value":{"entity-type":"item","numeric-id":1407574,"id":"Q1407574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c70194f249745bce7dad59f702a82ca0c141808c","datavalue":{"value":{"amount":"+0.7898437976837158","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":"Q4882488$0FDF242C-3485-4EA2-8C19-DD50D8A1F2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ea70ba171b852e8efc26bea54c918fc8c8372fe","datavalue":{"value":{"entity-type":"item","numeric-id":1210141,"id":"Q1210141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d949c26195687f1b2aba0f0e1442f330b596c0d7","datavalue":{"value":{"amount":"+0.7728146910667419","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":"Q4882488$8AFEF84E-6DAC-4A79-8BA5-DC9D0455EB51","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":"737c0b60c22a509c197cd54c48266ab4286852a3","datavalue":{"value":{"amount":"+0.771714985370636","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":"Q4882488$C5D960B4-F7D2-467B-8647-1AAB7F6DA338","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4882488","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4882488"}}}}}