{"entities":{"Q1176232":{"pageid":1186981,"ns":120,"title":"Item:Q1176232","lastrevid":66435870,"modified":"2026-04-12T10:03:42Z","type":"item","id":"Q1176232","labels":{"en":{"language":"en","value":"The monadic second-order logic of graphs. V: On closing the gap between definability and recognizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 13885"}},"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":"Q1176232$117964C5-7C72-47B3-9182-6EFE88FC52CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b42850ef0bead7067a63bb9283ff0414849c62b","datavalue":{"value":{"text":"The monadic second-order logic of graphs. V: On closing the gap between definability and recognizability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1176232$02F2A263-CAF8-480A-8F4C-78480FD00CA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6140bfcacf17ee09964835a05084c390af54f6f","datavalue":{"value":"0754.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176232$639688EA-4E30-456B-9E73-2515BE296513","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89c8e73004bef4559ebd32ea8e19df44ff2a5534","datavalue":{"value":"10.1016/0304-3975(91)90387-H","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176232$08228319-5AB6-4D72-95C1-447263F7BDE9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176232$98287FF4-EB8B-42EF-8EDB-DD62C488C11B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1176232$1D7601F2-AEA5-4E6D-B134-7A78833819DB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6010517fbd06af6bed536cf5ac2a4367805561d0","datavalue":{"value":"This is the fifth in an ambitious series of papers exploring the possibilities of monadic second-order logic (MSOL) as a language for expressing properties of finite labelled hypergraphs (called simply graphs).   The central theme is the relationship between recognizability and MSO definability. The starting point is J. R. B\u00fcchi's classical theorem which states that a string language is recognizable iff it is MSO definable. This result extends to tree languages, but for graphs just one half of it holds: MSO definable sets of graphs are recognizable. The author focuses on the converse implication. He conjectures that it would hold for graphs with bounded tree-width. He also notes the lack of a suitable notion of an automaton that would serve as an intermediate between congruences, in terms of which recognizability is defined, and MSO-formulas. However, if the graphs are generated by a context-free graph grammar, the derivation trees serve as structures that can be read by an automaton in a meaningful way. The main result states that for graph languages generated by so-called MSO parsable CF graph grammars, recognizability implies MSO definability. The paper contains also several further related notions, results and conjectures.    For Part IV see [\\textit{B. Courcelle}, Ann. Pure Appl. Logic 49, No. 3, 193--255 (1990; Zbl 0731.03006)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176232$FFA5B15E-0608-4ACF-8990-DBDB3D8FE912","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6e07306c48ccd2e9c29ec0a26f6f3afb07223426","datavalue":{"value":{"entity-type":"item","numeric-id":591314,"id":"Q591314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176232$EE3EA002-91E2-41E9-A9D4-DF3F87E444B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176232$B8895F03-8D29-4622-B87A-44285404402A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176232$5682B34A-EFAC-459C-8B74-16BCD8C6F42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176232$8F52F31B-EBDE-4C50-B526-E49DEBBFB18F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176232$E6A9826D-DF6D-4529-9DA7-0D986C270BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176232$8D4FDF23-9EEA-42C8-BD6A-DBDDA043FAC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa85d4ec28891844e9665139b4db7e7e3dad1ac6","datavalue":{"value":"13885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176232$5DB84858-1539-4404-A9BC-62653638CBDE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176232$448C2265-BA78-4AF6-944A-EE9E4DA9F740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91d54445cd84cdc32fedf222f5fe79de1ccb78d7","datavalue":{"value":"recognizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176232$CD7FEDFA-24EF-413F-BF72-9A30E0F365F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"211c085a21fcd6ebc794856e642cf5ae4d9daa37","datavalue":{"value":"graph languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176232$B442FD67-59C1-4C1D-B43B-12F28F781F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d1f75e8f430718e0f2a1042e291cbf21500b20b","datavalue":{"value":"grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176232$9381D69C-7F6F-41A1-844A-6A5C16F9DE1A","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":"Q1176232$F59FFB63-3F46-4B8E-9E3C-A30FAFA55710","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc69c6156e9471fec17a5d754a7b363dbf0153f6","datavalue":{"value":{"entity-type":"item","numeric-id":3812222,"id":"Q3812222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176232$71676F20-93FD-4B0C-8D07-EDFA9973F2A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be3970bbeb5763bd476ec3ae32dc6811c75f4cd","datavalue":{"value":{"entity-type":"item","numeric-id":3782818,"id":"Q3782818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176232$E1831A44-DA6E-462E-A9AC-ADE01D32F726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176232$F4EE39B6-B143-4BE0-AAEC-8C67249B3370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2de0c47aac54d255781a3e64af689d25e678b8dc","datavalue":{"value":{"entity-type":"item","numeric-id":1098322,"id":"Q1098322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176232$1F72ED5B-88F7-4AC3-9D52-490632A8781A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3057af5a1af0350171fd6b2b79a79b332e0f350b","datavalue":{"value":{"entity-type":"item","numeric-id":4385531,"id":"Q4385531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176232$BF3C314C-6ED8-4BF2-BB8E-D8B08EC1C3D4","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":"Q1176232$9A4EE24C-164E-49A8-9C67-43743E739505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89dd6c12da170f95fdd67b706f62e8e4775f0139","datavalue":{"value":{"entity-type":"item","numeric-id":4012672,"id":"Q4012672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176232$6292ABEA-37FF-4268-BB52-D9C9F63B6044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b3b4de8d89b00a7dd5c22f3f89f122e07de0983","datavalue":{"value":{"entity-type":"item","numeric-id":807611,"id":"Q807611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176232$15B61824-A0E3-44BC-BE21-8AEE6614D62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a09b43ab717e0d119a28b84937155a570091bc3","datavalue":{"value":{"entity-type":"item","numeric-id":3427354,"id":"Q3427354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176232$15674A6F-F060-4FF7-A508-4B1773AA65E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d17eb8e40f56b25f178197677473f6105c881e4","datavalue":{"value":{"entity-type":"item","numeric-id":2544414,"id":"Q2544414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176232$F9D7A9F1-0DFD-4B98-8E86-3A76E474A4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"245c8b0fd06cdd38ecd21bcf1efa60b42ebea9ef","datavalue":{"value":{"entity-type":"item","numeric-id":3674077,"id":"Q3674077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176232$B251310C-51EE-4BE0-8ED1-262C373020C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5709c2ffa01c029b486c6e705fa60fd703dea1c8","datavalue":{"value":{"entity-type":"item","numeric-id":4179852,"id":"Q4179852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176232$B750CE4D-14F0-45CE-8231-FDD30246B280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176232$EFF50089-3D5D-4063-AC4B-5D03B416C473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbb7648150a544fac7ed76b421308d91b2ee9e98","datavalue":{"value":{"entity-type":"item","numeric-id":1070831,"id":"Q1070831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176232$1FC62C9E-DF6F-4249-9E1F-E91D54369747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c379a84facc4c1f6822043acb400db77a28718d","datavalue":{"value":{"entity-type":"item","numeric-id":3785988,"id":"Q3785988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176232$999CB60A-787A-40FF-88E5-942F3C15F8FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ef788c8d903e7ba1dbeb4b94680ca79c7a6598","datavalue":{"value":{"entity-type":"item","numeric-id":3335004,"id":"Q3335004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176232$BF44E5AC-A788-4BF5-B13C-D434DB677930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"970a6a3feae9d45f8269510e98d0c4c3a340ba74","datavalue":{"value":{"entity-type":"item","numeric-id":5536635,"id":"Q5536635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176232$EF568469-C15D-4353-AAF7-79FF1B057474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fea476d5500893c5a243873a4ec483b94c64bcfe","datavalue":{"value":{"entity-type":"item","numeric-id":3786030,"id":"Q3786030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176232$08DB7927-2A46-416A-863E-AC3EFAD6B87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a4e6ac9e1911a647970e50420a37fc3d6cd38f0","datavalue":{"value":{"entity-type":"item","numeric-id":3220637,"id":"Q3220637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176232$E1862EBC-F0C8-4732-A6B6-74D00A009F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1d994db7c4e27dfd9c5271d26b11f2863b4eccb","datavalue":{"value":{"entity-type":"item","numeric-id":810005,"id":"Q810005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176232$058BDA72-2E2C-40D0-8834-E02B489C7A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176232$5E1BF95D-7610-4CA2-8B27-9DE624D2CCBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a6bb84ed63e3fc8fe28c0599a7a28ad0bb4690b","datavalue":{"value":{"entity-type":"item","numeric-id":3216652,"id":"Q3216652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176232$9DAD1698-5851-4D05-B345-C5A5A8767609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fcfe987d8cbbd43f7b7238b024d7a85de33a069","datavalue":{"value":{"entity-type":"item","numeric-id":3936212,"id":"Q3936212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176232$06F53997-3D8A-4773-8B83-54DDAF4FDE6A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a25f50ac2695503531a7e4ebffafa590cf6d48c2","datavalue":{"value":{"entity-type":"item","numeric-id":1177179,"id":"Q1177179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fa5824ab9510d030de202da105eee067d38856c","datavalue":{"value":{"amount":"+0.84843093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1176232$44BB56E7-0867-45E8-843F-62A83CA3526A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6e163f9ad9294411ecfd741e4f90c326e23bc40","datavalue":{"value":{"entity-type":"item","numeric-id":2641288,"id":"Q2641288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eb05a76250e8b39e685dd3242e0f69620fa7f6f","datavalue":{"value":{"amount":"+0.8457638","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1176232$3D836F9A-2B44-4C8F-AB93-29B62D100FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bf3923c363a2a6b1f3f579399f47d569d526bde","datavalue":{"value":{"entity-type":"item","numeric-id":3975133,"id":"Q3975133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38639b5378540988513b9b2cadd1b6832224629c","datavalue":{"value":{"amount":"+0.8449604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1176232$862077AC-766C-489A-9B00-83298EA4052A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed767ed32a296dcf227174609cc10077fdc209d8","datavalue":{"value":{"entity-type":"item","numeric-id":1325847,"id":"Q1325847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3b7ee722507e3afa09913bf3bae566d58f29298","datavalue":{"value":{"amount":"+0.8446747","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1176232$AB475C25-6639-4DBB-9CC8-99B8F69B7E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"469eac3818ebedbb6359ed0402a8ef6ff8d6ba95","datavalue":{"value":{"entity-type":"item","numeric-id":4381404,"id":"Q4381404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b2dc11b66fd79dbb2423fad8da75bf6d09a968c","datavalue":{"value":{"amount":"+0.82456136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1176232$1354800D-8ACD-4BBE-A6D2-CF8189D3EB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9855a6de1b8eb3a155d7a0ba58b1b69b65e804a1","datavalue":{"value":{"entity-type":"item","numeric-id":5711946,"id":"Q5711946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c69f2a9b5c57c1b27ff65fe38d8b5bf0b0f34bd7","datavalue":{"value":{"amount":"+0.82334745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1176232$2943394B-9B92-4CC2-9364-70DECBB66BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d1db4c560e3b3eda15586d4224f0e17505c98db","datavalue":{"value":{"entity-type":"item","numeric-id":4218947,"id":"Q4218947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3506953a42108665fce9cd99f4a87a3fd7eb930","datavalue":{"value":{"amount":"+0.8232138","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1176232$8B611382-64F2-4EE8-9ED7-FEE60D891AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db6d3a8cff1d0996c7a69414957abb299ffd42b3","datavalue":{"value":{"entity-type":"item","numeric-id":3830540,"id":"Q3830540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85182d42938f9f244e28a7e932372e480a6763c5","datavalue":{"value":{"amount":"+0.82227194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1176232$AFA7D607-FDDE-451A-A609-AEE98AE40B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d486ba7d8fd01682853904d1dd16458433c8ebce","datavalue":{"value":{"entity-type":"item","numeric-id":4474837,"id":"Q4474837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"274dae6992155e705ca5aff2f38dad632b5331e2","datavalue":{"value":{"amount":"+0.8202568","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1176232$43A27153-FF12-4566-9CD5-E12C9DF64F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5c529bd71f028b049ba84723c7af8bdff577aed","datavalue":{"value":{"entity-type":"item","numeric-id":4241260,"id":"Q4241260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c2ce4c55d800f3c47584ee968dc8f17dbd69c6b","datavalue":{"value":{"amount":"+0.8200253","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1176232$4B56A454-FE43-49AB-82DB-EBA1F80427FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"084bbbb4df82d594477fd68358151d484447708c","datavalue":{"value":{"entity-type":"item","numeric-id":6482121,"id":"Q6482121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176232$66AF07FD-DEC0-485A-8C4B-70CE630E52C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The monadic second-order logic of graphs. V: On closing the gap between definability and recognizability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_monadic_second-order_logic_of_graphs._V:_On_closing_the_gap_between_definability_and_recognizability"}}}}}