{"entities":{"Q2796218":{"pageid":2806956,"ns":120,"title":"Item:Q2796218","lastrevid":52490297,"modified":"2026-01-22T19:22:01Z","type":"item","id":"Q2796218","labels":{"en":{"language":"en","value":"An automata-based approach to trace partitioned abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6560011"}},"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":"Q2796218$5EAAF398-AD59-4022-A78C-F63177D546C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3bace586813ce73fae3d0057a98bdc0de5c6c85d","datavalue":{"value":{"text":"An Automata-Based Approach to Trace Partitioned Abstract Interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2796218$9E76682D-A302-4F23-AF51-B0D903975FBB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"201a4dce69f76c53a73598b3dcb927e3a7f3e11d","datavalue":{"value":"1474.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796218$88F980A4-DCFC-4EE2-8DF9-2227CB12340D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d41a0d1a53c8c6a90ba467faf696569813972d7c","datavalue":{"value":"10.1007/978-3-319-27810-0_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796218$DBA84240-643F-4B29-AFC9-06F09B768E92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c722be7e7da309083cb80bcdb274e021e552afd0","datavalue":{"value":{"entity-type":"item","numeric-id":1662533,"id":"Q1662533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796218$8B573207-F563-4EC8-A3F5-D3099762A59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a79f55d4de7d71bb4ffb5333a5d009d1cab68942","datavalue":{"value":{"entity-type":"item","numeric-id":964493,"id":"Q964493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796218$5CE773A8-AEB3-4C42-8246-A7C29134288F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796218$D8BECDBC-748D-4D49-896D-35C689A6277A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f94ffa06b19cc9d82d2141f11cf9ed4508c448b2","datavalue":{"value":{"entity-type":"item","numeric-id":2796213,"id":"Q2796213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796218$7D96DA19-D630-49F4-86C6-CFFD485F0F1B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4e0833fdb30e5d55a1ed86554b76ff3f3cdc33c","datavalue":{"value":{"time":"+2016-03-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":"Q2796218$BD4D2A2B-51C4-488B-8269-480DCB00609A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796218$0B358A89-4527-4DCE-B5B1-027F872AA1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796218$F218CA0F-A531-4F7E-8D71-3C379DEA5D4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"937dcdbae56535d3dd9a0457d392f20f861386de","datavalue":{"value":"6560011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796218$36C6B74E-DD53-47D4-82F0-62161F981E9A","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":"Q2796218$844D83F8-CCD7-418C-9EC0-A34DAA78A02C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"552da9ac1cd5e4f8fd13c70b2f1db94d6e284383","datavalue":{"value":"https://doi.org/10.1007/978-3-319-27810-0_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2796218$39CCC83F-B07C-49DF-B731-570297E9A22F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8dab50d3c60fa60c5a047e3cf5069181401e203","datavalue":{"value":"W2294274010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796218$9BC9FECD-DD50-47AA-B598-E85713872E3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d772b115314587028e5e30913b07c1ce67fa75ec","datavalue":{"value":{"entity-type":"item","numeric-id":5316570,"id":"Q5316570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87ac2f8412fc8fbaa3fc43ba07846040c8b15a79","datavalue":{"value":{"amount":"+0.8365646004676819","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":"Q2796218$6798D8FE-11DE-445C-80F0-87ABD28CD93F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cbe632a0b297f0680635d38f64812e52ca73f4a","datavalue":{"value":{"entity-type":"item","numeric-id":3392921,"id":"Q3392921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"262b78eed16b3482e599027bf7f2b65e84da6bc0","datavalue":{"value":{"amount":"+0.7415866255760193","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":"Q2796218$70109ABA-AA3B-4D96-878E-847932480C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d6016cdfbb7a0ce26a532ba1238d294d3b7e1ba","datavalue":{"value":{"entity-type":"item","numeric-id":2796033,"id":"Q2796033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feb8febf22fcc4b523c6495f6aa96a27542bdaf6","datavalue":{"value":{"amount":"+0.7033083438873291","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":"Q2796218$E7C6CD64-65F9-4EF6-BCB8-AFAC2EAF027D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50d7c729a4ae31c141bbd56003325e724e57da22","datavalue":{"value":{"entity-type":"item","numeric-id":5261520,"id":"Q5261520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b879754a5f65fcb0d94728ca4a4ed7848a891f7","datavalue":{"value":{"amount":"+0.7018485069274902","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":"Q2796218$5ED08649-EFF1-4988-957F-A3354F36FF69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed03ff244bd448296e984cc4bf4f360cb72a649","datavalue":{"value":{"entity-type":"item","numeric-id":4414376,"id":"Q4414376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5121d2a19e8569d564613ef2da0877130dd0ba56","datavalue":{"value":{"amount":"+0.6962020397186279","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":"Q2796218$E1893E3D-B095-4380-BFAD-34CEAABCA6F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2796218","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2796218"}}}}}