{"entities":{"Q6563056":{"pageid":14174211,"ns":120,"title":"Item:Q6563056","lastrevid":56976066,"modified":"2026-03-25T10:54:41Z","type":"item","id":"Q6563056","labels":{"en":{"language":"en","value":"The pebble-relation comonad in finite model theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7872356"}},"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":"Q6563056$ACC8CC34-D3CA-42EE-AD39-AD96E882EC38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb5016963c437efab6473509e7a58c419d23dbfd","datavalue":{"value":{"text":"The pebble-relation comonad in finite model theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6563056$EE550890-82AD-4D54-8652-5C36B4074448","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77d351e833067bfe484f3abb750b8915d1c9bef9","datavalue":{"value":{"entity-type":"item","numeric-id":6124950,"id":"Q6124950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563056$31C22824-FB2A-4561-8D32-61663559968B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b75334d18c83240062fdd777540ec3775c0769b","datavalue":{"value":{"entity-type":"item","numeric-id":1798779,"id":"Q1798779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563056$E11CD08F-FC6C-4AC6-8652-A990C8D0B4C0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563056$ECEA2F4F-E93E-4B70-858E-20C82DDEF137","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"52ad18669458f088996fd7b4dd3dee92e307308b","datavalue":{"value":{"time":"+2024-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6563056$CCE7E281-5B36-4A9E-9B9A-C87088090D61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6563056$14C5133D-36A1-45B6-A258-54770AE68F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6563056$D398D284-A2A7-448F-A9DA-4E70896D0925","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a9666193bedbbdb7311e2ccf24e66427d97bdb0","datavalue":{"value":"7872356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6563056$C6D61424-8205-4693-AD3D-B0C04820D190","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6563056$C0835417-0BF6-41CC-86B7-0352E3D1CE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d4545a2e593e1545a3991d553bbc49cdf7df90d","datavalue":{"value":"comonad","type":"string"},"datatype":"string"},"type":"statement","id":"Q6563056$07F065F2-E31F-4483-9F39-9D30782E4F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6563056$4C336347-03F5-41E0-95F9-BEDA6A73D98C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6563056$24F62066-2531-42B8-97BD-3382E340DF65","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":"Q6563056$A0112BF1-FBB5-44AC-9A2A-D1650D205144","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cb3093a2facd758e8e5efacce4a1e6e068d684b","datavalue":{"value":{"entity-type":"item","numeric-id":5177334,"id":"Q5177334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563056$2785BCD7-EBB8-4E49-9681-D54C64BA7CB1","rank":"normal"},{"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":"Q6563056$59ADEE35-D8A7-44EF-971C-87FEDCB656D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a84c3c0ff97e22f274382c589040b2de27e0160","datavalue":{"value":{"entity-type":"item","numeric-id":5079721,"id":"Q5079721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563056$46290009-592E-4E84-985D-670082D1AD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5995e8de0905d01d49bc5838902a3c56dc9eb40","datavalue":{"value":{"entity-type":"item","numeric-id":5158366,"id":"Q5158366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563056$CD531DEB-F7F3-4BDF-8DD5-8B53E1656E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bcd97a6d77888c25a5ef4d2fb737f0bfd1d5ade","datavalue":{"value":{"entity-type":"item","numeric-id":5310636,"id":"Q5310636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563056$A655B4C2-49B5-4552-8AED-6DAAF38EFC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e451595d8e3748dea184b21b98fcce232aa361cf","datavalue":{"value":{"entity-type":"item","numeric-id":5002713,"id":"Q5002713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563056$1A873CB7-0740-41C7-B876-071836159824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"191140fb1c823488a0488e662b17a53430137dd9","datavalue":{"value":{"entity-type":"item","numeric-id":3057061,"id":"Q3057061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563056$6AAF6C6E-5D32-4AA0-A56A-A349818F88D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b06333d0fbe6e856b9dd4af3f442c70e1f425eb","datavalue":{"value":{"entity-type":"item","numeric-id":2826030,"id":"Q2826030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563056$D8BC7E6B-D504-4088-B11D-AE7FC6A1221A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7766f5c7a7f83016f125334d4f442efd498b5f","datavalue":{"value":{"entity-type":"item","numeric-id":5347096,"id":"Q5347096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563056$8A50F855-C0DC-46AF-9272-ECC9C192EDA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc3a922794178b7a55f99069b80d32989fc5ada7","datavalue":{"value":{"entity-type":"item","numeric-id":5145659,"id":"Q5145659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563056$930D296E-C8D8-4B2E-B815-8B77E31DAE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ff5c51b56ed03a2558272a9f101bd23bed9711","datavalue":{"value":{"entity-type":"item","numeric-id":6560866,"id":"Q6560866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563056$793F47C3-C6F2-4EB4-9A02-069408F07CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b2df16e0721643b5780540c289c533ac16c1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1817218,"id":"Q1817218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563056$EF34034A-C448-40AF-96CF-2E8D40A8B0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18d639fb9d03ad258814bab0f3f43d6d28e28a1e","datavalue":{"value":{"entity-type":"item","numeric-id":1173404,"id":"Q1173404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563056$24568506-C3A4-4735-8E2F-01D587A7BA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563056$CC587205-62F0-4AF2-8879-6E3B68EF9C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eec41273c837e017795095dfbde50dadc0dabe38","datavalue":{"value":{"entity-type":"item","numeric-id":5561941,"id":"Q5561941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563056$E8145B93-C489-4F0B-9385-D8713F92B631","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":"Q6563056$06DEC6C7-32D4-41E6-8544-73FDFD732562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcccfcc92ca5a7fbd68fda0d11ac92835f813341","datavalue":{"value":{"entity-type":"item","numeric-id":2133477,"id":"Q2133477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563056$FE661347-6E9A-4B2B-8FAE-C8C377786B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7489661d0c92ad040adf8d2140d5b6efc776b644","datavalue":{"value":{"entity-type":"item","numeric-id":1055450,"id":"Q1055450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563056$12D54C62-1019-4FA6-A6FC-6A7C079EE4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c118da62becbc2a9e95e3ad9dcf3fe3b9729ad12","datavalue":{"value":{"entity-type":"item","numeric-id":2548251,"id":"Q2548251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563056$23000FE5-60FE-4D02-9FC2-0B638A482789","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29ae6964626ada5c1b28236a1489581eea805ce0","datavalue":{"value":"10.46298/LMCS-20(2:9)2024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6563056$9205C3DA-A2FE-45B1-B916-1DD7D82791F8","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":"Q6563056$48B21D38-E01C-4CD7-A084-65C24BB14AC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6563056","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6563056"}}}}}