{"entities":{"Q4585066":{"pageid":6614651,"ns":120,"title":"Item:Q4585066","lastrevid":55971859,"modified":"2026-02-21T15:41:30Z","type":"item","id":"Q4585066","labels":{"en":{"language":"en","value":"Infinite and bi-infinite words with decidable monadic theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6932680"}},"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":"Q4585066$53F2C94D-CE70-478B-A4F9-27EA66CDB942","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55d5f64e3e6c886b57f3eddb20f6327d927927f9","datavalue":{"value":"10.23638/LMCS-14(3:9)2018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585066$FA336C3D-5E0B-4A62-A970-1EBE8508C14C","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":"Q4585066$01CE5ED9-E417-4552-84A1-7FA2CA6EB501","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":"Q4585066$41DED391-B92C-40BE-ACF2-350693B71410","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":"Q4585066$31EBE42E-A9F2-450D-A5AE-0EEB1E0F47FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95251e74dfd058313c94d01023632403bcdd7ae4","datavalue":{"value":{"time":"+2018-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4585066$9004267B-677F-41C8-AF7D-8A763CF27F82","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4434c726cf7e30543333b2c273b7dd1b2e5de0b0","datavalue":{"value":"https://arxiv.org/abs/1712.03759","type":"string"},"datatype":"url"},"type":"statement","id":"Q4585066$E4BBC1B6-6364-4ACE-8B8C-643CD77D2F7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585066$CAFB5D74-73EB-4279-9738-0FC7C3FA446B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585066$03E962E6-36BC-41D6-B752-0724264E0E24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ce6aa13ac8b07be3282062120a97f15df2b1522","datavalue":{"value":"6932680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585066$561868A0-2529-458B-97E2-FB4AA5CDFC33","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":"Q4585066$E05D145D-A646-4EAC-B47C-6D8938D32D20","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9fd9357923ab7e08f41fef0d932f8df7ca1dda6","datavalue":{"value":{"entity-type":"item","numeric-id":3514639,"id":"Q3514639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585066$161C1E65-057A-41AD-9592-0905083A0147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585066$4FA069B6-4A86-40A8-8C37-74C919710302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585066$5F5E9305-A966-4471-A38D-98733C43FD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af5d1a78a8dd9095d53b8a39c1445c835e906c59","datavalue":{"value":{"entity-type":"item","numeric-id":5609381,"id":"Q5609381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585066$1EC18D40-F7A2-4991-92B8-0DC41C821B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3612f7392d0497babaf5ce5e0add442ad7862811","datavalue":{"value":{"entity-type":"item","numeric-id":1854542,"id":"Q1854542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585066$512AC9D5-F979-443C-BEEF-D3016B6487B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f84c82de96fb7c7b710e84da042fa6d2d7d4ea68","datavalue":{"value":{"entity-type":"item","numeric-id":5520636,"id":"Q5520636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585066$A6805436-2A6F-4673-ACBB-4E4B59E7A54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcad196cde92ff58f605cb0c7899249dd4df74ca","datavalue":{"value":{"entity-type":"item","numeric-id":5317419,"id":"Q5317419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585066$CB34BC75-4354-4983-885E-9A8993A116CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c7d3b87391fc84c82c6962acbcdbf8f2b64865","datavalue":{"value":{"entity-type":"item","numeric-id":2373700,"id":"Q2373700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585066$18EAC1BC-195D-445C-B9AA-63C077A7F5B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1564a519fe0bf3a4fee6ef14a1d6320ce090b306","datavalue":{"value":{"entity-type":"item","numeric-id":3613363,"id":"Q3613363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585066$473D1D88-F863-4C3D-9310-A19D81D8AB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37d179bdd83dd52ebb1134a0d415ec33f0098896","datavalue":{"value":{"entity-type":"item","numeric-id":3328515,"id":"Q3328515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585066$AFD8C15C-7F66-4862-959D-29222CC86864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb1276268d489fa1ff9eafc75133507ef53648e","datavalue":{"value":{"entity-type":"item","numeric-id":3346281,"id":"Q3346281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585066$7917E9B5-C6CA-4045-B0E7-BAAFB2E1BCFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c74e20c9157021aaf7d8167c88d779be5f8df1","datavalue":{"value":{"entity-type":"item","numeric-id":1233019,"id":"Q1233019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585066$2487CF1B-4827-4B7A-8A6D-56762F2A5DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ba3406cb2e9f31c4c080075755a19de1a0fbe18","datavalue":{"value":{"entity-type":"item","numeric-id":5614656,"id":"Q5614656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585066$B2DB68CB-2D55-4D22-A889-12A976DA5095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15736a1fabe53e34c9adbd1c3f77269c133e2124","datavalue":{"value":{"entity-type":"item","numeric-id":4040892,"id":"Q4040892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585066$C257435A-DA9E-4808-BA1A-F1E35BECFA3D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29840667f1c888c95f150968b0210085bf34db0e","datavalue":{"value":{"entity-type":"item","numeric-id":5351975,"id":"Q5351975"},"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":"Q4585066$8D7ECE19-F97A-4D91-BEBF-60D4E3467ADC","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":"3148b08d5529bc078803489c8deff14164282a61","datavalue":{"value":{"amount":"+0.8652926087379456","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":"Q4585066$55330867-8D3B-4299-9295-718AC52AFA27","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":"36efaa1359662e73be7beed10e0e17a0fbeb1a48","datavalue":{"value":{"amount":"+0.8608028292655945","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":"Q4585066$F2A29855-3CD1-4964-9C38-1D8E8A4DC467","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":"583844ae253c79406a0a2458d99aeb66a7435cf2","datavalue":{"value":{"amount":"+0.784658670425415","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":"Q4585066$09C902DF-1E5F-456C-A462-F859236DBF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a8aa8cbf51c64ce1af638651b7eecb466ec4f92","datavalue":{"value":{"entity-type":"item","numeric-id":2379951,"id":"Q2379951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40ae736a8b803268c22e5524fbfdde2f5e6bc2a2","datavalue":{"value":{"amount":"+0.7837271094322205","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":"Q4585066$4EE16081-E469-4960-A0AD-13E7E28CEB31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4585066","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4585066"}}}}}