{"entities":{"Q5166662":{"pageid":7196234,"ns":120,"title":"Item:Q5166662","lastrevid":100671824,"modified":"2026-06-05T22:44:32Z","type":"item","id":"Q5166662","labels":{"en":{"language":"en","value":"Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6314091"}},"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":"Q5166662$E4D30898-92FA-45E9-80E7-F606C7ADFDAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5db244bc24fea36bbea529df3755512658b57282","datavalue":{"value":{"text":"Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5166662$2BBFF416-1EC0-43F7-86D7-B9EE44268E2D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a118f1fe6b26e689e035b9731a9baa1f240029f","datavalue":{"value":"1409.68171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166662$B7EDF459-97C5-4786-9328-37A072A28721","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fee90aea3a2ba2f34edc4c08beb3e13960d2f64c","datavalue":{"value":"10.1007/978-3-642-41071-0_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166662$2B344B15-CA70-4A8E-BB48-4186C6D47909","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a068b9147c7234de85f0117b92e2136cba8ddab2","datavalue":{"value":{"entity-type":"item","numeric-id":3067536,"id":"Q3067536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166662$856FE7DE-C972-4CF6-8B3F-7435F0D00329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ca8abe8e001dff717b33c6b5c4459dba8f642bf","datavalue":{"value":{"entity-type":"item","numeric-id":5045382,"id":"Q5045382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166662$AA4830CB-EBF8-4415-BDF6-FA8B0DAC3A7D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166662$ECCAFFF9-4C47-4806-B396-8953819FFC91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1748075602cc84150ddd9b65a546744ead622c47","datavalue":{"value":{"time":"+2014-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5166662$FA4D45E6-A94D-49AD-94F6-4456DA037F92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166662$92018BA6-5CB9-4C90-8EF3-83BD4485564B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166662$F04612D4-D8C2-4628-BEB8-FF6CCD402129","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5330c669ff3fa0d16b4705aa1f45b08b98b61b59","datavalue":{"value":"6314091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166662$771DC2FA-AB27-47F8-AEBB-10A9F91F178E","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":"Q5166662$BE0724AD-5B2E-4D10-9DBA-8FF518D202ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5924b31330db699d8f74a248fdb67762f562dd6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-41071-0_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q5166662$4C8AD30B-7E2F-4F41-B0A9-25C5D409CA31","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4c1dd59dcf086db38d7417f03660da50ec4ef1d","datavalue":{"value":"W2248653679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166662$E125CD28-B035-4D01-8587-809C148F5CD3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"066ed0a158d219ee8f0d5839e1b41e947ad471b8","datavalue":{"value":{"entity-type":"item","numeric-id":1776585,"id":"Q1776585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63634abdc1e94a4280588a46117a4c1b2f1a27c1","datavalue":{"value":{"amount":"+0.876104","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":"Q5166662$F5421C8C-4864-4081-9A36-EC6C941F1702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"babed51588151eca4da090d9aa82a91f54a056d7","datavalue":{"value":{"entity-type":"item","numeric-id":2863858,"id":"Q2863858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc13ebadfe347f08cbe4354b2f4ea9e691a56520","datavalue":{"value":{"amount":"+0.8569319","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":"Q5166662$99F3C152-4FE2-4080-99BE-C449C8D6FA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"027d01452061cd96895758d35e71f90332b94a9a","datavalue":{"value":{"entity-type":"item","numeric-id":4551130,"id":"Q4551130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f486a0959dff41168358ebbf1a93c4097588b333","datavalue":{"value":{"amount":"+0.8518112","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":"Q5166662$7C5CC66A-285C-460F-825E-F6EEDA5072C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d42fd7fd08a842e0eb95ea9deb6868d0cf675d00","datavalue":{"value":{"entity-type":"item","numeric-id":3636811,"id":"Q3636811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70f38d4d4cba7c7595e5990fc15b2f61d3313169","datavalue":{"value":{"amount":"+0.850812","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":"Q5166662$A1F802AA-E84C-48D8-BD15-7F881ADAF704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ace90ae293130901c8792d99ec3c790c8b53ec06","datavalue":{"value":{"entity-type":"item","numeric-id":5394609,"id":"Q5394609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70f38d4d4cba7c7595e5990fc15b2f61d3313169","datavalue":{"value":{"amount":"+0.850812","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":"Q5166662$EA5B254D-0972-4999-BC50-0877C7B182D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking","badges":[]}}}}}