{"entities":{"Q3637352":{"pageid":5667258,"ns":120,"title":"Item:Q3637352","lastrevid":50705000,"modified":"2026-01-14T21:05:17Z","type":"item","id":"Q3637352","labels":{"en":{"language":"en","value":"Fixpoint Guided Abstraction Refinement for Alternating Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5577061"}},"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":"Q3637352$0CB3DF4D-34E8-4D39-A13B-B296A5409307","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f316b15a95888a74e066fae36025b8b55bb25fd","datavalue":{"value":{"text":"Fixpoint Guided Abstraction Refinement for Alternating Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3637352$177FFC8D-65EF-42D3-AE27-51F03E41FC8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06e528f248cbb3f1f3561a7616b7feb8c9c9ca1e","datavalue":{"value":"1248.68295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637352$2DCE88F9-B40A-4FAB-98F7-8AADAE1E51DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"297bf2346371765e911145bb2646d2c7f0ca1017","datavalue":{"value":"10.1007/978-3-642-02979-0_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637352$C5FC07B2-C426-4D88-B3C9-8CE40C5B2185","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32615fc5fb5dd13879921120a1ebbaef0bfe0d44","datavalue":{"value":{"entity-type":"item","numeric-id":453530,"id":"Q453530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637352$873A4B3B-8C4A-49A9-B58B-DDDCD30A9B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"39c8a721610e7be218d4fccc4e935652b328d763","datavalue":{"value":{"entity-type":"item","numeric-id":1959652,"id":"Q1959652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637352$5DF48694-6843-43F6-9986-9C923DFDCC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e2331a2eb35d5eca04fd9de57145000766bcc82","datavalue":{"value":{"entity-type":"item","numeric-id":453497,"id":"Q453497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637352$7B79064C-719F-4D61-B044-F71999636A85","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bf83f812d2bbb21784a7f63045abdaccf0cc333b","datavalue":{"value":{"entity-type":"item","numeric-id":2830201,"id":"Q2830201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637352$989FE04B-5583-4F24-9D0E-3183F23AB7C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e6dc41c09de35f18f848a8f3dd9ef2baecfc096","datavalue":{"value":{"time":"+2009-07-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3637352$33F939E3-A3CC-4926-97DF-DACBE556B562","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637352$510CD132-CB73-404F-B331-D73E952031E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fce4721032466a13b9763c6aa4c42d5b65cc5f8b","datavalue":{"value":"5577061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637352$144D3554-9A25-4946-9CA8-8C1EFF612079","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"74fb7b0e57b9fca797ae3d6e69eaff9176bc90bb","datavalue":{"value":{"entity-type":"item","numeric-id":32028,"id":"Q32028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637352$E9A2C453-4B5E-4FBE-95BD-1FDCA2DBAC8F","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":"Q3637352$600F282C-D9DF-43E0-B275-F6232394ED67","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"860bdbc70693118106c76e26b891f084f89bec5a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02979-0_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q3637352$B2AFD898-B36A-484C-B0C3-28D065EC97A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7a58a0b36bc97d605998bf8ca1dabccc93dda36","datavalue":{"value":"W2026182262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637352$116C2AA7-E45A-418A-90C3-83EB3BD4E61C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f742947f00329004cff32e1423a3b03d85d5c26a","datavalue":{"value":{"entity-type":"item","numeric-id":3602801,"id":"Q3602801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637352$0D1F9F4C-CE0A-443E-9149-E69B1F3A6608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637352$9127310E-8FB9-4704-9EDA-93EE6264E3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637352$0574336C-723A-4057-B935-5056219DD1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637352$D4F9D0AD-E205-46D0-9A7F-58367EC97311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9f0d18a8d7712ea803530805070336d433b5cbc","datavalue":{"value":{"entity-type":"item","numeric-id":3612008,"id":"Q3612008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637352$D47A1432-A07B-4C98-BD6A-1168F747EE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4642bcb7c915521a77293757841128c7fd74d05f","datavalue":{"value":{"entity-type":"item","numeric-id":5756729,"id":"Q5756729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637352$51DDDCCF-59DA-4304-80EC-2C6C8BA9C88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7945a177b7df9279d2abc448c4d3d682b8426a2c","datavalue":{"value":{"entity-type":"item","numeric-id":5458321,"id":"Q5458321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637352$994122D3-7CB8-4A1D-BA4C-17A0A401995A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e41e590ac256592516927020d2f60958d61dd6","datavalue":{"value":{"entity-type":"item","numeric-id":5758127,"id":"Q5758127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637352$DC91B34C-5424-4CF0-BF23-1ACAED37ED69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"537d574f690a06c41c6bd0874f70fa45c8edf785","datavalue":{"value":{"entity-type":"item","numeric-id":3601862,"id":"Q3601862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637352$54832C03-3394-4805-B6AE-314356E67F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37903fdb19e3a915f3982502b6ee0513d911a253","datavalue":{"value":{"entity-type":"item","numeric-id":5426070,"id":"Q5426070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637352$6CF4311F-83CA-40A0-8206-8528ED79B420","rank":"normal"}],"P1643":[{"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":"ec5e34956742f102a4161f110c76c121a3e2c935","datavalue":{"value":{"amount":"+0.992224395275116","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":"Q3637352$72430B09-4797-4F16-A9BA-88141F18BF2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fc092105d94b8572030033b080298718d2b7e85","datavalue":{"value":{"entity-type":"item","numeric-id":2324226,"id":"Q2324226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b54f223d6f21b58f774b3e08afc977b79599cfb5","datavalue":{"value":{"amount":"+0.8155278563499451","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":"Q3637352$343A0436-F627-43B4-8FD6-828D1943AF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"898b391f074fcb2567bf2d966421214577a5e099","datavalue":{"value":{"entity-type":"item","numeric-id":3612008,"id":"Q3612008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3925a06e725f221b746f8e6e7a08e2b5b4b2a01f","datavalue":{"value":{"amount":"+0.7880593538284302","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":"Q3637352$16FA7D84-D388-417C-BB42-693A6698A4A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ca69808ca49bbeecb759a32c5907eb7dcb7fc20","datavalue":{"value":{"entity-type":"item","numeric-id":3557062,"id":"Q3557062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e31fa74a993772556260b1a5ca2eb9098187671","datavalue":{"value":{"amount":"+0.7763182520866394","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":"Q3637352$353CB02C-AD8A-4E36-8291-FB212AAF70E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"457b55f65deecfb8d17549890228654289370db5","datavalue":{"value":{"entity-type":"item","numeric-id":3503089,"id":"Q3503089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b59646f9ef9bea536822e8d12cac18c8e7ff415d","datavalue":{"value":{"amount":"+0.7715870141983032","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":"Q3637352$65645408-2147-48FC-A5CF-1057E06F6B1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3637352","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3637352"}}}}}