{"entities":{"Q4860654":{"pageid":6890234,"ns":120,"title":"Item:Q4860654","lastrevid":47384209,"modified":"2026-01-01T14:18:42Z","type":"item","id":"Q4860654","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 834567"}},"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":"Q4860654$5D9CDD78-FDF1-4FE9-8435-154809A096C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6227d57b92b3835c9c122566ebb799cfb167dc92","datavalue":{"value":"0835.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4860654$AE3AF94C-36F2-44CD-BAE6-2B1D49483F43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"858bb220443cbe848419646c0bc40cd0c281b808","datavalue":{"value":{"entity-type":"item","numeric-id":496328,"id":"Q496328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4860654$5A1D0A57-BD8C-4FFD-A3DE-2269510CC9B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23538f1860075d0767b907c88ed715c00085d18b","datavalue":{"value":{"time":"+1996-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4860654$629AA588-A7C2-491C-ABD7-EFA7C7602710","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4860654$938D8996-9C2B-4B46-8A8F-2C16E85F41CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4860654$0CEE638B-63DD-4C8E-B664-2F26F7A9F967","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a3bdccb3e82ec21eb982849e73a359f1a546bfb","datavalue":{"value":"834567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4860654$392F61AE-6DCB-4572-908C-F07556D6A3AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e3c2c2eaba8984beb575e6612ad7e4655001e84","datavalue":{"value":"labelled tableau calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860654$1812F7CF-2B58-4DC4-B972-FF3E9E7ECBFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860654$4B2EFAC1-0FF6-44A6-9BC5-6F4D417FB189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860654$023A8626-4471-421A-A45E-32BDE6A8DBB8","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":"Q4860654$0F6E82AD-47F6-4783-84B8-000A49C113B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bb7051288014263ab7e27ee69689e8865a31e7b","datavalue":{"value":{"entity-type":"item","numeric-id":4392661,"id":"Q4392661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a5a5f1e9692b9ac9fa48dd3a57864b3bd2404cc","datavalue":{"value":{"amount":"+0.7802282571792603","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":"Q4860654$7C6E645B-4D19-48BA-B822-F413EEB5949A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d4bc61a62b50b963eeeeb6be3728a9501ed922a","datavalue":{"value":{"entity-type":"item","numeric-id":3832540,"id":"Q3832540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a5a5f1e9692b9ac9fa48dd3a57864b3bd2404cc","datavalue":{"value":{"amount":"+0.7802282571792603","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":"Q4860654$C9FF57F2-C428-49D4-A5B7-D3387ECD1BC1","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":"38146fd6a05536de4b06b3c67c11c5c443f33300","datavalue":{"value":{"amount":"+0.7766638994216919","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":"Q4860654$F622CA0D-A94E-4C98-8A4E-3BA09F897CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95de8b63776201ea6b05b9c5c78d30975b296a1a","datavalue":{"value":{"entity-type":"item","numeric-id":4304102,"id":"Q4304102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2871478bc46341062e252118c848fb3134004353","datavalue":{"value":{"amount":"+0.7707647085189819","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":"Q4860654$61DB0D59-4273-4F4B-B808-702A3B33B301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"606ef258b57aa1fa81c6a20bf97b3b91d33b2a69","datavalue":{"value":{"entity-type":"item","numeric-id":3783272,"id":"Q3783272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2d32ac22fa004c4b30a9f64833957403c85b7f7","datavalue":{"value":{"amount":"+0.7645403742790222","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":"Q4860654$D32C8D83-3613-42E9-801A-420453F1B712","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4860654","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4860654"}}}}}