{"entities":{"Q7028281":{"pageid":21672579,"ns":120,"title":"Item:Q7028281","lastrevid":77536475,"modified":"2026-05-04T23:37:57Z","type":"item","id":"Q7028281","labels":{"en":{"language":"en","value":"The concept of class invariant in object-oriented programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7983659"}},"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":"Q7028281$E6796C01-4F16-4B50-BEA2-31A31DA4DA0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b9fc468b12bab1f6da1ade5ec2fa19efccf53ce","datavalue":{"value":{"text":"The concept of class invariant in object-oriented programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7028281$B787486B-73D8-4EC2-AC30-D220DF7C707B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9af25140547502fdd56d7dcf2ae598b5352be410","datavalue":{"value":"1558.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7028281$5F086333-C740-4B0E-93EB-B673F0199AD6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83961b527c38a7d18105cd971ab98cae8e5364c7","datavalue":{"value":"10.1145/3626201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7028281$7616B3CC-9D6B-4E5C-8EEB-065E5788F8E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14c4d523b13f3aead91ab99aa4b7085cb8041985","datavalue":{"value":{"entity-type":"item","numeric-id":846107,"id":"Q846107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028281$0EBC6CBB-EB0A-4656-91BF-4E95ABE349FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f334be6005bd013f3cb09bc6241036e0bae6e5b","datavalue":{"value":{"entity-type":"item","numeric-id":7028280,"id":"Q7028280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028281$2CBE7D95-11C0-497F-8564-1903B48144D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6975f597c6458b3e8d01a8bb4ae682ab6159b527","datavalue":{"value":{"entity-type":"item","numeric-id":1630034,"id":"Q1630034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028281$7FC47061-1074-4ABB-B49F-B6FF02478DEF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028281$AEB580D6-13FE-4D8D-AF06-126A161FECFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"79295fba39b045668a28642778d9e57debe5f9af","datavalue":{"value":{"time":"+2025-02-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":"Q7028281$6C703BDA-0E38-4B44-931D-3AF912C385B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7028281$D2F7BCD3-7CF8-4F2A-A026-52E21C9621AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7028281$8F098370-6170-4ADA-989F-2280E8233188","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7bf27b22956db4020f1472d88f0649c583547346","datavalue":{"value":"7983659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7028281$64C8E769-D8AA-4486-8628-404C32D1D7BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"891cd55f24c8089def7f1a2a11129046e965fead","datavalue":{"value":"object-oriented programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q7028281$A72E43BB-B0FC-429A-8380-BD5945088789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q7028281$273B4DB0-3735-407D-9085-E10D8477FFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca32413f1d623ef3eb8d4a14ac759e926ea85f","datavalue":{"value":"invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q7028281$DBFB54D3-B102-4F52-968C-8DD00973427F","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":"Q7028281$FBE6F323-90CB-4E6F-8299-5C71CDFA01EC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"00320168d9e25d1eb7a5045f616b3618eb01d39a","datavalue":{"value":{"entity-type":"item","numeric-id":5395717,"id":"Q5395717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028281$A04D4557-6A13-4A09-A54E-A473DFC3C861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4027aa193b5a9bb266a920950c3c2c12f94ced0","datavalue":{"value":{"entity-type":"item","numeric-id":5395716,"id":"Q5395716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028281$ABBD29F6-1201-4413-AD30-28F34A824138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2277e839c342e3820c32c5da3191688c45d3d662","datavalue":{"value":{"entity-type":"item","numeric-id":5313101,"id":"Q5313101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028281$90DB1824-5654-4224-B4A1-6FD4AC454166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028281$61097C8E-114F-4B28-8021-7ED39F844CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c76248490dd08a9de4ee50f264042883612e607b","datavalue":{"value":{"entity-type":"item","numeric-id":5176169,"id":"Q5176169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028281$5BF16D67-9CBD-43C0-B820-2016006D00A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028281$C8A7E711-8E23-485E-A362-A7F45D6EFB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b4246bf332d45c90c410b55aa43c4af6aee470","datavalue":{"value":{"entity-type":"item","numeric-id":5626277,"id":"Q5626277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028281$5E90047C-B266-4BCD-8E8D-769E86F1A733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db463348657cf41d5ff4d422c54e0c686e6e5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2554952,"id":"Q2554952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028281$35356DBF-1F77-4A49-BF2E-BEF0A95952C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5746912aaeddd743883752807cc60e94e0090b","datavalue":{"value":{"entity-type":"item","numeric-id":5716910,"id":"Q5716910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028281$5A230BC7-392E-46EA-8417-745C1005364A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c32f716a89d889d8580cbbf755ea41f18177dd7","datavalue":{"value":{"entity-type":"item","numeric-id":4371400,"id":"Q4371400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028281$6E3B12B5-5064-4F8A-8FAC-0BD9C15F4E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5ac7493514e318720f300ffa0c8a659b818d39d","datavalue":{"value":{"entity-type":"item","numeric-id":2873622,"id":"Q2873622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028281$70B9CD51-36D4-417C-9263-0EA17053674B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceed6c231e6a6087aaa5989ddc3be59f213c7d44","datavalue":{"value":{"entity-type":"item","numeric-id":5960651,"id":"Q5960651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028281$614FCFA1-CB2B-4AC7-A7A0-E05F5F950DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cf01f6d0f15e194b18b50e7192ec30c2fbfafa5","datavalue":{"value":{"entity-type":"item","numeric-id":2507783,"id":"Q2507783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028281$6547690A-E176-44C9-B2F1-DEB9C3AADE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08275ce71290f87626e20f74b563a214eb29810e","datavalue":{"value":{"entity-type":"item","numeric-id":5897453,"id":"Q5897453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028281$C814C520-71CD-4189-9FAB-441DE47F7430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a60a233b5faab0c225c08b16f8c392479430c8e","datavalue":{"value":{"entity-type":"item","numeric-id":854171,"id":"Q854171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028281$84E04E07-4048-43BD-A953-E7A9C28D2567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822f7126542ac8da227da36239413ce9d42e24ba","datavalue":{"value":{"entity-type":"item","numeric-id":4121384,"id":"Q4121384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028281$342390AE-C8F9-4DA7-8BCB-89CA84EE6B5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The concept of class invariant in object-oriented programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_concept_of_class_invariant_in_object-oriented_programming"}}}}}