{"entities":{"Q4007369":{"pageid":6037181,"ns":120,"title":"Item:Q4007369","lastrevid":93040889,"modified":"2026-06-05T03:28:59Z","type":"item","id":"Q4007369","labels":{"en":{"language":"en","value":"A bound on the length of a random derivation-search tree in general multi-premise calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 59214"}},"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":"Q4007369$327E5361-E3BC-4E0A-B240-E42B38D96B83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b797411084164f52469cbe4ce9984d8b296f49d","datavalue":{"value":{"text":"A bound on the length of a random derivation-search tree in general multi-premise calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4007369$3EB8F4E0-A52D-440B-AAB7-9FC375D8380F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebeef81f05a4b5436f17cc707ed19a7af78f0930","datavalue":{"value":"0752.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007369$0EA7C0F7-50C8-438F-9A8F-881F97410816","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a39ace330bed511a27f0aa98a0b6cf92b418ee9","datavalue":{"value":"10.1007/BF01068328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007369$FD7A6D77-8EB8-4F70-BCB9-2AC6ADD46456","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43ba2ff1d0efb972143aad47bef917137cb9685b","datavalue":{"value":{"entity-type":"item","numeric-id":1816107,"id":"Q1816107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4007369$DD00A7CB-304F-42C2-B67A-17F9459B167F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2f2504956ff395a23643134114da7c6c64448d2","datavalue":{"value":{"entity-type":"item","numeric-id":3026191,"id":"Q3026191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4007369$A7F756F6-E586-4145-8EDD-8F18977DE5F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4007369$BA57D9E5-288F-4205-9A25-53713A825E11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007369$E457BA46-E7D3-4889-A9F5-AA49B6508EC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b481564a8a415ab78aad1efd7b0ef73494a926d","datavalue":{"value":"59214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007369$E49FBA2B-6ABD-4C02-90D3-15A5D6CD2155","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"226be349793b29568b7642efd736be7731ca7dd9","datavalue":{"value":"multi-premise calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4007369$FCEAD91D-7618-4F47-BC03-71AC2A150C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3d4d6a99bb12427d1d320bafa590f9d7058400e","datavalue":{"value":"Post calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4007369$BC99D631-3F85-4CDE-94D3-38462EEA5643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"900449d9c111228b32b61aefc4917c5119284013","datavalue":{"value":"complexity bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4007369$73C6E21E-A406-467D-B47C-8561E8BC3FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3e56922968c66a028a87c8e14b6cbb591fa6eac","datavalue":{"value":"random derivation search trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4007369$5A475B08-699A-42A5-B550-884336D8D47F","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":"Q4007369$57C6B760-E1CC-4DFB-9163-88D8AB9EFA67","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ab4f852681f1f6e124fdea2dcda61fd6350888","datavalue":{"value":{"entity-type":"item","numeric-id":1245947,"id":"Q1245947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4007369$C659DCB0-7381-434B-A5F6-B338BD13C957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f63602864ba0f92673863c4e08e8c412c43a5e","datavalue":{"value":{"entity-type":"item","numeric-id":5845381,"id":"Q5845381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4007369$54CC2F19-7477-40D7-9BCD-C80810B665FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c4205739d1aa36dd5f481cd340236cc9b209f8e","datavalue":{"value":{"entity-type":"item","numeric-id":3665103,"id":"Q3665103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4007369$BB3F3CB8-6EBE-45FE-B1EC-E200667916EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5064794169daa5d7d409499154054f8028ee2b55","datavalue":{"value":{"entity-type":"item","numeric-id":2532920,"id":"Q2532920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4007369$5C7F8CC9-2BFB-47C3-960C-EE2E480CBDE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a35cc55e5b10a424a85f3ddcd5c540cf5328ff0d","datavalue":{"value":{"entity-type":"item","numeric-id":1249435,"id":"Q1249435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4007369$A1CEC7EE-5CF8-437D-97EB-9E9CEAA7AAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e21fed36378df68d8eaa1435cff9449c1ee157","datavalue":{"value":{"entity-type":"item","numeric-id":4144819,"id":"Q4144819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4007369$4C8144FF-A199-4F34-95E6-59FD55CC4824","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6dd9f3b5e8a772de78dc020544ada94959c36f85","datavalue":{"value":"https://doi.org/10.1007/bf01068328","type":"string"},"datatype":"url"},"type":"statement","id":"Q4007369$1E003155-B57A-4C9A-852B-345114F4F840","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"385bdcdea41accbffa497258270fa86638a798f2","datavalue":{"value":"W2041263082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007369$C2230582-8CEA-4E43-BE30-F4B3931FCC86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A bound on the length of a random derivation-search tree in general multi-premise calculi","badges":[]}}}}}