{"entities":{"Q2180235":{"pageid":2190978,"ns":120,"title":"Item:Q2180235","lastrevid":53731991,"modified":"2026-01-25T15:22:53Z","type":"item","id":"Q2180235","labels":{"en":{"language":"en","value":"Two is enough -- bisequent calculus for S5"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7200366"}},"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":"Q2180235$F98EE1BF-3183-4250-8264-84C5CA73C08B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51153bedb143c94b02257315ef10048506ee598a","datavalue":{"value":{"text":"Two is enough -- bisequent calculus for S5","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2180235$D6B2DB34-55F3-42DF-9A17-E9772DC75922","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c6d2fd3a9013275a9ae4c3c2632af10506d4ff9","datavalue":{"value":"1468.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180235$E18D9C35-B17D-4728-A565-D409A1CAEB1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6af7250edeb2ee018b9a29079e46302a9c2ea2c","datavalue":{"value":"10.1007/978-3-030-29007-8_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180235$9E4E85AC-EBA3-4FD9-B140-825AB859CC6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da6035cb69d114e94ed992b557e83e58d19a50f3","datavalue":{"value":{"entity-type":"item","numeric-id":477583,"id":"Q477583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180235$CA108668-B029-479D-8C71-AF1EA7E57D07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d0c48627b068f854a947856c3807165d49ca3ba","datavalue":{"value":{"time":"+2020-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2180235$CCEBC363-5D1F-4CFB-852F-908A48D2A31A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180235$7EBB17C5-A33E-4C8A-ACB9-3804B128BBEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180235$6702BBCB-330B-4B16-8E7D-9FC2AE3440B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4d264426feabc21dad7719dc76f4e306b9e2e33","datavalue":{"value":"7200366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180235$4F1AA8CA-C82E-4345-96BA-EFA12304DFE3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cff85dee16cadd488aedde77d2f1f8240c1748b7","datavalue":{"value":"bisequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2180235$BE4A7A37-D8CD-4074-AA06-6CA43A6E4A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2180235$21BEB0BB-26EE-4C91-8046-0FAADAA041DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2180235$8DF69B87-EABE-414C-AC55-3415E7570169","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":"Q2180235$F28E794B-030B-4590-AF21-CDF7CAF075CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44dd1abd09e0d0817fc544f7f285dfb40c06f09a","datavalue":{"value":"https://doi.org/10.1007/978-3-030-29007-8_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q2180235$1C2D2A18-8393-4A1F-A09B-87C266A98324","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c5e7135387448fce05872021298c82edd9a0c23","datavalue":{"value":"W2969501000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180235$41E4507E-29F0-4C27-880D-5CF6B587920D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a50b448ca2ddb9ee66e64ca64d548758fd3bf612","datavalue":{"value":{"entity-type":"item","numeric-id":5283968,"id":"Q5283968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c90f6347d191aa0bfad61e3b732475ab58854dc","datavalue":{"value":{"amount":"+0.8129926919937134","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":"Q2180235$B04BC9DE-D957-430C-943D-AEF61161CD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde24f2dc05d718c17873e27325a3ec9b3ed0755","datavalue":{"value":{"entity-type":"item","numeric-id":3580655,"id":"Q3580655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1618965983f5f69d87e3d512ec6e8fe3846e347f","datavalue":{"value":{"amount":"+0.811543881893158","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":"Q2180235$C95A6263-4E96-499F-BA5C-C517B70C6BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dfeddcfbdbcd3982afd1ae6ed4f5cbd95d0d83f","datavalue":{"value":{"entity-type":"item","numeric-id":5457387,"id":"Q5457387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f97eb6e4bf664fc3613c1f3e3bcc9212e31f5b6","datavalue":{"value":{"amount":"+0.8061830401420593","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":"Q2180235$ECEA750B-BA30-478D-8E00-1DB3C3037DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8cbb356d708ec4d093af55fa2b4d23959b0ff10","datavalue":{"value":{"entity-type":"item","numeric-id":2987741,"id":"Q2987741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e30a27be3052ff9c0acb770b05b80a942de3d7a5","datavalue":{"value":{"amount":"+0.8045371174812317","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":"Q2180235$9A6386EF-13DF-42C0-BF62-FA4BBD5375F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"154147a13c9d60a29b39367a8cdaf3b6f48c670c","datavalue":{"value":{"entity-type":"item","numeric-id":2810012,"id":"Q2810012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a49fe9546f0f1ecce4af2700b733de7278e541c4","datavalue":{"value":{"amount":"+0.7995664477348328","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":"Q2180235$B70B43DE-1D73-4D0F-A20F-BA605E58631B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2180235","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2180235"}}}}}