{"entities":{"Q3128476":{"pageid":3139192,"ns":120,"title":"Item:Q3128476","lastrevid":86526713,"modified":"2026-06-03T23:44:30Z","type":"item","id":"Q3128476","labels":{"en":{"language":"en","value":"Simple Gentzenizations for the normal formulae of contraction-less logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1000493"}},"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":"Q3128476$B7AB0F4C-E5F3-45C4-95C2-CDB5ED3BE4E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3fa65427d088ce080b58267e83c5e2dccf880013","datavalue":{"value":{"text":"Simple Gentzenizations for the normal formulae of contraction-less logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3128476$6394782E-BE2E-4015-9ADB-C97D3D22CC67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4638608310da520fd196cd883e34ae709bfe966","datavalue":{"value":"0897.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128476$55897287-B937-4FAB-AE48-8418A978384B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"317e7114e557cb622bfba3600754a1ff492dc6e7","datavalue":{"value":"10.2307/2275819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128476$F71EA24D-F155-48A8-AEBF-5915BD75F42F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128476$A5983DD0-B57E-406F-BB05-FF6CF55D595A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8212d9707fd326a29dd942aeda2a7be1e26dc9d","datavalue":{"value":{"time":"+1998-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3128476$45819DC4-756B-40EC-A795-06AFA12CC1AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128476$2FE696E0-1229-4378-A79A-C40BDDF37385","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab941c1666933b3d5c6777aa3d12182fd7ac2ebc","datavalue":{"value":"1000493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128476$9D7547B8-0BFE-4071-BDBC-07E8C8B4F049","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"580385f52d2c1d256b464a0fb648f8b7b66ac969","datavalue":{"value":"Gentzenizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128476$46F8DF3B-0FBD-4D72-924E-FAB3EB3C130B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8409d82fe87c87dfccd894c97a422412cfe10b11","datavalue":{"value":"normal formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128476$1FC32267-1A58-4EFD-8A2B-FC5FCF1BFE62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50dd5cdd9c423aeb4351e506202267c0ffaa6e78","datavalue":{"value":"contraction-less logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128476$B5B854CC-9B16-473E-85C1-BCE2AE81B15C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0309255f7aa295e2ed9c69f49bb822bac57e597e","datavalue":{"value":"branching rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128476$A47A5CE3-84B5-40EF-934B-242580BB82FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3788d8eb15a23fa0f90cdf206746b1b67d371a9e","datavalue":{"value":{"entity-type":"item","numeric-id":484103,"id":"Q484103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128476$5CB6DFFD-8C90-43F6-8C68-BC015434887E","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":"Q3128476$07860FAF-4BB7-409E-82A7-C1AB92E83880","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b532a50d1eef3572249fe7668c84486306a15bdf","datavalue":{"value":"https://doi.org/10.2307/2275819","type":"string"},"datatype":"url"},"type":"statement","id":"Q3128476$4A334D7D-9BA3-485B-9F96-2EB6792F27D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bcfa0dda6bd1dc191653de01d951de6f587f174c","datavalue":{"value":"W2099053388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128476$0293D575-5621-470B-9ED2-9397C1F5B19F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a778046fd5c2f9e537d0087918e6275474ca33ac","datavalue":{"value":{"entity-type":"item","numeric-id":2277247,"id":"Q2277247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128476$439EB3E5-AA2A-41BD-84A4-001C2EB0F34E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47b2cd59f4f35f3874d1a5c98b606bb7502c5f3","datavalue":{"value":{"entity-type":"item","numeric-id":4856945,"id":"Q4856945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a03b397d53f7c8038f32ce4f311a453455119b0e","datavalue":{"value":{"amount":"+0.8938704133033752","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":"Q3128476$F9D0AE2F-3293-47D8-B870-A5EF9E222D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d885227f885cbf4619d0b2a0a4268af7c45e49e0","datavalue":{"value":{"entity-type":"item","numeric-id":5279185,"id":"Q5279185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42d8334afd42944c4964802c927c21d55b36adaa","datavalue":{"value":{"amount":"+0.8199364542961121","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":"Q3128476$44210545-285C-487D-BC58-A9D1D9BEBFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f63d84f24d8bd1e2bb35c8f6cfd21559ed6f4edc","datavalue":{"value":{"entity-type":"item","numeric-id":2277247,"id":"Q2277247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90742f4d23e72f32c66dc1bc47d38dd5546fdbd0","datavalue":{"value":{"amount":"+0.8039394021034241","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":"Q3128476$2297DFF1-D2F8-4673-AAE3-4CEF7A027CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a5820ca235d12252b41cc6c592978addc321496","datavalue":{"value":{"entity-type":"item","numeric-id":2784788,"id":"Q2784788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9730ab1e9a968b5546c95f3abda282c55d64ac20","datavalue":{"value":{"amount":"+0.7840281128883362","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":"Q3128476$49631499-61A2-41BC-8890-8ABF21174163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92f69098d8da696f46f7e7cd9c7e9e2019afb6e5","datavalue":{"value":{"entity-type":"item","numeric-id":5903941,"id":"Q5903941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"646c14c61de4c77d664093d15865b76f92e7c3d2","datavalue":{"value":{"amount":"+0.7811904549598694","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":"Q3128476$EFC1B466-61A7-4595-B0A1-14BB84CD1DF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simple Gentzenizations for the normal formulae of contraction-less logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simple_Gentzenizations_for_the_normal_formulae_of_contraction-less_logics"}}}}}