{"entities":{"Q5049011":{"pageid":7078588,"ns":120,"title":"Item:Q5049011","lastrevid":56739819,"modified":"2026-03-23T10:44:20Z","type":"item","id":"Q5049011","labels":{"en":{"language":"en","value":"A Fast Verified Liveness Analysis in SSA Form"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614679"}},"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":"Q5049011$CD8FDC24-70BF-4318-A64B-F0C24113CB9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48c40f4df148a78accbb91c988b3544d9637c578","datavalue":{"value":{"text":"A Fast Verified Liveness Analysis in SSA Form","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5049011$CB4BF1D1-FE7F-4C2A-A228-FD7985F208D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ef7c80d21e694cd4686cbe76b75dfef4fc77185","datavalue":{"value":"10.1007/978-3-030-51054-1_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049011$A4DC98B7-0B38-49C6-BEFC-8D6B38BABCAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9971e011e5f6f97fa70531f6716c7e9b2e64f06a","datavalue":{"value":{"entity-type":"item","numeric-id":682364,"id":"Q682364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049011$E12A6774-A562-486C-A44B-1E7B429AA133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f71649d5cd536e6a70ddc24feda92d797a4529b","datavalue":{"value":{"entity-type":"item","numeric-id":287366,"id":"Q287366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049011$D822D309-E43B-4ABF-BC5A-70CC920743CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"322d1bbf43d96eabe74baa00ad17d618005c3800","datavalue":{"value":{"entity-type":"item","numeric-id":287368,"id":"Q287368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049011$274E3A4A-A651-4D29-B7D7-7F702B5702C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049011$2EB406EF-C2E6-4692-A24B-36271D8CC3F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-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":"Q5049011$EB390C97-6202-4622-86FE-FB52A5FFE06A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049011$B9E746CD-8394-4376-9A82-8D73C62716ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cda60eed11ece5ee474020eeaca4aa987005d3f8","datavalue":{"value":"7614679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049011$DBCE7E3C-81A6-422F-B592-6ACF9DDC5738","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c3c8b87e9d96f1ab57cc6eb2984f3ed73e6d572","datavalue":{"value":"liveness analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5049011$78BF60B7-26BA-4C07-9D81-70A9D18A75B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a462387fbedf3d6be17d6ad2acab860ad6ea865c","datavalue":{"value":"SSA form","type":"string"},"datatype":"string"},"type":"statement","id":"Q5049011$B7FD1101-21BF-4AB5-89F9-87E951CA9F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c69d9fbe92d395f574c16399971fbba36ade8f7e","datavalue":{"value":"dominance","type":"string"},"datatype":"string"},"type":"statement","id":"Q5049011$22C29B4B-704E-4C55-9AB9-04082513DDEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"216994b803ecd22e73a61495657652bf329c37ef","datavalue":{"value":"verified compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5049011$4EB7902E-8585-4E4D-830D-7BB48C0A28E7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4feaea7961d9cfdcd7e2968b41cc11ecb0c87f44","datavalue":{"value":{"entity-type":"item","numeric-id":21716,"id":"Q21716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049011$4A44A3CA-E743-4AED-831D-EAC9AC5A4491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3a7f5df06b272bd42f74baffc8ceda01dfacc5a","datavalue":{"value":{"entity-type":"item","numeric-id":17043,"id":"Q17043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049011$61F637F2-E244-4B8D-9DC5-6DBFFD709AAD","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":"Q5049011$9DEED20C-0F61-405A-9ED1-502D24D09C66","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4868481017dc33fc2fb883f6fb7d00efe2b8804","datavalue":{"value":"https://doi.org/10.1007/978-3-030-51054-1_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q5049011$FDAA50F4-34B6-4A49-AF3D-7F094F6D170B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b82ca02d0891dd75179c9acd57521eeaa08c422c","datavalue":{"value":"W3039064847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049011$291ACF8B-8A44-44D5-B01C-598959A87CF4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b03c27406a8ea4cbde596bedc7e3b78bd4705c1","datavalue":{"value":{"entity-type":"item","numeric-id":4406527,"id":"Q4406527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049011$DDADC628-9902-407F-A950-C42629015AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccbb56b85a282c484c7705c2d6e9afc9f1798be","datavalue":{"value":{"entity-type":"item","numeric-id":2945625,"id":"Q2945625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049011$34D389BE-E759-4643-96E7-F0221C182861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de99bddf11475a654c0d4d02d59d601e987f1c93","datavalue":{"value":{"entity-type":"item","numeric-id":4962208,"id":"Q4962208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049011$413F3825-A108-46F2-BC47-0736EA1C71D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"333782dfe2a782886768e8c7561d4e8bfd035e1a","datavalue":{"value":{"entity-type":"item","numeric-id":2655327,"id":"Q2655327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049011$EDCE75BA-FB7B-46A1-8ED8-CA1F2481A4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d93e889c52c36a6fb58e10f9eb9b5078b5353ce","datavalue":{"value":{"entity-type":"item","numeric-id":4972072,"id":"Q4972072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049011$44A9F989-CB2A-432D-A50E-ECF9F2A9E39C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0af53033f2ed04a6f7f1b9d859620013b091db29","datavalue":{"value":{"entity-type":"item","numeric-id":2754094,"id":"Q2754094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52e3db616eed66e6426d7694a29e2137c78c41d6","datavalue":{"value":{"amount":"+0.8793566","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":"Q5049011$177CB052-0F34-446B-BF2E-4A9B3BBEB84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"130a73633fff28832fbe684b4d4940f895217aa7","datavalue":{"value":{"entity-type":"item","numeric-id":4037387,"id":"Q4037387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1294dd3233e4da5f232a1c9bbdf54904d7b6e48","datavalue":{"value":{"amount":"+0.85043633","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":"Q5049011$20DF42DE-92B1-42B7-8F67-7B9F3876AE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"780b41ab67584bea9b4bef87901346196078c81c","datavalue":{"value":{"entity-type":"item","numeric-id":4945222,"id":"Q4945222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3b5c8cc69db5e21a759e94a94f6919dd4295c52","datavalue":{"value":{"amount":"+0.84863913","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":"Q5049011$FD244D5C-28E4-419E-92AB-A55BCF750D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b80172125d9e4009e55812f58eff7f22767bed84","datavalue":{"value":{"entity-type":"item","numeric-id":2970215,"id":"Q2970215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f35bfa0a7b3787373ae4cdbde83d59b18e681c7c","datavalue":{"value":{"amount":"+0.8447472","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":"Q5049011$7C554D7F-0250-451F-AE9C-FD7A72776FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae63d6c8447a0a39cf3d39408c0467f134b5a16b","datavalue":{"value":{"entity-type":"item","numeric-id":5206959,"id":"Q5206959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"792f8cff414ace2aee0a434b71866cd5a5172f0e","datavalue":{"value":{"amount":"+0.84298086","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":"Q5049011$C375353D-B0BA-4A32-A570-D1DD00378B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"531996d86c6000f72759eaf24d96d57358980514","datavalue":{"value":{"entity-type":"item","numeric-id":6043169,"id":"Q6043169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"325b38514a671eca6325b8dfc31b2ff4c782f879","datavalue":{"value":{"amount":"+0.8378142","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":"Q5049011$050114BA-7554-490B-B02C-507AD32BF7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d21ee0f204110533d888447534135dc49ebd253","datavalue":{"value":{"entity-type":"item","numeric-id":4791836,"id":"Q4791836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5624cbed5ff3dd83ed21c5ff82db9463df543777","datavalue":{"value":{"amount":"+0.8355645","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":"Q5049011$C080098E-C483-4DCF-AE26-87E432471E42","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":"Q5049011$A2435773-6329-49A7-B933-0E325DCAADB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5049011","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5049011"}}}}}