{"entities":{"Q5458431":{"pageid":7487990,"ns":120,"title":"Item:Q5458431","lastrevid":41198745,"modified":"2025-04-18T23:55:52Z","type":"item","id":"Q5458431","labels":{"en":{"language":"en","value":"Proving Properties about Lists Using Containers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262483"}},"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":"Q5458431$8831EFB7-24B5-4CDC-937F-A9905CAD9D80","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a87be6483c1c455bea7723ddb050f5d02b9ff26b","datavalue":{"value":{"text":"Proving Properties about Lists Using Containers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458431$122D9725-17A3-4449-B295-F9A590C20314","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd45ee248598a7eb54a8a87481d031cf5dbd2631","datavalue":{"value":"1137.68575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458431$D6CEFC07-0A00-4733-9B38-BC24C899DC45","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48ffb376436178bc74f65f52a0fd6d723caefef2","datavalue":{"value":"10.1007/978-3-540-78969-7_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458431$CD4464EB-0506-4B1E-BA7F-F8C4BD4AD61C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d95e8569dda44050acf0f320999eb8dcacffed5","datavalue":{"value":{"entity-type":"item","numeric-id":5458430,"id":"Q5458430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458431$B941E1D0-74C7-4672-8F4E-272A34D656B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b927429827013666616d8874f179818e1bf5b042","datavalue":{"value":{"entity-type":"item","numeric-id":724934,"id":"Q724934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458431$9212845E-D6EB-4CCE-A4AD-5F5619EE3524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76aea849f9d31d470a57d9a5c902b7b2098fef91","datavalue":{"value":{"entity-type":"item","numeric-id":2392479,"id":"Q2392479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458431$09A74E6B-FA8F-4001-A551-AD3FB14A44F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a2a09b5cba4f9e4657809ce2fd194ee37ff6e885","datavalue":{"value":{"entity-type":"item","numeric-id":2798252,"id":"Q2798252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458431$47FA36CB-9736-4569-BA7D-4BC9C78255B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5306c1211a7dcd78b6214088eb3e5b7092fd16","datavalue":{"value":{"time":"+2008-04-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":"Q5458431$78C07C1E-2591-45B8-91F5-0497AE1C2BF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458431$D80B007A-7C6F-415F-914A-40ECC3DFC276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458431$3DAF3011-4DA0-433E-A6A6-ABCC1C0AD785","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"239f6db0b312e471fd9b77a7ad5efba47bf50582","datavalue":{"value":"5262483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458431$EAA6DEE9-23B5-4394-BE84-C758FD94DA88","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":"Q5458431$087E1CC5-27EF-4B50-918F-B6356512EA86","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":"Q5458431$88E4BBB7-D720-45CF-8DDC-DD3E66FF3DA5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8e296cdb3cb00e15d791348f61eaec330503ba0","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78969-7_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458431$42D85268-D7DC-449B-BBD4-2C177490F5A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef966997f4ff79bcfccaa6f6ad638fdf66a3b236","datavalue":{"value":"W4210456832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458431$DBD545C0-21D2-45DB-8EE7-EDB51B49A1FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89d9496b0f88eeaeca1c19555a9c0f43faad1bc8","datavalue":{"value":{"entity-type":"item","numeric-id":2890338,"id":"Q2890338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d52c9fc572ad4f40d45ba72e10f5cb537990502c","datavalue":{"value":{"amount":"+0.8664363","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":"Q5458431$C1201F76-0E56-4F5C-8C8E-79E8C567327C","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":"64f040d4c2581805ea2ceadb9e4bb57dfa905c81","datavalue":{"value":{"amount":"+0.8490247","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":"Q5458431$83B32ABC-1696-4676-B9FB-43C5AC11141C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"305f8e0dc22f4a7fe55046bbe4740879c74b7f2f","datavalue":{"value":{"entity-type":"item","numeric-id":3314971,"id":"Q3314971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bbbe50777e53713aea8409988ad805c683660e9","datavalue":{"value":{"amount":"+0.8439821","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":"Q5458431$D85A9DAC-44DC-4E3F-B85B-7E46EDED39A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"329b58a863151cba924df22d0894e6bc3697fbcf","datavalue":{"value":{"entity-type":"item","numeric-id":5408543,"id":"Q5408543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d6c25e1db4ea7f5865afa790bff12b1d5322a62","datavalue":{"value":{"amount":"+0.8096407","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":"Q5458431$1A8BC351-917B-4983-B682-D2813CA4D417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"966a62df55303def5469e227ab4922b09edf8fc3","datavalue":{"value":{"entity-type":"item","numeric-id":485837,"id":"Q485837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd56bdb8d5685a6170e6605dc9292fb3c1c66ec0","datavalue":{"value":{"amount":"+0.80684376","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":"Q5458431$D864A467-6E7A-46DF-8A22-83FEAECEDF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71e6337227205a8fd517437e08e6e6a02569ab62","datavalue":{"value":{"entity-type":"item","numeric-id":4870811,"id":"Q4870811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea2e9d7317154f21354aed24b6cb0815bffb3793","datavalue":{"value":{"amount":"+0.8059406","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":"Q5458431$B8187FEE-AF70-4D77-9B1D-844EEF0809CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ad59caee798ab25ad911393394c35fdf9e3e197","datavalue":{"value":{"entity-type":"item","numeric-id":5348918,"id":"Q5348918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c541177cd76b1751fd4e7b8bf73d5f43932611a","datavalue":{"value":{"amount":"+0.8048308","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":"Q5458431$613A07E4-7F15-400B-AA8F-677272FD9D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff2e293e4ddb0540d39918f76fde2d1eded105e4","datavalue":{"value":{"entity-type":"item","numeric-id":2332060,"id":"Q2332060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffaa06a25ea02be157be67d879cb46b35177ca18","datavalue":{"value":{"amount":"+0.80468166","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":"Q5458431$2D0B88C8-634B-4F79-869F-8E541072FA03","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458431","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458431"}}}}}