{"entities":{"Q2804201":{"pageid":2814939,"ns":120,"title":"Item:Q2804201","lastrevid":58022853,"modified":"2026-04-03T12:03:10Z","type":"item","id":"Q2804201","labels":{"en":{"language":"en","value":"\\(\\mathsf{FO}^2(<,+1,\\sim)\\) on data trees, data tree automata and branching vector addition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6574843"}},"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":"Q2804201$6C2EBBAB-013A-4EC3-99B2-A7970F646C8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51c33ce233e0ea3a0ac076c1e5fe83285433c1d8","datavalue":{"value":"1448.68227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804201$221E39E8-F21A-41AD-9C3F-E6F1EF023C0A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d75849bc4fd0e245ac47180335d54d5145dc969","datavalue":{"value":"10.2168/LMCS-12(2:3)2016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804201$C39766CC-6838-4A01-9531-36788FAE293B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3920c2ee987eac94563e155e27382f1dec3b4ac7","datavalue":{"value":{"entity-type":"item","numeric-id":420847,"id":"Q420847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804201$78600717-7F11-44E9-BEF8-F388D33F46A3","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":"Q2804201$1593782B-6613-485C-A929-5F613F6810E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ec098ce622a9408ee2490b3c59060cb5616099c","datavalue":{"value":{"entity-type":"item","numeric-id":2804200,"id":"Q2804200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804201$38A75D31-6DEA-4BC0-9FBB-185704DE4BDC","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":"Q2804201$979ECF60-07FF-499B-AC6D-8674BE61CFD2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"023d69fc066169597fa101da2e0c4ab7a589a584","datavalue":{"value":{"time":"+2016-04-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":"Q2804201$210F6B3B-5279-47D3-919D-B866B3E1854C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2933e62040b47d76b10331e4e41792d968c07770","datavalue":{"value":"https://arxiv.org/abs/1601.01579","type":"string"},"datatype":"url"},"type":"statement","id":"Q2804201$912D3C51-8430-436A-8DB9-82C2F9C292E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804201$11AA7DA3-A704-4B9B-9F81-F49A7D37A6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804201$5330BADA-3DD0-431B-BDE9-6334140C65E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804201$0C4215E0-CEF5-4E7D-8230-5DE1FEE9F7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804201$EDF3945C-72E4-414F-AE6E-FBED8CF238C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9c7bbdac5b6a14e9dd92dbbf27fab38362f31bb","datavalue":{"value":"6574843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804201$DF6193D8-A7FD-445F-ADED-E018EC818236","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bf7c9265fd4f992e9a8c6c7aee3456027d55c7d","datavalue":{"value":"data automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804201$96BF3652-7F9D-4B49-AF6D-FFCE031D0587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"278889c234cf01d7d5e7d0a30acad59211bfe558","datavalue":{"value":"counter automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804201$0909DD2B-DF40-4414-99AD-2258F4305795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac43e38197c00c12815316fcad46c4ba80680515","datavalue":{"value":"two-variable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804201$3F719444-C387-4AAA-95D4-01205B609070","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":"Q2804201$5CC673EB-80D4-40A0-878B-6F3421D00E96","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2cfecba154867bef6606cdde3c4c1e22c5fc985","datavalue":{"value":{"text":"\\(\\mathsf{FO}^2(<,+1,\\sim)\\) on data trees, data tree automata and branching vector addition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2804201$671313C7-CCE1-4536-B4A2-B3858663612A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38473c92b8c5db708bec6dfad680408035045588","datavalue":{"value":{"entity-type":"item","numeric-id":5410335,"id":"Q5410335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a387d8f62dbb987c250cbe9389ef372141580d2f","datavalue":{"value":{"amount":"+0.8332096338272095","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":"Q2804201$C382E411-9D2D-4E63-A6BA-43B80F97D9F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e683bdbfca086d5a38ded80805653c47546cb014","datavalue":{"value":{"entity-type":"item","numeric-id":2986837,"id":"Q2986837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fb799825b31856dee7c06b9c86aef83f1f8b27d","datavalue":{"value":{"amount":"+0.8139846920967102","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":"Q2804201$2390A9E7-E7FE-462A-85DD-67E0982F9898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7cb3ebafd663b1ddb5c60cd1562bf7613371f85","datavalue":{"value":{"entity-type":"item","numeric-id":5428865,"id":"Q5428865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d6f5c675a2d528bf1a7fec26a808ca9a2787ff2","datavalue":{"value":{"amount":"+0.7986104488372803","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":"Q2804201$78022068-8737-480F-9261-5143D1D3DED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a5df446d8fb93a32e63b540a3296245c388048a","datavalue":{"value":{"entity-type":"item","numeric-id":2988368,"id":"Q2988368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd0c8cbdf866956ecb37ef43f70f666fdef8c757","datavalue":{"value":{"amount":"+0.7946482300758362","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":"Q2804201$986FEE87-5948-4A61-9A93-6D9ED8AD64C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4ed8e1226950549931206df4b3c068343b29ef1","datavalue":{"value":{"entity-type":"item","numeric-id":4596782,"id":"Q4596782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a25b456814a5ebb4edb4abf4b0f2694756cf7cd4","datavalue":{"value":{"amount":"+0.7908109426498413","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":"Q2804201$C069FEE1-EF3D-4544-9211-A6DC6DB49742","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2804201","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2804201"}}}}}