{"entities":{"Q2890338":{"pageid":2901063,"ns":120,"title":"Item:Q2890338","lastrevid":51486797,"modified":"2026-01-18T11:34:58Z","type":"item","id":"Q2890338","labels":{"en":{"language":"en","value":"Proving properties about functions on lists involving element tests"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6044468"}},"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":"Q2890338$F72E3C2C-23F5-4042-A5E4-91B8FACBB825","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00dc031694ca5e712f0ce994956cd66675425d1e","datavalue":{"value":{"text":"Proving Properties about Functions on Lists Involving Element Tests","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2890338$FE2C13CC-A2B2-4743-967E-EDF8E884D23D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be9cf73b811cf35a3d24ecc4cd663e5dff38b8bc","datavalue":{"value":"1312.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890338$B1F7C787-0219-41B6-8909-7826C8BA9FC9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"136278e40fef4f3137d57e28ded7e4b89c2faf72","datavalue":{"value":"10.1007/978-3-642-28412-0_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890338$D5FE644D-3655-4BC5-A9EE-E381B8A1AF15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1dcb75a741097e430ac6ac4bd36034314214b9de","datavalue":{"value":{"entity-type":"item","numeric-id":649011,"id":"Q649011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890338$CAEDBB17-562F-4AC0-AA4E-B1E8EDBD8840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"934fdffff0f9ddf6cf8affa63ec8f5198caf4ea3","datavalue":{"value":{"entity-type":"item","numeric-id":347390,"id":"Q347390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890338$8D62C078-83E6-4899-AA20-C3F26E329BF2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d7065e0d9bdf39aae4d6612408d45679d40eb4d","datavalue":{"value":{"entity-type":"item","numeric-id":2787332,"id":"Q2787332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890338$C4905D0A-2BA7-400F-87B3-D2DB716587DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a7d7484062a7dd97ef9c7d59e7e7bb3f36dfdc8","datavalue":{"value":{"time":"+2012-06-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":"Q2890338$D644E15B-086B-4EF6-8AFA-2EE05C5EF90E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890338$667A8027-D6D7-4D41-A7A6-83CBF7A47540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890338$43FE71D9-3B1F-4A9E-BDFA-D39FE3AA9672","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02c469889e31b7fed589116c8fa86f68e41820ab","datavalue":{"value":"6044468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890338$2594B1F4-3A43-4BF0-8CEB-8F7C93BB7B09","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890338$1763BC51-328B-4351-8193-8DD227D43A5C","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":"Q2890338$88C75CF2-3C2E-425A-8933-0B6ECE9A9921","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d46ab9a5bb8b8f714c1fd44b5c26f445ba25abc","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28412-0_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q2890338$126D6149-0637-4B89-A7FE-74FC67EB1AB1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ee63329d6bd85d9ddbd88a09450a4d95d9c0c98","datavalue":{"value":"W1861162136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890338$E7EAD5EE-78E2-40BA-8923-028FA9D7595F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"03fbca56191e433ddad7d589e9817e8f20721a5b","datavalue":{"value":{"entity-type":"item","numeric-id":4417849,"id":"Q4417849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890338$32A9898A-1F2B-4963-BBE1-A798D9CCC758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d8ce1ab7cbc344458f6c5f69920718926ea1d05","datavalue":{"value":{"entity-type":"item","numeric-id":2566024,"id":"Q2566024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890338$21123647-F154-4FFD-A7ED-4574BC9B992A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac208b1e0960d954c41363d8a41cdec11188d24","datavalue":{"value":{"entity-type":"item","numeric-id":3558219,"id":"Q3558219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890338$0B4E582A-0E73-4DF5-848B-4EB07FE4C4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"638a383a4e148c10e123839f405ef1f3f58537c2","datavalue":{"value":{"entity-type":"item","numeric-id":4938413,"id":"Q4938413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890338$857D096A-9A3D-42C8-977C-A60D4B559EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ac7436ad9003a5b0d597197dd212cd78d0e8383","datavalue":{"value":{"entity-type":"item","numeric-id":1916356,"id":"Q1916356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890338$91A89F9C-4CAF-4543-9292-43F8E7CBB819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08d6a93b5519fe40946b3c81233b0a486a55307","datavalue":{"value":{"entity-type":"item","numeric-id":4414308,"id":"Q4414308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890338$825D4D59-488E-47BF-816D-8F7C8B57AF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b52d9f023ad463f4a9514630d585152f9e2151","datavalue":{"value":{"entity-type":"item","numeric-id":5458431,"id":"Q5458431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890338$98D1522C-0081-4BED-9D5D-6141986A7406","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da2f66fbe50e296699de160e6264ef1dfabe9e38","datavalue":{"value":{"entity-type":"item","numeric-id":5458431,"id":"Q5458431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"107cbda6f7507d41f3c312b3d49d355d198b25e8","datavalue":{"value":{"amount":"+0.7716132998466492","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":"Q2890338$0AAC5B37-6070-430D-857B-EC30ABB55496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"932cec585e3aa0ab6d2cef9b15e89d98168f777f","datavalue":{"value":{"entity-type":"item","numeric-id":2936814,"id":"Q2936814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab929e2617c9f3c81821e0c7234f5dc0666ca763","datavalue":{"value":{"amount":"+0.6576355695724487","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":"Q2890338$4CF1ABF9-28E3-4C91-BE6B-1F906A30537D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27b9e195847bcbea8ebc4eef91409c29671308c8","datavalue":{"value":{"entity-type":"item","numeric-id":3163410,"id":"Q3163410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"086a50c29b024c0cd5ec7085e169a64a088c8a34","datavalue":{"value":{"amount":"+0.6550723910331726","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":"Q2890338$5C08ADDA-079A-49F4-ACF9-9D6478AA0F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bee40d28966e95f159302914a68042cf974c9c7","datavalue":{"value":{"entity-type":"item","numeric-id":3558219,"id":"Q3558219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb1a8de58ba859b82ed30f5e53b57c12e5db8876","datavalue":{"value":{"amount":"+0.6521320939064026","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":"Q2890338$13348D6C-2750-467C-93CD-00BBA4460074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec7c0d5feaf5fba28d8b65ae4f3a07e91b1d9686","datavalue":{"value":{"entity-type":"item","numeric-id":2891398,"id":"Q2891398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eb2c28ddb245dc3da9c3a4988ce8b40cf2ca35c","datavalue":{"value":{"amount":"+0.6514513492584229","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":"Q2890338$F43CB35C-5F56-414A-9749-81ADCB9709E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2890338","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2890338"}}}}}