{"entities":{"Q3586053":{"pageid":5615957,"ns":120,"title":"Item:Q3586053","lastrevid":51070799,"modified":"2026-01-16T12:19:09Z","type":"item","id":"Q3586053","labels":{"en":{"language":"en","value":"New algorithm for weak monadic second-order logic on inductive structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5779258"}},"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":"Q3586053$8B32E9BC-418D-4E71-B135-520B54C96B64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fab10c2822c6e4273ec667c32271009865617fbc","datavalue":{"value":{"text":"New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3586053$CD3B04C9-DFCC-4FEC-BB9D-7F1C81543A79","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab2b8664d15714d321552bf32613d4bf37c96554","datavalue":{"value":"1287.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586053$BEE44BE7-60A8-453B-BEA1-B1FF9A832C36","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2984d8e48d900c94daffcf064c01a863d1359686","datavalue":{"value":"10.1007/978-3-642-15205-4_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586053$F76A034C-AF74-4D65-A1C9-827567E90C6D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"94a71fe61393dd7cb0ff077680b00923c95237e6","datavalue":{"value":{"entity-type":"item","numeric-id":3586052,"id":"Q3586052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586053$8949DC64-1FE7-4085-BAE2-AACEFEFB8B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9e3377d5a8683b76c323c193459e77e78f68c1a","datavalue":{"value":{"entity-type":"item","numeric-id":555654,"id":"Q555654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586053$8E9A831B-F697-45FA-87CF-141B73CAB74E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586053$E4F5C731-971B-4BE7-8F6C-A424D09998AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c11c2a23d7cae41957cb0a13f9b87e3313a15a8","datavalue":{"value":{"time":"+2010-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3586053$49E716BC-26A0-4092-9AEC-2A884888F3C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4af3902e3eb8a3c32699b923bebf10848b7488e3","datavalue":{"value":"http://publications.rwth-aachen.de/record/119907","type":"string"},"datatype":"url"},"type":"statement","id":"Q3586053$5BB7A36E-A9D5-41F4-AAD7-96ECD901D6AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586053$55A0CABB-60DC-4865-A6BE-8753237957B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586053$F0FB57F2-7D59-45F9-80BD-9DA10DFC92CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586053$D5AE9FC3-F009-4BCD-ACB0-CC8F2B517CDE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3f6965f2582eb48917a95f7152522a28ddb3330","datavalue":{"value":"5779258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586053$8D932EBE-D425-4C16-B100-3AFC3DC241D3","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":"Q3586053$152D6917-4E98-4936-9347-38253810CC5C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"515c476bfa1e51c147de31035c1bae18ee07e9dd","datavalue":{"value":"W1482190611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586053$8C83AC5C-5E89-4B2B-AC39-54D4383D6596","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdb02510bd1f2f59529b2f6c03617ed19d355eb7","datavalue":{"value":{"entity-type":"item","numeric-id":2904801,"id":"Q2904801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baea3f98b1375f68a929a0d255e66a1a32aba1bb","datavalue":{"value":{"amount":"+0.7484723925590515","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":"Q3586053$5BB3734F-00C4-494C-ABE4-A76B226A85FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0b46910b25a14cefda9f1e1043678542847f150","datavalue":{"value":{"entity-type":"item","numeric-id":4412839,"id":"Q4412839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5f9adf6b6116905d9f08c535fc4da8a8108873b","datavalue":{"value":{"amount":"+0.725136935710907","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":"Q3586053$0D21916F-D73D-454A-9289-7A38804F82DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2896f30c6c53c18958b74ad1d06c1723987037","datavalue":{"value":{"entity-type":"item","numeric-id":5167825,"id":"Q5167825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bed53db932b202b3a25bfe13036acadb85016941","datavalue":{"value":{"amount":"+0.7248977422714233","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":"Q3586053$6FEDEE30-DB85-44AF-A481-B72DD1B30D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82146d19cf00914cf680dc7535deb2fc91961d5f","datavalue":{"value":{"entity-type":"item","numeric-id":1886318,"id":"Q1886318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cea46383709dc80f05b8b66635e9ca7d725a8b3","datavalue":{"value":{"amount":"+0.7246265411376953","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":"Q3586053$ABEFF0E8-8D9E-405E-B6C8-1107C66E5F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f690a8deda52f079e95a31c469a648f4741c0eba","datavalue":{"value":{"entity-type":"item","numeric-id":5278399,"id":"Q5278399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d447ccdac1613c3c316b3a22d1a22c997d194274","datavalue":{"value":{"amount":"+0.720252513885498","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":"Q3586053$B241B859-97EB-4503-913D-F0594293DC76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3586053","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3586053"}}}}}