{"entities":{"Q2879268":{"pageid":2889988,"ns":120,"title":"Item:Q2879268","lastrevid":83888696,"modified":"2026-05-07T13:32:17Z","type":"item","id":"Q2879268","labels":{"en":{"language":"en","value":"Balancing Lists: A Proof Pearl"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6341497"}},"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":"Q2879268$1A67DE1F-9658-4E51-8042-66EF4B1205AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87faccaecabc55f242291645f27302c27a6feae7","datavalue":{"value":{"text":"Balancing Lists: A Proof Pearl","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2879268$D61A8E5C-969D-41B2-8BEB-5820C3854406","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f728a1a27df377ff2fa7ba27bfe6144cb26a523","datavalue":{"value":"1416.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879268$3C016BBF-5870-4019-9EFB-1825AF35D710","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"427b615aa7c090f1863416dc2cfa8efd49f10c57","datavalue":{"value":"10.1007/978-3-319-08970-6_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879268$FBCAD4E5-FF28-434D-B0A6-D563BA30D4D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fa1237fc0f451cf284591cb169b7ed38d397981","datavalue":{"value":{"entity-type":"item","numeric-id":662306,"id":"Q662306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879268$8816095B-AF9F-4BA8-987C-58018609E082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef3ce062a3abe34fbc66f2165f0b82461a1fec7d","datavalue":{"value":{"entity-type":"item","numeric-id":930884,"id":"Q930884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879268$A08CB81D-4451-4509-AC89-1ECFAB6E0469","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879268$42A9FCB9-F671-43DA-819C-91496132D20B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"565bc5987614f46e32dc98add32d630fe2eeb533","datavalue":{"value":{"time":"+2014-09-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":"Q2879268$2412C1DB-6BB5-47DF-A537-5D3F86468C02","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05192bf065c2ebe467640d786955ab0d58e2154c","datavalue":{"value":"https://arxiv.org/abs/1401.7886","type":"string"},"datatype":"url"},"type":"statement","id":"Q2879268$F9E69EF7-E212-46FA-926A-9DD45A5FC169","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879268$42763B2A-2C00-43E0-84CE-BA5FCB4356E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879268$221CD124-69E5-49F9-BC48-385AF5E0FF5D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5004fddb0a75098c6bdba681ff9354dbee8d7d3","datavalue":{"value":"6341497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879268$0D7464B9-98AC-49D1-97F7-0B75533C4721","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":"Q2879268$90324EAD-3D47-49B2-BA4B-10F650F3B16D","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":"Q2879268$5D754320-3C9A-42FA-AD09-CC72686E2218","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c5fb029ef8d1bf53ad6206d3104b991c8545e15f","datavalue":{"value":"W1573989227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879268$B5F6F777-133D-4E6B-BA3C-96535213D9AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6776c18922facea9793551eb5fd917467b196c6","datavalue":{"value":{"entity-type":"item","numeric-id":2351413,"id":"Q2351413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebde2c7f3fca9192254cc058dba083ffdb3b9599","datavalue":{"value":{"amount":"+0.8020624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2879268$43D440A5-74BC-41BC-86F1-00B60AB90803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d33d70793619c4dcb703cce8988a19ec44626738","datavalue":{"value":{"entity-type":"item","numeric-id":4938413,"id":"Q4938413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f598fe2b11e8af7998e178fe67bfaa1fb6acd02","datavalue":{"value":{"amount":"+0.7858844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2879268$E5754F4D-45D8-48B6-8882-9B9692B5AE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9a33e4bb5cd7fbd1a20a0e796334d0e5f8a54a4","datavalue":{"value":{"entity-type":"item","numeric-id":3782766,"id":"Q3782766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e4582e30bb46f8d7073fe1378b762d84a2883f1","datavalue":{"value":{"amount":"+0.77606916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2879268$59E151E3-34AD-43CC-92A8-98BB381FA0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf8d5d0efe232961b5d5ecf21a3239300106acce","datavalue":{"value":{"entity-type":"item","numeric-id":3801085,"id":"Q3801085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89ee7058d68a53a72fb90b3bdcf5d6f359a76769","datavalue":{"value":{"amount":"+0.76660496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2879268$549CACAC-E733-4764-9998-2A794DA12FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f31819dd72da15ae1baf8e69e4fddd335aeb2eba","datavalue":{"value":{"entity-type":"item","numeric-id":4284613,"id":"Q4284613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cb9e787ca995a04299921f2076263d5e990454a","datavalue":{"value":{"amount":"+0.7638316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2879268$3CA9758F-E3EC-4F66-8E44-007BCAF52930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd9ddad078642f0e7c06887112ae103ebace3027","datavalue":{"value":{"entity-type":"item","numeric-id":6061392,"id":"Q6061392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9b7331f5b6acb8b1679e5428b5336007c340000","datavalue":{"value":{"amount":"+0.7604511","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2879268$77853BB3-CDAE-4357-8BAF-2B3EE50CEBA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ce4ca693af484998aeae0db79600facb71bc294","datavalue":{"value":{"entity-type":"item","numeric-id":2798872,"id":"Q2798872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ae1a2969ae1f99b51eee92c1acaac1dd320a699","datavalue":{"value":{"amount":"+0.75991774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2879268$B02A23E1-E13A-4EF1-8EB9-49D9D89D2B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e99b5fa3352cad66a422fb3e4d7fb773dd5eff6","datavalue":{"value":{"entity-type":"item","numeric-id":5946328,"id":"Q5946328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e8e962e794a77895e01e39bcb87262da71c6677","datavalue":{"value":{"amount":"+0.75908643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2879268$B31F8A18-E9C3-4EC2-A4C3-D9F7B6CB383B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"248279b5883f84e617569b437c76fde0ddbe1e27","datavalue":{"value":{"entity-type":"item","numeric-id":4689727,"id":"Q4689727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3afabf766c0f723a7d4f48105eddf8da4174dd9","datavalue":{"value":{"amount":"+0.7537636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2879268$46A1DC8A-A947-4C84-9C4E-D8A31A89B089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb985ffc5b40d1c8223a8f7505fa938a8ed4a396","datavalue":{"value":{"entity-type":"item","numeric-id":3333251,"id":"Q3333251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f18a3acaa6e633a4ad663db87bee9a81d85d7e89","datavalue":{"value":{"amount":"+0.7536984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2879268$6B671B5E-EE5C-40B8-A66D-03AECAA0EC32","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Balancing Lists: A Proof Pearl","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Balancing_Lists:_A_Proof_Pearl"}}}}}