{"entities":{"Q6912396":{"pageid":20976472,"ns":120,"title":"Item:Q6912396","lastrevid":84157229,"modified":"2026-05-12T14:39:26Z","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"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ce8544fc5a0489695eae9a558cb4d34b573281","datavalue":{"value":{"entity-type":"item","numeric-id":5477646,"id":"Q5477646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912396$03354CB4-A465-4279-8237-CBA872B36B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1e46bde366c9665559a7c22a84b5c9d3a328b4","datavalue":{"value":{"entity-type":"item","numeric-id":5408415,"id":"Q5408415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912396$5EDC5664-3123-4FE6-9192-7032F040025D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1c4e3e9abb8d3f1418514c061c1d7ea6d5d61f","datavalue":{"value":{"entity-type":"item","numeric-id":1346686,"id":"Q1346686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912396$E41D44A7-53E9-4AD6-8631-C28158D76F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c541a0e0fccb98a32f18a8695d9eabb1926b39f3","datavalue":{"value":{"entity-type":"item","numeric-id":4945244,"id":"Q4945244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912396$BC96CB96-42CD-433D-94C6-C764407077F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a797407b4949355fcd06204fe2bcb7b1218a925","datavalue":{"value":{"entity-type":"item","numeric-id":4256148,"id":"Q4256148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912396$2CA84A3A-8D44-4D96-B00E-136C4EB49CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0005c613d663fd4f8bcaefe0650cb72c4056715","datavalue":{"value":{"entity-type":"item","numeric-id":5019018,"id":"Q5019018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912396$3A1BC234-EACC-4516-B0CF-6A28928A390A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912396$7106802D-EBC8-42EA-8276-4C9B2A0C949F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c50237c8bde09d6668086722c62e1080ba158cf","datavalue":{"value":{"entity-type":"item","numeric-id":3189820,"id":"Q3189820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912396$9323FA46-AC98-4FA9-8B9D-4B3B65523916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccdfc6c2a229e09846d7ccb887c26192d20ce0f8","datavalue":{"value":{"entity-type":"item","numeric-id":2945649,"id":"Q2945649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912396$E4DC8693-37E6-4FAA-AD88-F915C0B91E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bfcd9b89e27ab608ab2bc311b875d1e03527d8b","datavalue":{"value":{"entity-type":"item","numeric-id":5371942,"id":"Q5371942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912396$1AD445FC-E7F7-4CCA-B873-F233314727C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912396$2CB3D9FE-1089-4AD9-98CE-CCBD5EBF6DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8c3a63f5113f0209622b58f18640a08a06fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912396$D4B0C62A-089F-4927-AC33-2DFC8BA2E35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4f8f6dff394ac274489a2a8165abb84f760b4be","datavalue":{"value":{"entity-type":"item","numeric-id":5394605,"id":"Q5394605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912396$C472CB02-5E9A-4141-8E55-FE67C8969ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"367ef177c9ab91da57ee385240218ffe15eeadc2","datavalue":{"value":{"entity-type":"item","numeric-id":5178760,"id":"Q5178760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912396$94184ECF-D934-4735-AB18-8FB70D0472BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e2e3d388ffb39fad57cc94ce6657cb29003530","datavalue":{"value":{"entity-type":"item","numeric-id":6642993,"id":"Q6642993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912396$511AD607-1514-47D8-8A03-D25EDBAFFC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912396$AC5337EF-96C6-4C32-AB0C-5DC519EEB5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fac7c6d05f114a4ae2738237ef25b8c9ead77ff","datavalue":{"value":{"entity-type":"item","numeric-id":1945914,"id":"Q1945914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912396$1A867225-2CC8-4B2A-9951-DFC621EFC650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ec88c2663747bf3533fc5bf0eb353d891e25d8a","datavalue":{"value":{"entity-type":"item","numeric-id":5168920,"id":"Q5168920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912396$5508AFCE-BEAA-4CD5-B7B4-7CA25E57996E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff7181965704e473c064c7d95f9f7f0b397f93f","datavalue":{"value":{"entity-type":"item","numeric-id":3543665,"id":"Q3543665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912396$5CAB5CC2-04C6-4FDD-B582-95D0FB93DFE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26a98ca8ad947d93065e67feb1362da03cdb7848","datavalue":{"value":{"entity-type":"item","numeric-id":3094177,"id":"Q3094177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912396$CC95FCE4-D426-47EA-839A-5D508D5D8475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f84acc216b46a16d3a5b1ae053e7c59afca67c6","datavalue":{"value":{"entity-type":"item","numeric-id":5437031,"id":"Q5437031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912396$7D71488B-B759-4DBA-989D-B671D40F7860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912396$E426575C-358B-40DC-8EAE-CA8A4549D19A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"243faf84b812bfc083fee6b4fba845c7c05ab689","datavalue":{"value":{"entity-type":"item","numeric-id":2908572,"id":"Q2908572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912396$71CA3C52-4F94-48EE-9B02-F06EEE205FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"061160c6bec214ed1a7810cffba04f4cfebf5f43","datavalue":{"value":{"entity-type":"item","numeric-id":6946699,"id":"Q6946699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912396$68F11FE1-6627-45F5-885A-28C52D7E915C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae600d82e59da48d9490ff29ee5b51a547bc0409","datavalue":{"value":{"entity-type":"item","numeric-id":4864249,"id":"Q4864249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912396$0491FD32-50DD-485B-9C24-FE3070977825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b02cebc44c2831878b18e904086383fc947d3037","datavalue":{"value":{"entity-type":"item","numeric-id":5417200,"id":"Q5417200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912396$1C0574AA-7E0A-4A9B-8421-6E04EA2803FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf4e8df6b76a41266993943c0a508d81559960e","datavalue":{"value":{"entity-type":"item","numeric-id":4995159,"id":"Q4995159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912396$E03A24F8-5245-47E1-BD97-0A233D233336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"526569e2045d88153ecb5cf7f75a680cdcd5a85b","datavalue":{"value":{"entity-type":"item","numeric-id":2767010,"id":"Q2767010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912396$95F700A7-860F-48C2-960B-BC0A19835781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79fe5b3c2dd6a6e0e64d61445f7e83dde3c84ca5","datavalue":{"value":{"entity-type":"item","numeric-id":2892744,"id":"Q2892744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912396$77AA1956-0CD0-42C5-8363-96EC170553F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1119b77c47802d7a35bd7d873b32c109deee026","datavalue":{"value":{"entity-type":"item","numeric-id":6181939,"id":"Q6181939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6912396$6F2C3635-F732-4346-87F5-901A128DE82B","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"}}}}}