{"entities":{"Q4635878":{"pageid":6665459,"ns":120,"title":"Item:Q4635878","lastrevid":53070830,"modified":"2026-01-24T04:11:12Z","type":"item","id":"Q4635878","labels":{"en":{"language":"en","value":"Automata on infinite trees with equality and disequality constraints between siblings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863492"}},"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":"Q4635878$9E2253D1-1EB6-42A9-B36B-32CE755981F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a5b2de4f2dd8bdc089a8175b894c65f76a765d2","datavalue":{"value":{"text":"Automata on Infinite Trees with Equality and Disequality Constraints Between Siblings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635878$B47B3733-8BDA-412A-8F0D-E4503EEF157D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6d04da85e796c4f6e9bfa70406e0748a8d48d2b","datavalue":{"value":"1401.68152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635878$AFEB31FE-35D8-4297-B396-C15EB0615A96","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d48f9a5ead8d5350bd9b46b193a0c397105ea708","datavalue":{"value":"10.1145/2933575.2934504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635878$8BC4415C-4934-43AB-8DEA-47F64C55879C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5156994f036338536fe53522d28414fb86006aa","datavalue":{"value":{"entity-type":"item","numeric-id":347387,"id":"Q347387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635878$B39DAA4C-BB7A-46AF-B167-C548C2156833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0725b78a7cc86600064fbe63488e61e381f5862f","datavalue":{"value":{"entity-type":"item","numeric-id":436609,"id":"Q436609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635878$04A96122-D7B5-46C6-80E4-F22B121E8084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef32dc0f0352d0de9da2d2122087fc10a33044b6","datavalue":{"value":{"entity-type":"item","numeric-id":456182,"id":"Q456182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635878$09956EF1-E07E-49C9-B508-466A9880306F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"046029701eaa27e11deafdbb503d5ba484152a43","datavalue":{"value":{"entity-type":"item","numeric-id":4635856,"id":"Q4635856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635878$90403600-F571-415F-939F-901B33B4F94D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-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":"Q4635878$F9392100-1890-4964-8ED2-1BDC23C01B96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635878$9FC3E2FF-25B7-419E-A069-87C8B9B814BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635878$8593FB44-635E-42D6-9093-8F5B24597307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635878$839A21D4-17F1-45A6-B6A8-9EA7BE0EC467","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72e3409ee94d4c3c1f8c3bda6b85873c0ab7c12d","datavalue":{"value":"6863492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635878$34A1AFA3-B163-41C5-924F-137264ABE00F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36465e275ad28ce6a3ce5e48d5da173f005d8463","datavalue":{"value":"automata on infinite trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635878$142706F0-0730-40C0-889C-9426C2CF1244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f6f57a7123bd5a5b01e16e487a0aa39ae7a1d6","datavalue":{"value":"automata with equality and disequality constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635878$443D26D3-E0C8-478F-B4A6-EAECCB343940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea9159d4f959d21ef7c3c5f2d36ede4144c26f9c","datavalue":{"value":"emptiness problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635878$8B5635B3-F5BD-4A9D-B119-5EBB003E094F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcd015ff20b79926648b417fbc962fb4bc3bc230","datavalue":{"value":"finiteness problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635878$3C71C601-722D-4F1D-B737-3D5D0E41B4CC","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":"Q4635878$36C00361-6B59-456F-A217-12AB02046703","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6100c11dd7140817ef503ddd2a1de4071c368b6f","datavalue":{"value":"https://doi.org/10.1145/2933575.2934504","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635878$FAA0F6FD-D349-434C-9683-7A4D2C9E2D87","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b8c427236cf98d0e1bdfcba126185c2c0e1759e","datavalue":{"value":"W2530218450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635878$9BA920AD-A764-4F8A-9F63-28E764B543AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff154f712dd0b0e300c7529e4ee0d503e29bdd2f","datavalue":{"value":{"entity-type":"item","numeric-id":5428866,"id":"Q5428866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64b20afd4638dd70de2d1511c96b57493bbad6f5","datavalue":{"value":{"amount":"+0.8350725173950195","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":"Q4635878$377CB682-B2FE-4EDA-BCFC-745C458168F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c85fe16ca17ce62ab7c063a17b896456c5557513","datavalue":{"value":{"entity-type":"item","numeric-id":5859646,"id":"Q5859646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93cdb4ebd84de040c836ecb9f656c53136944dbf","datavalue":{"value":{"amount":"+0.8224408030509949","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":"Q4635878$46451BC3-F148-4670-9283-25522B85F8AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53e77bd5682d04daa7ecac0827efaab0c6f7d691","datavalue":{"value":{"entity-type":"item","numeric-id":2920139,"id":"Q2920139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85c94c2c1314f011c46a3fd49f7173a554a7bc9b","datavalue":{"value":{"amount":"+0.8186820149421692","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":"Q4635878$AAB14CA8-7AFE-42CA-A486-F1765377AAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9997881ad479ec67d947432b9df720d4475efb5f","datavalue":{"value":{"entity-type":"item","numeric-id":1622997,"id":"Q1622997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09c8f139048856999ed4c17ff9af124db1d57652","datavalue":{"value":{"amount":"+0.8124518990516663","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":"Q4635878$448915F9-CEA2-451D-874C-B686276C0E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"447fe2e269d7fe02738482df3cf0ade21543912c","datavalue":{"value":{"entity-type":"item","numeric-id":1898484,"id":"Q1898484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88a4ad8bc9922331d78cdc618b7f25a439ecf421","datavalue":{"value":{"amount":"+0.809047281742096","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":"Q4635878$A0826FE0-177B-48E4-8FA5-019E2150D0C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635878","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635878"}}}}}