{"entities":{"Q3520146":{"pageid":5550050,"ns":120,"title":"Item:Q3520146","lastrevid":50428256,"modified":"2026-01-14T01:01:08Z","type":"item","id":"Q3520146","labels":{"en":{"language":"en","value":"Computation with classical sequents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5312444"}},"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":"Q3520146$C4B85929-700D-4FA1-940C-7347F845D276","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"449b6fe8b5cefc5a73583bd55d1e60a64b433783","datavalue":{"value":{"text":"Computation with classical sequents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3520146$A9E29C55-FF62-4E1F-9EC1-C72BA4FF127A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35bd235fac0997f0305d90e6e580b8c6e7fd0f9e","datavalue":{"value":"1173.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520146$92F28853-6796-4E38-B94D-4E5F7E9AD92D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6fbf78c56e2bf0188dff721d96d082815b6f64fd","datavalue":{"value":"10.1017/S0960129508006762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520146$DE2D8A3E-ED3A-41EA-8588-7C0B65108641","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10ec95c9417991096363f0d0f0e5d9ea0afefe59","datavalue":{"value":{"entity-type":"item","numeric-id":235593,"id":"Q235593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520146$D6BE3A6D-4CD9-48CC-A5F1-2C38D1008594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5fd864542907a2da8db322de1436438bd84c826","datavalue":{"value":{"entity-type":"item","numeric-id":579929,"id":"Q579929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520146$949E54D8-305B-4C97-A82B-EA7324AE2FAF","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":"Q3520146$426A7426-06B9-4EC5-98A4-FC97B5E4F24E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1ef753f84a9df60c660e966b6beebb9738a52b5d","datavalue":{"value":{"time":"+2008-08-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":"Q3520146$1AB1B584-1FC8-4970-9BB3-375215BE460C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520146$1F8F30A5-48DB-4C94-8D09-8D0BBF5673D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520146$BDD5D585-9ADF-44C8-AB1E-7BE5449AB272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520146$C8664532-5759-4384-BDE1-E32576E00B41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46481a6a38dd7ff100ad20f4ffcf47f618cfb826","datavalue":{"value":"5312444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520146$9B4DB623-4FE8-4D3E-8018-5DB39555E41D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520146$AB6B1207-8C30-4C19-968E-FE8B62DBC0F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff79e803a1c5d08a94972a742953580846010d37","datavalue":{"value":"reduction rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520146$439164BA-9062-4BFE-A693-B20507CC3BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d878b0d3dfbb92774b613d7924046a6e93a3772","datavalue":{"value":"application formal language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520146$D98F97AC-7069-459C-A343-06F57834C879","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":"Q3520146$F0FE2996-D515-4E92-8004-191417AA01A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1e93b7524b60bb9ab3f8d71fd24ac2451f79309","datavalue":{"value":{"entity-type":"item","numeric-id":1326769,"id":"Q1326769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520146$4622B19A-0845-47D2-8505-ADBA566BA8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d72b1f486ce619d4334243a807b7206a5f803e","datavalue":{"value":{"entity-type":"item","numeric-id":1887145,"id":"Q1887145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520146$78CBB4D5-3C27-48E4-ACF6-B10D1184BC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520146$38ED2ADE-13CD-43D5-9350-431C1E4DB55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520146$EA190401-B78B-40C3-87B6-19DC5DE6DAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef5d9df8ee1b7691f1ce86bd867f936bf64d345e","datavalue":{"value":{"entity-type":"item","numeric-id":4948037,"id":"Q4948037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520146$E01395D2-5D6A-44DA-B60C-2B6D52AF77A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520146$223E81F1-2D7C-4BAE-B155-4A9D503C2A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1a3788383c9cc058727f1358cfc587595de30c","datavalue":{"value":{"entity-type":"item","numeric-id":1917084,"id":"Q1917084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520146$5A368908-A076-4F7D-A7A9-CF5E6F1581E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520146$EF20785E-F510-4A5E-A985-6AFECFF94D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520146$7F09DD8A-B79C-470B-B4EB-3F6811783A98","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":"Q3520146$015AD2E2-F173-4C0F-9F83-92E5B57FD4CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e84ff42267477e949575e937efae295817dbcbf","datavalue":{"value":{"entity-type":"item","numeric-id":4372906,"id":"Q4372906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520146$BC8D020A-AB2C-4B4B-9153-A9DC8CA3E89F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"929fffdb17ed5cf0d987de5651696cf74c6971e0","datavalue":{"value":"https://doi.org/10.1017/s0960129508006762","type":"string"},"datatype":"url"},"type":"statement","id":"Q3520146$1FEC4CCD-E551-4B34-80F8-BF0B1AA84DB3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35eb41b385a901776de9d391d14320e13f69bc68","datavalue":{"value":"W2027556526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520146$419ECEE3-140B-4306-A768-E891C7C6D6E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e8359d9b6a9e8c93648eb627156f63af6cee9eb","datavalue":{"value":{"entity-type":"item","numeric-id":5395064,"id":"Q5395064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f54579f696c0774b889aaee6ace038e2ffcd38e","datavalue":{"value":{"amount":"+0.8313965201377869","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":"Q3520146$484BAC06-1410-467D-95FC-4E3170289A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fda9281cf90c653508787bd06b0f5edf6250721","datavalue":{"value":{"entity-type":"item","numeric-id":5899010,"id":"Q5899010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44474ad8118e56e652567ffe5542cfb0ad36d301","datavalue":{"value":{"amount":"+0.8162150979042053","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":"Q3520146$7C0D80C8-D452-47B4-B9E1-17EE5A327505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"869135bac15d9543c59bc2a25d5e145a706361f3","datavalue":{"value":{"entity-type":"item","numeric-id":4222823,"id":"Q4222823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0513e38b1c92da9a0854ce89bedb48be6a284987","datavalue":{"value":{"amount":"+0.7738789916038513","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":"Q3520146$A5EE80F9-1EA9-45FC-B979-9C70920B9DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3cf884216827827d76dc386643225100b15468d","datavalue":{"value":{"entity-type":"item","numeric-id":2844073,"id":"Q2844073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d90a466dd00006f6582ba73d6559329e1823c402","datavalue":{"value":{"amount":"+0.7658690214157104","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":"Q3520146$A3636613-82DB-46EB-8A68-96AD247ACDB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"947d3efa76f4869e1353a25924768953a39b048d","datavalue":{"value":{"entity-type":"item","numeric-id":2929866,"id":"Q2929866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10ec8ac225d66765986130eaa009aed8c8c388b1","datavalue":{"value":{"amount":"+0.7593059539794922","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":"Q3520146$0D990FDF-3BC7-4F4C-95AB-32ECFAC7A16E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3520146","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3520146"}}}}}