{"entities":{"Q5370858":{"pageid":7400432,"ns":120,"title":"Item:Q5370858","lastrevid":55935547,"modified":"2026-02-21T07:27:18Z","type":"item","id":"Q5370858","labels":{"en":{"language":"en","value":"Monadic second-order logic on finite sequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6794655"}},"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":"Q5370858$D59E5658-B77E-405C-A955-ECBFE9EDAE63","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68772996c93e9a6811f37fba165bd7db6d71c8e8","datavalue":{"value":{"text":"Monadic second-order logic on finite sequences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5370858$02672617-E5D3-4418-AE99-9D708ED59024","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"078f0ec28583d6d2c8b1d50e8512714a3caf8706","datavalue":{"value":"1387.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370858$A1EC793D-A88D-42A5-8B87-607E0E7DEAFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7affe4de3a81d36adc13215dac4f66a3b1ee263","datavalue":{"value":"10.1145/3009837.3009844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370858$692A12EA-F59E-430F-AADF-14750EA815A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2899f19d42d5dc4ca3849af955d8da8a1b7e96c6","datavalue":{"value":{"entity-type":"item","numeric-id":746775,"id":"Q746775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370858$C5326907-AA22-4297-9806-BC8D0222498F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"798125e2bf84cd3371872ac90f65bc577c3ec746","datavalue":{"value":{"entity-type":"item","numeric-id":286961,"id":"Q286961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370858$EBDEBF39-E631-4D2C-A5F3-776747147E72","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2300a4bb532724f6695014ad32dc9335c9fdde3","datavalue":{"value":{"entity-type":"item","numeric-id":5370840,"id":"Q5370840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370858$D3995176-689D-4E51-8C31-F5BB84894A7F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c23b22abb6cd47509eac4c3e5d58b13717e9ea4","datavalue":{"value":{"time":"+2017-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5370858$9920D0E8-A86C-44B7-813E-93316BA7535E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370858$A44F2D13-690D-49FA-A6CA-F67754E0477D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370858$D4B896BC-4E90-4A08-8132-E079A575EAB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370858$08A38459-E1A2-4B6F-9555-C49EE8EF053A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370858$1349494A-C6CC-4664-9245-078CECE03FC2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6b66b230086a09f6232a40634f5db916a63c879","datavalue":{"value":"6794655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370858$16318557-68FC-4B7C-91C5-BFA7DB8370C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c3898212513e24c39127a6e58f22e0141bc29b0","datavalue":{"value":"MSO logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370858$0137034A-B359-4955-9E21-B68149051AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e10c93a0c537faaa0a20487dc691e950f6aab6c8","datavalue":{"value":"SWS1S","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370858$7575F1D2-E820-4EFE-9FDF-535BB2E55A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6310ae7fbf6e5cbf15b32d853e4d6f85f70b565d","datavalue":{"value":"symbolic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370858$EBF76B4F-B045-4726-9171-BADCE0742221","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":"Q5370858$4DB89DBB-08E4-4E5A-8590-6FEE82AB59DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c142af1e8209036b727f6edb67cc289cbf50687d","datavalue":{"value":"https://doi.org/10.1145/3009837.3009844","type":"string"},"datatype":"url"},"type":"statement","id":"Q5370858$CF02A62C-8EFA-403D-8786-1DDFAC405BC5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0954aac411e2f81c69d95d38033a302936822fb4","datavalue":{"value":"W2554756459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370858$B0559C90-D782-4B31-916A-AE3FB631DA92","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fd4b9efb0426034af28c3d3769eaad1324903618","datavalue":{"value":"Q130853232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370858$DE9C821B-4517-4DE2-9BE0-ADCFB15B5ACD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0afcfc511fb294caade506de8d830b4e331fd86e","datavalue":{"value":{"entity-type":"item","numeric-id":4303681,"id":"Q4303681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe9d16c195c4b57e6752fdda63520d45e044026b","datavalue":{"value":{"amount":"+0.764262318611145","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":"Q5370858$A290A4E6-44DD-4225-A2A9-11B2730FC13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69eba8502a1543a1d178cb83e50d27bac27eebe6","datavalue":{"value":{"entity-type":"item","numeric-id":2814129,"id":"Q2814129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2d7fd12fd66b2f1f88972cc2fc0c1f6cd152d99","datavalue":{"value":{"amount":"+0.737441897392273","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":"Q5370858$AB84B802-27DF-44EF-B0DA-C8A11461AB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e13268e4ed165bc10c6c057806c7a72e9eca145","datavalue":{"value":{"entity-type":"item","numeric-id":4449212,"id":"Q4449212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a06a06e1c9c798c43c24f8df860ed55704163894","datavalue":{"value":{"amount":"+0.7351941466331482","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":"Q5370858$336B2D9C-0367-47A5-B95D-7FA557E4A401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4780d50e2e1619d38a8af22d2f9d34a239c631e7","datavalue":{"value":{"entity-type":"item","numeric-id":5244782,"id":"Q5244782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f6243dd78be16f4b61d346379ca001bc891c4bf","datavalue":{"value":{"amount":"+0.7335772514343262","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":"Q5370858$19B7CDB9-CF23-4AD1-8F3A-781DBBD7A222","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5370858","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5370858"}}}}}