{"entities":{"Q5351975":{"pageid":7381549,"ns":120,"title":"Item:Q5351975","lastrevid":100961498,"modified":"2026-06-05T23:33:20Z","type":"item","id":"Q5351975","labels":{"en":{"language":"en","value":"Infinite and bi-infinite words with decidable monadic theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6767613"}},"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":"Q5351975$46D365E0-A3D4-4E0A-A08E-EC7200EFAB5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2beb340e486c53db5d1f476d2b1e8e1cd854efbb","datavalue":{"value":"1434.03102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351975$384BFC27-8CA7-47BB-BFA4-39E0324F83F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"790a6e2623ed04866cf147712fd3cf130c9c01dd","datavalue":{"value":{"entity-type":"item","numeric-id":476864,"id":"Q476864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351975$EE9649F6-9F1E-46F0-80D0-536A0F45E004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"331cad4d8d9eb195b397175aed72f5fe39fc4af4","datavalue":{"value":{"entity-type":"item","numeric-id":4585065,"id":"Q4585065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351975$F86C693D-39A8-40BA-8D71-E7A643422E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8f9028ed4d5274f77df4d4f9e07b117d4309ffd","datavalue":{"value":{"entity-type":"item","numeric-id":420855,"id":"Q420855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351975$B3F7D942-92D4-41D0-A19E-DF81AB078CAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98ec418c891dba68be18e8fdbc46de88ff46e2e4","datavalue":{"value":{"time":"+2017-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5351975$EE3795CE-446D-477C-AC34-C0F3E44026A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351975$651F33A8-357E-44DD-978E-31142211147D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351975$1DCA4FB5-58A2-4D60-9A9A-0BC3E3EC041B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90e9d24fa4fd4b41d06f1c0bb9886be4fde203ae","datavalue":{"value":"6767613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351975$13957983-7CCF-40AC-87C1-81C2F6CDDE93","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91bf40d767c64624931b686e81b905c7b43bef72","datavalue":{"value":"infinite words","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351975$FB82E04A-B7B3-44A7-81FD-EC7ECAAA448D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60960e0d20dd34a0a7537fe9f59b6deaf91f30c1","datavalue":{"value":"bi-infinite words","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351975$9B4CF6DE-CBA9-441B-A422-44160A8B4147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a7ad3b9bca4a77e404ee6853b2ee1f8b94bd5ca","datavalue":{"value":"monadic second order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351975$63765D0F-2063-4D4C-B92E-EC313115B840","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":"Q5351975$E7AE9010-AAC2-499A-B0DA-4213DDF4712F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e2e0d7f15c31492a308f45fd6b7ef23c4a3db04","datavalue":{"value":"http://dx.doi.org/10.4230/LIPIcs.CSL.2015.472","type":"string"},"datatype":"url"},"type":"statement","id":"Q5351975$202EDC01-4104-4A64-A908-ED5B940BA69E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c0461d2211a5f3aff31dee445fdebbc9b219ab8","datavalue":{"value":"W3023425580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351975$2CBE7423-3F6B-4F57-84A2-E3CEE7BF5DD6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d667953f39badbfaafb3695135b8b79a7c3c49c","datavalue":{"value":{"text":"Infinite and Bi-infinite Words with Decidable Monadic Theories.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5351975$24DB58F3-EC0A-4A78-82A5-4B11AB3C1363","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00c143fe74f58781e773f5fa3f9b6364bb7a6f53","datavalue":{"value":"10.4230/LIPICS.CSL.2015.472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351975$86C353D6-BB8B-4A85-BF0F-E99F8DC1A6A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9f2726b48d35a167ced07a58d1c83feb67ce9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4585066,"id":"Q4585066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3863f53604e69a42cbbb914885ac320e9d1b21f2","datavalue":{"value":{"amount":"+0.995014488697052","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":"Q5351975$ED517A17-4DD3-499D-BE6B-39612DED168D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80560144b6f5f8cab0538a1f199f1860b5e94d67","datavalue":{"value":{"entity-type":"item","numeric-id":1854542,"id":"Q1854542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cbb094bdb795978da03e462e45cf997da610aac","datavalue":{"value":{"amount":"+0.8587997555732727","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":"Q5351975$B3C26D46-1086-4BE5-B23E-7BFC4E1F1D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6646c0a63c84f66e1b5690de9c1b10de97c0549","datavalue":{"value":{"entity-type":"item","numeric-id":4536363,"id":"Q4536363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b42d8c2ac6e140abd1f73c90b872ee40c3e71d0c","datavalue":{"value":{"amount":"+0.8537834286689758","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":"Q5351975$DE84FE01-AFEE-4BFE-B4BD-34C54B2C4C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88260dcccca7a949bd71bf27d56f52655193835f","datavalue":{"value":{"entity-type":"item","numeric-id":4281563,"id":"Q4281563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a697bd877799e0053a6120b574f225ac725c8d5","datavalue":{"value":{"amount":"+0.7806309461593628","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":"Q5351975$AEE901E8-BFFB-4661-8EBC-E8A27A8B9FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"558f84a17e76790acf34eac135303a014952f2cc","datavalue":{"value":{"entity-type":"item","numeric-id":3113701,"id":"Q3113701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aacf745360e851ffd3491c8eea768ed5066eb6a","datavalue":{"value":{"amount":"+0.7764095067977905","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":"Q5351975$C09330AB-EE3E-4AD3-B860-F6EBAAF85E34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Infinite and bi-infinite words with decidable monadic theories (scientific article; zbMATH DE number 6767613)","badges":[]}}}}}