{"entities":{"Q670704":{"pageid":672553,"ns":120,"title":"Item:Q670704","lastrevid":77811083,"modified":"2026-05-06T10:06:32Z","type":"item","id":"Q670704","labels":{"en":{"language":"en","value":"Extraction of expansion trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7038742"}},"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":"Q670704$044D4B01-A046-40FE-A400-D1020A129560","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2903347523f4cfdce6b0224a9e611388888a82da","datavalue":{"value":{"text":"Extraction of expansion trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q670704$67FA396E-46BF-4857-8785-A3F0F473EECD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd6516cbc88b69f87774e028554735f33eaf570d","datavalue":{"value":"1468.68296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q670704$85434734-CE8C-42EA-96B2-8AF96145E954","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"53993ae6db4350dacb1d3d4f5370b18b73e58da6","datavalue":{"value":{"entity-type":"item","numeric-id":167060,"id":"Q167060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q670704$E67206F2-F376-4F47-B9B7-712BE3EA110D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0af247aeda0d0aefbfde68ae92601a0a6b67c69","datavalue":{"value":{"entity-type":"item","numeric-id":670703,"id":"Q670703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q670704$8DFA9F59-881F-4DE1-8995-7D61FAC516A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q670704$A315DBDD-3560-4E79-A43C-4E4C1017D5A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b83f3765f3cbae8de532c104cf21fb3e8193ac40","datavalue":{"value":{"time":"+2019-03-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q670704$AC092A3D-B32C-4B41-BF25-7BD4DA5F2413","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q670704$8671E68B-E07C-48E3-8D96-190E0A595710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q670704$E5C96899-4AF0-45CC-80DF-3DF40652C8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q670704$167674D1-60AE-4539-AC47-796F0BC219AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q670704$AEF5C7F8-D033-417E-9A8D-BA6E6765B1A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fada8442b300bbfffbfba6957768fd41af5d82ef","datavalue":{"value":"7038742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q670704$E0E1C351-8824-4482-BA9A-F0EECAF5008B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q670704$07A153C4-FF00-4E1E-8475-3382E23F9872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7c23305d5a301c23057fddc53953635a4398a76","datavalue":{"value":"proof mining","type":"string"},"datatype":"string"},"type":"statement","id":"Q670704$55D2303A-51E4-4269-8A29-1555EFFB8449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dd58029e6611b64140af1ae87456970a33a8a7c","datavalue":{"value":"Herbrand sequent","type":"string"},"datatype":"string"},"type":"statement","id":"Q670704$FF3A8455-9C3D-4EB2-A58C-FC34BEC8F44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a74c35c178a274f7e1dfde66d0a2b48bcd82059d","datavalue":{"value":"expansion tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q670704$6BEAE3AD-BEA8-49E1-8B39-11639C45A88F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"45702294177a39ee1ff9766c01d5d14dfb7896ef","datavalue":{"value":{"entity-type":"item","numeric-id":21425,"id":"Q21425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q670704$087C0577-3B61-450E-8303-FC9FF1E63948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0377fc08ea7f390117b8d130fb06b17b33670035","datavalue":{"value":{"entity-type":"item","numeric-id":33995,"id":"Q33995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q670704$CEC8B778-0664-4AFC-AAC2-BE4023F91219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f13c5c9c25f7184beaf0290667b61e0c4dbe5579","datavalue":{"value":{"entity-type":"item","numeric-id":33996,"id":"Q33996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q670704$59B4DE22-7738-43E6-946C-E4E97C173C67","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":"Q670704$192C8F46-8F7B-4680-AEF1-45FDCFF12DD4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b04ccbd7ccc1b023b6f6f47e4d154d036dd9261f","datavalue":{"value":"Q92311822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q670704$1E21545E-38B1-488D-A198-A2D24154C1C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"562515774dd2c2a9c3b5168265af6afc5023cb34","datavalue":{"value":"https://doi.org/10.1007/s10817-018-9453-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q670704$313F2C53-5C2E-4DD8-9B73-B490947A7FFD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6e228d994a0a959d810ecd9ec067b48510126f4","datavalue":{"value":"W2794392750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q670704$8091555D-7129-4761-89F0-1A81E0193F17","rank":"normal"}],"P223":[{"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":"Q670704$8113FB1C-BA1B-45BA-8596-1D1D8302FAB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fbbdce3d319868b6dc8ed64beafab590c70e044","datavalue":{"value":{"entity-type":"item","numeric-id":5756761,"id":"Q5756761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q670704$FB7D7367-DD70-4F3D-B72C-8A25936454D9","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":"Q670704$5E4980AC-0CE7-4F53-A1E2-78DB3C1B6668","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":"Q670704$542FFA11-E375-4ECE-949D-B22B6BB6E01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbe7ca05964d4b09b50166ae769ef7441eabaf28","datavalue":{"value":{"entity-type":"item","numeric-id":2457341,"id":"Q2457341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q670704$E1EE08E5-16AC-449D-9D5A-7876C340BA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b28d320f1946e7f3fd48081f2ba560ca397acb","datavalue":{"value":{"entity-type":"item","numeric-id":609451,"id":"Q609451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q670704$E0293CA1-1F84-453B-950D-0FF3C50A8C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81c8bd4751ddf31ffec3cead31fe50a54786c0fe","datavalue":{"value":{"entity-type":"item","numeric-id":2259012,"id":"Q2259012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q670704$CDDA4D93-6172-4A29-951F-DE98D7275DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8497b2d78ba0b1939b3cc4392136c45f636c16c","datavalue":{"value":{"entity-type":"item","numeric-id":817701,"id":"Q817701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q670704$19CCEBA9-FE6F-4249-B9E9-DDBA169EF894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52ea8498461ad98c2c25d2d3ae72c43b05174e53","datavalue":{"value":{"entity-type":"item","numeric-id":5957850,"id":"Q5957850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q670704$0E2CA505-D3EA-4E15-B142-AB10C07C0E2C","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":"Q670704$AB5E1BF9-F196-4AAE-9298-65092F812A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"338aa0d01ce8385e92ab151731f9345a1bd5e9d6","datavalue":{"value":{"entity-type":"item","numeric-id":3107050,"id":"Q3107050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q670704$841E0EB8-4800-4220-955B-EF07DCFD954B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f46978007ec9d9d4c5cf90c5dba9ed08876efc2","datavalue":{"value":{"entity-type":"item","numeric-id":1135540,"id":"Q1135540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q670704$02FE8A39-3C2E-40F0-A997-E0E4B41E31D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f35ae7566b8bbe9c52c7114fdab5f84a63a423","datavalue":{"value":{"entity-type":"item","numeric-id":1840143,"id":"Q1840143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q670704$F6C077A9-7C90-4285-8BE1-9140584C081E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q670704$DE23F9A4-6082-42A2-84C8-F4416A9527E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q670704$CD766D4A-875C-4D02-8EEA-33C1E0979891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35a39c31f82702898501e90b1c2e31d6943391ab","datavalue":{"value":{"entity-type":"item","numeric-id":716500,"id":"Q716500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q670704$CB0EBE4A-5988-4E20-8D68-5D9D989194B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46faa8f9dd9d2db15375b6f86cd9184a54fb226e","datavalue":{"value":{"entity-type":"item","numeric-id":5505525,"id":"Q5505525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q670704$39C26370-0F84-4360-A888-8F98C8896D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44f4b87f15fa383558a1f67311da5777b8bd08a0","datavalue":{"value":{"entity-type":"item","numeric-id":2851942,"id":"Q2851942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q670704$3C9424D3-3879-4196-8196-48F74BD873AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7efe3073ff4a0f00b0a8bcc533e47be023ca11c4","datavalue":{"value":{"entity-type":"item","numeric-id":5236547,"id":"Q5236547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q670704$0C5109D2-60D9-43A1-95E6-F4628B54FB41","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":"Q670704$5F7D2F7D-BEF2-4022-BB2E-190C03EB8B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58cb14dabb49ce81b914063d4d765de30bcb45f7","datavalue":{"value":{"entity-type":"item","numeric-id":3338233,"id":"Q3338233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q670704$8C546931-40EF-41BF-9C23-E577A1B5D8AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f693c3f657985a4dc428e4c03d6b97b9d668c157","datavalue":{"value":"10.1007/S10817-018-9453-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q670704$BAC9455E-0EDC-4B1A-B728-5D9EBD541BE0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be4479469ed258f2f3fe03456989efa7ca924762","datavalue":{"value":{"entity-type":"item","numeric-id":5219931,"id":"Q5219931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5f505d927cc535b3cb530f15cfce5dfe162cf04","datavalue":{"value":{"amount":"+0.788609504699707","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":"Q670704$FBF36850-2F08-4BB8-983E-0494C95C0DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2402b34c779a73eb9f6c4530e64b5a77c98788a","datavalue":{"value":{"entity-type":"item","numeric-id":609451,"id":"Q609451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32a7869798b75337a91ccf6a5bb390fde2d59027","datavalue":{"value":{"amount":"+0.7819017171859741","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":"Q670704$CF0E1DB0-6F8F-465A-BF88-948D9078C86C","rank":"normal"},{"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":"27546e416ffe22e829c1a7010a88e720acc7a1ec","datavalue":{"value":{"amount":"+0.7777975797653198","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":"Q670704$94EAB79B-B1C7-4913-AE14-73B14F8170DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dff2234d712e9ec47640c786da6a18cb4b7bcee","datavalue":{"value":{"entity-type":"item","numeric-id":5705944,"id":"Q5705944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f918324015afb3a9c7623e4020b001919aea5fb9","datavalue":{"value":{"amount":"+0.7712806463241577","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":"Q670704$63EF731E-AE67-4810-84B6-ED2FA5D2CA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"987183b865f4f446f72937c8f91496cd57b6c811","datavalue":{"value":{"entity-type":"item","numeric-id":5756761,"id":"Q5756761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7ece14b761597d27c29fdd5024db86488354723","datavalue":{"value":{"amount":"+0.7645480632781982","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":"Q670704$848BD813-E2C1-4D85-986B-D17EF99321DC","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q670704$FB361C02-9D3B-4034-A40A-252A24F1917C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extraction of expansion trees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extraction_of_expansion_trees"}}}}}