{"entities":{"Q1184682":{"pageid":1195431,"ns":120,"title":"Item:Q1184682","lastrevid":70932375,"modified":"2026-04-13T18:19:40Z","type":"item","id":"Q1184682","labels":{"en":{"language":"en","value":"Modular structuring of VDM specifications in VVSL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 34885"}},"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":"Q1184682$9A3A74F4-9F7D-4805-BCAE-99AB63144698","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3907c83cdd4af20e5d133b85936484242fe6a11f","datavalue":{"value":{"text":"Modular structuring of VDM specifications in VVSL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1184682$FB029D44-076F-434C-AAEC-2A9EA3C0E449","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97622ea2064cf35d0cd15a1795cbd6224bb09ff7","datavalue":{"value":"0739.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1184682$0D893AB2-17A8-4BC2-91D4-F4349ED77A8A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e40457c4c204befa651ce2619a0b43ad9051181c","datavalue":{"value":"10.1007/BF01214955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1184682$6028083B-3D79-4FD5-B2EE-2C9DD0F9F0C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb33a3073e5d10e801461d02e59acd59cd450c4","datavalue":{"value":{"entity-type":"item","numeric-id":175864,"id":"Q175864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184682$E51AA9DB-9B15-4C16-92E2-CC0E3E94AC4A","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":"Q1184682$73B9D9FE-EA14-4FD4-806C-1354428519B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1184682$8B4844FB-1D2F-49F6-A213-8B29FA80728A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1184682$6A9CDE76-0C0D-4DEE-87E0-9C7EB8B6A879","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e1fc8deea84c9b7685bb97e3774742563d47d9c","datavalue":{"value":"34885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1184682$346054EE-B789-4A04-B67A-E6C9F202852F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f315e2768396f21206dc5f2de7674f9f1eee7655","datavalue":{"value":"formal specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1184682$1D944D8B-AEFD-492C-B294-E53E0AFFD92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30727a76f1ec8af2db22031fb28b37dd205695b6","datavalue":{"value":"model-oriented specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1184682$E41476B0-60FB-4E14-A5D0-331A6399C74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94d05492a0435675532bbf6e3f062cf5f6fe0849","datavalue":{"value":"VDM","type":"string"},"datatype":"string"},"type":"statement","id":"Q1184682$5BC4B0A9-D634-42F9-A5FA-BC7116334483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee2581014812bb3da1515f64b9ed350e43e15f2b","datavalue":{"value":"modular structuring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1184682$195EBB1E-2A7F-448B-A195-45A4DB7E46B5","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":"Q1184682$9C083ADE-5A49-419F-B6F0-1859A692D877","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f474b409a8f3415f67c4fa840940f857e860d83","datavalue":{"value":{"entity-type":"item","numeric-id":790610,"id":"Q790610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184682$0252A264-F097-4D0B-9599-EAAF8B4E81CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13135fa50c92369f5593c5c60b5fb964b14c4c04","datavalue":{"value":{"entity-type":"item","numeric-id":3474270,"id":"Q3474270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184682$A3363D7C-CD4C-48A2-864C-D8396DCBBB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b00c51201f67e59e740260c694a944ba5779880","datavalue":{"value":{"entity-type":"item","numeric-id":5607609,"id":"Q5607609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184682$E46D8279-D90B-4639-94A2-65C55CCCF66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf8e37d2f6e6bad96fa7cda9ee6dd631b5120636","datavalue":{"value":{"entity-type":"item","numeric-id":3912084,"id":"Q3912084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184682$169002E8-2905-4B71-995B-821435D77A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83e646822c7e8f7e68867ade26f59c8b15d8260c","datavalue":{"value":{"entity-type":"item","numeric-id":3707340,"id":"Q3707340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184682$20DF1DC2-6823-409D-ADE2-FC6B710A16AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98e1d68003b0040c15c163e66f3fd9578fb9386","datavalue":{"value":{"entity-type":"item","numeric-id":3997074,"id":"Q3997074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184682$2396D46D-4FF5-4FDF-92E2-F2DDCF099834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca699d9eaadc034c8acba58807d8465fe6e2279","datavalue":{"value":{"entity-type":"item","numeric-id":5332215,"id":"Q5332215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184682$E325EE25-0177-4CCF-A3AE-10A683C4D5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de4e1942e8c9a338a1aa0ea9d4fd1cd681599620","datavalue":{"value":{"entity-type":"item","numeric-id":3486539,"id":"Q3486539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184682$D1352E78-D0FE-43C0-802B-020188F695F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79d973cf473df00708cb35ea3c8db0bc9599d02f","datavalue":{"value":{"entity-type":"item","numeric-id":4114756,"id":"Q4114756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184682$BF43282B-1D95-4CAA-A5D2-482AA0721B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44b7f189eb7f5e56515006b2399dc063811b0064","datavalue":{"value":{"entity-type":"item","numeric-id":1080652,"id":"Q1080652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184682$918AD7E3-D4B0-447A-90CC-2112BD6B6206","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56ad3a56de7b7f09a42fd663452dc95aef4b23a7","datavalue":{"value":"https://doi.org/10.1007/bf01214955","type":"string"},"datatype":"url"},"type":"statement","id":"Q1184682$7A4B79D1-E07E-4D5A-8564-1A20C2E22888","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5de73baa77bb46a5b4b0bb14463241ccd11e58e0","datavalue":{"value":"W2016222407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1184682$776BCD25-F9FD-464F-9333-4639E5C21213","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a70454b5d3a5077a403dd66af7b047b90740b2a","datavalue":{"value":{"entity-type":"item","numeric-id":1650328,"id":"Q1650328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"481a4092206383fedd7c378510b1cf3ae624de9b","datavalue":{"value":{"amount":"+0.8544056","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":"Q1184682$4780B588-AABE-4D9F-AA62-CD5CBFBDDD49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75543296bfed10b506b714684966d76d490aa835","datavalue":{"value":{"entity-type":"item","numeric-id":4373486,"id":"Q4373486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32dc7ee5620031d4870467162fb765c2aacd4a23","datavalue":{"value":{"amount":"+0.8403071","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":"Q1184682$62A263F0-9B9A-4513-9906-5AD8490653FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46a6c22db74abf6b1a0da35848161fb1d6ce45c0","datavalue":{"value":{"entity-type":"item","numeric-id":5044736,"id":"Q5044736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81b876dd49a71db10340871418110235bea02574","datavalue":{"value":{"amount":"+0.8339056","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":"Q1184682$24000015-8AED-4F83-9930-19A56A30E839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46e1e660d48e3c15afaa157aa5561c3f6c49a292","datavalue":{"value":{"entity-type":"item","numeric-id":3347268,"id":"Q3347268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec13b837a117e910389bc67566085b3b23bc63b7","datavalue":{"value":{"amount":"+0.8196492","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":"Q1184682$0D708BBA-E0D0-4676-A97E-1829679FA484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"567e2fb9298a21f9e87e8eb4068d16df463ca6c0","datavalue":{"value":{"entity-type":"item","numeric-id":3591389,"id":"Q3591389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"689c8d043d24a965d84b43af83387b0ee26b5a35","datavalue":{"value":{"amount":"+0.81799555","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":"Q1184682$614D8B35-0559-47CB-B97E-CE8E89979F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2a792671d532c04f8515e711fd2637e949af1ca","datavalue":{"value":{"entity-type":"item","numeric-id":3028331,"id":"Q3028331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"497f35f57e369b5162927fe82a603d4dbe68ef60","datavalue":{"value":{"amount":"+0.8149825","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":"Q1184682$413C2695-5FCC-4CEA-9808-015E98404136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbb1f70aea9a96e346199b6503393f9d2ad91ab0","datavalue":{"value":{"entity-type":"item","numeric-id":4028355,"id":"Q4028355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9171a2741881cab8c78d85754a6f1345964aeea3","datavalue":{"value":{"amount":"+0.81045824","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":"Q1184682$9BDB638B-5F9C-4CF6-A53A-05405253A962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e9944e901d18d4a672c6246be80ef02f9f3cfbd","datavalue":{"value":{"entity-type":"item","numeric-id":2744196,"id":"Q2744196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a68b32edce1ab8c56150b547cab54179331f659d","datavalue":{"value":{"amount":"+0.80550265","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":"Q1184682$2DC9C205-E4F1-4F99-BFF3-663F9D5E0015","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modular structuring of VDM specifications in VVSL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modular_structuring_of_VDM_specifications_in_VVSL"}}}}}