{"entities":{"Q2324226":{"pageid":2334969,"ns":120,"title":"Item:Q2324226","lastrevid":56687538,"modified":"2026-03-18T20:30:15Z","type":"item","id":"Q2324226","labels":{"en":{"language":"en","value":"Abstraction refinement for emptiness checking of alternating data automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7105336"}},"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":"Q2324226$DA2C3EE5-ED23-44AE-9940-249396A843E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4ba5dbf6f50d0d217339c2d9b3ec33d441f0fff","datavalue":{"value":{"text":"Abstraction refinement for emptiness checking of alternating data automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2324226$83A78A2B-00D9-48E1-8AE5-81335526898F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f58d58b5665f0c6eec5fcd45059a37dcd18d24f7","datavalue":{"value":"1423.68255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324226$DC078888-B615-4B13-AB2E-FD79387A4750","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c94e212bdab6189103bd618966e469606809fe9f","datavalue":{"value":"10.1007/978-3-319-89963-3_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324226$3C91C8CF-7587-4F0B-AE60-61307DC33E35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ffdbfd7b9177bc6559af43c12c896a5d2e47038","datavalue":{"value":{"entity-type":"item","numeric-id":537951,"id":"Q537951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324226$6C968A9E-0F52-4356-8066-2537F4B83F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b188cc62cccde99d11545a932a3f5ae37b417b37","datavalue":{"value":{"entity-type":"item","numeric-id":981396,"id":"Q981396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324226$CA062441-CDA9-4952-A84C-07224DE89CFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96391af82153a94a4af2a0e4c8ac60042cea1674","datavalue":{"value":{"time":"+2019-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2324226$F61DCEAA-3954-4373-912B-48B7E2C33DEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324226$193DCAB8-EC80-4E8A-B752-64F0966FD600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324226$1CEBF12C-8811-48E0-9317-343510D9199A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0da211deddd505d606687a7d25ad30987cf80ddf","datavalue":{"value":"7105336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324226$1D2803AB-E47D-4D40-93EE-407C76A03528","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":"Q2324226$4AE0B9D4-C653-43B9-AB6C-E4353FE043A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d0386ee6fc8d1f8edd0dad45845026146814052","datavalue":{"value":"https://doi.org/10.1007/978-3-319-89963-3_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2324226$8F691A48-2B4B-4256-BF34-D74B1D64C786","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1d12b18f40b2f1061d409cc236755d3060ff39d","datavalue":{"value":"W2797499459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324226$D10EAD57-300F-4E87-BDE9-C9C0CFC2B270","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb23a8b64e3c46d552545445943fd63fd7e1d7b2","datavalue":{"value":{"entity-type":"item","numeric-id":6488157,"id":"Q6488157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05c82a4dd61354821773f2fce8c11e0654875119","datavalue":{"value":{"amount":"+0.8897084","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":"Q2324226$6A995C3D-5204-4231-B854-2A4B25ADEE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8d890d1f5b1f1f49c7b957ac03411862b636a4","datavalue":{"value":{"entity-type":"item","numeric-id":3637352,"id":"Q3637352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e50dba742d46a74d67d8489c241c10f38a3ad9b2","datavalue":{"value":{"amount":"+0.8876521","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":"Q2324226$1332E6B1-1C9C-43F4-AC94-B32FE2089430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"393ac909d490dafa4c0d05aa24ba5a418d79ce17","datavalue":{"value":{"entity-type":"item","numeric-id":2852024,"id":"Q2852024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d592586eb204282e36c4de7d04da6787fd06b11d","datavalue":{"value":{"amount":"+0.88502395","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":"Q2324226$1C32FC9A-22EF-4430-8EF3-996813EAF4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fc0d53ab25b8b020b4441b0455047f29cf44310","datavalue":{"value":{"entity-type":"item","numeric-id":1959653,"id":"Q1959653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66a7023a24505c963425ec6a3c4aadd2d4ca1aa7","datavalue":{"value":{"amount":"+0.8795786","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":"Q2324226$AE94C2D8-63E9-4B4B-A4E3-E7992973DF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d625e18903055ac2f3b9b33300e8e6f4b61facc4","datavalue":{"value":{"entity-type":"item","numeric-id":3648699,"id":"Q3648699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0de73bea0e67acdf99bf3bca1deb3193746f89e0","datavalue":{"value":{"amount":"+0.85749316","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":"Q2324226$F2115153-6D0D-4F3F-862E-55FF3429C0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed6e8c7311186888f3c5561ef3be410d882ff64a","datavalue":{"value":{"entity-type":"item","numeric-id":1878915,"id":"Q1878915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0423ce73e6368bb68bf2860310366674b845f02","datavalue":{"value":{"amount":"+0.8510535","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":"Q2324226$474D527E-5410-4E8E-B1A6-A601CD087BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcea35360f549dc4de2bbdf898ef087dd457f694","datavalue":{"value":{"entity-type":"item","numeric-id":690465,"id":"Q690465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1693da1e26c3402e093a502887789147b273fe7e","datavalue":{"value":{"amount":"+0.848614","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":"Q2324226$BDD3AF9E-3ADA-4A5A-895B-3A8944DC8BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd25be2725b96f732b9f99d14d044ee144834e53","datavalue":{"value":{"entity-type":"item","numeric-id":878378,"id":"Q878378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"147f53ac886a865def2beda13f675c7724bf1368","datavalue":{"value":{"amount":"+0.8485345","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":"Q2324226$683C7165-CD8A-4E5C-8BBB-F622D84D6A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee8e4e22b403f90fa551d0019acc3f7ef7fdf74d","datavalue":{"value":{"entity-type":"item","numeric-id":5394558,"id":"Q5394558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16edfee9fdb5a3cbff7df278e97ff2676fd75c7e","datavalue":{"value":{"amount":"+0.8481631","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":"Q2324226$1E22BD5C-C843-4E56-BF06-44FA469BACD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61edb7ecab1f5627dc9d20ac76c9e88dd4557c3a","datavalue":{"value":{"entity-type":"item","numeric-id":4923520,"id":"Q4923520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"701a75fba42dce103ea12ee84c9c0ae1a85ecd68","datavalue":{"value":{"amount":"+0.84335303","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":"Q2324226$64A0A392-2E56-4D60-89FB-5A7E31B8B9FB","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324226$F7ADDBC2-B343-4584-AA7A-FC4D74686AB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2324226","badges":[]}}}}}