{"entities":{"Q2958209":{"pageid":2968928,"ns":120,"title":"Item:Q2958209","lastrevid":52732841,"modified":"2026-01-23T09:27:59Z","type":"item","id":"Q2958209","labels":{"en":{"language":"en","value":"An alternative Gentzenisation of \\(\\mathsf{RW}_+^\\circ\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6679599"}},"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":"Q2958209$E9709D95-16A2-47DD-ACC3-398DEC2EAA8B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30a70b92a2add725bee69a94524f6a851eff5730","datavalue":{"value":{"text":"An alternative Gentzenisation of RW+\u2218","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2958209$03DA53F3-4657-44A3-8CB1-13CB2D4B9115","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fdf42eed8b17fd7d7e747e7af6d8d689ff7b4c96","datavalue":{"value":"1429.03090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958209$D2B5B288-5126-486A-A219-DCF52B5BA8D0","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":"Q2958209$6CAFB86D-82E4-487B-AD5D-C7F530B06C90","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958209$11C3FC70-A9B3-4932-BC18-D499508B2F50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9849d71e29537eeb70c12e6244018ee5a71fc837","datavalue":{"value":{"time":"+2017-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2958209$566EF782-85E3-4327-AE5D-A59E97CDC35B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958209$66E1224E-50EE-4A7B-A63E-C0E67452231B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958209$B781D692-5322-4593-A66C-D9FDBDD06D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958209$9C630E0D-DBF0-4915-AC38-EA019FF3CA30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dabbee48516fa27c7b844b6a57b18c2bb48f9ab9","datavalue":{"value":"6679599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958209$3862AA31-1C6C-42CA-82C4-1594F2131784","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4feea89835b46b1433881e67cdd6f181cb49b8","datavalue":{"value":"relevance logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958209$DE509B5A-A0C1-4F2B-9A70-B4584B334CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef06ea03bd631cb382ef979a034c43d208c0a4ac","datavalue":{"value":"positive fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958209$4ACAD711-463A-4308-B0CE-809556150816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958209$9CE51222-B243-4A11-9848-76D281C87A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958209$E0B12633-0C1B-4F4E-B560-DF4615F784DE","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":"Q2958209$877323CD-D7E8-4648-97EC-C929693D6335","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8e92e5081288ca434e38693e08f449615150d78","datavalue":{"value":"https://doi.org/10.1002/malq.201400084","type":"string"},"datatype":"url"},"type":"statement","id":"Q2958209$BD503069-3C59-4162-88EA-8DB8F39F17B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dbea8c9431b01ba3a016f842c17b1fb8c4c64e2e","datavalue":{"value":"W2565418789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958209$2D13D226-175D-4573-831D-9BCC6B6E223C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958209$D90CF976-34B4-42EE-A00C-E1D2B9ACE6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d46e781c294f6bfb98aeb8f9e18dc6c4db01e0ca","datavalue":{"value":{"entity-type":"item","numeric-id":691126,"id":"Q691126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958209$CDA04860-16EA-493A-A375-C2F6748141F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3740790bcafb5be42b63a2da2ae21979b744ba73","datavalue":{"value":{"entity-type":"item","numeric-id":4916555,"id":"Q4916555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958209$7CA65735-04B1-457E-837F-1B6FCD8EB3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27be475e2944a8315474eaffebac2a29244cdf07","datavalue":{"value":{"entity-type":"item","numeric-id":911575,"id":"Q911575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958209$A45D9026-2F19-4430-8002-5E1D5A5EECED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958209$61F25414-B578-4A1C-8CB0-48465AC82FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f35ae7566b8bbe9c52c7114fdab5f84a63a423","datavalue":{"value":{"entity-type":"item","numeric-id":1840143,"id":"Q1840143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958209$DE4F1FF2-47BB-4F25-95A1-600E35C98008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb5cbc6e4207291864084d3942a2b63091f8bab1","datavalue":{"value":{"entity-type":"item","numeric-id":1072541,"id":"Q1072541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958209$6490B476-B999-4D10-8E0A-0A60F0CDC987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deddd6368251b116be591f5cfa189b583e30a26b","datavalue":{"value":{"entity-type":"item","numeric-id":5172146,"id":"Q5172146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958209$83A36BB6-7325-4D6D-BADA-5983494D574B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ac9fb51b37d0b03d613f2b317e998437b24d399","datavalue":{"value":{"entity-type":"item","numeric-id":1247417,"id":"Q1247417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958209$1FBC1BCA-CEF1-4553-8D7F-BDABD347D881","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50ff879c937e9a5a3b86057c298b7587dfe83ecf","datavalue":{"value":"10.1002/MALQ.201400084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958209$9E0A91CC-FBD1-424F-90BC-EC0EC0A51162","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":"50171db91cb8cf0aca5971d0583804662312610a","datavalue":{"value":{"amount":"+0.8689172863960266","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":"Q2958209$6E0BA346-9CF1-4AF3-AE16-460A508DA8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eb9083894e6a6ee813cdd8de0842fca44feeed6","datavalue":{"value":{"entity-type":"item","numeric-id":1072541,"id":"Q1072541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"327563373cb6eb3e587f95cd245dea9b62566eaa","datavalue":{"value":{"amount":"+0.8674841523170471","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":"Q2958209$61E341A2-A8A9-4960-8D3E-19571C771F24","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":"b68f8fbe531000e560dd6ca47bed5859d34d8d15","datavalue":{"value":{"amount":"+0.8608189821243286","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":"Q2958209$A232F272-FD2D-4E9E-897C-00BA666D6A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1045d1d43ecac57bf02d9e545b4e5924e4db95e0","datavalue":{"value":{"entity-type":"item","numeric-id":4228152,"id":"Q4228152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"300012145a0eeb522413c4218735e468cae03160","datavalue":{"value":{"amount":"+0.8410805463790894","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":"Q2958209$A8629707-72F7-4234-85A9-F9D2FC73E933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a16dac385b0a6553c09397546dcdb39839e6c21","datavalue":{"value":{"entity-type":"item","numeric-id":4609358,"id":"Q4609358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d19e0987fac4c0852b45a4d9029b9f87a67b1e7","datavalue":{"value":{"amount":"+0.8399814367294312","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":"Q2958209$03FE708A-7A16-47D6-971E-A41C8C6D19C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2958209","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2958209"}}}}}