{"entities":{"Q5739890":{"pageid":7769442,"ns":120,"title":"Item:Q5739890","lastrevid":58607067,"modified":"2026-04-05T23:38:13Z","type":"item","id":"Q5739890","labels":{"en":{"language":"en","value":"Certified context-free parsing: a formalisation of Valiant's algorithm in Agda"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6601109"}},"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":"Q5739890$9F22800C-534C-4818-AA7A-7524F4460551","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c53e5fccbe513145964904413ecb12dcfd3fc206","datavalue":{"value":{"text":"Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5739890$3CB5C4C4-D9E8-496E-8964-A82057259E56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb84e8a1eca7fd6f11ac678f83952da2574bfe4f","datavalue":{"value":"1355.68149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739890$2AE5E954-A0B6-44A9-8DE8-4315EEEC23D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"346ac0167879e29d18ac3bffc857e74f466d3257","datavalue":{"value":"10.2168/LMCS-12(2:6)2016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739890$8607B18C-36EA-49F7-A085-6ACCC7C54059","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9790df0214dc74b7e290106888ab3b69984bbcfd","datavalue":{"value":{"entity-type":"item","numeric-id":2035842,"id":"Q2035842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739890$08F2621C-5551-46C7-8F31-8D3BC5137CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e6b49a79ddd8f1eec318f733110278cbf98781e","datavalue":{"value":{"entity-type":"item","numeric-id":1347991,"id":"Q1347991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739890$2CAE3439-53AC-4061-8F2D-9207BC52420C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739890$5AFED1C8-492F-4D62-8C63-EDAF9326D4AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa0c76dadf16d518dc4d05a67d37c73c921d6123","datavalue":{"value":{"time":"+2016-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5739890$153339FC-6696-45C6-B444-6AFD622D6BEF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af17e7abfa350486cbfd23f430fd0587a8bf0af4","datavalue":{"value":"https://arxiv.org/abs/1601.07724","type":"string"},"datatype":"url"},"type":"statement","id":"Q5739890$490F30D8-8B23-4E04-80F7-46DD84F8138D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739890$03F8B4F0-9FBB-4399-AD51-A2C20A9F98BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739890$9EBA05EC-0E6D-4F02-9E2D-C9A3AE6E3A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739890$F47F89CC-270D-484E-A180-E4C4AF98A8F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db7c0e89db522c08558955bf823cc75bd6a9bb02","datavalue":{"value":"6601109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739890$3F4DFD12-3353-40FC-A302-E6E260BBACF4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739890$90D211A4-5167-4F0D-8DCA-085479DDEA0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739890$27133310-1A65-44E3-8399-C76F120871FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"795414f846fccd6517b35b46d219d01dfd08d3da","datavalue":{"value":"context-free languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739890$C73DB118-E06A-4B8A-8F0E-78F3EA92F270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739890$413D52E7-30B7-41C5-835D-524A469316D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b3f9a8c3c22a7b614a6d5a6e50995a0059dfed1","datavalue":{"value":"context-free parsing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739890$78B08D50-B67D-4064-8CB3-2CF616CC1B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"270e16179580fef879011914550ed51a17f4048a","datavalue":{"value":"Valiant's algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739890$C078B632-89D4-4C27-8EE5-E434885CAF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb0249487b7eb1ecf24cddb1d300f9fa92e8fe1d","datavalue":{"value":"Agda","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739890$AF87F17E-B64A-4FA4-A109-934A8AD895CE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739890$E4ACD417-AD1C-43AD-A4AA-EDC4268AD5F3","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":"Q5739890$A35C7182-A97C-4322-88CA-37C5F8FC1D10","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"12b45fa42fcbf46c972a96ed723b62ff4764df9a","datavalue":{"value":"W3105871910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739890$7E1BC949-D26D-4106-961A-15A80A5429B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19d77acd967aada1d774ca0ed5a7fb0567c8db5a","datavalue":{"value":{"entity-type":"item","numeric-id":465493,"id":"Q465493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52368ed76d23c69607a063eb4425ac3141da905a","datavalue":{"value":{"amount":"+0.764072060585022","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":"Q5739890$3E05CA44-C347-49F1-A563-D05B7C47C886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34b3c9f827bcb6bcbc12cb9af2a6347cbdc1e63f","datavalue":{"value":{"entity-type":"item","numeric-id":4660265,"id":"Q4660265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cd4158f442fc1bf5aa4c983544e7454fa0e7afa","datavalue":{"value":{"amount":"+0.7094957828521729","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":"Q5739890$668FCABF-0800-4E98-BE07-DEE437430BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4115e76d2c8c1db7b9627e76ded168c94e3852cd","datavalue":{"value":{"entity-type":"item","numeric-id":5195278,"id":"Q5195278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7108a025f6aa20dc93de38b0ae03c02611989d59","datavalue":{"value":{"amount":"+0.6855618953704834","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":"Q5739890$96BC0DA2-2A2E-4E73-8D54-FA3C469FA92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa76c629ed6204093b3351125809f512cccc43ab","datavalue":{"value":{"entity-type":"item","numeric-id":5939683,"id":"Q5939683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ab1c3d793a4c2c1bbfe22772d3dac2f967a3bc7","datavalue":{"value":{"amount":"+0.6823675036430359","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":"Q5739890$219D7513-3FB0-4E3F-9746-849A72A8BDF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01e6f0886f191f46c4c17f4efe7bcb1d13fca3e6","datavalue":{"value":{"entity-type":"item","numeric-id":5898909,"id":"Q5898909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7621c1a2fa0fb3f15f5fddb43c8a9b1f028d03cb","datavalue":{"value":{"amount":"+0.6804643869400024","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":"Q5739890$C9B6C982-CF5D-4D84-997B-6EEAFA2D8477","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5739890","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5739890"}}}}}