{"entities":{"Q3190155":{"pageid":3200863,"ns":120,"title":"Item:Q3190155","lastrevid":86630249,"modified":"2026-06-04T03:12:44Z","type":"item","id":"Q3190155","labels":{"en":{"language":"en","value":"Subshifts, MSO logic, and collapsing hierarchies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6344697"}},"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":"Q3190155$ED9F3BE8-C7DD-4403-BF87-9736AAB79155","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"912388dd63b5e0ba253ba69a974e1acb9e2e9267","datavalue":{"value":{"text":"Subshifts, MSO Logic, and Collapsing Hierarchies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3190155$870B69BC-3A1C-4021-B178-1A426F016B24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06718327d26d9877412f248d024e19adcb9836d1","datavalue":{"value":"1418.03149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190155$6AD6C8AD-D84C-452A-9DB3-90C3E6BC1655","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4819616f9ac584909b0d4261dacbb529028d90d","datavalue":{"value":"10.1007/978-3-662-44602-7_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190155$09137270-806F-4245-B273-E9AEB626EACA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e80e9e5d54efc88eef589585828c6132917c7b96","datavalue":{"value":{"entity-type":"item","numeric-id":473193,"id":"Q473193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3190155$9E2D76E9-5BA2-44C3-9B03-FCF8D24E74BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d7bccb37f598e8e97b191e774d9cef485c5e3f3b","datavalue":{"value":{"entity-type":"item","numeric-id":2942771,"id":"Q2942771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3190155$9DDBA634-30ED-49BF-862A-1BA20927196A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8555c1b8507b50ae47f31acfa7e2d2e9024da56b","datavalue":{"value":{"time":"+2014-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3190155$7ECC3267-7BE1-4E51-8E73-8B1740A67561","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5cd47046e02a09331b358d1ad03112f3935fdcf9","datavalue":{"value":"https://arxiv.org/abs/1406.7155","type":"string"},"datatype":"url"},"type":"statement","id":"Q3190155$70794681-EA32-420C-AFD9-8687B1DDD2BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190155$3384C692-10F1-44E8-ABD1-70A7E30124F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b559307b5b2969939e6945d65ee127220f8f6f4b","datavalue":{"value":"37B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190155$DECC2896-57AD-47CD-B4B7-D74E9416CD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b9ca13b65dfaefefd0c02f3f6d7e1635431e9adc","datavalue":{"value":"37B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190155$2F96E237-45DC-46EA-B0F1-67D7D51A0D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190155$A62E5F42-9703-40EF-B2D0-E9F5D5130D58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8848aab34a40a3a223d3663f32841b68ef55bb5","datavalue":{"value":"6344697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190155$6DD34E24-D99B-45DC-879F-04F87F68DA37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77cfba0bdc96149ac461d91f11f1240bf2a77282","datavalue":{"value":"subshift","type":"string"},"datatype":"string"},"type":"statement","id":"Q3190155$09C98585-138B-4E9B-BAB3-E340F53B875B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c3898212513e24c39127a6e58f22e0141bc29b0","datavalue":{"value":"MSO logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3190155$A6D6DC51-9B37-40F7-A834-1FACBD012729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e138a1670dd04bbc9b0b004a6a70f93eb7587498","datavalue":{"value":"quantifier alternation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3190155$E2290F45-12F8-4950-9F0F-66B560B6935C","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":"Q3190155$8408200E-C5BB-437D-9ECE-16E6E28EF3CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba8820ec6d96a90e49cd14d204c200be37be210e","datavalue":{"value":"W2186952976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190155$079AE70B-2D3C-4383-B9DF-87948F3CB113","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc160bdc8aa3f53fcd6d5e4c746b2c7efda25ec4","datavalue":{"value":{"entity-type":"item","numeric-id":384929,"id":"Q384929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97a6c32aa240f64d3b6fad2b6709cca79096e40a","datavalue":{"value":{"amount":"+0.8960651755332947","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":"Q3190155$2C3B607B-FBB8-41F6-ADCF-5B59735E387D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"500c6328ce1e0c51ad6f34351ecfbc15810456cf","datavalue":{"value":{"entity-type":"item","numeric-id":3637233,"id":"Q3637233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c204ff64654816e0f80c412098ea4c0dc491c45b","datavalue":{"value":{"amount":"+0.8553584814071655","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":"Q3190155$2D4FCCB0-430A-46C0-A062-93A65DB5C203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c70908c23eb5ccdb7ca5a9eeeb839c819b57f138","datavalue":{"value":{"entity-type":"item","numeric-id":5958302,"id":"Q5958302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6955ddc6e4225568caf762f419b88898f6ba99b0","datavalue":{"value":{"amount":"+0.7513902187347412","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":"Q3190155$0DCBE027-4EB6-4178-BCD0-7A9FA55BDAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfc8359d20744d2da6d765ddc5ceff5cc535730a","datavalue":{"value":{"entity-type":"item","numeric-id":4218948,"id":"Q4218948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a770c37504bf4020546fb2345e7c30cc97f31b10","datavalue":{"value":{"amount":"+0.7423802614212036","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":"Q3190155$DF638DB2-446C-4411-A67B-EB9E88295F94","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Subshifts, MSO logic, and collapsing hierarchies","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Subshifts,_MSO_logic,_and_collapsing_hierarchies"}}}}}