{"entities":{"Q3086705":{"pageid":3097420,"ns":120,"title":"Item:Q3086705","lastrevid":51217718,"modified":"2026-01-17T07:20:31Z","type":"item","id":"Q3086705","labels":{"en":{"language":"en","value":"Intuitionistic sequent system with multiple succedent"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872202"}},"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":"Q3086705$6C2879C5-5B3D-45DF-8F26-2AA53968771C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c9c437e20b79a106081f3e17469efe1ba0fb6da","datavalue":{"value":"1227.03073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086705$99B47912-10F4-4D7C-9EA3-BB3529174706","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66c3b8d158d8b913d4ef8310ec5f1f81c785ff3b","datavalue":{"value":{"entity-type":"item","numeric-id":3086704,"id":"Q3086704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086705$53354BF7-3DB2-4067-B777-7A96562CF9CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7689f7450ca45c5720e9af63718c2696a88f018d","datavalue":{"value":{"time":"+2011-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3086705$166A42E5-805C-42C3-B115-8C20D338AD62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086705$CC5E4815-4D2F-44A5-A425-09260F058C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086705$F225D2E7-18CA-4714-9037-1D717646C44E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce91dba96b3fd18c3d26f300ce6cebc53bb54446","datavalue":{"value":"5872202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086705$E2F0C04A-EF56-4E9C-88A1-A3AB00FDEF17","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":"Q3086705$6F437DA6-9DF0-40E8-87A7-F80DF2565D31","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08cd0678eae120b57a06277684166d14eb2ae275","datavalue":{"value":{"entity-type":"item","numeric-id":3708780,"id":"Q3708780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33d52b5c2ab1f7ae2b4b28777c2e96bdaec65aec","datavalue":{"value":{"amount":"+0.7576338052749634","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":"Q3086705$6AEE09D9-69C2-4FC4-AAB5-7E58E41527A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87f454aed6b8c34fb7ae5e0df0c33533026f9703","datavalue":{"value":{"entity-type":"item","numeric-id":1094408,"id":"Q1094408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56afa324239cd40de1aff823226ee8abb3b47557","datavalue":{"value":{"amount":"+0.7535461783409119","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":"Q3086705$A78EE57D-5452-4D92-9541-5A15F12A5403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f6bdfb6d3006b453474ea06a77e968873feb9dc","datavalue":{"value":{"entity-type":"item","numeric-id":5014057,"id":"Q5014057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c15e35cac06cf116e958227a0fdd8c95c9d2de7d","datavalue":{"value":{"amount":"+0.7296971678733826","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":"Q3086705$2199C360-E0C2-40EA-8A67-51D7A803568A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e9852b6076c444d5064bb46d63ab13495875d23","datavalue":{"value":{"entity-type":"item","numeric-id":3147361,"id":"Q3147361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"678bf97e79245d470bcfcdabc33371c4fb037d00","datavalue":{"value":{"amount":"+0.7236809730529785","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":"Q3086705$2128B46A-6393-4A32-AD4C-1C5E97A70028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"276183bfbb11ba872b4c43c5d040a08f7dcd8256","datavalue":{"value":{"entity-type":"item","numeric-id":3718687,"id":"Q3718687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bfb4004974f1941c8dd57de0efd54afce43a702","datavalue":{"value":{"amount":"+0.7190753221511841","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":"Q3086705$6CD2F1B3-B9D9-401B-BCF0-6F3810592D77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3086705","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3086705"}}}}}