{"entities":{"Q5300699":{"pageid":7330273,"ns":120,"title":"Item:Q5300699","lastrevid":51760559,"modified":"2026-01-19T21:35:06Z","type":"item","id":"Q5300699","labels":{"en":{"language":"en","value":"Finally tagless observable recursion for an abstract grammar model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6182176"}},"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":"Q5300699$D1132B87-6446-42EF-B0A5-444833780034","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b05c4eb607819716fd030b561d2d265adf43761","datavalue":{"value":{"text":"Finally tagless observable recursion for an abstract grammar model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5300699$80B19C97-72E1-4E93-994C-343D505041E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2614d606cd90a354f7253fa0800e077587abcc36","datavalue":{"value":"1273.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300699$1062AD00-B919-42B7-A19B-49CA1D170231","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"604ce6958fca4272526cf5a9c446fae152854c14","datavalue":{"value":"10.1017/S0956796812000226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300699$CB1E2AA0-9ED0-4AF6-AB75-3B92CD98A9CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1529dedab76f5fce2b82e1e7164fb256a96937b","datavalue":{"value":{"entity-type":"item","numeric-id":2229235,"id":"Q2229235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300699$4E17D116-5F3A-4222-A624-2DD816885CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6035db45b2f773ce1316044aa6ee6cdabbbc50c8","datavalue":{"value":{"entity-type":"item","numeric-id":678823,"id":"Q678823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300699$4F1DDD7A-9044-40B2-9541-708BB399EBA8","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":"Q5300699$12416A6A-E245-4DDE-9607-D0E672454A9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3abb5fb4ae7972a30f51c8d6a09a9ae6d81d017","datavalue":{"value":{"time":"+2013-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5300699$D7A3B79D-0EED-4D6F-A91C-00E63C0E321D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300699$AC072545-6800-4228-BDC1-A546C746C9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300699$A445B654-BA5C-40EB-B932-92369F7901C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93731ccfc627e69ecba41f77f9ffa1bc41cede4e","datavalue":{"value":"6182176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300699$5626947C-2E28-485C-BC83-104B047A5D97","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f64d6781830db96fe208da62b8925eda08896c31","datavalue":{"value":"abstract grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300699$0C16926B-F8D2-4340-8FE9-EDFF35895647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e5381851311f321b642888cf7166f2a578f7d1a","datavalue":{"value":"finally tagless","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300699$A44434DE-850D-4F2F-9F8F-58D825C4347D","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":"Q5300699$DDF6D3C6-EA3E-41D7-82B7-B72A01360E0B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a08d6cdcd83b7bba689cc0642d37bf34071745e","datavalue":{"value":{"entity-type":"item","numeric-id":4236757,"id":"Q4236757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300699$2C16D71A-3004-4490-B04F-2545B2BCB849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a78f8f5f44891dbcf46a92514a699b5527659f1d","datavalue":{"value":{"entity-type":"item","numeric-id":1566910,"id":"Q1566910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300699$5E884DEA-489F-4A82-87BF-1FA4FF069467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9572a5f049a41c64cd0386509afed1cdf163c4b5","datavalue":{"value":{"entity-type":"item","numeric-id":3644934,"id":"Q3644934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300699$2C724321-809C-4F25-BD48-7A2B4DDEED71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d9adad326bfe7ad309684c5bce5d0a1a99f264b","datavalue":{"value":{"entity-type":"item","numeric-id":1854266,"id":"Q1854266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300699$B8F629CE-85F1-49D3-9062-4C9562C0487A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3c70bf6fd8cb6edc6192c0f12efe6f4ae4ea4f9","datavalue":{"value":"https://doi.org/10.1017/s0956796812000226","type":"string"},"datatype":"url"},"type":"statement","id":"Q5300699$F0BB8B22-6040-4D0C-B0A4-58FE43382101","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89346fa4f205a7b8d7281e859164f27625587cf0","datavalue":{"value":"W2043894777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300699$F19553D0-2B75-445D-9BBB-CB1D4727622D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f396908c2a1978219e25d9dcedab964a831a808d","datavalue":{"value":{"entity-type":"item","numeric-id":5176948,"id":"Q5176948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35b3e893b3f1fb704404b5b9c7348ff4182e0b85","datavalue":{"value":{"amount":"+0.7038506865501404","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":"Q5300699$4D16E8CA-4220-4F72-BDA2-FDB4CAE5AC71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7227e54ccc6165f78fedd4187ddd4986d8438d3","datavalue":{"value":{"entity-type":"item","numeric-id":3575266,"id":"Q3575266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6576c6316b760c7ff0e38e04d724ee3214181bd","datavalue":{"value":{"amount":"+0.7025203108787537","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":"Q5300699$B213DBCC-A930-4A5B-8FF7-5655D57351CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"482a8f474c70fc728a7ad70c1cdab7101da21414","datavalue":{"value":{"entity-type":"item","numeric-id":3100206,"id":"Q3100206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5947cf9b45905270b22621d48be15484b9ac9239","datavalue":{"value":{"amount":"+0.7004649639129639","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":"Q5300699$A75CD332-EF0F-4468-ACB5-71F763ED505B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d1d411c8b999fc936f7eedfee785b5f7834cf1e","datavalue":{"value":{"entity-type":"item","numeric-id":5191092,"id":"Q5191092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4f571b1c6637fc64f1e0a34427274aed5442982","datavalue":{"value":{"amount":"+0.6945791244506836","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":"Q5300699$4EF82E51-9E65-42B4-AC23-FBC94A69D6D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8a3c252ebc4a0ba72d32369f0bfd8935f4f690b","datavalue":{"value":{"entity-type":"item","numeric-id":4921512,"id":"Q4921512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee1bc42af2f6f14e81f3402e2a66fc9087169c7a","datavalue":{"value":{"amount":"+0.690805196762085","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":"Q5300699$0AEC805F-80F1-4FB6-95B1-D7410EFEE15A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5300699","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5300699"}}}}}