{"entities":{"Q859961":{"pageid":861809,"ns":120,"title":"Item:Q859961","lastrevid":64920648,"modified":"2026-04-11T23:06:55Z","type":"item","id":"Q859961","labels":{"en":{"language":"en","value":"A polynomial-time algorithm for global value numbering"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5117726"}},"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":"Q859961$C3480BD3-0638-43AE-9B32-F06BD6B29F9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2aa31d515687088389d67581730e9d4644596a62","datavalue":{"value":{"text":"A polynomial-time algorithm for global value numbering","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q859961$ED65C299-A641-4293-AD9C-20882D02B5AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15e71f62b212b7018545a966d3080f3209881f85","datavalue":{"value":"1171.68420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859961$C2BD0E1B-C196-49A5-9283-D573DE1E5CC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00b5dac73a626864066e391d75e33e945e00da80","datavalue":{"value":{"entity-type":"item","numeric-id":859959,"id":"Q859959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859961$A8D9C229-B641-4A70-95CF-EE4AD170E7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8613ca94bb02f105ef1f9bc1f5bd869f5077ffa0","datavalue":{"value":{"entity-type":"item","numeric-id":859960,"id":"Q859960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859961$D1F51070-BDCE-4A23-9E40-046739198557","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859961$011E1F8D-E169-4112-9379-6EBA8204AC1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8717bd621ac828fb200d97d6d2f52c061cac920b","datavalue":{"value":{"time":"+2007-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q859961$CD80781C-1C9D-44E0-92E4-F58250A26580","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859961$D8D4C1EC-6A1F-46EB-A5F6-B04ECFC6A86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859961$013B6233-F157-420F-8A65-FCB7747F1E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859961$58CA9B50-344D-424C-988A-EE53612892E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859961$6AA11D70-0E35-48D2-8D54-CC370D9C34CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f71477aeabba2ecaafda80cf6426ca432e453494","datavalue":{"value":"5117726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859961$914887F5-1777-4A62-A0BC-314F3461817E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"894c0f596078ac63fae185acb1f4a29659306799","datavalue":{"value":"global value numbering","type":"string"},"datatype":"string"},"type":"statement","id":"Q859961$3670F623-D15D-4558-94ED-C3CAC809EC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7edcff533ef56e1b8f3f728145a5e52048095aac","datavalue":{"value":"uninterpreted functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q859961$2BE89446-373C-4A52-A90E-46955B073ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q859961$AAB516D7-4BCF-4402-A760-48027A8E3FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"967474f003335bfed70a1e47572e2478181111cd","datavalue":{"value":"Herbrand equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q859961$B4D6C3C2-9797-44D5-861C-BEC4142EFDC5","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":"Q859961$EE83A09A-F652-4527-AF6C-92041F376D94","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b90ca5b7298b8dd9202c1162648f8913c3e0411","datavalue":{"value":"https://doi.org/10.1016/j.scico.2006.03.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q859961$0306645B-3568-4129-BD21-CA91668DE799","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f5125f73d5fa599637a6760d2d07f96267dd0e6","datavalue":{"value":"W2154811764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859961$FBE5036A-2796-4DAD-A93F-38E49808649F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b09316d8183ba70716d778bc2be1b2bec67ae77","datavalue":{"value":"10.1016/J.SCICO.2006.03.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859961$BDBB102B-8322-4413-BEC1-45E4D3D6B8C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52a5067aad3c7ad970e6286df33eeb4afa4aa7b4","datavalue":{"value":{"entity-type":"item","numeric-id":5466562,"id":"Q5466562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"195cb23655f5f70d3d50d314ba1b5c6f4aeb4148","datavalue":{"value":{"amount":"+0.9964861869812012","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":"Q859961$8D3B0954-917C-4EE8-AF70-01C5B78548EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e85421c1ba42396853d0c6f16bf8a914b2c9af22","datavalue":{"value":{"entity-type":"item","numeric-id":3452272,"id":"Q3452272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9313c82e4716f37208a0ba06fee49fc563eec88d","datavalue":{"value":{"amount":"+0.8465005159378052","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":"Q859961$8D4DA601-2F6B-4403-98C1-87A09FA8B429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cc116b162bb325d76ba76d7d972e266a6b03183","datavalue":{"value":{"entity-type":"item","numeric-id":4494381,"id":"Q4494381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e67bab2162d29353c0f3bf7d130d44903b6f573","datavalue":{"value":{"amount":"+0.7865325808525085","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":"Q859961$ED3AFCDF-8B6C-470E-83F6-607862FFEB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33dc67f13c448c70525a0660b63915822bb61665","datavalue":{"value":{"entity-type":"item","numeric-id":4091443,"id":"Q4091443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10634d9d24f4e5c266e1f49d194a41d92e5702db","datavalue":{"value":{"amount":"+0.7176723480224609","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":"Q859961$03B89245-BEB1-46A7-A30C-B93A87211ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23ae4c0de691ee8665bb855cd3dc55a8e1966d4d","datavalue":{"value":{"entity-type":"item","numeric-id":5308738,"id":"Q5308738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5726acf3c2087b8044cc7e5e31e22fdd3a6d4f2c","datavalue":{"value":{"amount":"+0.7031271457672119","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":"Q859961$BEBD2A74-BAA0-4A5C-8BBA-AD8E6565F4BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A polynomial-time algorithm for global value numbering","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_polynomial-time_algorithm_for_global_value_numbering"}}}}}