{"entities":{"Q5166718":{"pageid":7196290,"ns":120,"title":"Item:Q5166718","lastrevid":94391267,"modified":"2026-06-05T06:41:26Z","type":"item","id":"Q5166718","labels":{"en":{"language":"en","value":"A theory for control-flow graph exploration"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6314184"}},"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":"Q5166718$7C066794-0FD9-4EAC-8B53-964F3E594C17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"301f3165b99c7749473e831604e3386ab731e9d7","datavalue":{"value":{"text":"A Theory for Control-Flow Graph Exploration","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5166718$1158BFA6-7042-4582-A429-50EAD974DDC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff3d21f299340a11c0d3f18c7b3afc9d1e23259a","datavalue":{"value":"1410.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166718$3BAE9ED1-6476-4BC4-8F5A-D1873F8A4BB7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72380b2d595ab5eb07c0adf3f7b6fce1112ede16","datavalue":{"value":"10.1007/978-3-319-02444-8_44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166718$C91754CB-B995-4DCB-9AD6-875FDEE7E754","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"363ac018e8c17e970b0be88f5bf2ec423686fe1a","datavalue":{"value":{"entity-type":"item","numeric-id":5166717,"id":"Q5166717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166718$0395E677-5DC8-4B37-8BA1-94B172FF6405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c0a4237c509f19dceb169b6d7b433af280d355b","datavalue":{"value":{"entity-type":"item","numeric-id":300416,"id":"Q300416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166718$0BA5C26B-629D-49E8-B51C-BF7E03D14B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5e7c8074a59f38542f2c35146109b9e354b8b0d","datavalue":{"value":{"entity-type":"item","numeric-id":633285,"id":"Q633285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166718$4E385774-5CAC-471A-891F-1DB40E05205A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166718$58224820-51ED-47AC-BD37-242187BACAE7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1748075602cc84150ddd9b65a546744ead622c47","datavalue":{"value":{"time":"+2014-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5166718$65B7B9AB-8E29-4BFA-B54D-653A9D08B6DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad303ff96590fbec8e873edec0feac6639dff055","datavalue":{"value":"http://orbilu.uni.lu/handle/10993/10425","type":"string"},"datatype":"url"},"type":"statement","id":"Q5166718$9DFC53D2-4A6D-4CA8-93F3-6206822C888A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166718$F37C5C68-B9AE-46AF-8011-1073D5F12DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166718$9851A354-9EE5-4549-8F34-92885E2BA30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166718$46CEA71E-EABC-4604-926C-52BE41122138","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5d458d2df3e877d1f9fe79c6b8cfe007cc77305","datavalue":{"value":"6314184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166718$E7181DAD-D180-4238-89D7-ED7385C4729A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7869818fe9952d2e6a36f10856eb4e7b0119a831","datavalue":{"value":{"entity-type":"item","numeric-id":25683,"id":"Q25683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166718$7684A746-7420-46EB-9E3E-D3C9C152BB01","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":"Q5166718$F91F2199-BDEE-4AEA-BFC0-4B0383002596","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04b25902e93c7ea717a226656c2a5d088bec88a0","datavalue":{"value":"W1480083412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166718$3EC10C76-245D-4BF4-98DD-07E875B7FB25","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76bed87729e119d87547a42c62fe5089e1095317","datavalue":{"value":{"entity-type":"item","numeric-id":3016684,"id":"Q3016684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fddd4e2daf2127d1e72530d350e0f97991ffb64","datavalue":{"value":{"amount":"+0.6848641037940979","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":"Q5166718$E0154E66-0E5D-44C7-802F-B1739313456D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de418fe1497a378eb4dce24bec6be388676ec910","datavalue":{"value":{"entity-type":"item","numeric-id":2829242,"id":"Q2829242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d499f16ccecf8ccfee75fd7df42bed44aed3276","datavalue":{"value":{"amount":"+0.6846213340759277","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":"Q5166718$92BE8AB1-77DF-4734-BD4E-A85AF68BF351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9fb46bb19c0df669961ca0a42f45ca93363e6dd","datavalue":{"value":{"entity-type":"item","numeric-id":3083920,"id":"Q3083920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7967c47b2e30aab049742b89f808b36c27ac1ae7","datavalue":{"value":{"amount":"+0.6783746480941772","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":"Q5166718$484F90CC-7E3B-4223-9201-4C55338834B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1cb3fafc27d9eb094cccc46e44dd7a60fbb0351","datavalue":{"value":{"entity-type":"item","numeric-id":3459810,"id":"Q3459810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e0f9460044417acd989adcb7cc83b3de328c9d8","datavalue":{"value":{"amount":"+0.6478297710418701","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":"Q5166718$7C7105D8-45CC-496C-A926-6E15F4DA88BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52c62fc0ef47d9f9c139a964e6730fcdba3fdadf","datavalue":{"value":{"entity-type":"item","numeric-id":5452080,"id":"Q5452080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5703a9d15a6b26463da6e04fc582c9841361cc8b","datavalue":{"value":{"amount":"+0.6393871903419495","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":"Q5166718$D494A704-64F5-4FDC-99DA-8D70D7A679C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A theory for control-flow graph exploration","badges":[]}}}}}