{"entities":{"Q2814129":{"pageid":2824867,"ns":120,"title":"Item:Q2814129","lastrevid":56795919,"modified":"2026-03-23T15:20:55Z","type":"item","id":"Q2814129","labels":{"en":{"language":"en","value":"Deciding monadic second order logic over \\(\\omega \\)-words by specialized finite automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6595093"}},"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":"Q2814129$D1A0C842-A433-478C-BF8C-6B43E54B9AD5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be1111b3d023963846a4951c9b13f0b9d6eb7b22","datavalue":{"value":{"text":"Deciding Monadic Second Order Logic over $$\\omega $$ \u03c9 -Words by Specialized Finite Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2814129$81D46262-E534-4D1C-8FDD-52F369701E87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b6e79b5926b8e15f2d946c15a0e2c3d19a4493e","datavalue":{"value":"1354.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814129$0C8E4AFC-1F9B-486F-B506-4FF531144535","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bfcf51a9e5215ff55cb38c368bd3d5663152edf2","datavalue":{"value":"10.1007/978-3-319-33693-0_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814129$344119BD-A580-416C-B2BE-05BEA223DA08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6982fecb0600b1bf37788ccd8de2b1d951537f83","datavalue":{"value":{"entity-type":"item","numeric-id":2814128,"id":"Q2814128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814129$5372E3B4-1F4F-4455-A43A-487221980C67","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814129$B4E5E626-2091-426A-98A6-A97698055F87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c31e552012427c3e62f18a09181317c2bfb4828","datavalue":{"value":{"time":"+2016-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2814129$8B27AC55-1689-4E81-A5A6-DAFDE2096B0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814129$130F48C6-7D7E-4195-A018-1B893166E110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814129$DCF211F3-9D60-4FC1-8395-6F132D465A28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06d1a5b558b580db7df4ae60d17333c9b07404ef","datavalue":{"value":"6595093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814129$FE2D1873-C5A0-4A2E-891C-25128200A8C1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e3f84d9812dbe2b9f43d05f4bc1fc3ce47540e4","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814129$37316489-9197-4F37-AEC3-3E20E8398231","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":"Q2814129$36519263-0672-4A30-A2D9-3FB6A2D716B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"06d9d9b9a412d15a0ff39e65a3a2f85518a8ed22","datavalue":{"value":"https://doi.org/10.1007/978-3-319-33693-0_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q2814129$DD55756C-C275-466E-AE7B-46D1AB3A5730","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3be60906a78d0ec4ca9210a6d345bbc1204cb11f","datavalue":{"value":"W2479040464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814129$C1DAB0F2-1DFA-4153-B316-8623F53C13E4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d444e4e792f32ef2d7c34f2f25e672c2051356b","datavalue":{"value":{"entity-type":"item","numeric-id":731330,"id":"Q731330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814129$460BE5A0-77EE-42D7-8558-A6470E9C5D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae460692886e086c9d093742ba01c2c6e46528ea","datavalue":{"value":{"entity-type":"item","numeric-id":4297397,"id":"Q4297397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814129$8ED2B725-6F3F-4DAA-BEF8-8A721B406B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24a533ac5be26b0713ea83fb7b71029b9271530e","datavalue":{"value":{"entity-type":"item","numeric-id":4930600,"id":"Q4930600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814129$A3305004-DDB7-4122-A298-3378A4EBD8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a852f9828a60d6febd0b82b3b250f25d038b258c","datavalue":{"value":{"entity-type":"item","numeric-id":5458316,"id":"Q5458316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814129$0D31892D-4B94-4EEC-A9E1-D3583B3A8778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be2ce44bdf80df52f5a97dfe72ac01ea51570a9","datavalue":{"value":{"entity-type":"item","numeric-id":4045961,"id":"Q4045961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814129$08544BB2-3CAD-4A70-8DE7-68E73886A2B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4ecd962d29196a0fa85d545f27fae2c55c992d6","datavalue":{"value":{"entity-type":"item","numeric-id":3021971,"id":"Q3021971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814129$4930FC3C-8EF9-49CA-9CEF-55590F84FF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42ed490c0161c8fc876128d09c594b8e411735be","datavalue":{"value":{"entity-type":"item","numeric-id":3073645,"id":"Q3073645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814129$87CF85FA-3110-430C-8472-83FA33546118","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6d243301ac3e867fcc20081d7af123443233beb","datavalue":{"value":{"entity-type":"item","numeric-id":3510798,"id":"Q3510798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bc35d832fa303ddb1f994e6bc948e756999b43b","datavalue":{"value":{"amount":"+0.7631371021270752","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":"Q2814129$EDE47D98-1C3E-4B77-B926-C3C805160AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5bd9cfd129d72ee4df5c43b0b79b4583e8f1cb2","datavalue":{"value":{"entity-type":"item","numeric-id":3526410,"id":"Q3526410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11cd0ac359b6a9c0c3dcd812344da4b787a15dbd","datavalue":{"value":{"amount":"+0.7628689408302307","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":"Q2814129$70637DF1-8911-441C-9515-FEF81987174E","rank":"normal"},{"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":"7980cb99ba599732ca19be49de69053a18f47f30","datavalue":{"value":{"amount":"+0.7602054476737976","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":"Q2814129$6F5E4CA3-B6FC-4F97-8D16-9A8A4993FEA9","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":"b21111032eb7ba8b6ac16e7a37b3dbe6e0fa601b","datavalue":{"value":{"amount":"+0.7547071576118469","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":"Q2814129$AA9DD4B5-64C4-46B4-B337-7C4C4C85F3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73897989f8e86023d13add64b2e773d222fc1e45","datavalue":{"value":{"entity-type":"item","numeric-id":5371957,"id":"Q5371957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b8f68acec7d652a9bf9aca5b999fbdc1bca0c0c","datavalue":{"value":{"amount":"+0.7545061111450195","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":"Q2814129$8DCDB01F-E8B7-4533-A236-DB4750D81209","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814129$BB72F927-C7A7-4F9C-B67A-E7DCEBDB48E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2814129","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2814129"}}}}}