{"entities":{"Q5422269":{"pageid":7451843,"ns":120,"title":"Item:Q5422269","lastrevid":100933796,"modified":"2026-06-05T23:29:06Z","type":"item","id":"Q5422269","labels":{"en":{"language":"en","value":"Composition theorem for generalized sum"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5201476"}},"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":"Q5422269$5AC2A3B3-61D3-4A66-B3B7-2CA69D2C80A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73bf31f2d9a8b33e644b12f124ae0474c6c4b8aa","datavalue":{"value":"1124.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422269$9976F51A-BA45-4433-B731-0EFBFA3BBC4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91a6d5b55b11b7c5072badc33d9b23eaf1c7a459","datavalue":{"value":{"entity-type":"item","numeric-id":259067,"id":"Q259067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422269$8F4E05CB-CF14-4576-BD2C-F4CDB13CE3A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27c17e683e38eea7f1304bde8245957e05f3c985","datavalue":{"value":{"time":"+2007-10-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":"Q5422269$07C7FA8D-14D4-41DC-8A6E-902DF70E74CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa69c13f73ae57309db5e91fd7e4d5aaf111f98e","datavalue":{"value":"03C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422269$B56C3D37-92FB-442C-84A7-E614C47B2CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422269$90D38B68-3C59-4F53-A09F-B8BEC688925F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422269$7037C1C1-799F-4F76-9026-CA9DE48443D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7fd213a574edd10a6bc470cc2d78cbfa20c5eb59","datavalue":{"value":"03C52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422269$5E7B965B-0B8A-4BF0-A447-68E2F092096A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422269$5A465C91-196E-4E4B-B83D-EFC08163CE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422269$D291AB27-3C87-4AAF-8A08-B95AAC5CE7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422269$1A49F30C-B48F-4B0C-96B0-E1E94A9A04AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422269$85B45035-0243-43C9-B47D-085C0820100E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e34fac7166aeaf4663e9d796e198f5ea4624ed25","datavalue":{"value":"5201476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422269$28235150-C2DD-442A-AD0A-513B22B2B74E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dc100de369a204a3ad160faa221912a696c0979","datavalue":{"value":"generalized sum of structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422269$0BAEB8C4-8C3B-4C10-B3BA-27212A3C9A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"554b83bde98b26770a4af40fe7e9ba556696c413","datavalue":{"value":"composition theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422269$3EDD6A7A-6A67-473F-A516-E66B13EF5BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422269$8C72F46E-05A3-41D8-9562-011201851BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422269$7F3ACC54-E902-42A3-AC64-DF5086FE3896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422269$6D56722F-8CB9-4D64-AC10-435A0697F920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf79771632436c5ee52037ae2c9654072a7a212","datavalue":{"value":"Feferman-Vaught theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422269$05512B25-33E2-4AA4-90C6-CD46547B65AC","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":"Q5422269$82D3287D-6A43-44C7-B56E-9BE4EF03241E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6ad1cb74c851c5ccbf77ee50e27b9083d6dad6","datavalue":{"value":{"entity-type":"item","numeric-id":5277769,"id":"Q5277769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad4bb6d76304723e7cd45b28d16fc1e001ea347c","datavalue":{"value":{"amount":"+0.6943158507347107","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":"Q5422269$769CD36F-F24F-418E-ADC4-B6AEB7EC3A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfc20b754631b02e1a39e7b6b1aea71d4e12334a","datavalue":{"value":{"entity-type":"item","numeric-id":2947182,"id":"Q2947182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e8dfa1b8b838d5be4792ab2c74fd6c7f38dc8cc","datavalue":{"value":{"amount":"+0.6881930232048035","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":"Q5422269$34C9DEB5-F5AD-438F-902A-8FF2D00DD396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23b4c7b7590801d98eac443c5e7b032ae2572dfe","datavalue":{"value":{"entity-type":"item","numeric-id":3514639,"id":"Q3514639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ced8418c0760f2f1320a3ca6d3788c23a0b962f","datavalue":{"value":{"amount":"+0.6808245182037354","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":"Q5422269$4CE1AE90-296C-448E-B558-C627D230A8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"422a59fdb865405e2b86faee996e3cc71460ac63","datavalue":{"value":{"entity-type":"item","numeric-id":598280,"id":"Q598280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"136fb7513eaa6367103dd197295824b16b0acb86","datavalue":{"value":{"amount":"+0.6671589612960815","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":"Q5422269$0031D6DB-86E0-4B1E-82AE-418D202EE274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"532b880c41d5f1031f9b887ee66f84f432edba51","datavalue":{"value":{"entity-type":"item","numeric-id":4722028,"id":"Q4722028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95a540286ba9eaa38bcefcf139748b69d02fe505","datavalue":{"value":{"amount":"+0.6660716533660889","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":"Q5422269$98D6A6AC-8255-45FC-B51B-8D0E250F727D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Composition theorem for generalized sum","badges":[]}}}}}