{"entities":{"Q647900":{"pageid":649749,"ns":120,"title":"Item:Q647900","lastrevid":77664290,"modified":"2026-05-06T09:47:00Z","type":"item","id":"Q647900","labels":{"en":{"language":"en","value":"Automaton transformations and monadic theories of infinite sequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5975560"}},"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":"Q647900$08BC41EC-9949-49F9-AEB9-59E917C68520","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7a2d451ebc6db948f0e551debcf9df50fd30da9","datavalue":{"value":{"text":"Automaton transformations and monadic theories of infinite sequences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q647900$50A8C89F-ACFB-466E-A7A1-61D57ECFAA86","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5fad0c488f8a3a1512175a8a5ddc2363b1782da3","datavalue":{"value":"1233.68152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647900$B2C6472F-33FF-4CFC-BC67-9A7F6764D92F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a5d6e830237d203d950c44aae9bcce53cc2f062","datavalue":{"value":"10.3103/S1066369X11080123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647900$2EE63808-01FD-4052-813C-865B7D9231AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"134be4aec1fb79467f3bd809d6e2927a3cbbd38a","datavalue":{"value":{"entity-type":"item","numeric-id":309439,"id":"Q309439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647900$69521018-720F-4164-AD78-C5859B7049F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"62318960435ff4e0b6f0bda102e1b989b0fc569e","datavalue":{"value":{"entity-type":"item","numeric-id":268929,"id":"Q268929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647900$23A67B4D-6BDC-4024-AF8D-F7D7D7C93779","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4d73454e0170207192c80832266863a4752e4daa","datavalue":{"value":{"time":"+2011-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q647900$FFE41901-754D-4B51-9CE0-BFFCE99DD414","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647900$0F86DCF5-BB46-40FE-A7C2-A9940DA74F6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44dbe5de025106274b284987d6228e1abe3b31e9","datavalue":{"value":"5975560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647900$D92CA41D-8DE3-4FA7-9BD9-399471655DD0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7618cbb3653e7ee7994d4bdca40d53e65793a52","datavalue":{"value":"automaton transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q647900$0AD8F5B9-464B-4F53-8582-4D47AEDCAC69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2556e7555783ff46f6466868d0fd5c9bd7dc9185","datavalue":{"value":"monadic theories of infinite sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q647900$6B68A320-AEAA-4F21-9996-ADA22636B24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad6aeba811b484b3400149403c78c4454bafef7f","datavalue":{"value":"complete sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q647900$831F384F-D8DD-45B1-8923-90CBE999D188","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":"Q647900$7D56B1AF-E32D-4384-8832-E5CF47716F31","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"39d1ccc5fff671d0aecc9554db18ba5f2c281e79","datavalue":{"value":{"entity-type":"item","numeric-id":647840,"id":"Q647840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647900$DD117E0C-D92E-427B-8228-6512618BB435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"218859d7597f12b41cd9e1460b03eb71773e6f65","datavalue":{"value":{"entity-type":"item","numeric-id":3550936,"id":"Q3550936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647900$09FAA4DB-B0FF-4F2C-AA7A-908EAAEFA8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83d069ece4db450aacbfaa38dcfe8b713adce6e6","datavalue":{"value":{"entity-type":"item","numeric-id":4110939,"id":"Q4110939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647900$2E19D34B-EF85-46C5-A128-17FC62FBB7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"859281f7d4c63d096ed0a79bd119020280221f7e","datavalue":{"value":{"entity-type":"item","numeric-id":4185810,"id":"Q4185810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647900$719DFD7D-3ECD-4B58-A3E7-6E610E0AA3C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30914ab8ebf8542f56f6badd08ae995c7811f1ef","datavalue":{"value":{"entity-type":"item","numeric-id":647840,"id":"Q647840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdf8199c4a95a95285158f73d736a74259f09757","datavalue":{"value":{"amount":"+0.8239847421646118","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":"Q647900$78592D0E-8419-47B4-9CD6-D90C20A462BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0632771268fafc9d83f80029f644148b81b0250","datavalue":{"value":{"entity-type":"item","numeric-id":309440,"id":"Q309440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"907540c22f1e4fcc6be40de2ccb46d9ebe74fdea","datavalue":{"value":{"amount":"+0.7794366478919983","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":"Q647900$F07C496F-7019-4F81-8F0D-F269237E337D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1da735135451062df50bb395e543309ff803f5c","datavalue":{"value":{"entity-type":"item","numeric-id":2016100,"id":"Q2016100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34af54ec8cd969cbcca40ecfcae0f985073ab23b","datavalue":{"value":{"amount":"+0.7790728211402893","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":"Q647900$414911F3-DEE5-41B8-9251-75208E3F87B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b337569fbbab6cabbd3079d1ce24a2c4fa4049e","datavalue":{"value":{"entity-type":"item","numeric-id":3682472,"id":"Q3682472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24420a50465cdc406cb3d42c8e3d70de96c41072","datavalue":{"value":{"amount":"+0.746538519859314","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":"Q647900$39044883-4807-44C1-905C-06F8113A6C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bac097fd8b650619f23a7ed9b3072ed789d237e","datavalue":{"value":{"entity-type":"item","numeric-id":2817385,"id":"Q2817385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e9529cf8ac6692cd38663486a401688e0d9da18","datavalue":{"value":{"amount":"+0.7294159531593323","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":"Q647900$EDA428B7-B79A-4A15-85E7-97C1D5DAEB24","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automaton transformations and monadic theories of infinite sequences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automaton_transformations_and_monadic_theories_of_infinite_sequences"}}}}}