{"entities":{"Q5216303":{"pageid":7245873,"ns":120,"title":"Item:Q5216303","lastrevid":55372165,"modified":"2026-02-17T14:43:19Z","type":"item","id":"Q5216303","labels":{"en":{"language":"en","value":"Undecidability of a weak version of MSO+U"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7168148"}},"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":"Q5216303$0D3EDC81-66D1-47AC-AAB4-F0AE205AEF8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f5b3c3247f723a8dd053286a58f85570c0f08c2","datavalue":{"value":{"entity-type":"item","numeric-id":290907,"id":"Q290907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216303$9DBAB8DE-A32B-4D3B-917A-E940EA67A872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66d8415bbb318b7cdfb5b0ff416f446e7514756b","datavalue":{"value":{"entity-type":"item","numeric-id":290903,"id":"Q290903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216303$E535D1C7-BC8C-41CA-9D97-FF820709F4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee80d33249f6fe61dc3fab7e3289aad7c356b7dc","datavalue":{"value":{"entity-type":"item","numeric-id":476167,"id":"Q476167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216303$4EE0A117-4C09-414D-BF47-1D0DF038FAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2aa04a9e006412fe2d74d9295cdc76e2c1f4a041","datavalue":{"value":{"entity-type":"item","numeric-id":1798907,"id":"Q1798907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216303$AEB522B0-D79C-4082-9292-D9F2A55ABD4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"920f7a9d4ba9554edb9692cfc5816b0fc7e0b54a","datavalue":{"value":{"entity-type":"item","numeric-id":2140478,"id":"Q2140478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216303$838F2BEF-0877-4777-A5B6-15ED98264777","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a7c9d6c0100675744974eb3bd7cd696e575460ae","datavalue":{"value":{"time":"+2020-02-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":"Q5216303$C2433BAB-7B1C-4000-9C22-B5BC34ABC941","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"399f84a7ea7b3cb8f6bce4436017f614e1608bb0","datavalue":{"value":"https://arxiv.org/abs/1807.08506","type":"string"},"datatype":"url"},"type":"statement","id":"Q5216303$E82EFBE5-371F-4B5E-A4FF-E8A22062F710","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216303$242BFBC1-80B3-427C-8376-48CF052F2E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216303$B1C8DA12-4CC2-4DF4-AEEA-B462077B1104","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa763cda9d04e2981cb680105314b37a6645e657","datavalue":{"value":"7168148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216303$F4A7CDE9-912C-4562-9EED-B83628B3E3EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0e62186541abb726b0a69cb1cf66c449b3c5333","datavalue":{"value":"\\textsc{mso} logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216303$177B068C-477A-4DC8-A085-7FFFA6729AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216303$C9343BF9-B712-44F5-AC58-1FA4B3B208AF","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":"Q5216303$640952FF-7DD1-4F8C-8EE5-B3DCE9C6A145","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe1c796a53fa7b9efc76668fcc2ee33859bca920","datavalue":{"value":{"entity-type":"item","numeric-id":3011122,"id":"Q3011122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216303$44E713F6-D568-4785-B289-C84E0BFFB102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64b7a836e71e0ce2b635352f5a5ed06e35f4c8fb","datavalue":{"value":{"entity-type":"item","numeric-id":4781602,"id":"Q4781602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216303$28FF9ABC-2340-4695-A67A-8FCD3FC3000B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ec50b6634298fadb067107315427ab3ec537f1a","datavalue":{"value":{"entity-type":"item","numeric-id":2922005,"id":"Q2922005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216303$F4E59D96-6AA0-48D5-BC88-A753D8A5B2A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39921ea5b5cf71915749d2f66167648a28ef38f4","datavalue":{"value":{"entity-type":"item","numeric-id":5311284,"id":"Q5311284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216303$18D2B26A-5E24-4985-81D8-F41A936233BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bb113aea665eb4f65d07e8135d818e2226616e6","datavalue":{"value":{"entity-type":"item","numeric-id":4596779,"id":"Q4596779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216303$987AC15C-D582-45A5-9A6E-E0AC5D71C00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aa95fc5a9276312473aacfb909d47c798f6352b","datavalue":{"value":{"entity-type":"item","numeric-id":4601873,"id":"Q4601873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216303$6F83D5B6-10AC-4878-B1BC-BCC0A97ACAF9","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":"Q5216303$96B8AC03-60D3-423C-BA6D-D35E1365CF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e1342fe8d4efa58a2b5083fb660590ce1300d53","datavalue":{"value":{"entity-type":"item","numeric-id":5351975,"id":"Q5351975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216303$2D1AD933-A9F8-4726-932B-73B32E644A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48ee7f6ed2a7d257e165cd94d9f2437e3f20a5bc","datavalue":{"value":{"entity-type":"item","numeric-id":2965514,"id":"Q2965514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216303$CF3EE73D-E50C-4D4B-ADF3-7908EE109CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b761051777cca47316fb44f9b8efa088eb2e646","datavalue":{"value":{"entity-type":"item","numeric-id":5283434,"id":"Q5283434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216303$FF687BFC-2714-4D94-A83D-39C46D1E86A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8bbf6bbcabe8cab958b96d8e6f29f46c17585ef","datavalue":{"value":{"entity-type":"item","numeric-id":4601873,"id":"Q4601873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"722dbef0e40b7eb8bb0cd99f598421fb11fdad06","datavalue":{"value":{"amount":"+0.8797658681869507","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":"Q5216303$D2EEE5FF-4547-46F6-92A8-1CF742015922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bf2b3587481fc3fc680e05a2e350cd0b8318c5e","datavalue":{"value":{"entity-type":"item","numeric-id":5167826,"id":"Q5167826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89518ba92f1568f9f92c67f3998e782965051df1","datavalue":{"value":{"amount":"+0.81650310754776","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":"Q5216303$F64EFAFA-A18D-486A-B94F-ED912DA8DCE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdb02510bd1f2f59529b2f6c03617ed19d355eb7","datavalue":{"value":{"entity-type":"item","numeric-id":2904801,"id":"Q2904801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1195261b162713097bb4f3384b4b99cc29ed4305","datavalue":{"value":{"amount":"+0.8099783658981323","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":"Q5216303$B98A60DB-6342-4EE9-8442-85FCA830ECF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2896f30c6c53c18958b74ad1d06c1723987037","datavalue":{"value":{"entity-type":"item","numeric-id":5167825,"id":"Q5167825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa164a7b6b53c3bbe99864b17948109093881e8b","datavalue":{"value":{"amount":"+0.7951524257659912","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":"Q5216303$30DD1183-BB90-433C-A12C-3D1EA2B05926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b94df8375ef40fce88fd997def69bb5bd5b776d","datavalue":{"value":{"entity-type":"item","numeric-id":3586103,"id":"Q3586103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55f5dce7b605b3d862b03340770a5c84046977c8","datavalue":{"value":{"amount":"+0.7735721468925476","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":"Q5216303$F5EF210A-E582-4A01-81CF-FF17034A59C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5216303","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5216303"}}}}}