{"entities":{"Q2655328":{"pageid":2666071,"ns":120,"title":"Item:Q2655328","lastrevid":79303541,"modified":"2026-05-06T13:36:40Z","type":"item","id":"Q2655328","labels":{"en":{"language":"en","value":"Faster and more complete extended static checking for the Java modeling language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5662159"}},"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":"Q2655328$3ACBBA41-43C4-4E6C-91EC-74B6F59AD198","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25c3b6e7602036dffe1b3dabcafcdc8b7dea7ae5","datavalue":{"value":{"text":"Faster and more complete extended static checking for the Java modeling language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2655328$8568479C-01EC-4EF2-A005-ACFE978BEB7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3cc0d1ce9a52c6d8f0536bcdcc5e2b2c5103b712","datavalue":{"value":"1185.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655328$42D193D7-5B9D-4AEB-81E5-2466B78D4042","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e932202d9c20cf0417832055acfc970ed243cd1","datavalue":{"value":{"entity-type":"item","numeric-id":1125423,"id":"Q1125423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655328$149A582B-FC7D-4A65-82D4-B64B0253BB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ee6411ce4bd3219a9113a457525b8b6f12c8828","datavalue":{"value":{"entity-type":"item","numeric-id":539425,"id":"Q539425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655328$B972A1AF-EA70-4B92-94BA-9C074261BF90","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655328$E20AD134-EE72-4CDC-BBD2-D8E21B12E474","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eeda675146eaac960e312504b1b7dd784f800a08","datavalue":{"value":{"time":"+2010-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2655328$191A537A-FD4E-456B-9B2E-D4E5C43D7230","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655328$6087D4B4-F5BC-48E2-B0AA-2E5890DB749E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655328$CD7062F6-7F7C-4C0C-BD40-DFE45E99FC1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655328$001432FD-A686-40A8-B233-7E691894EBED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"944bb7fe80599cb14eb73ac8d947256585a3d4dd","datavalue":{"value":"5662159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655328$566BDDE9-F127-4EBF-B3A8-92A7631BB964","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c1e5c6980a08e64c4ed5305f7e345430202aff6","datavalue":{"value":"extended static checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655328$BD41B0E2-FDF5-418D-A3B2-8D8D610279D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"429b1bb2880597c2344753195d527743940fb5f0","datavalue":{"value":"static verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655328$3AD2B249-3156-47B6-85D4-2830EDEC7E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b36661f0a3390102be2be05796702400601b738","datavalue":{"value":"theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655328$131FE0D9-13D7-4915-9278-0475653276B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"caf3f96a73cb87ba2ba776234ef75680a22da794","datavalue":{"value":"Java Modeling Language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655328$F596E29A-2726-497D-982C-F5CB767F429D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20e6d1c3153b1880bc2f8f5a29480723d865f82f","datavalue":{"value":"JML4","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655328$5F05F02F-53DF-49C9-B5E2-FB0815446DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82de77e363d4af80523da47c38743bacd03ac1e","datavalue":{"value":"ESC","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655328$774A8AC2-9B85-4035-879C-E4CB35EBBDB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8aa42959da321ee5399acb2cb91fef6bff5e639","datavalue":{"value":"ESC4","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655328$41791EBB-C79D-4372-B9A0-5B25ECBA870C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"43f7c4ee5068daf82f8bffbb0f7510a5f16faf63","datavalue":{"value":{"entity-type":"item","numeric-id":16615,"id":"Q16615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655328$13D3219E-DE9A-4849-80D5-6A200AC4B393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4c394b74049cbdb0cef88807aac9fa3513bba728","datavalue":{"value":{"entity-type":"item","numeric-id":13169,"id":"Q13169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655328$77D94C5E-D4C5-4AAF-9B1D-C78190F41D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655328$462E3FCC-77EF-4E63-A52C-97EC6F5C8227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"76d0315ff8efaf904b9f5dfdcf6d3b5c152eabf4","datavalue":{"value":{"entity-type":"item","numeric-id":16771,"id":"Q16771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655328$6BAC0019-AC13-4E0B-9766-9A3D174895CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39c685be9cb10e16321481dcdd181c55db1bcc68","datavalue":{"value":{"entity-type":"item","numeric-id":16773,"id":"Q16773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655328$F5D32782-D7EF-4DAA-A8AD-731CC764F170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fef5f048f2ff970244195639e7bcf4e64ea5e666","datavalue":{"value":{"entity-type":"item","numeric-id":16795,"id":"Q16795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655328$E483061F-618F-4C5D-A821-47BEDB65541A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d560ad72fd288969b6a46f8ac77d54f6d297bf97","datavalue":{"value":{"entity-type":"item","numeric-id":16796,"id":"Q16796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655328$E1E83D01-F914-46F4-8D79-0237B09D79A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655328$B6CA32FF-C052-4011-8E65-E8C3FCE8D506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655328$5378A53B-A5D8-4B2E-9E6E-614589F2BB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655328$41A42FA7-36AC-454C-AFAF-9A2AB6335AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86bf5cc71543d37d3d4e0d2b65764ff2a2ea238d","datavalue":{"value":{"entity-type":"item","numeric-id":19894,"id":"Q19894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655328$80ECBA62-66D8-4609-A150-FCF5729A2E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655328$E8E7427F-1100-4D96-B9FC-FDB368548395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655328$05ABAE52-785E-4D6A-B5A5-61E5D72807C9","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":"Q2655328$E6DBC644-142F-48E7-A336-AA838CBD5752","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bdc8ee15249a4877ce27e143cd580ecf5710537f","datavalue":{"value":"https://doi.org/10.1007/s10817-009-9134-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2655328$A671A2C1-D4F4-4E4E-9040-B6FBD4DE0199","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb6929478c1f184f70bfe2d148e27caa59bdf6bd","datavalue":{"value":"W2015771391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655328$CF18C599-CDFE-4153-80D9-5A81BF2750ED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655328$9B618A54-9799-4714-B8BF-B9820ECB81C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a57392cedf08572cc7b90a744e8902b6df3703a3","datavalue":{"value":{"entity-type":"item","numeric-id":4692993,"id":"Q4692993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655328$3CCA3AB1-576A-4558-89B5-0BB9B3EE3A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd21cfa4660583e538baf1b412d409c55765821","datavalue":{"value":{"entity-type":"item","numeric-id":5178883,"id":"Q5178883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655328$ABF526E5-4AEA-4B20-8BE7-22C414335A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655328$950473D3-CBB2-47F0-89C6-29ACB4ADE303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"716d170b6d9b095492bf0c2b742ee0dbade5bbe0","datavalue":{"value":{"entity-type":"item","numeric-id":3523178,"id":"Q3523178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655328$9E653793-4CE5-487E-B915-C00DFA3783A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b6023aa89253bff82e01277400127991ae28741","datavalue":{"value":{"entity-type":"item","numeric-id":3543656,"id":"Q3543656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655328$8BF4E3DA-D8C9-4E30-B0D6-8A8CB14FBA02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"363a0c646b6ad179028e76a3b0729fa3e76f11c6","datavalue":{"value":"10.1007/S10817-009-9134-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655328$7654B636-98AA-43C5-B632-93ACFB50AEE1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d4e851152253324bc48471a7c8f2284346ad6af","datavalue":{"value":{"entity-type":"item","numeric-id":2767989,"id":"Q2767989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cccd28b4ef0ca1cacfff3c6e9a1a83c9412bc497","datavalue":{"value":{"amount":"+0.8198947310447693","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":"Q2655328$83B80161-FA53-424B-B75F-C90481B3454F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b7ae1f2b87261fe20389617d2950e3654e6da0d","datavalue":{"value":{"entity-type":"item","numeric-id":4484331,"id":"Q4484331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cccd28b4ef0ca1cacfff3c6e9a1a83c9412bc497","datavalue":{"value":{"amount":"+0.8198947310447693","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":"Q2655328$D99E647A-A98F-4BAA-AA8F-E89E925CEE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21d68dd15cfc5763c3a52fee462ddaa9a0a07ec0","datavalue":{"value":{"entity-type":"item","numeric-id":5313084,"id":"Q5313084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d2867f401f04b1f3946739e04f736bcafc661a6","datavalue":{"value":{"amount":"+0.783727765083313","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":"Q2655328$A4F560FD-8E17-4568-96E6-FDE4F63285F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dc7ba01dd0cea9048b91b9c2ebf54e3e3eaae76","datavalue":{"value":{"entity-type":"item","numeric-id":4778702,"id":"Q4778702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b7c2740da3c0e97f59e0ce82db7aface845047e","datavalue":{"value":{"amount":"+0.7709805369377136","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":"Q2655328$B478B407-1DBA-4456-BAB2-01D039E87419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c33c5459aee600cf4d4743005ca61ff60fbdcc2","datavalue":{"value":{"entity-type":"item","numeric-id":1405996,"id":"Q1405996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a67d08f93c1adf50908fc7765a962eed502146c","datavalue":{"value":{"amount":"+0.7227299213409424","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":"Q2655328$F15C49C4-72A4-43D2-BB56-24E0F5E58D7D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Faster and more complete extended static checking for the Java modeling language","badges":[]}}}}}