{"entities":{"Q5020358":{"pageid":7049935,"ns":120,"title":"Item:Q5020358","lastrevid":91961645,"modified":"2026-06-05T00:30:54Z","type":"item","id":"Q5020358","labels":{"en":{"language":"en","value":"A note on the system \\(GRW\\) with the intensional contraction rule"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7452347"}},"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":"Q5020358$5C5539D4-6756-4CEB-B32B-CF5204C5F2D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ec6f8c4c3b703e1988c01e28095d7a980c1eb12","datavalue":{"value":{"text":"A note on the system <i>GRW</i> with the intensional contraction rule","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5020358$D575C400-F5A9-45A7-B88D-F7275678185C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2f1fe1e9253f6038413fb587dc2efd4eb2c117c","datavalue":{"value":"1498.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020358$950C030B-0418-4F53-91AE-DA5F5C66E94A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d73718bee04a6f42a4a277895708f8993ae83bd2","datavalue":{"value":{"entity-type":"item","numeric-id":2046879,"id":"Q2046879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020358$A96591EC-3CA5-44BF-9FFC-192832845F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f097f48e57f971c8b295b988fb441632f79a07c9","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020358$77DE5C24-5127-4DFE-AD1B-48085B8AEF70","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020358$9B588381-739F-4404-B777-7344E011CDDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dcc7e1e16f9d2701c65651f7e2cba769daf1f618","datavalue":{"value":{"time":"+2022-01-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5020358$86832112-1DD2-4899-97AA-92416F00619D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020358$B9035BE9-115D-47FA-ADF3-C773D1FC897D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020358$9406C32C-6D3A-46CF-B175-44BBC15AD538","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"873b21081048f58dfd59c9da3605ef241a578194","datavalue":{"value":"7452347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020358$495FF2DC-349D-46B5-A008-FE7DDC2FE131","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5020358$E84AD42A-26CA-4ABE-AF05-127EDEF68742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5020358$15E5E783-3C4E-43F1-A33D-7C9315D6C07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5020358$7222BDA3-D536-4BD6-BC26-D7F96ABEA9B7","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":"Q5020358$F8B3A9FF-39D5-4010-B8F1-89234EAC3D2B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2bc26c1ce3635f99b2fff364f1d41b5f7d59e23e","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzaa002","type":"string"},"datatype":"url"},"type":"statement","id":"Q5020358$7B6F9A55-6922-447D-8FF7-D0D0B267F571","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08a9f0bc50a88a1b3970ef88a16f178f4cc86e86","datavalue":{"value":"W3011717052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020358$6AB44E56-9E79-49AB-8906-7435DAC39F32","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e5c0584c6bccd576ba63895b0c42ae8cad407ab6","datavalue":{"value":"Q126319368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020358$1A4A4766-5352-49D8-88FA-3653E46AE1F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb152e1a3e85eaf7b6743ff122c5dfbf492bd420","datavalue":{"value":"10.1093/JIGPAL/JZAA002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020358$4A62332E-DB1E-4D1E-A78C-E54682A8B2D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db9d9674d2a3331a738b83ece55648bc7394f2a7","datavalue":{"value":{"entity-type":"item","numeric-id":6047679,"id":"Q6047679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79bd2643f64551224eef1ec223a37dc6c09af910","datavalue":{"value":{"amount":"+0.8045158386230469","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":"Q5020358$FCDD10BE-5C55-4076-BA45-93DECF93AF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19e43534c5881c9212217c8bb6eb6ff07ede7078","datavalue":{"value":{"entity-type":"item","numeric-id":2958209,"id":"Q2958209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d36f0c5fbb3a4171943cd55967bd087dc947939","datavalue":{"value":{"amount":"+0.80362868309021","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":"Q5020358$C66EE619-C0CB-401E-986E-D8DD4E9A08A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3206d7c121ced57d7a62b35ef045ac4abc52af06","datavalue":{"value":{"entity-type":"item","numeric-id":5172146,"id":"Q5172146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"690dbfd63742517ce9e7a605b40a9c3f5d0d125f","datavalue":{"value":{"amount":"+0.8031020164489746","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":"Q5020358$A2BBF54D-0F3C-4BF7-8B0B-D189F8716783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5216c12011557aab9968b27125ae5048ba8d2088","datavalue":{"value":{"entity-type":"item","numeric-id":4395550,"id":"Q4395550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34dec45f36496e9f62449ba765ad4783310fcece","datavalue":{"value":{"amount":"+0.8026189804077148","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":"Q5020358$7D98ECDC-BDD4-41C4-B3FF-7C955A09D5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4f55252876260fa9200af39ed91805817a699ce","datavalue":{"value":{"entity-type":"item","numeric-id":4218025,"id":"Q4218025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfe4e719e24f0b42f83fcda483e0557fdc9efe5d","datavalue":{"value":{"amount":"+0.8017605543136597","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":"Q5020358$8529AA1C-81FF-43AD-AE64-FDF6D9108FBF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on the system \\(GRW\\) with the intensional contraction rule","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_the_system_%5C(GRW%5C)_with_the_intensional_contraction_rule"}}}}}