{"entities":{"Q5372012":{"pageid":7401586,"ns":120,"title":"Item:Q5372012","lastrevid":52939127,"modified":"2026-01-23T20:50:06Z","type":"item","id":"Q5372012","labels":{"en":{"language":"en","value":"Backtracking with cut via a distributive law and left-zero monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6796957"}},"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":"Q5372012$FC31D72B-CE97-42A9-8705-95AAB37A66F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98dd30d9b845b2e7b35cd063dba12d7605a7f95e","datavalue":{"value":{"text":"Backtracking with cut via a distributive law and left-zero monoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5372012$ADC68E53-1CBB-4A7B-8A40-6FE84922EA2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5881c2b06e1809dc4013b49cd76262307f74f94d","datavalue":{"value":"1418.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5372012$81F2B5E6-7057-4543-B51A-669188A451FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"000fc04ce695552cd4fc899e1150b490a6395049","datavalue":{"value":"10.1017/S0956796817000077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5372012$C508AA71-A686-4E60-ADA3-BD3DAA28B340","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bcd5a9cf1756627d591d8b5bea43e89f25fa377","datavalue":{"value":{"entity-type":"item","numeric-id":265822,"id":"Q265822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5372012$FFC6267C-5FE3-4C61-A01D-B5D2D15E73C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a180f6b8fbe32ff0de946e58b70ddd0c3edf8524","datavalue":{"value":{"entity-type":"item","numeric-id":265791,"id":"Q265791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5372012$0ECD54ED-0255-482D-A6CA-94FF91A15EB7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5372012$38D23BF0-10EC-4922-A7CA-31D24589EBD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f19e547da68d1ccc9d6e22045cc7b4068d9919c0","datavalue":{"value":{"time":"+2017-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5372012$6C5AAFC3-E52A-4441-B7BC-1FBA4C175F68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5372012$C571D070-5E5E-405C-858D-01A86888FE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5372012$79E30609-3CAA-4FA0-9B15-8467EE3B7423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5372012$5936FD61-3129-4262-B3F6-7DF873DC5E3B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0de8adf1f1091d9f14f421eadf2205c326e0935a","datavalue":{"value":"6796957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5372012$E6B73B23-B10B-4642-BA90-6212C60ADA03","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67349c6be58a5d9a0c2386b802eac1530b65e644","datavalue":{"value":"algebraic effects","type":"string"},"datatype":"string"},"type":"statement","id":"Q5372012$C096EE30-FDB5-4ED8-B89D-CB74C188759C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17eed3b160cb9d48b281f9b3f413ac3934d1eaa5","datavalue":{"value":"list monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q5372012$DCDF471F-B55A-4F7C-ADFD-5EA3F5979391","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":"Q5372012$4147F9FD-F204-4CD9-84DD-B6C74516A991","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e99f41142e6d56c13ef3a05fd3f9bb055e348","datavalue":{"value":{"entity-type":"item","numeric-id":3682648,"id":"Q3682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5372012$35276C2B-2C71-4226-97D1-59CA210AC0D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"129c81f86b6d0c323db7ec7d9bfcdb274c4c975b","datavalue":{"value":{"entity-type":"item","numeric-id":5579535,"id":"Q5579535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5372012$2A0D9679-4C6D-4934-BEB2-07F088253B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb0c296e80c33227ed344639e5abb587f0f010d3","datavalue":{"value":{"entity-type":"item","numeric-id":912643,"id":"Q912643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5372012$864F054E-9412-4963-8F1F-ABB085E902DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cafd5e19528a2aea0a1b635515ddda4e3b547807","datavalue":{"value":{"entity-type":"item","numeric-id":2943369,"id":"Q2943369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5372012$61990D18-8C37-4AF0-AD2F-305ED8F8BE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458ee001507b480ff8394fd6ad8cd23eb7d87a38","datavalue":{"value":{"entity-type":"item","numeric-id":2908573,"id":"Q2908573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5372012$A058BF2F-04A5-438E-8EE2-92AF6AAC1C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"359ce7a09b828315d6714453c2f81ad5e1a17102","datavalue":{"value":{"entity-type":"item","numeric-id":860883,"id":"Q860883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5372012$0CE942AB-D450-4461-9513-7D5A20ECEB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a322738c92ab9ef22948d2d6883bfa28116e11","datavalue":{"value":{"entity-type":"item","numeric-id":2500483,"id":"Q2500483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5372012$F126AD4A-7354-401C-B3F2-CCD5146E3E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd065c1d610e456574e229e678250805d159560c","datavalue":{"value":{"entity-type":"item","numeric-id":615955,"id":"Q615955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5372012$EFF74E0F-1ABE-4F43-B6D3-DB08F9441307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5372012$11429EE1-011E-4EE9-A075-C089968785E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1251679ebba3d3d46cbacbe48d014d90899158f9","datavalue":{"value":{"entity-type":"item","numeric-id":5013826,"id":"Q5013826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5372012$31AC8B39-BDF1-4AAC-AE1C-25841AE480A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6adb107bdfe6d7d78cd50627b681655c7f3b8a5","datavalue":{"value":{"entity-type":"item","numeric-id":2851544,"id":"Q2851544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5372012$371DB819-0953-4ECA-BE2A-B39994130C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89c77992b9a4ecfaa4f9ad1dc33b5d78181cf582","datavalue":{"value":{"entity-type":"item","numeric-id":2871476,"id":"Q2871476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5372012$B05A9684-E1B9-4CC8-9311-F4F32B35F8CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e7712f93279ac980dcf0090edbde9c442d82f148","datavalue":{"value":"https://doi.org/10.1017/s0956796817000077","type":"string"},"datatype":"url"},"type":"statement","id":"Q5372012$B1113DC6-ED54-40E5-B83B-8CD464FBB12A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74380d9011818ee4414eb9bc45a169e879e93d6a","datavalue":{"value":"W2734348649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5372012$468ADD13-7748-417B-A1DA-6BC7D1F2C991","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfc56a5515ff11670e1e6f8a8acf4ca09fefde4b","datavalue":{"value":{"entity-type":"item","numeric-id":2936782,"id":"Q2936782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2135ec64c3e7ef36de46306c9d847a09b64ebe0b","datavalue":{"value":{"amount":"+0.7337163686752319","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":"Q5372012$C6A9F4C3-EEE6-4D9B-8240-6CB932D2DB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"610356c579c0134cc862a12efe9efc070e987837","datavalue":{"value":{"entity-type":"item","numeric-id":2943369,"id":"Q2943369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c2286f9a4857b23f85881dc3dec6476248e98e8","datavalue":{"value":{"amount":"+0.7282484769821167","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":"Q5372012$BCB0B22D-6FEA-46FC-A06A-FA347BAE051C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6daea6351e24b896c690987819035671b17bc6e","datavalue":{"value":{"entity-type":"item","numeric-id":5013826,"id":"Q5013826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7d269574c2b69549f2c064bf0b7fb259862400f","datavalue":{"value":{"amount":"+0.7205311059951782","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":"Q5372012$3BE66BBD-4C21-4C85-80EC-067C04D0A729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0576ae00502862466f613737e9caca85a84a6432","datavalue":{"value":{"entity-type":"item","numeric-id":912643,"id":"Q912643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc0349bbb8b5245465c0c3182184333e89ef6013","datavalue":{"value":{"amount":"+0.6870484352111816","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":"Q5372012$B0FA1C3A-4DF4-494A-8C5B-61FE67E469B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec3f64816d3b613233bc088a8dcf6aeead9b9001","datavalue":{"value":{"entity-type":"item","numeric-id":5249252,"id":"Q5249252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"321c4679119247580f80bdf1e98342c7ff8d2b2e","datavalue":{"value":{"amount":"+0.6819882988929749","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":"Q5372012$A93434B8-24D7-4B79-AEE1-0491C4B9833A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5372012","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5372012"}}}}}