{"entities":{"Q4429669":{"pageid":6459268,"ns":120,"title":"Item:Q4429669","lastrevid":41081529,"modified":"2025-04-18T04:28:04Z","type":"item","id":"Q4429669","labels":{"en":{"language":"en","value":"Macro Tree Translations of Linear Size Increase are MSO Definable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1986338"}},"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":"Q4429669$CE4B2914-B4A9-4F80-AF6D-6A3F9A208CB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2684bc427331ab7471aa561ca1da51182dceb8e5","datavalue":{"value":{"text":"Macro Tree Translations of Linear Size Increase are MSO Definable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4429669$E99FD022-5B25-4579-BB04-09E65A77B03F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"701ffde1dcfda0bc607c3e72b107e84dbe8b9f60","datavalue":{"value":"1029.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4429669$942B5A56-AEEE-4CAD-A1B2-2971DC1000D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"573c53800c1877136ea5bfe0c08d91fb0466eeea","datavalue":{"value":"10.1137/S0097539701394511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4429669$AAF77044-59B4-4924-BEB0-58F217EA1AE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2c3f07bd4567f73e6d9c4e2b60def57e979538e","datavalue":{"value":{"entity-type":"item","numeric-id":269347,"id":"Q269347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4429669$F3548560-F147-432E-874B-8C3B3FE7B912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdaa763056574d670db49d3b9b4fb6f07d823420","datavalue":{"value":{"entity-type":"item","numeric-id":255286,"id":"Q255286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4429669$94FEC0C2-689D-4647-AF14-FA9F17D5D10E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4429669$2E5A1190-91E7-4E46-9B87-789D5485BFE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4b8e16be2656bc122f0ca93074d52a01e88cdf4","datavalue":{"value":{"time":"+2003-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4429669$FAB5263C-B1B9-4603-AE28-762D63A98396","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4429669$BBCA7535-AF7E-4BC0-8A84-E58106117346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4429669$53FA5E6E-87DC-4A01-864F-EFCDF7D07DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4429669$F8232997-EA0C-4C32-9069-6AC21D9E415A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"991b8de2ea7c92a996fc392ec9cd08a8de853fe4","datavalue":{"value":"1986338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4429669$8269A96D-5CF1-4DD4-AD57-0F8E557330AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e971c9fd8a445192e44006e754cf7b083c39b6f5","datavalue":{"value":"tree transducers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4429669$CE16C939-8A9D-4249-8E1A-A769FFE8B945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4429669$629FF179-52AF-4D11-87DC-7E1BC5B1FE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4429669$C9571EE0-493A-4024-B695-9CBF509AEE5E","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":"Q4429669$C9DF1439-C4C1-4420-A4B1-DCD675D267A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee03987ad9aae661a607dae6db7d2822ee09d348","datavalue":{"value":"https://doi.org/10.1137/s0097539701394511","type":"string"},"datatype":"url"},"type":"statement","id":"Q4429669$870DB9D8-78A4-4A83-9C58-07B9F7DBCD51","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6178258279a947f4205e2051e556aa6a39aff91f","datavalue":{"value":"W1983214696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4429669$91EAE78E-6DBC-4103-B451-2227664D2C0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a2c7f12a1ad71ce31a7828184c252ba2f8d5fee","datavalue":{"value":{"entity-type":"item","numeric-id":4501561,"id":"Q4501561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c96080abe520a0e04fb65813262fd9555cc48923","datavalue":{"value":{"amount":"+0.8771167","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4429669$29987745-E643-420C-8EA0-D2F728249FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89817fbc0d1bfc444af85b86d71f5321a29e9b82","datavalue":{"value":{"entity-type":"item","numeric-id":5191529,"id":"Q5191529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"340ae7b955dc0e82131799de2a34efd3b05e8de3","datavalue":{"value":{"amount":"+0.85629916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4429669$2B1119DA-057A-49B5-BD87-76C439639003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5a7e794e39689e749cd81eb34e462f488a0ae24","datavalue":{"value":{"entity-type":"item","numeric-id":1854312,"id":"Q1854312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e161e4c20110781d3faa4bf75bac817114eafcd","datavalue":{"value":{"amount":"+0.81908524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4429669$C5675457-6DC6-4768-AEA4-60734281811A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b5f10e705cfda81bc3e2e4b11c2f5eef40cbed0","datavalue":{"value":{"entity-type":"item","numeric-id":3334094,"id":"Q3334094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"464ac52f031bd64143ea02c13e7b712dbe589cdf","datavalue":{"value":{"amount":"+0.8166955","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4429669$CF5ECFAB-8BF5-4414-900B-426AB3590125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e063863249502de20f7461d409d6b08e47ee94","datavalue":{"value":{"entity-type":"item","numeric-id":2022308,"id":"Q2022308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcb69c02e92ee134d7c9bf54b0f17e86af0027d1","datavalue":{"value":{"amount":"+0.8149528","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4429669$BF41F8A7-6ECB-48FC-B1E8-2175066799E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83211d28bac96d79c94982b2755e7757eef43e14","datavalue":{"value":{"entity-type":"item","numeric-id":1073576,"id":"Q1073576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dc7ab1b183be77b360460fa3708c8b35bf1cca4","datavalue":{"value":{"amount":"+0.8148459","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4429669$71F489F8-0EA7-4E4A-903C-505B2D65818D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38f6e4cbb91566c72b04b2c89ea4ef29d89af5e7","datavalue":{"value":{"entity-type":"item","numeric-id":845868,"id":"Q845868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2903b0aa4a2472097d89e79c227987ceb2f021ae","datavalue":{"value":{"amount":"+0.8143898","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4429669$47EC3A1F-6159-41C3-A83D-70EBC1F5A2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1d20c7188b4594a26cab6e3d8c4fe230fb6f259","datavalue":{"value":{"entity-type":"item","numeric-id":5897794,"id":"Q5897794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cd38ab4ee5eeca3e09bb5c92a87350cfe1d9e61","datavalue":{"value":{"amount":"+0.8143897","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4429669$F2AB0F6A-20BC-4B7F-BF07-A78B56756BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a345873dac55f4b6ed8f514866bf7e00b770e9e1","datavalue":{"value":{"entity-type":"item","numeric-id":5369520,"id":"Q5369520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6868be1313f551e315fc27f88d755b470fad9dab","datavalue":{"value":{"amount":"+0.8099657","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4429669$95A5A9DE-1FA5-43CD-8018-6BCB2A555FAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4429669","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4429669"}}}}}