{"entities":{"Q2182315":{"pageid":2193058,"ns":120,"title":"Item:Q2182315","lastrevid":57766290,"modified":"2026-04-02T10:51:19Z","type":"item","id":"Q2182315","labels":{"en":{"language":"en","value":"Bisimulation invariant monadic-second order logic in the finite"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7203030"}},"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":"Q2182315$24AF2112-EAB5-456B-960B-8D91F1263C33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1572d80db988d8e718c06967749da6abdbb3eeb","datavalue":{"value":{"text":"Bisimulation invariant monadic-second order logic in the finite","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2182315$A5F94F11-21A6-4939-8BE0-0487C6608A8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a45d1204816844df8b3aa558b268e05bae62acb","datavalue":{"value":"1484.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2182315$B9A5DB28-A0F4-44A3-949B-04E84ACB1A40","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f26358bd283f1431ccbb150a944f50fa9cf84f8","datavalue":{"value":{"entity-type":"item","numeric-id":420849,"id":"Q420849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182315$D623EBC5-491D-4028-93F9-89395D6F891D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9789822ad13e1ebb8b540c702bf0e12f477ac6e8","datavalue":{"value":{"entity-type":"item","numeric-id":698504,"id":"Q698504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182315$3CA77949-3F99-43C6-97FA-044288EA9ADD","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":"Q2182315$E57536DE-DEF3-4B21-8AFC-F5DF0B264960","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d7f157455450e9af34ed66ce1d308afc0b05988b","datavalue":{"value":{"time":"+2020-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2182315$0A75DAF1-7828-4C9E-A21E-16BB961EC93F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"234ab955c00afb064354a91dadd4c8eb9abaf98a","datavalue":{"value":"https://arxiv.org/abs/1905.06668","type":"string"},"datatype":"url"},"type":"statement","id":"Q2182315$5558A6C8-CB38-4DB1-87E0-5A22E6967213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"c5871ab0baa1a2a7617006215ac59ab798fd5725","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2018/9121/","type":"string"},"datatype":"url"},"type":"statement","id":"Q2182315$A0AD6FC2-6C85-4D86-AFBF-37FED993CE4B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2182315$CD61358C-AA18-44A1-A242-F58B8222EF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2182315$50D59ED1-647B-4A02-B31F-091F3AD9025A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2182315$A059EB07-061C-4317-A9C2-D05CD7D60C0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ba9363437a09be6d5b4798009701591c196c06a","datavalue":{"value":"7203030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2182315$2016854D-816A-4712-9C2A-F233F8E23138","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2182315$E8C4F41A-9245-4A6E-83E1-546533BBAFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2182315$C8F9BED7-31E3-49F3-8C12-58E7697FD287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adb5c1f670b24943f2657e08ba23241281d0c85d","datavalue":{"value":"composition method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2182315$98131145-7899-4FB4-97D4-105188356407","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":"Q2182315$A3AF28B2-AE0F-4A45-AC83-8EC87ED85EB9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"251a10a4bab921e5006a81e4c26e3df89ccb107b","datavalue":{"value":"W2886189922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2182315$BAF26CC0-AE4C-4B2E-8C35-9B6856C6E73A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49b20b1506647b1c87e6ed6310fb943dc6407f8","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182315$2101A576-0FE5-4BAB-BD8A-C43C131ADD8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ec50b6634298fadb067107315427ab3ec537f1a","datavalue":{"value":{"entity-type":"item","numeric-id":2922005,"id":"Q2922005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182315$AA8E2A53-FCE9-41ED-91DA-7C944549063C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa16ff3648f97d5a80ca8505b4c8cd5694c9d7fe","datavalue":{"value":{"entity-type":"item","numeric-id":3086920,"id":"Q3086920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182315$1A6C5B81-4510-4F36-857A-49C5998321CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8d90295b62693c0a4754161df06e92466ec645b","datavalue":{"value":{"entity-type":"item","numeric-id":4635611,"id":"Q4635611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182315$B7185C48-5BEB-44B5-9803-183BD49C44BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f4c0201149549d35ee55e841548d8d27443b0be","datavalue":{"value":{"entity-type":"item","numeric-id":3384064,"id":"Q3384064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182315$BB75C8AF-DA15-4359-98B8-020D73F4336D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a156d0e955d918a0cf7c3031785e80a3fc845ba","datavalue":{"value":{"entity-type":"item","numeric-id":3077955,"id":"Q3077955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182315$5AFC3BE0-617F-4ED9-A4F7-0D3E1DABA192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d2e3ac3bbd3fab809bfc1f5f5c20980fd0a6992","datavalue":{"value":{"entity-type":"item","numeric-id":5465855,"id":"Q5465855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182315$68859AC6-AAE4-4E10-8012-F56F0CA95414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d2c32b298b09103f7cc9eabedf752dc67f406d3","datavalue":{"value":{"entity-type":"item","numeric-id":4850061,"id":"Q4850061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182315$F15258A8-A880-4403-9958-D4F05E7C5117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76b5b7aba87383fd08faa4de788adb1a1c64f6a5","datavalue":{"value":{"entity-type":"item","numeric-id":5738962,"id":"Q5738962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182315$12E0BF00-71D7-4CA2-9E9F-98C980DA726B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182315$DDEEF0FB-D7C9-48FE-A51C-50BF0270A4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38070a2324f6956e553f48ee431a7b1911e3140b","datavalue":{"value":{"entity-type":"item","numeric-id":6104378,"id":"Q6104378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182315$B573CC39-877A-4C7A-9EB6-1A3AF354AC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f773300cd053ea51f6b2e01c0bd0b060f02131","datavalue":{"value":{"entity-type":"item","numeric-id":4323294,"id":"Q4323294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182315$FDAB2CD1-DEA4-4685-B98A-12D3103C1663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90e87e8e6abdd0b51c8c74bea38abf0c63a2a1ed","datavalue":{"value":{"entity-type":"item","numeric-id":598280,"id":"Q598280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182315$0B5E87C7-6F9D-4808-BE94-74C460E111E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0f17981cbfeb801f8d4fb6222c3bf5217b95bd","datavalue":{"value":{"entity-type":"item","numeric-id":1398378,"id":"Q1398378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182315$0D2C888D-E602-4738-B1D3-EDB88463C4C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcad196cde92ff58f605cb0c7899249dd4df74ca","datavalue":{"value":{"entity-type":"item","numeric-id":5317419,"id":"Q5317419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182315$C2B17DB5-7245-4A73-B62D-77F12D4D5B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dd4b0809c211b7b2f4ceb490227ad58bc41fcec","datavalue":{"value":{"entity-type":"item","numeric-id":1371313,"id":"Q1371313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182315$167DE9CF-48E0-470F-AABD-78DD1E277991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c74e20c9157021aaf7d8167c88d779be5f8df1","datavalue":{"value":{"entity-type":"item","numeric-id":1233019,"id":"Q1233019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182315$7E9D16E6-1314-45D3-9E05-01F2A71B578E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f6d35fc9d0e9a01f7c9a0beb14ef9e77d8202f0","datavalue":{"value":"10.1016/J.TCS.2020.03.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2182315$E262669B-8B96-4CC4-8C03-3A3227776872","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"552540bd19fd2c98cae38058546fbc7313f08df3","datavalue":{"value":{"entity-type":"item","numeric-id":5002802,"id":"Q5002802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63cec5784a974a6776a0bda9a48c868903e49c02","datavalue":{"value":{"amount":"+0.9966580271720886","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":"Q2182315$0EC3BB82-6A73-4435-BA54-D05218A4B05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b351339541c6fc0290716dc09d75d8f92cef7bf3","datavalue":{"value":{"entity-type":"item","numeric-id":5465855,"id":"Q5465855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d70d21d7563de27bb0d48b3819110800c841270f","datavalue":{"value":{"amount":"+0.907848298549652","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":"Q2182315$2E320356-7CE5-44A0-B8E7-1DED550DB9FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56dea6ad997ecba48c4a0ab781f9549648f6e8f5","datavalue":{"value":{"entity-type":"item","numeric-id":4412837,"id":"Q4412837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb8dd105e0abf3601ef4f102d0eae70e23dc09dc","datavalue":{"value":{"amount":"+0.8602610230445862","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":"Q2182315$28C237E0-AC09-4AFB-BB14-6D68A53E5BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abde85dd0c5a0622ef2a5fe0b0a2d3a3afe7d711","datavalue":{"value":{"entity-type":"item","numeric-id":5494236,"id":"Q5494236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb8dd105e0abf3601ef4f102d0eae70e23dc09dc","datavalue":{"value":{"amount":"+0.8602610230445862","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":"Q2182315$8F289AE3-AA01-4A80-BDDD-C2605DB5D655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efc0c3f3a562861af564f9d025187852fee41cdd","datavalue":{"value":{"entity-type":"item","numeric-id":6104378,"id":"Q6104378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df7bb2380fcc2ebe4adce76baa761c52ca484a9a","datavalue":{"value":{"amount":"+0.8056992888450623","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":"Q2182315$AA077A1C-1BF4-4301-AF27-E8546B222446","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2182315","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2182315"}}}}}