{"entities":{"Q1640993":{"pageid":1651734,"ns":120,"title":"Item:Q1640993","lastrevid":71629323,"modified":"2026-04-13T23:30:39Z","type":"item","id":"Q1640993","labels":{"en":{"language":"en","value":"Proofs of proximity for context-free languages and read-once branching programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6889852"}},"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":"Q1640993$E84917D7-2833-4105-B2FF-6D8137656A4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8cce3080f794d145930af4463450771ae458eb88","datavalue":{"value":{"text":"Proofs of proximity for context-free languages and read-once branching programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1640993$B352CA7C-58C1-488C-A902-B86BF67A7C51","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8fbaca03433f960bfddee1cf07b67fc3bd7c62a","datavalue":{"value":"1395.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640993$DCD8A58F-96DC-40F9-B02B-4D9B2B22F45D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cecf1ef8f97c75d3f636331253c64cfc37610336","datavalue":{"value":{"entity-type":"item","numeric-id":178474,"id":"Q178474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640993$9983A69C-14D1-4B56-8E13-52A320775BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f692be87a3d1e7ea97a1ac74932c32ad1c9ba1a","datavalue":{"value":{"entity-type":"item","numeric-id":1630384,"id":"Q1630384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640993$348D90AC-274E-4BF7-B4FF-8FEEC7693237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdd5ef419e9cb275a1574697f0ddd536422071d1","datavalue":{"value":{"entity-type":"item","numeric-id":776007,"id":"Q776007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640993$DA80E396-576C-4E98-B753-23C50933D45D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640993$9D3CD2D2-0729-41A7-A259-4572A2AD1C6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b559bb800700d5ba2a45f57085de6ba33131f78","datavalue":{"value":{"time":"+2018-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1640993$08C4F1FD-48CA-48D6-9FF0-869D27CA8FB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640993$598F6BEE-AE11-46DB-B707-A0F17923CE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640993$BDC0CAD5-A394-4BFD-ACB5-AC3007A8E672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640993$7DBEBF03-8B9F-43B1-8AD6-780A8C119BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640993$B23C43D5-6DC4-4C0B-99E4-D26FE7AADD78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640993$50F4084F-9F38-47C5-8065-D7B7A85FB49C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a23f6655ff42a91a077c82aab53e9ab4b16be52","datavalue":{"value":"6889852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640993$FB178E72-84D5-4402-BB4D-A0E7BD682E49","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74b1607241b13bd5f40b3641b7789c877213db7b","datavalue":{"value":"property testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1640993$570983F6-4E7D-4ED0-8537-04EF34F2DE49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38ba5be85d75ef609e89c69759dd72605d61c619","datavalue":{"value":"probabilistic proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1640993$411AA1B5-A3F0-4743-A2E7-55A1F503CFE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8428c3fa111c0542ed22960ce5dd7f76f7043e0","datavalue":{"value":"interactive proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1640993$3549B960-99E8-409C-ACAB-589EF76E4617","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"deb4a63f73089806b833af0ce0550e3f49f6ce0a","datavalue":{"value":"Q113872846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640993$B782532E-FF89-4742-95AC-3F6B1909FBF9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c007ae1867363f659c11dfe2e26b294ddb7e58e3","datavalue":{"value":{"entity-type":"item","numeric-id":33608,"id":"Q33608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640993$4588E2E6-D839-45B1-8725-F038AED60912","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":"Q1640993$03267FCF-9C2C-430B-874E-1AA923C4D05B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32a1f46e8153837f688884cf584dd05ff9ff3fd8","datavalue":{"value":"https://doi.org/10.1016/j.ic.2018.02.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q1640993$D1F749EC-F68B-4788-802F-CD6808BDF2BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b8869e8982628b8a2219473c901b7def9baa36ef","datavalue":{"value":"W3021472282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640993$6BDBB744-AA28-4AE9-8986-C953EAFE80FF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af9c400472b33809e98a7c72843fa27c42a11de","datavalue":{"value":{"entity-type":"item","numeric-id":4877517,"id":"Q4877517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640993$C7E0C258-E25F-4AAF-88BE-5D4A12265749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc39092484c42c2661962bc3a074cbc74d5b534e","datavalue":{"value":{"entity-type":"item","numeric-id":3158518,"id":"Q3158518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640993$09C2ABE5-C4E3-4C80-A7AB-F87B696B2727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa3bafad9d6e886702e9e3f927c0abc8860d7d1c","datavalue":{"value":{"entity-type":"item","numeric-id":1881217,"id":"Q1881217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640993$632BA31E-EB4D-4A12-91DD-5744A83512F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed04d79666eea642df7dfc0dfa9b9ab70ff5eeec","datavalue":{"value":{"entity-type":"item","numeric-id":5757455,"id":"Q5757455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640993$AE71BDC7-1381-4AF7-9D8D-A0D2B6E81557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff8cd79183c0b4be1f820dfac41ddf0d9f228147","datavalue":{"value":{"entity-type":"item","numeric-id":5757456,"id":"Q5757456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640993$ABBC6D6C-CDBF-4AEC-BF11-3F7635FADE6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d19c775a4b878ca4ab154189b44f8e0f0e72481","datavalue":{"value":{"entity-type":"item","numeric-id":5495850,"id":"Q5495850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640993$B46E3E16-EC9D-480B-B600-AED5D02B54B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a0874b305ada292ae2b0948aba99dc34e85ea68","datavalue":{"value":{"entity-type":"item","numeric-id":2989023,"id":"Q2989023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640993$3E6F852A-F1E8-48A3-AF40-0B327CEAF83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"003bbcce26b36d6e156e7afccef63b0a56060774","datavalue":{"value":{"entity-type":"item","numeric-id":2988902,"id":"Q2988902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640993$88C488EE-FDB1-4F30-AB22-8CA5F961A615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff620e6e4970cc65e32fcd83840e8a986e9cf7d","datavalue":{"value":{"entity-type":"item","numeric-id":2706138,"id":"Q2706138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640993$8518A415-3C9E-4A5E-99B2-ADAD3AE80EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"489eba1baee128beadc60730959b25199e852bf8","datavalue":{"value":{"entity-type":"item","numeric-id":3149882,"id":"Q3149882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640993$FDCF0BD3-895E-4F06-8080-613A2609B760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"095ad7663783708b33b7fb8dc043b16705df62c3","datavalue":{"value":{"entity-type":"item","numeric-id":5492933,"id":"Q5492933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640993$24B3E6E6-C246-4285-BA99-EC09C80AC38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"645756dd714339a91ac373b2cd09930417d49978","datavalue":{"value":{"entity-type":"item","numeric-id":3815526,"id":"Q3815526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640993$EE887DF6-1720-4450-A415-162F8E20E209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9920c3ac00d626f59f95283223bd4fb6ae680345","datavalue":{"value":{"entity-type":"item","numeric-id":1152951,"id":"Q1152951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640993$2364F333-1E56-4F49-A326-38F779E9949A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71e2e9770ed1fb5144523965db10c86700ad5a67","datavalue":{"value":{"entity-type":"item","numeric-id":4780800,"id":"Q4780800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640993$5C6E4A94-3D91-43CE-8166-8B9FF9D5BA3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640993$5C78EDD4-E405-4BD2-8B7F-1EBB8ECE0983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dea093d3839ed665056eeaeee9a324725f39bcb","datavalue":{"value":{"entity-type":"item","numeric-id":3020015,"id":"Q3020015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640993$0C9FA1F3-9038-40FA-922C-D7F630799320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa5bee5357a250d05fef165e66d176475085e3ad","datavalue":{"value":{"entity-type":"item","numeric-id":5180413,"id":"Q5180413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640993$D4F32367-09D6-4D28-B624-68FA0D9A7D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6f9cc6adb79ac51cdd210356b9c5051f2fb2bdc","datavalue":{"value":{"entity-type":"item","numeric-id":4933366,"id":"Q4933366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640993$98B07499-8659-43F7-9A41-D28303CA7D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f456c39d8036688836526fb396ec8e7fb340305","datavalue":{"value":{"entity-type":"item","numeric-id":3167426,"id":"Q3167426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640993$D264B295-33D9-4D26-88E0-3CE544914746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2e021774faf57f958111e98c4340b9b9441889e","datavalue":{"value":{"entity-type":"item","numeric-id":3549691,"id":"Q3549691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640993$880859CE-1D38-46ED-AFE3-35A67E386CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49619dec3350544886d04ab96358c814f5378a9b","datavalue":{"value":{"entity-type":"item","numeric-id":5361818,"id":"Q5361818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640993$D679EC8A-C17C-47F1-9791-76AD1656867B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b1eff86e275eabe1de48fbbe338962260427bd","datavalue":{"value":{"entity-type":"item","numeric-id":1100894,"id":"Q1100894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640993$ED36AF63-7ADA-4C3F-8882-2C2DBA61636F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4b9934e4330ebc62619a24483f8517d80241bf9","datavalue":{"value":{"entity-type":"item","numeric-id":1273742,"id":"Q1273742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640993$29AD647B-A91A-4F09-BFEE-C6B600D5FAF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"533cf21d0d3d2036e61422b7433f170a18751bc1","datavalue":{"value":{"entity-type":"item","numeric-id":5592251,"id":"Q5592251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640993$56A83912-4284-4490-A036-D88F8734A145","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e56f7c8dbb91276f326117156abf4ae188e52a5","datavalue":{"value":"10.1016/J.IC.2018.02.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640993$FF67B044-C631-4D60-9663-7D1AE0AC527C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7ddf164bd10114481c647198ab4774347302cfd","datavalue":{"value":{"entity-type":"item","numeric-id":3448824,"id":"Q3448824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"478a1792565dcc34380e185d1c6e66bc3f92b85a","datavalue":{"value":{"amount":"+0.9886457324028016","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":"Q1640993$131C7DDB-887F-4E0F-B506-DA56523668E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd2ac92541a6a2fceab7b66ef7cc7af212563146","datavalue":{"value":{"entity-type":"item","numeric-id":1745962,"id":"Q1745962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d495c3946311003bc6a150a1fa7d9d2640d8e79","datavalue":{"value":{"amount":"+0.8206878900527954","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":"Q1640993$D43AAE81-B543-43EF-A255-F7859DF9147D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bef40fbc05df84af669af498b53b5757dbb96b61","datavalue":{"value":{"entity-type":"item","numeric-id":2989023,"id":"Q2989023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea4a004ba5b90222b4f573844275992da1a8cadc","datavalue":{"value":{"amount":"+0.8107508420944214","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":"Q1640993$B1BB61E0-9E3A-42A7-82A8-8564B9FC8929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acf96839dd069feb2ae839445eeb3a7b553723e9","datavalue":{"value":{"entity-type":"item","numeric-id":1983326,"id":"Q1983326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f50666a691de022bd38a21e405d203b4d084166b","datavalue":{"value":{"amount":"+0.796428382396698","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":"Q1640993$9BB35BBB-280F-4BBE-ADA1-630FB1821AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d72e8a26d1943f523e729ad96858f8eb47569f96","datavalue":{"value":{"entity-type":"item","numeric-id":5002752,"id":"Q5002752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c94003efce20cab8c1cd36e763c119be1378e9c2","datavalue":{"value":{"amount":"+0.7910738587379456","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":"Q1640993$BEE2A2D0-F3B2-4569-BC95-10C23AAFE121","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proofs of proximity for context-free languages and read-once branching programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proofs_of_proximity_for_context-free_languages_and_read-once_branching_programs"}}}}}