{"entities":{"Q6120956":{"pageid":13255263,"ns":120,"title":"Item:Q6120956","lastrevid":55982689,"modified":"2026-02-23T09:15:22Z","type":"item","id":"Q6120956","labels":{"en":{"language":"en","value":"What Can Be Certified Compactly? Compact local certification of MSO properties in tree-like graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7824258"}},"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":"Q6120956$E0B1C4AE-7F1B-4638-94DF-9F6C4CA21645","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"685da4f4040766df719fa00a5946871551dcb027","datavalue":{"value":{"text":"What Can Be Certified Compactly? Compact local certification of MSO properties in tree-like graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6120956$7CE16767-0303-46EF-9855-2AF60F3A35F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2bdac375607409a78e1f4295ac21d95cf8f2c7ac","datavalue":{"value":"10.1145/3519270.3538416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6120956$4A0A85BD-6A04-46FA-9C07-5418A1C0144B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20f36170a4e2eb362e2009df005fc573cf59bf6a","datavalue":{"value":{"entity-type":"item","numeric-id":1664163,"id":"Q1664163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6120956$1C261B20-493B-4AFD-9896-295D73F1B4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebc3e32045f9761c31fcd6202016ff847b18bae9","datavalue":{"value":{"entity-type":"item","numeric-id":512580,"id":"Q512580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6120956$62104CFA-60DB-43A7-BBBF-DBBACB89C7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8acddea1a39e0f346d74120dae0af6aa23637a22","datavalue":{"value":{"entity-type":"item","numeric-id":777376,"id":"Q777376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6120956$F95743F6-6F87-4834-A6CF-256A6832C318","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ec6e6b7a34b05eee353b217d05b73cdf531ad049","datavalue":{"value":{"entity-type":"item","numeric-id":6120954,"id":"Q6120954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6120956$9B461CEC-CCFA-4759-8FBA-4D8A8633BBC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e7022ae53c448f75d91b8223b5d0f2519da4678b","datavalue":{"value":{"time":"+2024-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6120956$98CDAC46-357C-4F96-B8E2-98BE372C86E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6120956$4C28EE1B-4F94-4C21-9679-B10CAC56A55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6120956$335C094E-CB22-4D40-BA98-208AC936C432","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"008f4d2836a2222866d6f32a94bffe2e25b387e5","datavalue":{"value":"7824258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6120956$10167FE2-F81B-43AC-A193-AEA0FB0976EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c3898212513e24c39127a6e58f22e0141bc29b0","datavalue":{"value":"MSO logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6120956$8268723F-A9BE-4778-8536-73CB582C3009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed52082b5de7e8bd73e3c0148c73a0ca1f11895f","datavalue":{"value":"distributed decision","type":"string"},"datatype":"string"},"type":"statement","id":"Q6120956$06F50844-361B-40E7-BB57-20AE1860E4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6597c80c7d0f00010701d169597967f18fc7fbd6","datavalue":{"value":"local certification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6120956$C1FC8827-DB81-4270-928C-58F5BADC6BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6120956$3F10B2F1-73C9-40F8-B466-484493145FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f1aec57fd8269258378daf08401033cf7ca64bf","datavalue":{"value":"proof-labeling scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q6120956$10261B48-7F95-4CB2-AFF9-6DC2D1423F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fc6945142c143a162622d38a388d04a8c8fcc56","datavalue":{"value":"treedepth","type":"string"},"datatype":"string"},"type":"statement","id":"Q6120956$E0A079C9-95B7-4FB2-B81A-D0581D00FA59","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":"Q6120956$B715FCA3-C615-4C96-A2E0-550E0FFC7329","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d16c339451e52b4cb25761dfe564fb1feefe2051","datavalue":{"value":{"entity-type":"item","numeric-id":2037111,"id":"Q2037111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a4302d99a0389d78404bce69d665466a66265e3","datavalue":{"value":{"amount":"+0.7805805206298828","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6120956$0B3EAA5B-8357-4368-9E94-01B882A1DB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90077e6b2ff03ae7fc05d6bc6d99c8cdfabbaed8","datavalue":{"value":{"entity-type":"item","numeric-id":5024672,"id":"Q5024672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31a0ff74bc550f8612b8519228a611fd115d9cec","datavalue":{"value":{"amount":"+0.7794817090034485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6120956$53D00F30-BCDE-4367-B2BA-7FD884F83A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fd2622f4cee03edba91d7c8ba0abc769874579a","datavalue":{"value":{"entity-type":"item","numeric-id":2219059,"id":"Q2219059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54a4596aecbd59d8e33e89cfdb3c4dca77a7448e","datavalue":{"value":{"amount":"+0.7545027732849121","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6120956$05F43989-FF5D-4F49-AE78-B29EB318B895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a62dfa253553135a7fd431c051cce632f93213b8","datavalue":{"value":{"entity-type":"item","numeric-id":4598260,"id":"Q4598260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b02a8f464013ab8e797b90de0c1f308b96af0305","datavalue":{"value":{"amount":"+0.7485212087631226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6120956$2CF790B0-1389-4714-BBF3-F8749E99C0B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6120956","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6120956"}}}}}