{"entities":{"Q6434016":{"pageid":13567030,"ns":120,"title":"Item:Q6434016","lastrevid":103239764,"modified":"2026-06-06T06:36:41Z","type":"item","id":"Q6434016","labels":{"en":{"language":"en","value":"Quantifying over Trees in Monadic Second-Order Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 900589057"}},"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":"Q6434016$84A76982-8318-4BFE-AFA2-260F7B6899C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a0af50183c9f80ff6201ae303d7b1b97a4f3a30","datavalue":{"value":{"time":"+2023-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6434016$D1A12B5C-A1C1-4B06-A990-34A03ED13019","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5238b6be6e164cb767160cc21e7bc95ce8efc1fc","datavalue":{"value":{"entity-type":"item","numeric-id":264997,"id":"Q264997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6434016$4818DD4C-B5BA-4DF3-B433-276FD8E23A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"832ec9ac464bcea330b3bea6d0eade9569e13021","datavalue":{"value":{"entity-type":"item","numeric-id":278750,"id":"Q278750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6434016$389D1ADB-4314-4338-8AFC-91A59CC55178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b79e7dfe19010a2a7fb9a4094963f88655e7110","datavalue":{"value":{"entity-type":"item","numeric-id":357124,"id":"Q357124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6434016$251FBE80-C45D-4C2A-ABE6-4534F39205DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73f22f66a56e43cd19f60d6d99d6fee093715ec0","datavalue":{"value":{"entity-type":"item","numeric-id":264998,"id":"Q264998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6434016$83897735-2EF5-4F7B-AF9F-DA95585A40E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7530fcb70d154c1cc78f2dd61e3035ff1ee472aa","datavalue":{"value":"900589057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6434016$F6E275F1-79B1-469E-9F39-FA486358547B","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":"Q6434016$1CB5EBDA-BAD3-4B10-AE52-5BFD4CFF0819","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantifying over Trees in Monadic Second-Order Logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantifying_over_Trees_in_Monadic_Second-Order_Logic"}}}}}