{"entities":{"Q5236547":{"pageid":7266115,"ns":120,"title":"Item:Q5236547","lastrevid":58497000,"modified":"2026-04-05T11:41:57Z","type":"item","id":"Q5236547","labels":{"en":{"language":"en","value":"Expansion trees with cut"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7114848"}},"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":"Q5236547$EC91FC14-7CA4-48F1-B018-CC5191B8C0A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d451f4f56c012afabd52dcd5333308e0a7890ec7","datavalue":{"value":{"text":"Expansion trees with cut","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5236547$A85FC6E3-431E-436F-9671-84042F618A48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8eb775b3d717a760316c02b79c06db84094a7e86","datavalue":{"value":"1456.03085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236547$13EC54F2-4844-47DC-B376-1273C3BBE520","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a5fd139d721596de08d4ff65f876ca9f6fd2241","datavalue":{"value":"10.1017/S0960129519000069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236547$7BBFB42A-0577-4DD8-9374-B6C4280AD5D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23e305483c8390fc5243887be03d6710fa7b8317","datavalue":{"value":{"entity-type":"item","numeric-id":265000,"id":"Q265000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236547$353226C6-8EB9-447F-8103-547ABB486E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac16dcce5f3df8b1bf1087e5a90fdae80fa7a2e5","datavalue":{"value":{"entity-type":"item","numeric-id":402112,"id":"Q402112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236547$A530B980-6DFB-4B09-B876-FB058B01E0A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcfb9bbb17b1f1dc2e6c305c640f7c0f522c3f5e","datavalue":{"value":{"entity-type":"item","numeric-id":402114,"id":"Q402114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236547$5860CA25-7C73-4705-BD79-D6004D712BB9","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":"Q5236547$B346639C-348E-42C2-B2ED-DBA0CA338701","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69528ab356cbcd2b53ea1b91a6f142ab0edc04fe","datavalue":{"value":{"time":"+2019-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5236547$E0581527-7ABC-49DC-BDF1-9F6F8E6AC71D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf15d16f60ae3773bd82a57602186b6ba14d671e","datavalue":{"value":"https://arxiv.org/abs/1802.08076","type":"string"},"datatype":"url"},"type":"statement","id":"Q5236547$A7DCC1A6-E11F-4175-B75E-08EE5A56CDC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236547$777881F3-1235-4FC7-93B0-065C200D127C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17b19c4eb66f35883b1ec8186a2045d2b49868e7","datavalue":{"value":"7114848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236547$57672975-A43C-4C2F-8934-8A7DB518B67C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5236547$4FF79154-4C7B-464E-BA82-6BCAC28A1920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5236547$7E7D93A6-D079-460B-9B93-3ADEE704B6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09c1984b41935c0a923dca51c0af0797d5eb50a","datavalue":{"value":"Herbrand's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5236547$08564A76-E9B3-4858-B511-9EC09628EFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"162c8c826152c47bc21e01bdd0a121076fde9007","datavalue":{"value":"expansion trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5236547$B43C605D-E13E-45C9-B01A-78AAF82DA4F1","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":"Q5236547$8CA0C105-ABCF-450D-9946-5708178B3FBD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3907787f92038892e4b3baf1bb47800a1bdad513","datavalue":{"value":{"entity-type":"item","numeric-id":4977225,"id":"Q4977225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236547$365FFE1A-1384-495D-85E7-71DAEA847C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"322cb536d18d13274b87adcf8c32b9e9e2e2316b","datavalue":{"value":{"entity-type":"item","numeric-id":265002,"id":"Q265002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236547$90A851F6-1393-4483-8E34-777639F06F88","rank":"normal"},{"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":"Q5236547$28C2DB19-D8F5-458C-93BC-439EE8DF15B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9971824e365b87038a762d44dbf9be6146ef8271","datavalue":{"value":{"entity-type":"item","numeric-id":5705944,"id":"Q5705944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236547$60D3CF79-3D28-4121-9F11-466561A80EC2","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":"Q5236547$68FA0CFF-D905-49A4-B1EE-3C74B3CA7CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1079b6d698a143d8d07f3dc7f4c3c2ed61bd0760","datavalue":{"value":{"entity-type":"item","numeric-id":5927981,"id":"Q5927981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236547$97C8D561-3342-4849-BD93-8C544597EFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371d2399f50a6aebcc2fc70e10f9c3ee27554be0","datavalue":{"value":{"entity-type":"item","numeric-id":4836058,"id":"Q4836058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236547$8FD39BAE-AA4C-4D82-AF76-B6AA9F8D2D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640dbea36607eac12c9234dd8913c144d385805c","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236547$036C8740-AF0B-4E61-9954-150C1F01ADD4","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":"Q5236547$6650EA68-30BE-4635-ADF1-AB2ADC9E3A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68bd3c479b0afc38fc2b3684aaa9294549d85a83","datavalue":{"value":{"entity-type":"item","numeric-id":2817928,"id":"Q2817928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236547$8333D3AB-2E83-4ACA-8EE7-08790F433F6D","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":"Q5236547$4D947A2E-C19F-4E6E-85DE-24C5B6455CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5292c81996c3eb9c9cb0511bf1659b1e176124b","datavalue":{"value":{"entity-type":"item","numeric-id":636369,"id":"Q636369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236547$64DA1681-7249-40CF-A118-CC39C0E2F97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11e208522a4118a419d596c442a747ac2e863797","datavalue":{"value":{"entity-type":"item","numeric-id":1762353,"id":"Q1762353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236547$A4234E58-FCBA-4542-99FF-8193AD93A79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"126027bd1117ae7b43eb99164bb0bda86476a77d","datavalue":{"value":{"entity-type":"item","numeric-id":4649555,"id":"Q4649555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236547$3CC30D7B-CEEB-4973-9762-1FDF7E3BADAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc032892d4a94b13a994202edfb25cb5d8b8a0d6","datavalue":{"value":{"entity-type":"item","numeric-id":2946689,"id":"Q2946689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236547$704D8AB4-85D8-45B0-A2E9-C15EC37B2487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1675ec5894a8c57acbe2bcc56434f5813617d031","datavalue":{"value":{"entity-type":"item","numeric-id":1102282,"id":"Q1102282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236547$AC2BD94D-BF69-49FD-9258-2BF4ED9C3363","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":"Q5236547$C9611D24-D2F0-4185-84EC-DF5133CC6A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236547$6C7300A3-F456-433C-AE5D-EBB33BEA9D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b85ec644d1895229fb9a0063bc11fc1d9a36f9be","datavalue":{"value":{"entity-type":"item","numeric-id":2882563,"id":"Q2882563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236547$22753991-4616-4C61-B7F9-712AD66B358F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d79204b93c70135fd2326679c160b7bc12322e0c","datavalue":{"value":{"entity-type":"item","numeric-id":2708321,"id":"Q2708321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236547$2D49035C-D12A-470B-AF51-63E765AFA8F0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"afdb77e295b8cbd00b12db46cd088bad7bfa6dac","datavalue":{"value":"Q127126656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236547$0E3DF44B-C9CB-4016-B2DB-D22D04BDD1AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"565d2d13a9fcdbad64e7108f68671fe155ff6b73","datavalue":{"value":"W3097995181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236547$BC230F3C-4587-434F-9395-C85C637E5536","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b7c000d2f394279b04ae858f6859677cf84ffa6","datavalue":{"value":{"entity-type":"item","numeric-id":1102282,"id":"Q1102282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0b2b3390528ca7a91844506ccd9e83d41ca6a84","datavalue":{"value":{"amount":"+0.8294418454170227","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":"Q5236547$8D349407-CCD9-44B0-9974-87ED416E58DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c44e02d3ba1fb404b3e82a6a5ef631beffe17f4","datavalue":{"value":{"entity-type":"item","numeric-id":2946689,"id":"Q2946689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41c3b108b49f1d6efc2c96776fc1d435e9776b61","datavalue":{"value":{"amount":"+0.8122445344924927","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":"Q5236547$D1A3A2A3-8980-4EDB-A731-B7AB3BF019F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc98fd3177bbd6c831ad4e9b86ec0d2843e074a3","datavalue":{"value":{"entity-type":"item","numeric-id":3338232,"id":"Q3338232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e210cba519cfc31b10a820fc9d9c2e04971b4767","datavalue":{"value":{"amount":"+0.7981709241867065","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":"Q5236547$97CC7C6C-BC51-4364-8CED-F71472B2518C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4f57ae9a0eb625b12ef643043b0fdd958bbea59","datavalue":{"value":{"entity-type":"item","numeric-id":1023053,"id":"Q1023053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca350c7f62a296f734ad73ae9afa7a0e7f049e86","datavalue":{"value":{"amount":"+0.7781255841255188","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":"Q5236547$EFE54FBB-7062-41E1-8EAD-87FB2B09A838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec290a654ce54a07fa3d9cb8e5571225b93f307a","datavalue":{"value":{"entity-type":"item","numeric-id":5221602,"id":"Q5221602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"468602e053312f182e0ebc8cec3dee77d4fa94c3","datavalue":{"value":{"amount":"+0.7740432024002075","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":"Q5236547$A126259F-5416-4F8F-9D0C-ED165C6DC5BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5236547","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5236547"}}}}}