{"entities":{"Q5875434":{"pageid":7904985,"ns":120,"title":"Item:Q5875434","lastrevid":39654636,"modified":"2024-12-30T16:43:27Z","type":"item","id":"Q5875434","labels":{"en":{"language":"en","value":"A Verified LL(1) Parser Generator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7649973"}},"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":"Q5875434$516982B5-6E28-4C18-9B49-DF955E1A07E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20aec6fcc97ab266e856707930055f8669658322","datavalue":{"value":{"entity-type":"item","numeric-id":5875433,"id":"Q5875433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875434$8637C393-DAAA-4B83-BB15-A2888C686EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7865d4042300a36d5f610a5866166ce8e94d5d91","datavalue":{"value":{"entity-type":"item","numeric-id":4649381,"id":"Q4649381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875434$670026E1-6878-43FE-8A3B-6485A1E6F149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1a6c7535b20d7452176d83f0851c39b81996235","datavalue":{"value":{"entity-type":"item","numeric-id":1854550,"id":"Q1854550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875434$E2150291-E552-4715-B0D3-778A8AA8BF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bdf6f039a85b2009980d04c0bb4f526dcf5f3b43","datavalue":{"value":{"entity-type":"item","numeric-id":287378,"id":"Q287378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875434$C563EA6A-9F6F-4646-906E-5BD5E56AC41B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5875434$B4672B70-11BF-484E-9B5E-83508F511205","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875434$AD5C74FC-B298-4FD1-936F-FB67085A48E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45e5d0961b92d3fa2134e85036884cc92b58f1c8","datavalue":{"value":"7649973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875434$4906276C-0E6E-40C5-B114-1FC1F2E541A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875434$EFAF671D-8D66-4CF9-8231-AAC6F2034B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8338793170257a8ca7602d50dc90c8618406e29","datavalue":{"value":"top-down parsing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875434$18748453-0EBA-47F0-8EE8-79F59D57347D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875434$6EEEE752-B547-4594-936E-D4CB3F937AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875434$F7326EB9-A8AE-4A99-832C-FA7A097A5248","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":"Q5875434$91A1B35D-BF55-4006-9E6D-D06CC020859C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fcd8ea330957d6c8a9622e3c9aa26a3b645f570e","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2019/11079/pdf/LIPIcs-ITP-2019-24.pdf/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5875434$3DC4090D-7AFD-45C7-8294-5C6FF54E097B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"685262664a2b10c54604fcd3b476d5d6fc7ef1a5","datavalue":{"value":"W2978834141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875434$4B357B0E-B89F-48A1-A32D-67D8FCE61A57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2de144b72bbe1109b2ddebf5715b7e0b20841431","datavalue":{"value":{"text":"A Verified LL(1) Parser Generator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5875434$08057392-64B5-4A1C-9E9C-B16A8591B55B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fe15d256521bfe7b5698910eb5cd0c1cb7c5d6","datavalue":{"value":{"entity-type":"item","numeric-id":4343027,"id":"Q4343027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875434$849F7599-34B4-4D24-B32E-5FE7281656BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65b596cfd231321f7e5f5e52d0f7df7bfdd20575","datavalue":{"value":{"entity-type":"item","numeric-id":3617698,"id":"Q3617698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875434$AF454BC6-74AB-4D29-BD2F-5A53DADEADF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f90f9000203b5cc02cd5a95785f3228e4b1b7c0","datavalue":{"value":{"entity-type":"item","numeric-id":2655325,"id":"Q2655325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875434$F4863D93-B706-41E3-9D04-1D9659FB50B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4576a136be4da90e6fb5aef65ee70d47cc04c0f0","datavalue":{"value":{"entity-type":"item","numeric-id":3452254,"id":"Q3452254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875434$EDA9152F-CB6C-4128-BF46-0F622D15FC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faefa0a0ff8a3c304c6952e432f012b195df476d","datavalue":{"value":{"entity-type":"item","numeric-id":3503197,"id":"Q3503197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875434$E0484341-E0A3-4820-BE17-88208DC24F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2d2cf5aa71dbe166cb74aacecac561d9e3d134b","datavalue":{"value":{"entity-type":"item","numeric-id":2892741,"id":"Q2892741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875434$03F22C1F-5D3E-48F8-9110-99079E7D54EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e153234bedc671890e46d97b503b862efeb995a","datavalue":{"value":{"entity-type":"item","numeric-id":3558235,"id":"Q3558235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875434$FE72826C-0073-4645-8E1C-6C2D6C1436B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20a8d1807727f460772d228e59e0090da8175877","datavalue":{"value":{"entity-type":"item","numeric-id":3507450,"id":"Q3507450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875434$5053B0DB-ECDB-461B-A041-28FAA716E2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875434$A0CDCF33-B6DA-4481-8756-FA1C4F38A895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cd712557cb33f4408f7f319583701e72d7ca321","datavalue":{"value":{"entity-type":"item","numeric-id":5168921,"id":"Q5168921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875434$726A7093-A084-4A2A-98D3-7D9E7ADACEBC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07eb5231f0c72eb1e223768f173b37562e8cf70d","datavalue":{"value":"10.4230/LIPICS.ITP.2019.24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875434$9DA6C7C2-1B47-4486-9C05-6E12B3CB3FCF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5875434","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5875434"}}}}}