{"entities":{"Q5168927":{"pageid":7198499,"ns":120,"title":"Item:Q5168927","lastrevid":52044755,"modified":"2026-01-20T20:02:24Z","type":"item","id":"Q5168927","labels":{"en":{"language":"en","value":"Relating complexity and precision in control flow analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6318896"}},"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":"Q5168927$B0F57C51-337B-45A7-9D16-F88A9EF0CE3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13d8affde3b39b7a4e9a9de7311bbdec14d01c56","datavalue":{"value":{"text":"Relating complexity and precision in control flow analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5168927$F4700B5D-2F5B-44A9-9C49-B7FB6FC2E48D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93d5bba67ab958a627b4f782c4da96e574b0e157","datavalue":{"value":"1291.68184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168927$2F83F9FD-2321-4817-BC46-454A2C11CDF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1570299cadf68252f6aacb0a8dae7f79a393b90","datavalue":{"value":"10.1145/1291151.1291166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168927$96A29665-FD22-41C3-AFB2-28DB14B29C5A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dfe8e697dde8bf1003cd4a4fc5d8975b7fbc356","datavalue":{"value":{"entity-type":"item","numeric-id":2802429,"id":"Q2802429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168927$58C1F1E4-B65B-4DC8-A23B-1A55464C740E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be8aa6a584af6ab1dfc32be732b34caa5aaa87e6","datavalue":{"value":{"entity-type":"item","numeric-id":1198970,"id":"Q1198970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168927$4D5DE30A-F7F0-4AE7-B4AD-1504011C69BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8a97c3b573e5dc33c87a084ea7e842f0d1a64f07","datavalue":{"value":{"entity-type":"item","numeric-id":5168919,"id":"Q5168919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168927$CB144A22-A2C1-4552-AE34-580C58D4C809","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5670447523ca0c92d2715e5586c267824127db6a","datavalue":{"value":{"time":"+2014-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5168927$2D7AFC0C-6839-451E-8055-C55EA36EF2DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168927$44C517CF-AE6B-4B21-BBB6-1CEB01F3930A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168927$270CB82D-FD62-4E01-99ED-449BB8822632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168927$006A4E99-47EC-4D74-9D47-CE63F6DC01CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168927$9F9FED82-0C58-4C3A-AFD1-5335E9FF3B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168927$9A77F08B-357E-48EF-96A8-54FB0BD1A435","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8404a404beea5f189b1fc7e86f698bc968cb42e3","datavalue":{"value":"6318896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168927$773CF908-4BEA-4EA6-97AF-4237A2C13AFE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168927$34AC4D8F-1B4E-4A59-B058-97AEA34DA14F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1d25e20c0482078eadaa7ad2ed9897358d4d26d","datavalue":{"value":"continuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168927$90933758-2A1B-45BC-BECD-9E6ADEC5637D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41942b88def18bd03e7e1b24e4152d67bbf8a899","datavalue":{"value":"control flow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168927$1296C313-0643-47A6-B273-7E7F450A5239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b39b9aded86b49d7dca46331b39a0e7659b188e5","datavalue":{"value":"eta expansion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168927$0739202C-C719-4F0C-A16F-02464876B8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76a82277bbe473528241978984f20c76f7f8f712","datavalue":{"value":"geometry of interaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168927$1F3C41C5-B552-44E2-9B2C-ECCB770F9F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168927$21C06B02-E842-410A-82F6-0310E6DAA507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168927$D8414113-FD7A-4749-A359-FC53F65119B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"315e2e5892bd068ac4dec677b2965524ac903fdf","datavalue":{"value":"proofnet","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168927$98C3F857-13EF-406B-99CB-DDEA542661A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168927$3FA1306B-788F-4DE7-A270-CED33AA6E4A1","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":"Q5168927$F7BFB9EB-DF16-41BD-BDA5-7C39A076DD60","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7673df5cbe3b9619cb2ef5140b651f7ef98be15a","datavalue":{"value":"https://doi.org/10.1145/1291151.1291166","type":"string"},"datatype":"url"},"type":"statement","id":"Q5168927$B864A36D-656F-48E1-A31D-7CC0BEBFF248","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"545888a0d5dbde485e6f7e3903d97d3290b53aaf","datavalue":{"value":"W2003410111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168927$3CD9DFE9-96A5-4093-9D13-868F52002703","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af68226f3696c8cfe18617be7b463f2df310cb81","datavalue":{"value":{"entity-type":"item","numeric-id":5178768,"id":"Q5178768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc7d5a848fa6a3b067b688b56e016d556ceccd69","datavalue":{"value":{"amount":"+0.8513188362121582","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":"Q5168927$61D99622-7924-44CC-B51D-882898C51998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0df2998b17a23087f75ba29493687713c5837fba","datavalue":{"value":{"entity-type":"item","numeric-id":3522075,"id":"Q3522075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30276339b6ac6b3eb2c2a1e9f370ca0178eb51e3","datavalue":{"value":{"amount":"+0.7945770025253296","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":"Q5168927$D4347FE0-1394-425A-BA6B-7668A3BF9051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7a9bde6cd7eae46184d1ef85da57aefdfc9f4a8","datavalue":{"value":{"entity-type":"item","numeric-id":2763677,"id":"Q2763677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5362ea4c981ba1eb4ad4f1a70fa778aae05d898","datavalue":{"value":{"amount":"+0.7827335000038147","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":"Q5168927$FD59960B-5CBF-4C91-9FA0-C654026792EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57b714135ec390cc9c7914c15781abb2370b00ac","datavalue":{"value":{"entity-type":"item","numeric-id":3558250,"id":"Q3558250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39d3f30e93c4c86b09b8eaa711547519073681cc","datavalue":{"value":{"amount":"+0.7812957763671875","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":"Q5168927$BDB8FC2B-8B83-47E7-AF0A-47124D5E5E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39943bff7032049f1aff39d08512301b26c011f9","datavalue":{"value":{"entity-type":"item","numeric-id":3003321,"id":"Q3003321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94216fbd6d8869651e27091804501c1fff3fd48e","datavalue":{"value":{"amount":"+0.780515730381012","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":"Q5168927$F0100E01-BE6C-42DC-ADE8-D3193FA6EDFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5168927","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5168927"}}}}}