{"entities":{"Q5401710":{"pageid":7431284,"ns":120,"title":"Item:Q5401710","lastrevid":74437974,"modified":"2026-04-14T22:23:35Z","type":"item","id":"Q5401710","labels":{"en":{"language":"en","value":"Constructing class invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6268313"}},"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":"Q5401710$A2449403-638A-4992-8E8E-75F80E404A5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7cb3e1812aa9c3b45f19397f604770821b8f4210","datavalue":{"value":{"text":"Constructing class invariants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5401710$243B2B70-C92A-46B2-86E9-8E6D792F1B1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24f810c6177cf22873c0305193de22a85ba9e216","datavalue":{"value":"1292.11125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5401710$8EF1ED49-61A9-4E88-B8A1-A52630F70A27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"630b12677da2917f3716ba37130ffdb09743e0e9","datavalue":{"value":"10.1090/S0025-5718-2013-02769-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5401710$1763D5FE-A120-4E33-BD63-B473CF8F34D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"baa5e802769412f0844a94f995d30b9509cb3673","datavalue":{"value":{"entity-type":"item","numeric-id":65726,"id":"Q65726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401710$661B1A35-8ABE-41DE-8899-72644503561D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d3707c0a74495cfb1944abfac12ad619589e2ad","datavalue":{"value":{"time":"+2014-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5401710$6E06E3DC-7E17-40EF-8C9C-DC8A92F209BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f8787c13be92e1e189c3baea302cfc94d3a1ab9","datavalue":{"value":"https://arxiv.org/abs/1203.4902","type":"string"},"datatype":"url"},"type":"statement","id":"Q5401710$02F30D5B-DAEC-4B4C-85A2-C6AFB2638C50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"de7f3c1190f7fe7db561a67d5059a061b3cbbffa","datavalue":{"value":"11R29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5401710$2E49FA94-634B-4445-9309-01C87098B9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa5ce256704e22ae9f3767d9b7f6b25420f642b6","datavalue":{"value":"11R37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5401710$4155688C-9126-44F9-A5CB-2CABF96FF43D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4d379f1f3728661c9d77f930d729b891dd925754","datavalue":{"value":"11Y40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5401710$7CCCA4CF-8A84-4000-8964-540E856F6890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6c8c38e3821711a95703abcc2630cc0d5683ad9a","datavalue":{"value":"11R34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5401710$D1267380-C74D-4C2D-AD33-4EC72465DB3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b62bd99de8398d07dab7926052e02bac654e1dbf","datavalue":{"value":"6268313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5401710$841FD31C-1996-4976-9305-A6CB96232FDC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd4ed1c7e81f5b703d73c5a8390a948c79b162db","datavalue":{"value":"class invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q5401710$73E9DD74-8C61-47DD-8C3B-3BF04004C2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9501a8e3a20238283500404ddc8ced9d143511a3","datavalue":{"value":"Shimura reciprocity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5401710$74F23A39-BC5D-4EBC-9DC9-162D03A2A2EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de7f962b851e5cdaa8098adb1a2864e4e47e6311","datavalue":{"value":{"entity-type":"item","numeric-id":1273201,"id":"Q1273201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401710$237A1851-99E9-4022-AA78-A1C8F9A6612E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4fe03e5b78d9974ebdfc0233dbd377f30d5d075f","datavalue":{"value":{"entity-type":"item","numeric-id":13295,"id":"Q13295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401710$CE81B726-D913-46F1-A0A0-82205DDC0558","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":"Q5401710$C5F590FD-EB72-48D7-AFEA-1399C6A91BCC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd0d318899f6d495f4481731f0306e3c8c43504b","datavalue":{"value":{"entity-type":"item","numeric-id":1369784,"id":"Q1369784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401710$EE65AD26-9895-47F8-A8BD-6863A3CF3C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddef55be1af5b4f2333afd6c7e018c9e2cd23e76","datavalue":{"value":{"entity-type":"item","numeric-id":3995206,"id":"Q3995206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401710$8E2491D6-7B9E-4E88-B984-B1628BC7847C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da2fcfc49e1c3bc6d6e856a7f01dbba4a359b0a7","datavalue":{"value":{"entity-type":"item","numeric-id":4486426,"id":"Q4486426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401710$AEF42DB5-90C9-4D11-B884-146CEB9ADB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d61bd8ef3f91d004e85e3bff3a8b0e432ba2a975","datavalue":{"value":{"entity-type":"item","numeric-id":1809039,"id":"Q1809039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401710$F97D4672-D4D4-48A6-AC46-206B75AECF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fdc85836527bd425e0e51c8a41ada46205120c4","datavalue":{"value":{"entity-type":"item","numeric-id":3840187,"id":"Q3840187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401710$8CBB19DB-F1B3-426F-A7C7-5A5F2DA611E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f79c2a6e1b91f71676939cc2e62b4684e35436","datavalue":{"value":{"entity-type":"item","numeric-id":4344674,"id":"Q4344674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401710$02C48428-0E74-4E92-AC3F-C4E5027E7A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c05c29a2837f79fb1c1d9476c68f33e410ce8339","datavalue":{"value":{"entity-type":"item","numeric-id":953262,"id":"Q953262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401710$7EAAF53C-A299-4B49-BC44-79FBE02D9373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5548caa42bc973007740bee16d1eb975b5cbdf0","datavalue":{"value":{"entity-type":"item","numeric-id":4270322,"id":"Q4270322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401710$22B51223-C95D-4C99-BA03-E2BD11829AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d7e70bedbf89abf9d404243bff487cb2dc1e892","datavalue":{"value":{"entity-type":"item","numeric-id":5450906,"id":"Q5450906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401710$C4E23F89-4CB0-4BF5-A788-252A78273CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86901e91bab0d43c31b2b1169d21d366c70a6384","datavalue":{"value":{"entity-type":"item","numeric-id":3648326,"id":"Q3648326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401710$EA0BBE16-A822-42F7-9486-90F49610055E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad93f4e0c74d4d10737a2d1311741084ac44a9a","datavalue":{"value":{"entity-type":"item","numeric-id":988264,"id":"Q988264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401710$76381A63-0B69-4624-A80C-9892BB915ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b3f7317c0d6162e785a5dfb1ff78c8d6b807be2","datavalue":{"value":{"entity-type":"item","numeric-id":3116600,"id":"Q3116600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401710$59D2A0E4-B215-46FB-AD50-7CAFC3E5426F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0b484dda8d137dfee6c1064c0c97cb06f1cfa6d","datavalue":{"value":{"entity-type":"item","numeric-id":4001517,"id":"Q4001517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401710$CD010AA0-64DE-41A9-946C-F7F02C272197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a80bcc237ccc9c2155e93c1dfa1e52062b7e38f9","datavalue":{"value":{"entity-type":"item","numeric-id":5513003,"id":"Q5513003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401710$AA57E04A-4E9A-4758-AEB7-67BB6EA12A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d598a328bb65f1f5037eae24b2572af5d51974","datavalue":{"value":{"entity-type":"item","numeric-id":4875376,"id":"Q4875376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401710$2E8FC489-4775-4D89-A7F4-52BE25833238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49863a66e453cf5c72aae30b9e8012236376bdfc","datavalue":{"value":{"entity-type":"item","numeric-id":4317891,"id":"Q4317891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401710$B8DCD18D-F829-4C4E-A811-61794AE5D667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa04ccc08159b676677a6307dca473680e5b1e1a","datavalue":{"value":{"entity-type":"item","numeric-id":4541478,"id":"Q4541478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401710$22945B8D-520C-490C-ACFD-660254E99E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eb577137107cf488c3964f45fa73e5529b43b9a","datavalue":{"value":{"entity-type":"item","numeric-id":4372640,"id":"Q4372640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401710$236BD1E6-D787-450A-8B4E-319F63C6D94B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28c62bd03800ada6b8d911a35e86e490a890003b","datavalue":{"value":{"entity-type":"item","numeric-id":1809039,"id":"Q1809039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a7164f2943c0b5845f29f2963e9d2b46173be46","datavalue":{"value":{"amount":"+0.8594595193862915","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":"Q5401710$2D8CB2BA-BF9D-4F72-A855-941AAA85D752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53afa7a567fa0ebc23533b3b8444c7c64589bfda","datavalue":{"value":{"entity-type":"item","numeric-id":4908928,"id":"Q4908928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a7164f2943c0b5845f29f2963e9d2b46173be46","datavalue":{"value":{"amount":"+0.8594595193862915","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":"Q5401710$BA69337C-84FA-46F9-8C8B-638A7A47421C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeeaf8eceeb5c3334e6a6f8b5907f6351b318670","datavalue":{"value":{"entity-type":"item","numeric-id":3840187,"id":"Q3840187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0e53698be675bda2fe185dd9ab6b95def5f3f9b","datavalue":{"value":{"amount":"+0.8112981915473938","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":"Q5401710$81F4E8DF-2111-4350-A0FA-F469D368C624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45129d6921720d70156f19a681e65464f89d09e7","datavalue":{"value":{"entity-type":"item","numeric-id":4203364,"id":"Q4203364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0e53698be675bda2fe185dd9ab6b95def5f3f9b","datavalue":{"value":{"amount":"+0.8112981915473938","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":"Q5401710$A9053389-0A69-48F1-9EF4-826A90BFCFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74d69ec97d2a4c3e6ab298acd96554046624fd27","datavalue":{"value":{"entity-type":"item","numeric-id":1396451,"id":"Q1396451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2508cd8097d4a4253688e688995fbe602afa00da","datavalue":{"value":{"amount":"+0.7863401174545288","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":"Q5401710$AC468DD1-B610-47FD-8B77-354CCBF1DD14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructing class invariants","badges":[]}}}}}