{"entities":{"Q3452272":{"pageid":5227933,"ns":120,"title":"Item:Q3452272","lastrevid":52391873,"modified":"2026-01-22T13:10:52Z","type":"item","id":"Q3452272","labels":{"en":{"language":"en","value":"Global value numbering using random interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6507279"}},"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":"Q3452272$BA7CA1D4-511E-4BB7-BE32-DD8200E8C78B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"851926da371b90363137005f47f607f0c078e3c2","datavalue":{"value":{"text":"Global value numbering using random interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3452272$3D815BC1-8FC8-4B6C-84A7-D547EEFE3D12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4ee72a0bcb4b9fd3087b20d04e067df7c30efff","datavalue":{"value":"1325.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452272$03A7AF9C-FAE6-41D7-85F3-3ED418370F0C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22ed1c094d9436c64a89e8acc696a0f5e742a614","datavalue":{"value":"10.1145/964001.964030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452272$DC637193-31CD-4467-9D2E-5D928E3E51B9","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":"Q3452272$65A53C7F-F46C-487B-8CBA-0156950FC1DB","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":"Q3452272$376E432A-165F-4A35-B265-04A6D3365517","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0852588251a756a8ac86204eccc7b587f97246ef","datavalue":{"value":{"entity-type":"item","numeric-id":3452244,"id":"Q3452244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452272$F965A7E4-6B8E-423F-A0E5-07E8435407A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c539994eb381dc1a629fdee36492e4b7f4d8928a","datavalue":{"value":{"time":"+2015-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3452272$6DCB21AC-5300-4E95-B719-CC2B1B2AED27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452272$55B78C58-2EDF-4F66-9E38-4EB82AFA1EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452272$946374EA-2541-442F-9E2E-5084F0D286F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a903b26a5cb4832a0945fcd001629c91d96a2e4","datavalue":{"value":"6507279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452272$06B34D4B-474E-43D9-AA79-BE37B822122F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"894c0f596078ac63fae185acb1f4a29659306799","datavalue":{"value":"global value numbering","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452272$548F87A5-6783-4460-9F81-717230E1C1D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"967474f003335bfed70a1e47572e2478181111cd","datavalue":{"value":"Herbrand equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452272$0B320C46-010F-4C22-A01A-9F2100519DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc16015c8aa4201a8b3294374a6ce9a26707b898","datavalue":{"value":"random interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452272$459B47E6-4BB4-4178-B65F-5107FC212856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2832e5ae4fc414c772c86f6023e26d563dd35e6","datavalue":{"value":"randomized algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452272$63EBA92C-0EAF-46FD-960F-9DDDE3BB7F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7edcff533ef56e1b8f3f728145a5e52048095aac","datavalue":{"value":"uninterpreted functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452272$CCB945CA-E420-4D30-BDC0-30EC6BA30483","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":"Q3452272$6E0DD7C8-B5EA-49AE-ADCB-EAC78BC5EE96","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cdac2838434e371492e3bb4e67a1a8bc962eb974","datavalue":{"value":"https://doi.org/10.1145/964001.964030","type":"string"},"datatype":"url"},"type":"statement","id":"Q3452272$2018F73B-31F9-4998-8AD4-AB6F18968E13","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07d324e5fbae351e879164a8df24efccf30c3f26","datavalue":{"value":"W2007455965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452272$71EC5382-B63F-45EF-82A1-098C08FCDBC5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f16afc74f7a8d9a11be34b87adaa1d3527519cb","datavalue":{"value":{"entity-type":"item","numeric-id":859961,"id":"Q859961"},"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":"Q3452272$746A8E0F-1517-4E2B-AB3C-6AF9099199E5","rank":"normal"},{"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":"9d6018da209d796c0c8ac242ba0033c9e0572bd6","datavalue":{"value":{"amount":"+0.8434029817581177","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":"Q3452272$119E6399-F929-4202-9013-A57CF7F7159D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99d6246401ef06531874c3e52c11c56e6f07e202","datavalue":{"value":{"entity-type":"item","numeric-id":5276156,"id":"Q5276156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"155d0a943add90c0924b833aa970ef77f6346221","datavalue":{"value":{"amount":"+0.8238646984100342","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":"Q3452272$6E412627-EFD6-413F-BBCB-9C50233E317A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce69134ab21ed390353231f89ad42dbdfb0d2d7b","datavalue":{"value":{"entity-type":"item","numeric-id":2942914,"id":"Q2942914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6323b8f9a46519af5f296cff0d42404675973d06","datavalue":{"value":{"amount":"+0.779908299446106","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":"Q3452272$D8650DAA-86D7-473B-BAC4-FA28D95EC6B1","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":"2c72ee260846a3cbdfe15fda8ac1bb3980ced5a8","datavalue":{"value":{"amount":"+0.7590312957763672","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":"Q3452272$63004597-313B-4072-B77B-2989C4549A4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3452272","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3452272"}}}}}