{"entities":{"Q4628675":{"pageid":6658257,"ns":120,"title":"Item:Q4628675","lastrevid":58306104,"modified":"2026-04-04T15:53:56Z","type":"item","id":"Q4628675","labels":{"en":{"language":"en","value":"Unsound inferences make proofs shorter"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7036430"}},"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":"Q4628675$13858B5C-A11F-4904-B07D-E227D4E84FD1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36882b5504a0dd1ab472dca45a2ef181973a87ae","datavalue":{"value":{"text":"UNSOUND INFERENCES MAKE PROOFS SHORTER","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4628675$68B962CE-E29B-45E3-B675-18BA3EDBBD2D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09199e62ee52285bfbfe94ff84040d09773ed606","datavalue":{"value":"1439.03095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4628675$D303537F-23C3-403A-B6E0-A86448FA3FF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79b013b7a9d2a2f8dca67e43ff0a0f9cda9e012d","datavalue":{"value":{"entity-type":"item","numeric-id":1699739,"id":"Q1699739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4628675$27504A5B-2341-474A-BA9D-F6E7BAD95294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4628675$EC27CDBB-5FB6-4BC5-AD82-44A314672B61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d99a99d302fa341637847c5e280e86ffac68daf0","datavalue":{"value":{"time":"+2019-03-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":"Q4628675$88B23D84-9280-4106-993A-A86721FF5143","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b2891d26f5eb99e3393bda60ccbe96a6c5793b75","datavalue":{"value":"https://arxiv.org/abs/1608.07703","type":"string"},"datatype":"url"},"type":"statement","id":"Q4628675$9257C5F7-1417-4261-8660-2D9566F60B33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4628675$3A538E4A-4305-42C6-84AD-F74A55F1DFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4628675$1FB61792-F277-48CA-B02F-1916884A018E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4628675$9A139E58-452B-413B-97E2-7286131D6343","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55b93a590098f47bd437e9f537f05b349763a680","datavalue":{"value":"7036430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4628675$84A0FA9A-23F7-423B-945D-0B9B729F57B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46733a47fe267f13bcc635d293b0eaada4ebda87","datavalue":{"value":"unsound inferences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4628675$A3A351D3-026E-416C-9AC1-6F7DD0BC4E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4628675$0C56F4E0-DB8E-4C2B-B785-D2025089C420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4628675$BA92CCD5-2889-4FED-87A7-7FD95EFA271B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30e1f55f15158661f4302e9e63d3dd1911369ecf","datavalue":{"value":"eigenvariable condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4628675$761A4CE4-FFB2-4F54-828D-00404E8FE837","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":"Q4628675$36B22C38-CC52-4804-82D3-FE9D2B3A6C5E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c09e232ba2e510fc5801381459702448f98016b5","datavalue":{"value":"W3101828175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4628675$0B6202E0-FF27-4119-9291-7A3FE30DCF25","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3468f2d5cf50111769e16c84c26e031442354cb5","datavalue":{"value":"Q113858288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4628675$23C776AD-28C3-4C1C-AA1B-FDCF0289A468","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7036e2e52e329387c8e99d6ca2df1fc1f19b7e1","datavalue":{"value":{"entity-type":"item","numeric-id":3083141,"id":"Q3083141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4628675$A21210E4-35C9-4DD6-9046-642D74319045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6ca373aaf79c485001675bd936a28ef2c814c6f","datavalue":{"value":{"entity-type":"item","numeric-id":2892685,"id":"Q2892685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4628675$C3BBF733-06A7-441E-A9A3-1D2C06243288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b559e594edc07777117cb084e905ea94187a1df3","datavalue":{"value":{"entity-type":"item","numeric-id":4304753,"id":"Q4304753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4628675$7CD1DC4A-528E-4F34-A0B7-415BADFC4B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0508654f8dbc2c54065d5adc87d2e81f95024db","datavalue":{"value":{"entity-type":"item","numeric-id":1302302,"id":"Q1302302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4628675$084C90E2-B0CF-4952-A13B-F65B15A1F5ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e1a301cd93c8014a1841e85fdb1644154a042ba","datavalue":{"value":{"entity-type":"item","numeric-id":5611757,"id":"Q5611757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4628675$F4A33B52-1382-45A9-941D-A29B251CBFF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72cd297b30f9282e340ab6cd2f0cbf46cae1145e","datavalue":{"value":{"entity-type":"item","numeric-id":817706,"id":"Q817706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4628675$CA90A13D-64EC-4EF0-B8AF-5271442F781F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86e2b29d9b4dadfb2f5b72715f7422f8e108a4ff","datavalue":{"value":{"entity-type":"item","numeric-id":1167721,"id":"Q1167721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4628675$E7B88A2D-D832-48E8-8C1A-4AD1F7DBA1AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1813c495b4019dbc5a0338bf865711982b775489","datavalue":{"value":{"entity-type":"item","numeric-id":4198750,"id":"Q4198750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4628675$A66109A0-231C-462D-961F-24DC34A01754","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"714347121aa1c3054a2fa93027e416cf7f02749d","datavalue":{"value":"10.1017/JSL.2018.51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4628675$DDDA2977-CB53-4288-A336-93CBAF635E4C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4628675$FAFB9E4D-1EBC-4DF6-85CC-F6D5182F28F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f56b9837cff1e3a89f7023d699c5e1954f1059b","datavalue":{"value":{"entity-type":"item","numeric-id":5697719,"id":"Q5697719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06791073430944d9fb1ae60291c3272a0978a38a","datavalue":{"value":{"amount":"+0.7334316968917847","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":"Q4628675$879FBD0C-C883-4109-8526-3BEB374CC519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e246e8c9c630be29a41b2bfa30c3408fe90839ce","datavalue":{"value":{"entity-type":"item","numeric-id":4255508,"id":"Q4255508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d21a5d09f42e2568f45cf73cc31acfe2742be35","datavalue":{"value":{"amount":"+0.722864031791687","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":"Q4628675$58AAFD22-3CF9-4523-B70E-4F50F5240550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb18cac53b26dfe575f8a4f16186953196af02f9","datavalue":{"value":{"entity-type":"item","numeric-id":5027662,"id":"Q5027662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6e8ef00dc132e770d177791536eaf68503a287f","datavalue":{"value":{"amount":"+0.719586193561554","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":"Q4628675$477F6388-3B26-4F4B-BAC2-536D1F8C7A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"077265d84b403984be6c7fd9e56d71eec563a97f","datavalue":{"value":{"entity-type":"item","numeric-id":1093632,"id":"Q1093632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08b2416e0a1b3ea161a6a464f0e7db37e4d1b39e","datavalue":{"value":{"amount":"+0.7087552547454834","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":"Q4628675$C57FEEF8-B3AD-4BC9-97ED-70B87B3CC148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ca8416c220ed1e0ca8590219d6b11448572e5d9","datavalue":{"value":{"entity-type":"item","numeric-id":331619,"id":"Q331619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76fe28f6ff5f8e5e7c91dbd76aea9818d637bb5a","datavalue":{"value":{"amount":"+0.702751874923706","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":"Q4628675$5DB3E623-AB24-4AB5-B682-F6AEFC86EB8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4628675","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4628675"}}}}}