{"entities":{"Q6946699":{"pageid":21183771,"ns":120,"title":"Item:Q6946699","lastrevid":84092261,"modified":"2026-05-09T20:55:08Z","type":"item","id":"Q6946699","labels":{"en":{"language":"en","value":"Syntax monads for the working formal metatheorist"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8076281"}},"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":"Q6946699$AC9F806A-F182-4A6F-AFBD-BF1FCFB78BEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb039c3bd6337c21fc11e25bdd1e78017a3e9d05","datavalue":{"value":{"text":"Syntax monads for the working formal metatheorist","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6946699$F6A94798-5F2D-4008-BDD2-96808027B0C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fbe1a34d4a4c680ff6db51cd4d4aaa94879444f5","datavalue":{"value":"1569.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6946699$C29A88FC-096B-4DCA-8656-10118A90BC2E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0559bf0385af3dbb039d9151d5fb427e9be610e","datavalue":{"value":"10.4204/EPTCS.397.7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6946699$91753561-0489-486A-B86F-DAA2D07D5647","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":"Q6946699$116B6F85-92D2-4DEE-8A2E-C6AC04732A3C","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":"Q6946699$F4C06692-A172-47CE-AA15-504C9FD0048C","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":"Q6946699$E3E680C8-8CA5-41A3-917E-BE4841D8D824","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"edc92756de24fbad63d3f53ad7f8ea4e3721e7de","datavalue":{"value":{"time":"+2025-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6946699$CBBC0EEA-396D-4893-B576-DBCC38155839","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6946699$C32D0DF4-0241-493B-9C10-F05FC480F324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6946699$312BCDFD-0111-4992-AA5C-F09957C552A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f35dac3114727184da9703d28c792a77b72e49b","datavalue":{"value":"8076281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6946699$0F4C013F-1B60-4092-9935-551F8FAC4AA6","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"55caab8c5bb050f39298bb24e71802196fa28463","datavalue":{"value":{"entity-type":"item","numeric-id":56978,"id":"Q56978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946699$8EB3D27E-8DCB-4750-ABDF-50EE38298C43","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":"Q6946699$2876463D-23CB-4846-99A3-9C4D8AEAF456","rank":"normal"}],"P223":[{"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":"Q6946699$0D51078F-A1D7-4885-B36E-CE7B0E705496","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":"Q6946699$80D41E1A-1FC4-4522-B667-D9EDF5F763B0","rank":"normal"},{"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":"Q6946699$E156B4B5-7AD8-414D-B36A-0A04EE751584","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":"Q6946699$C0444A94-D743-41A6-8BF3-74A1B380003C","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":"Q6946699$FD445BBC-372C-4455-80A6-ED57C9F4F689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8ea372caa817f188e4e943a4cbc2ab55cc9d12","datavalue":{"value":{"entity-type":"item","numeric-id":5549412,"id":"Q5549412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946699$29EE8635-58EF-4850-B960-5B4664CAEAC6","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":"Q6946699$E64122C8-5F85-4F70-A106-9FB7ADE8472D","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":"Q6946699$947E5971-C998-4D4D-9535-5FF549C488A1","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":"Q6946699$63B8DFC0-C221-423B-9A66-647772A36DDC","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":"Q6946699$1FDDC60E-1681-451E-8D0D-3272B1BE4CC4","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":"Q6946699$0B63CB4E-3B14-4DA5-85F5-25F133AFDEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d50dd5ab5dd986a22559cb1e996ea2ab7b9ef1c8","datavalue":{"value":{"entity-type":"item","numeric-id":3638921,"id":"Q3638921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946699$71DF2832-1ED2-4531-9F6C-30CDE60ADFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3b15183e9c12d6797dea3eae200a58c3f74f918","datavalue":{"value":{"entity-type":"item","numeric-id":6038723,"id":"Q6038723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946699$D652A535-E150-47D5-B5F2-236A4C5F7A83","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":"Q6946699$295DC3A5-28CE-403A-96A1-D31864CFF529","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":"Q6946699$B71732E1-537D-4C30-A6E4-CBFF7A0F3060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4280cd3d0a555d23ad4c1f097024c9591f5a09ab","datavalue":{"value":{"entity-type":"item","numeric-id":4123496,"id":"Q4123496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946699$54260B10-0140-4C94-8A8C-F4838CCDAEA3","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":"Q6946699$B8FC11CD-BC16-41A9-B2B8-E84499F5E0FA","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":"Q6946699$E8CF9966-E2EF-4C9C-BFE9-B75D6DDE4CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"950e57cf6fba4ae048bf537ca18e0097961a9b5a","datavalue":{"value":{"entity-type":"item","numeric-id":3532206,"id":"Q3532206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946699$2083A416-D20F-4558-85B5-7A4A9DA6E59C","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":"Q6946699$4C8E95A1-7A1D-4907-85D2-1C634E308D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bd28852b9fa82aee195b6b013c46503ab17cd68","datavalue":{"value":{"entity-type":"item","numeric-id":2873672,"id":"Q2873672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946699$09F7D043-E320-41B9-8FD3-B66F0939C84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c4d40b22666ac31f4eb490193ee881d1816bbe","datavalue":{"value":{"entity-type":"item","numeric-id":2942893,"id":"Q2942893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6946699$954F0D57-44FB-4C58-AC58-92F017862134","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Syntax monads for the working formal metatheorist","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Syntax_monads_for_the_working_formal_metatheorist"}}}}}