{"entities":{"Q2351395":{"pageid":2362138,"ns":120,"title":"Item:Q2351395","lastrevid":72576510,"modified":"2026-04-14T05:51:48Z","type":"item","id":"Q2351395","labels":{"en":{"language":"en","value":"Emptiness and finiteness for tree automata with global reflexive disequality constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6449231"}},"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":"Q2351395$230F146B-8CD0-4043-932D-E03528FFDCCC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e271191a187d5fc9bacf96249ce7b3a637647492","datavalue":{"value":{"text":"Emptiness and finiteness for tree automata with global reflexive disequality constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2351395$B67B581E-6336-4DD3-8BB3-B90BC1D0E3DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2f5f52cbc2754f97cbe94760f0cd1d2e4eb9c59","datavalue":{"value":"1314.68175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351395$B784F6BF-E4A8-491E-A26C-46508519E959","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa8f70552d1b31441d1cb7c4310ca4b03021147d","datavalue":{"value":{"entity-type":"item","numeric-id":2351262,"id":"Q2351262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351395$032C0488-A059-4397-8FAE-0F6A3F59F0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2fa382e71217a50c0f4fe1ba1af2f57a2bcb70d","datavalue":{"value":{"entity-type":"item","numeric-id":1041588,"id":"Q1041588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351395$D2F40ED7-673A-4DD0-905A-C92B9EA48FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"957322e0e65309e69a1881e776e7b58b540ff033","datavalue":{"value":{"entity-type":"item","numeric-id":734040,"id":"Q734040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351395$372F0089-FD98-498D-8451-224598E9BF97","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351395$FC3055CB-36C7-475C-A15B-1E730288864F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c61f53f8f8d7719eaa1ef54a22f9b50ec39aa46f","datavalue":{"value":{"time":"+2015-06-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":"Q2351395$B7F0206F-6073-4032-8735-18656C36307A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351395$234B5B09-24E2-4C42-B34E-2EF827C9C6AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351395$98B13557-C604-4413-BBA7-0AF9F5941576","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1944b868e0fe066ff9ed1d83ed8cba9a903eb51e","datavalue":{"value":"6449231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351395$7BFE79F5-7C8C-4BBE-8DC5-DDC8B53A32BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351395$BF363690-560D-4EC5-8BBE-693185E3C1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"852d12b06ac4e2bd9e3103e73599e514c343d3af","datavalue":{"value":"global constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351395$F242A249-B2B4-4EF6-A5AB-432F24453694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c611ee6da20bb4a4d6a43bbe1d7f38f799e6681","datavalue":{"value":"disequality constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351395$E95519AB-E370-4EB5-A821-9C652C06C507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27638d630e18a79d37aae3ab247a2d08a15508a4","datavalue":{"value":"decision problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351395$BEE9CCC5-2E06-46B9-85B6-6EADFB721543","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":"Q2351395$7A3B9E19-99D2-4E00-B5A2-9BA6D67003F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"facdce5633bf66f3fda0d79867626f1cb3b6d566","datavalue":{"value":"https://doi.org/10.1007/s10817-012-9270-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2351395$1C22F3E1-E1CA-4D45-B7D0-BBDE3BB13A7A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"448a777657f88732a552bc1951c6b9bae94f4bdf","datavalue":{"value":"W1989597513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351395$6508D1D0-1DD8-4143-8FCC-D1616BEC6F94","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351395$52E23055-409F-44B0-8DEE-89683B867E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c0b1bb1ca34beb629e9bcb5733672d68fd0987a","datavalue":{"value":{"entity-type":"item","numeric-id":4927423,"id":"Q4927423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351395$7CBCD29E-70E7-4C9A-88EA-9434F02C12C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"147d95748fc6218e5d9397f8fa462fbfb99be2ba","datavalue":{"value":{"entity-type":"item","numeric-id":5096779,"id":"Q5096779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351395$8585C656-5F2B-4476-990B-960BEB9DCA54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b57d5224096e5b1977c4ed46b0dfb10c94f703d","datavalue":{"value":{"entity-type":"item","numeric-id":3452211,"id":"Q3452211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351395$F7E09E5F-8AC5-44AC-BC64-DE1B5FA22FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21db762e1d3ba9e49973a43502344ed367d1e30a","datavalue":{"value":{"entity-type":"item","numeric-id":553317,"id":"Q553317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351395$575D57A1-FA96-4C22-B807-F05A95228D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82e6541565e61c7c04b1ecea6dc57283706c32cc","datavalue":{"value":{"entity-type":"item","numeric-id":4942651,"id":"Q4942651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351395$4068D580-A5F0-4102-ABFC-23A79699829E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a3e60dd0fca99bfbfa5b5591cdca181708b6d19","datavalue":{"value":{"entity-type":"item","numeric-id":1887142,"id":"Q1887142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351395$0A0B4E95-AAD1-406E-ACE2-322950B37925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0747fee7ce0d75558ff92f6c2b216b460047743","datavalue":{"value":{"entity-type":"item","numeric-id":1911400,"id":"Q1911400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351395$77EED586-8DCB-48D1-A104-3F282B174233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a50598a71d861ec497cf0008dc48bcc30b2e032","datavalue":{"value":{"entity-type":"item","numeric-id":3586405,"id":"Q3586405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351395$69AD47CE-CD54-4989-A410-B777A939BA38","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7bf6b53ca1cee05ac8190be40edf2a1ffa3346e","datavalue":{"value":"10.1007/S10817-012-9270-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351395$2998C938-2987-4140-9BCF-3D55BF8A2D76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"762831b52bc5810cc462ce26064f1d9540af6bca","datavalue":{"value":{"entity-type":"item","numeric-id":344514,"id":"Q344514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acf09652980a4f9069e51d60418c183c8fa1b2d7","datavalue":{"value":{"amount":"+0.8224183320999146","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":"Q2351395$3ABA2D1A-40C8-42E1-81A3-DBEB01CBC694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3730adb390818ed519369c187b7eed1168031d68","datavalue":{"value":{"entity-type":"item","numeric-id":4927423,"id":"Q4927423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03deb87f175d36d64df4dcf42df70c1c597031f0","datavalue":{"value":{"amount":"+0.8166400790214539","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":"Q2351395$B2835820-B387-470A-93B6-FDC807147618","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":"72b843ddc612291772b4506b9d2f28a6d0623ff7","datavalue":{"value":{"amount":"+0.815837025642395","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":"Q2351395$6899E155-4C18-44A2-95E2-7295DC079EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"267b420452456a8dc08d62016ff3db922bf413c4","datavalue":{"value":{"entity-type":"item","numeric-id":3586405,"id":"Q3586405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a2176d49e2dedc7720e5a3289e39af18a65ef1d","datavalue":{"value":{"amount":"+0.8153654932975769","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":"Q2351395$6C7235BA-B69F-4D53-AA11-6C88B38FDAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e8c1f496b506374c0ed4e43bf11d02df982d2e0","datavalue":{"value":{"entity-type":"item","numeric-id":3533021,"id":"Q3533021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6990c0bdd37390dde7a92d420bcb43b56da527bd","datavalue":{"value":{"amount":"+0.7984013557434082","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":"Q2351395$BF1B1F51-50BD-4047-B87E-8832DC7CD053","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Emptiness and finiteness for tree automata with global reflexive disequality constraints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Emptiness_and_finiteness_for_tree_automata_with_global_reflexive_disequality_constraints"}}}}}