{"entities":{"Q4916051":{"pageid":6945632,"ns":120,"title":"Item:Q4916051","lastrevid":98178368,"modified":"2026-06-05T16:51:31Z","type":"item","id":"Q4916051","labels":{"en":{"language":"en","value":"Mechanized verification of computing dominators for formalizing compilers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6155866"}},"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":"Q4916051$C7BB62A9-5296-470F-A691-9072C2F650EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1526a1d882c3375039395d434d54ad47057c47c","datavalue":{"value":{"text":"Mechanized Verification of Computing Dominators for Formalizing Compilers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4916051$6946361F-7A4B-436F-91AB-A900CC89FA0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a06beb99548d56a8c3365c86ff6d0c977d19069d","datavalue":{"value":"1383.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916051$A95A3AD5-287A-49B6-8909-45C2078097C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74b1f93f94746f34cbed9e7945c948a93bfa47a1","datavalue":{"value":"10.1007/978-3-642-35308-6_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916051$54C9E173-573D-4042-A592-1BE66626EA99","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"299d758e90a6a67648ca2eb97146665a2f76616a","datavalue":{"value":{"entity-type":"item","numeric-id":2156927,"id":"Q2156927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916051$3191C6FA-3061-491C-B2AC-5C1890FF6266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"009b7b8cbfea2fbcb395e57ee3935b49b0504fc8","datavalue":{"value":{"entity-type":"item","numeric-id":276493,"id":"Q276493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916051$072BC4FD-8F72-4AAC-8D4E-7BC595739793","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e7468504fbcb9c3a09d3a38cdd67d03e02eec6","datavalue":{"value":{"entity-type":"item","numeric-id":2938035,"id":"Q2938035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916051$9064898F-E893-47E5-8939-F83747DB1AAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09328fefd4bef3fd48b14da7de769686b3303861","datavalue":{"value":{"time":"+2013-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4916051$4569856E-F527-4637-A3F5-97E307AED217","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916051$8A84857F-67F0-4356-B755-9A8CE96E8C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916051$63581886-2025-4974-AC2D-217F58834044","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75ba7a4e523f9d7d991767cb116e78d8d79a6ea0","datavalue":{"value":"6155866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916051$A4C1419A-2B9C-46FB-8F0E-CE2706CA1E54","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916051$923F5A18-2251-479C-AB86-0C9B7C1E5A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8693d6594a71b0b5c477ef6fe219a510b51255c5","datavalue":{"value":{"entity-type":"item","numeric-id":25201,"id":"Q25201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916051$68E65CAF-1A85-4202-AA8B-95C4F718020A","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":"Q4916051$CC6CC93A-0172-48EC-BF23-F4D288BF17DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e82e072d1ea57a78abf955a9e41901527a7f849a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-35308-6_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q4916051$755C934B-D81F-4D37-8F34-D6F2FD667462","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb4d4c04aad603088a9debbfe6471ef38da7e567","datavalue":{"value":"W2102888019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916051$057E78BE-ADC1-458C-8C18-B6B974978B21","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5afbd51c5a4c7ab360834a9c04659f0df0e19456","datavalue":{"value":{"entity-type":"item","numeric-id":4379577,"id":"Q4379577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916051$5B574A3D-EBB6-40AB-881D-A06676119797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916051$BA46F024-7274-4D39-8DA0-6364DFC09581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae074f9342a4e63aa86bc295012ed15545576b47","datavalue":{"value":{"entity-type":"item","numeric-id":2921698,"id":"Q2921698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916051$A654FCF8-82FE-47E9-AE1D-76A98BDEE650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7876e4937d03eeaf458f375425a0683176b96c8e","datavalue":{"value":{"entity-type":"item","numeric-id":5464626,"id":"Q5464626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916051$4AA76221-8DDC-4690-89AD-88DD53B6FB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24eb300841d0e0b571606f3eb7a1f32b7e99531b","datavalue":{"value":{"entity-type":"item","numeric-id":4076758,"id":"Q4076758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916051$97F54C17-9475-4ABC-AF38-B914CDBD0BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c67c1af8188e320ba0299a6df2df39f5b6e776e","datavalue":{"value":{"entity-type":"item","numeric-id":4068060,"id":"Q4068060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916051$B76FA31B-D025-4686-A9E0-6D2BE4E8B464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8074f3bc87dd5a5e80eadac646f8a1478d703585","datavalue":{"value":{"entity-type":"item","numeric-id":3896499,"id":"Q3896499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916051$98A95A16-5C2D-455B-8159-1598484FA887","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":"Q4916051$6A089965-78FB-40C1-A058-252053F7F819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c4d40b22666ac31f4eb490193ee881d1816bbe","datavalue":{"value":{"entity-type":"item","numeric-id":2942893,"id":"Q2942893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916051$70679941-519B-450A-A3A6-5DCA44FD8719","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6f2d3fb89cab81870ce33e6d0a1eb78597edb5d","datavalue":{"value":{"entity-type":"item","numeric-id":2945625,"id":"Q2945625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"243144615888f4b216bfb45839c244c07728f5c0","datavalue":{"value":{"amount":"+0.8033532500267029","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":"Q4916051$8ACF00CB-A384-4771-86F2-0934C049388C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"177a6e4ae87fbc69cc049e90a51aef2ccb197c87","datavalue":{"value":{"entity-type":"item","numeric-id":2655327,"id":"Q2655327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bb29eeeb0e82c545a743d2023ba31833f6115bf","datavalue":{"value":{"amount":"+0.7593558430671692","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":"Q4916051$FEB388D3-57D8-4855-9A4F-FA5CC3765BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f29474da1eb824221d8a9a3b9e4e3876194dc88","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"787a7c739263dcc9257cc76a806063d67f0a7a0b","datavalue":{"value":{"amount":"+0.7498295307159424","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":"Q4916051$F992BD6E-37E3-4502-A3AF-7474984CFDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"942ceaa5eda66717426d7a216e16362634e072a3","datavalue":{"value":{"entity-type":"item","numeric-id":5747662,"id":"Q5747662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bbac6ab4462d041146da50da6a18e1c41513a68","datavalue":{"value":{"amount":"+0.7365182042121887","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":"Q4916051$6A6F5380-89D1-456F-809B-065B7B3EE462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f3a32158bf22a71e594bb9ecc7310a694da434f","datavalue":{"value":{"entity-type":"item","numeric-id":2942893,"id":"Q2942893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0a1bd5648feb9e163492eb6efb1c6aacfbcad8d","datavalue":{"value":{"amount":"+0.7327295541763306","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":"Q4916051$805B72DC-15C8-40FC-ACE5-9716385675EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mechanized verification of computing dominators for formalizing compilers","badges":[]}}}}}