{"entities":{"Q3457806":{"pageid":5237206,"ns":120,"title":"Item:Q3457806","lastrevid":52417439,"modified":"2026-01-22T14:43:26Z","type":"item","id":"Q3457806","labels":{"en":{"language":"en","value":"Formal verification of skiplists with arbitrary many levels"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6521683"}},"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":"Q3457806$5AE3826F-3978-45DE-8FD6-B1CE7AA8131F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5832b6ebbdb58fd9f197b98ab6f46b6bc42e052","datavalue":{"value":{"text":"Formal Verification of Skiplists with Arbitrary Many Levels","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3457806$01893FBF-0D19-4E29-A6ED-284E3E7E0699","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1de3a136f0e90dbe7195d86a82b43ceb7ee29a59","datavalue":{"value":"1448.68317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457806$FD6A9B05-8574-4E5C-9B2C-FD75F64D0F37","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69bf9a72873c5c1ff9043595a4675ddc0938b96a","datavalue":{"value":"10.1007/978-3-319-11936-6_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457806$C4462BEA-C80C-41C3-BB0A-04674BA1A73F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8713ee3f10f93ccd03e7402b982f504280ddecb","datavalue":{"value":{"entity-type":"item","numeric-id":278751,"id":"Q278751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457806$3DCAE543-8AB8-4E30-ACDB-97B9E404AE65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e496c44b5055bef4634247acf22a71a3f156698","datavalue":{"value":{"entity-type":"item","numeric-id":994601,"id":"Q994601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457806$759DA398-1E55-4B8A-B706-6EB6074829EF","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":"Q3457806$F734382A-BA39-4B61-AB1A-FA99BF338F33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8c8c48ef6ed00faaf912c712c5311b1d94846d86","datavalue":{"value":{"time":"+2015-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3457806$8A8AC26C-D319-4875-9581-87F73EC6DA22","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457806$79421A75-E087-4507-8DA3-47249C594A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457806$B35C1576-7266-4333-90FB-7E6F477F2CC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f3af0edea5254d3ad6fb6322bf79ad0dda3ebbd","datavalue":{"value":"6521683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457806$2473A26A-37F4-4A45-A89E-2F60A975AE5C","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":"Q3457806$0FE9CE77-701F-4AB9-A6FE-9A825EB47E67","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"527e749ea54a42506cb868229040f8549eeaa0b0","datavalue":{"value":"https://doi.org/10.1007/978-3-319-11936-6_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q3457806$FD29970E-054A-42C8-8B12-3FE99D08F9DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a63820dce98c2ab14a962227c308ac4858906a3","datavalue":{"value":"W217820066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457806$371A2F28-AC96-428E-8D9A-7BB7C3E8C88B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de5aa4583c31f4361932135fff8209abca584caf","datavalue":{"value":{"entity-type":"item","numeric-id":1182095,"id":"Q1182095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3052b267242e9b80ecbd1ef84b5364a48fae1439","datavalue":{"value":{"amount":"+0.7292602062225342","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":"Q3457806$0123B05A-253C-4B10-8BAB-8B7ED137FDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89b2d35a9295d82e540406e0b6df40b0b0eb42e2","datavalue":{"value":{"entity-type":"item","numeric-id":5312907,"id":"Q5312907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f9b38f25bb84439e1b8b3edd0c9e442d7849c99","datavalue":{"value":{"amount":"+0.728842556476593","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":"Q3457806$18491BFC-C855-4961-903E-9A166784A91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec76e5569ebadbba336142e2d80489c30edfe6f4","datavalue":{"value":{"entity-type":"item","numeric-id":4763422,"id":"Q4763422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fcc66b9742ab9f5eae710fa518b5e1aa1d0b9db","datavalue":{"value":{"amount":"+0.7220675349235535","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":"Q3457806$230A3CE9-12B1-404D-A3BF-5411FEAAE0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5bfc5d9c6ac936c095a6c4ad2d904988d9787df","datavalue":{"value":{"entity-type":"item","numeric-id":5898616,"id":"Q5898616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d141e05db7ba743ca40768680fdbf8a16105c2e","datavalue":{"value":{"amount":"+0.7185071110725403","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":"Q3457806$B1F8C514-7F8B-4E86-829D-2C6D3518C979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad01c3ac73f16861f8a7795b56cebb6fdad5a8f8","datavalue":{"value":{"entity-type":"item","numeric-id":1201316,"id":"Q1201316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb926bb5621fce932e07d76fe6094b02192aa4dd","datavalue":{"value":{"amount":"+0.7088501453399658","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":"Q3457806$3DFD27F5-2DB1-4324-BACD-5AE6FB0B442B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3457806","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3457806"}}}}}