{"entities":{"Q3196335":{"pageid":3207043,"ns":120,"title":"Item:Q3196335","lastrevid":58143024,"modified":"2026-04-03T23:50:51Z","type":"item","id":"Q3196335","labels":{"en":{"language":"en","value":"Deciding definability in \\(\\mathrm{FO}^2(<_{\\mathbf{v}},<_{\\mathbf{h}})\\) on trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6501852"}},"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":"Q3196335$CE5A29DD-4F2F-4CB2-A918-CC74110A61FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e315ab08674c5034a1f4e84a64bc6325c82ee64e","datavalue":{"value":{"text":"Deciding definability in FO2(&lt;h,&lt;v) on trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3196335$8090756B-8297-4275-9D89-82AB442A82E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b79a394d474699bd7f474708f16863b0d65f9a1c","datavalue":{"value":"1448.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196335$ACFA0E59-59DF-4256-B162-09C998E1438E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f06b97b2dc0fc8d139d653a47e60aaca4209ce3","datavalue":{"value":"10.2168/LMCS-11(3:5)2015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196335$D6FC2144-7A66-4B1D-BA87-AB47CD232B3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04505ecacd68116a0ece2a7909fff98d90bdfc19","datavalue":{"value":{"entity-type":"item","numeric-id":782558,"id":"Q782558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196335$8C4540E3-1D93-4826-B63F-A2CB6295E701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf03d46d6c13b138c98e3cc17440d2819249349e","datavalue":{"value":{"entity-type":"item","numeric-id":845666,"id":"Q845666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196335$424EE2EB-F253-4063-8E73-86229A310C48","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196335$D98929A2-5CEC-40DC-9E28-3F86636ED7C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1bdde30cb0823a415fe067202cfd3663abd98a96","datavalue":{"value":{"time":"+2015-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3196335$6C66460D-C822-4479-B7B3-8B58A401C7C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7d22e1b97b1bd0bc1c4d5e22b3a592088a07d2b","datavalue":{"value":"https://arxiv.org/abs/1505.04934","type":"string"},"datatype":"url"},"type":"statement","id":"Q3196335$7A76B452-A644-4B78-9602-9DF93922A66D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196335$9DAC7BB8-E109-4C7A-8A76-7F72461AEF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196335$D81B1B53-F166-489A-B5F7-AE90043985AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196335$018D0A2F-F96A-4D9D-B779-ADFBDF26ADFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b3bb9f1d3ed27059513006c8eaa662096cd59ff","datavalue":{"value":"6501852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196335$15BCB751-3289-41FA-99CF-88FDB3CFDA5C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1a2bad4593dfa53b9bdf6d73901a5fbf0b67c8a","datavalue":{"value":"tree languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196335$478D2D46-8CDE-4B5A-9912-91A3823C2264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196335$AB9E8C5C-854E-4CA0-8DDE-7532B141A379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6599fbf2a1c112f1cc42e22d117f683da646d2a2","datavalue":{"value":"two-variables first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196335$6B48D749-DE3D-46FC-B795-7E8AAEEF7BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c89639778a113cbe54a2efcba7f98ccd79f62275","datavalue":{"value":"characterization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196335$2007CCF9-F290-4D9A-8B4E-F49A14227F79","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":"Q3196335$B15D6442-A936-421C-922C-6B27FE3D7D93","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6c35de09e807eed44d3bd11d837ff440f54ab7c","datavalue":{"value":"W2207317005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196335$25A4DB3B-68F3-4422-A5DF-C47F729CEA94","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"941e639ace19f42c9531e68ad2de7c8965c8d14f","datavalue":{"value":{"entity-type":"item","numeric-id":5278193,"id":"Q5278193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b5bbce41a071c9f7b4a27f28c45b9e2ed5cc574","datavalue":{"value":{"amount":"+0.8149604201316833","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":"Q3196335$4803943F-0BEF-4264-B432-717E55421BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1de9d2f4c5bb49b51f27519f8642973375f89c5","datavalue":{"value":{"entity-type":"item","numeric-id":5327424,"id":"Q5327424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"274c1e65eba7f13105d3523b2a395a25115c6a46","datavalue":{"value":{"amount":"+0.8128873109817505","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":"Q3196335$83E22272-38CC-4C52-B600-FD260FC758C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a2ca5bd2aa027316c02f23302a22035dfd99938","datavalue":{"value":{"entity-type":"item","numeric-id":5710686,"id":"Q5710686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"639f16b7c547cd49db19daa4b5b87bf69818de7d","datavalue":{"value":{"amount":"+0.8026280403137207","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":"Q3196335$C854B14A-6975-4340-B74A-E61C9C597442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28a7ad69307a79047885e98bfd40cfd7ffcf8180","datavalue":{"value":{"entity-type":"item","numeric-id":2946590,"id":"Q2946590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56754b77d5628a3cd788c4986ecfcde10494aa88","datavalue":{"value":{"amount":"+0.799685537815094","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":"Q3196335$5A274AD2-A2C8-405A-89FA-6A12B6D0DF2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3196335","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3196335"}}}}}