{"entities":{"Q2873622":{"pageid":2884342,"ns":120,"title":"Item:Q2873622","lastrevid":83876810,"modified":"2026-05-07T13:21:34Z","type":"item","id":"Q2873622","labels":{"en":{"language":"en","value":"Invariants for non-hierarchical object structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6250203"}},"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":"Q2873622$816FE704-7484-44E3-895A-6DB89D9D54A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9cfb4b195f4ee669e75919e5383737e1c78edb09","datavalue":{"value":"1279.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873622$0F3486B0-953C-4911-B603-DE2DC61732E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e3a161385e3ca41dc6b446cffa0632857dc1edc","datavalue":{"value":{"entity-type":"item","numeric-id":2873619,"id":"Q2873619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873622$BA719221-AA4C-40BA-85F6-0A0543CFF069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00c9d1b77acb645fb03e272acf88b44af2fd8ab4","datavalue":{"value":{"entity-type":"item","numeric-id":2873620,"id":"Q2873620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873622$4B796F9D-56C0-41D0-A8CF-D304A1EADF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a99c6e68c4bf3eed343f564904eff07ea03eb8e3","datavalue":{"value":{"entity-type":"item","numeric-id":1125429,"id":"Q1125429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873622$6C5E0033-6FDA-40EE-A5F0-551FA105670E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e7c964e1d9b8fd1dbeb5ff697f9b43b0587c8d1","datavalue":{"value":{"entity-type":"item","numeric-id":2873621,"id":"Q2873621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873622$5EC9B0EE-D1D1-4B2D-A6F1-37D32CE19DB3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873622$3ED432AB-4224-474D-A74D-58DA27F12386","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec1d1b5de12363b743dc1edf0b2d387c6f9a8806","datavalue":{"value":{"time":"+2014-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2873622$67BD1B4D-62A7-4F36-832F-D7C3E05AE876","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873622$EDAEFC2B-FFA4-4E17-9F28-11CAEE9194F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873622$CE1713E7-052E-4B61-95BC-1DE752D52CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873622$250C5D35-AD89-4349-9881-D9FD428A03F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94b5f3fa0309a9ea48389a47441fa5451000e885","datavalue":{"value":"6250203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873622$5A367005-10AF-49CC-9620-0D47DA3EB5D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca32413f1d623ef3eb8d4a14ac759e926ea85f","datavalue":{"value":"invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873622$512DE11D-91BD-49CD-865E-4D72E595CF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873622$C2A7862D-9D11-4FDF-BAE0-BCBBC1073F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873622$67265373-07C2-461D-8F5E-2C1BEFC34459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b04385473f68e34c46a5454e871ac0b8c927fb54","datavalue":{"value":"object-oriented programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873622$741199BA-50CA-4C9E-858C-35310F6C4283","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0292a334cfc9946d990e370c442c475973c3701","datavalue":{"value":{"entity-type":"item","numeric-id":16053,"id":"Q16053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873622$9776776A-31E3-4B3B-AEFB-C3AAAFDDD9DB","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":"Q2873622$0FDBBBED-4D73-434B-9D9D-97ECFC0D8E3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a56a2915af7d4512a5bcd2d728b266fc60d3aec","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.08.034","type":"string"},"datatype":"url"},"type":"statement","id":"Q2873622$C369013E-CE40-4EF4-934F-F5390E0FA80D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c74c3072d996886a506327a44167d2586e440c03","datavalue":{"value":"W1986079879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873622$5E2B404E-91B8-4CE9-A3CD-B51CF2F7ADD9","rank":"normal"}],"P223":[{"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":"Q2873622$FD4CDB57-5062-4039-8B3D-B2093C939352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d10987b4086019deb8eb668b9c9d4084a5a9a6ca","datavalue":{"value":{"entity-type":"item","numeric-id":4335814,"id":"Q4335814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873622$C155C20C-030A-4825-8382-193DAD95C4C0","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":"Q2873622$7C908D26-D4E8-400B-B3ED-9FA66422EF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a9134c58e54d930921f3bed1c10f8c24262f2dd","datavalue":{"value":{"entity-type":"item","numeric-id":4230924,"id":"Q4230924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873622$960A69D4-56A1-4763-8512-A729A9A8A09A","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":"Q2873622$F678A013-1237-453E-9F21-CE2AAD921302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baa6ac9c9185c624547fdc76c01a61779245b752","datavalue":{"value":{"entity-type":"item","numeric-id":5506381,"id":"Q5506381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873622$12E1DEBC-9C89-4045-BAB6-DCA555714A97","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":"Q2873622$889C803E-4D47-49F0-95FB-199FD743A9BE","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":"Q2873622$167AF14E-C095-4418-A111-C8B2D54AF4B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1d89278057f829a68cd8215a1e83a3013e2243e","datavalue":{"value":{"entity-type":"item","numeric-id":5276150,"id":"Q5276150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873622$1E1D4F01-C3FC-40D0-AFC4-73E1125748C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7990664f126171c104f68110555c735440bc8d7","datavalue":{"value":{"entity-type":"item","numeric-id":5716914,"id":"Q5716914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873622$4B787CAD-1633-4B1B-AC43-0337B2199C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bb8f2d8d4d15df254c61f401c2f64ec744e9971","datavalue":{"value":{"entity-type":"item","numeric-id":3426137,"id":"Q3426137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873622$DEB76DE4-6E60-45EA-A9D0-A3ED217C7C3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"993dfd6f9cdcbb2b463407e84bf83033c8d2c828","datavalue":{"value":"10.1016/J.ENTCS.2007.08.034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873622$198C2FC7-4CC5-4F51-B732-34C2C7E033CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0376dc93835a8a0455943df5f80f6d90b1f477a","datavalue":{"value":{"entity-type":"item","numeric-id":2507783,"id":"Q2507783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc0f2da4d61059000e517de27ad31a89510bc8a0","datavalue":{"value":{"amount":"+0.8826847","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":"Q2873622$1946935A-0B78-4FCA-98D8-15F1976CC8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6075b6c55744236b07ca282610dea0c64418ec6f","datavalue":{"value":{"entity-type":"item","numeric-id":4601146,"id":"Q4601146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c35e2afb1546a616291dc72340e47e68c52b0bf","datavalue":{"value":{"amount":"+0.83943075","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":"Q2873622$09CDF4AE-E748-439B-B9BE-122D6883644E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbb96375b641b8ff1019359aa044ef3ac760f2b0","datavalue":{"value":{"entity-type":"item","numeric-id":3613379,"id":"Q3613379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2926ab88bc66d1cd6998b2ef80c1091b1a692648","datavalue":{"value":{"amount":"+0.839232","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":"Q2873622$6DF65C21-988A-45BA-B290-3397D42F3B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"347525db5b60f5a023b98076eeb9ead6bc8a842e","datavalue":{"value":{"entity-type":"item","numeric-id":2646458,"id":"Q2646458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a809784c8515da82fc05fe0feeff283df265bbc2","datavalue":{"value":{"amount":"+0.8341614","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":"Q2873622$965A3D51-A76E-4E89-9E6F-69F4D30D58BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a3d24015c768d1a20fa23bf8905e686ae6fca8c","datavalue":{"value":{"entity-type":"item","numeric-id":5259299,"id":"Q5259299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f34fb3817b4d076a3caf15d2381db133f088be1","datavalue":{"value":{"amount":"+0.827191","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":"Q2873622$2E2C32D9-FFA8-47CC-A810-6A4D673AFFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c2027db42d953d28809b10fddd9d27decb6971f","datavalue":{"value":{"entity-type":"item","numeric-id":2901740,"id":"Q2901740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b2278211283da2c66a8bffb5a2a701a7927b23d","datavalue":{"value":{"amount":"+0.8260927","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":"Q2873622$F5686B7E-78BB-4797-B283-B3FF1E11EEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c776e3db67563ad6b118c80adb2deb550f58f0f6","datavalue":{"value":{"entity-type":"item","numeric-id":3000796,"id":"Q3000796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c06dabfdfac6ecfefd2f01553d659cc5d343cab3","datavalue":{"value":{"amount":"+0.8235319","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":"Q2873622$C756A643-30DD-4D7C-A649-6CBD7B0C6070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"781b361e12fb4a3140fcb91c67eb698ffbb1a34a","datavalue":{"value":{"entity-type":"item","numeric-id":3698338,"id":"Q3698338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a8ef651a123446e60b60128f4ca47aa10562dfc","datavalue":{"value":{"amount":"+0.82073665","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":"Q2873622$9B0D3614-6B3A-47A6-B486-B079A60FA7A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f39e384d61616fdbac6dc42ec8e5199a30f1802","datavalue":{"value":{"text":"Invariants for non-hierarchical object structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2873622$8CA6DB2A-FC0D-46DC-8F8C-504967EEBAAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Invariants for non-hierarchical object structures","badges":[]}}}}}