{"entities":{"Q6912396":{"pageid":20976472,"ns":120,"title":"Item:Q6912396","lastrevid":75637120,"modified":"2026-04-20T11:15:15Z","type":"item","id":"Q6912396","labels":{"en":{"language":"en","value":"Structured monads for generic first-order syntax metatheory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8109505"}},"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":"Q6912396$D8F984CD-0E5E-48CC-9EA7-3EDAB7410000","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0205b7c3e5ebdd3409683d6592bd9a44946fa50f","datavalue":{"value":{"text":"Structured monads for generic first-order syntax metatheory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6912396$4BAADFD6-A043-43FB-84B6-93F64E50E6B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e1d3a968977ee7dd03379720d01e0c65bb615e5","datavalue":{"value":"10.1007/S10817-025-09731-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6912396$41B8C39D-0F4F-40E4-BC05-D8010481B9CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc2ef66a439d957fa9c23a26efebed68b1eec7c6","datavalue":{"value":{"entity-type":"item","numeric-id":5014807,"id":"Q5014807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912396$696CDE54-AA2A-40E8-8546-8FE4350CE8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a4039d3faa52091ecc0d9cf3f44185773b9deb1","datavalue":{"value":{"entity-type":"item","numeric-id":555768,"id":"Q555768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912396$2696EA9E-F483-48CD-B2D8-5B8B74A32B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"009b7b8cbfea2fbcb395e57ee3935b49b0504fc8","datavalue":{"value":{"entity-type":"item","numeric-id":276493,"id":"Q276493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912396$487A1E26-CF74-4A2A-8C67-28D6698D7419","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912396$39161414-5402-4591-8216-9E792E7E469A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"866e154d603ae9f5523d731e92adc94b973314e9","datavalue":{"value":{"time":"+2025-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6912396$700894D2-8ACE-4771-B49A-C0DB9942E283","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6912396$E9C38023-0567-4FDF-8A5C-9F579C5763FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6912396$B3E2F0BD-99BC-4F4B-B9E3-4C0EF364F406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6912396$EEE76AED-E6D8-4CB4-BFE7-640928D895B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6912396$D7E9B8F5-C855-454A-B2EB-F3735D58CCBE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93b80ec66b84bce83484b3e2c3f8e07c7fe47164","datavalue":{"value":"8109505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6912396$CC4B2564-8448-42A7-ADB3-47DF6AE142C2","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912396$4A27A42A-89E3-42F2-A2F2-F6DE4D78FD7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3a6e871a284af917cfc8de81b27bddc18a2460a","datavalue":{"value":"metatheory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6912396$7F2EA302-BCF5-498A-AAB4-E5F904EBCC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c4ed4fea13432d188a5ec678aec936f44975a8a","datavalue":{"value":"syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q6912396$D64EFD3A-FA14-463B-B012-6AC4B790268B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a236a4a9881a761a93f593b6fc0a0e9903a99925","datavalue":{"value":"monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q6912396$EFB48812-0654-4732-80CC-1F6F5D30D8A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"017465942dbd8ba7ebab45a45af0183e273a4234","datavalue":{"value":"variable binding","type":"string"},"datatype":"string"},"type":"statement","id":"Q6912396$7345D513-029E-45A0-9F91-DB1256B30AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q6912396$F96A4CAE-9CC2-47EE-836C-92F8E8B942DB","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":"Q6912396$FDFA27F5-69A6-4299-8248-471550B18A8D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Structured monads for generic first-order syntax metatheory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Structured_monads_for_generic_first-order_syntax_metatheory"}}}}}