{"entities":{"Q2133477":{"pageid":2144220,"ns":120,"title":"Item:Q2133477","lastrevid":43593652,"modified":"2025-10-28T02:26:23Z","type":"item","id":"Q2133477","labels":{"en":{"language":"en","value":"A pebbling comonad for finite rank and variable logic, and an application to the equirank-variable homomorphism preservation theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7516377"}},"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":"Q2133477$386C394E-67A7-4277-BC5F-B7F62E583CB1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32a94bdd3b181526a4d5f2c103ab0c8174a405f6","datavalue":{"value":{"text":"A pebbling comonad for finite rank and variable logic, and an application to the equirank-variable homomorphism preservation theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2133477$1A8FD199-2B9C-4433-87E2-092882456AF9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"564d2efc5eed04e233e19673bd88e30ebe0272a5","datavalue":{"value":{"entity-type":"item","numeric-id":2104474,"id":"Q2104474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133477$C95CDDA6-C982-414E-BA0F-033ECF295DA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c80bdea672e4cd14dd9cbe0c46e1f9abbfc09a66","datavalue":{"value":{"time":"+2022-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2133477$36F575E4-4B16-4EAF-90D9-B2DA5EE17C1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133477$6533A7EA-0F5A-4CED-A569-4144EDA4F544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133477$9C22B113-A7D3-4B41-BB55-E481BB883C58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3184342b9ce8db68f0bd7753c44e441c4e44087f","datavalue":{"value":"7516377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133477$0680F951-2F67-4BEE-BD10-314195D71A7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d4d2fd9d3aba13427b19742e855926a12038048","datavalue":{"value":"pebble games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133477$0C6B80BA-9EAF-4B2A-A2FF-80C68DFC5889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f92c1223cda09273cbf01b3d49995925aa2a00c1","datavalue":{"value":"pebbling comonad","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133477$1BBC6976-4388-4BEA-80C6-19AF81DE5DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f68779d869dbdd03c40944293b25222a876c545","datavalue":{"value":"finite rank logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133477$66191B9E-17DD-4709-B6CB-42DDD8383D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a93ea4074193fb8ae439e1ba2f1fdb1043b510ce","datavalue":{"value":"finite variable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133477$54DD11BE-1BA3-48B2-9415-0CF21051DF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c37a0473243d0e0f0f807cf56c0944abcdf2bbe3","datavalue":{"value":"tree-depth","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133477$D8A5E52E-FD8B-49FC-B757-A52295828E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b81b0e661ffd7a2b0cf4d74a6388abe874250e20","datavalue":{"value":"tree-width","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133477$6EA03B2A-08AA-46F6-8675-AC9C49C66E42","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":"Q2133477$33FFAB7C-C41D-4EEE-BAFA-87C21242AE3D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e9e6661ea9ae2297f9dd6b570918959897273e3","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2020.09.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q2133477$70C4E545-9A79-4D1A-A42E-3B1B05E66125","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21ed892a2d33d1469684e9620d3a02c626b10566","datavalue":{"value":"W3094622282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133477$545B6713-DAEA-4B84-94D2-131A4531D2B7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8dbaaf1fb4ca00ebc7ecabb0bdd505ee50963d18","datavalue":{"value":"Q113317297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133477$AFC647CD-984E-42FA-B112-434DE7A628FF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"604ff221bf5cbf586e7cd9e05cf5a7791f4d51fb","datavalue":{"value":{"entity-type":"item","numeric-id":5144676,"id":"Q5144676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133477$ED432836-7D5B-44C8-A1C9-22DE07AB4657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8900da5d2ab59863fafd53453f86c39de070a3be","datavalue":{"value":{"entity-type":"item","numeric-id":1798780,"id":"Q1798780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133477$52E72D65-D28F-4004-9104-B1BC2DE31058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d8683e4e48d4ccbb2688a6803ef68b83cf8bdb0","datavalue":{"value":{"entity-type":"item","numeric-id":4511540,"id":"Q4511540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133477$5E5A9AB0-D9ED-4969-8283-FD9C0C901EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1134f2341d7e5000fd707505605e06ca29388803","datavalue":{"value":{"entity-type":"item","numeric-id":2641288,"id":"Q2641288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133477$C55C28F3-7C95-42CF-9080-BAAE81CB041D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c20ebeed862feb6e0841b92fd1c342102e628d","datavalue":{"value":{"entity-type":"item","numeric-id":4255575,"id":"Q4255575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133477$58293463-1469-4C61-A204-162A74A520A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668a8637c081f79751e1e57f52557e1f7bc7f98a","datavalue":{"value":{"entity-type":"item","numeric-id":3274971,"id":"Q3274971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133477$255CB7BB-A065-42B7-9E45-369D548CA931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1791728d39f0e594f6a3e643f689d057fbe8491c","datavalue":{"value":{"entity-type":"item","numeric-id":4779635,"id":"Q4779635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133477$495D932C-BD5D-48DE-8D53-6C6ACAEC48F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8184aaf98b668acd5b2f8a968bacc120e77ebfc5","datavalue":{"value":{"entity-type":"item","numeric-id":3546368,"id":"Q3546368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133477$3409F96D-79F6-4D41-8DDC-BE8BA9402DE0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"328355a6de6bf0848c73db63de5344688f21f86e","datavalue":{"value":"10.1016/J.ENTCS.2020.09.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133477$29E1F206-BD7B-42AF-895C-AD9A968D7D6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2133477","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2133477"}}}}}