{"entities":{"Q4783352":{"pageid":6812932,"ns":120,"title":"Item:Q4783352","lastrevid":40782808,"modified":"2025-04-04T16:31:06Z","type":"item","id":"Q4783352","labels":{"en":{"language":"en","value":"Formal software development in the Verification Support Environment (VSE)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1841869"}},"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":"Q4783352$A7C7ABDA-8F6B-40D6-9EE6-ABD74EC34F4F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94572eeda70b8e7300feedf0a13ce1ce9144f448","datavalue":{"value":{"text":"Formal software development in the Verification Support Environment (VSE)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4783352$EDEA60C3-76A3-419C-AF87-AFAEC30B4BA4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07528e5043f215ae420b5f0c0553b65f679a2d26","datavalue":{"value":"1010.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4783352$9D2A9B4B-856D-498B-BC30-4945548320DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07a547214a5c09539375cb2099d7720319e5c101","datavalue":{"value":"10.1080/095281300454784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4783352$18543049-2F79-4E8A-82C5-FE6AAFF27C50","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33ac163ba39953163eeb2acbe3fa2aeac41d812f","datavalue":{"value":{"entity-type":"item","numeric-id":1367076,"id":"Q1367076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783352$BCC4962F-CBC2-4011-B7E5-661BD096CC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b798d8810c162ba005a509dfe3919670651ec364","datavalue":{"value":{"entity-type":"item","numeric-id":1856146,"id":"Q1856146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783352$3C095D80-58EF-45EB-ABDF-E44BE85715A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8d3cec040dfa66c80e7ad54c91ebb9e8f2031a8","datavalue":{"value":{"entity-type":"item","numeric-id":1856147,"id":"Q1856147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783352$A37DD91E-B3C4-45FC-A732-AC63516382B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15e486d32bb4e02e637c42fa3bc0f8812e77532d","datavalue":{"value":{"entity-type":"item","numeric-id":1856149,"id":"Q1856149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783352$42CFD28C-3600-48FA-A4FA-B8B34096BFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2422a0b62e3707bb3240434019be862d55c00f2","datavalue":{"value":{"entity-type":"item","numeric-id":1856150,"id":"Q1856150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783352$34966C39-C30D-4994-AFE0-CC2A14F6A33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bab389976986f970f2e5f82d3fb7533f611db58","datavalue":{"value":{"entity-type":"item","numeric-id":1124374,"id":"Q1124374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783352$DD718903-81FA-4A16-9B60-1EA9611143B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f369be2a98f7de29483ebe04fe99df00611c8593","datavalue":{"value":{"entity-type":"item","numeric-id":3065448,"id":"Q3065448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783352$CCF12CE8-DC74-4B1C-AE64-49BAA267AD05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6cf73c80cb926fe51132043358b392232a3f30b","datavalue":{"value":{"time":"+2002-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4783352$7615936D-C300-4625-BFFF-9BBB6E5B0A09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4783352$DFC8F156-B9DF-44F4-A35C-7B6DA5FE08CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4783352$DA3064A6-B012-41BF-A7DA-108E2961BEA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a695ee97750d8642649f4a90470f05570c0b211d","datavalue":{"value":"1841869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4783352$123EB10B-2DF0-4CA2-A9E4-E4CD9545D785","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fe44db663920a36a0aa437bf297d81df38d744d","datavalue":{"value":"VSE system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4783352$925B79BE-8BE4-41A1-BB45-263CFD7BC7F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0eef64b0891d945ab16a75bb9a80680f93c0d38","datavalue":{"value":"IT-security","type":"string"},"datatype":"string"},"type":"statement","id":"Q4783352$5522B844-EBAC-4B93-83B4-0B725A18A364","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783352$D5ADC97B-7DB1-4683-A0DB-3AC7A3921271","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":"Q4783352$7905E7A2-BAFE-4A9A-B759-64FB4A1F7E68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"25cdd2c3fdda5faaf3a2917413c948a3be7287d9","datavalue":{"value":"https://doi.org/10.1080/095281300454784","type":"string"},"datatype":"url"},"type":"statement","id":"Q4783352$B6B0D8F9-314C-4BCF-9E1A-71DC49ACEF68","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"956fb1cb71d988c81c5d66b15751da6c0c34f34f","datavalue":{"value":"W2768282859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4783352$A9C59272-885E-40F1-BF6E-A40BD46EFE69","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8200cabecba50f66fe66e260fb6e27f2873be1","datavalue":{"value":{"entity-type":"item","numeric-id":4255593,"id":"Q4255593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783352$259977E6-DB95-4C76-AD04-3C366C7C62D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783352$BE9E894C-FF85-458F-938B-050DF7050453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"413db7e9e3486e14d698141c457596a3a928e6f7","datavalue":{"value":{"entity-type":"item","numeric-id":1367077,"id":"Q1367077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783352$D5477C6E-906B-458A-A616-41C7A82DF79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"900646608403b129f963b49e796f1cf6baabdef8","datavalue":{"value":{"entity-type":"item","numeric-id":3730006,"id":"Q3730006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783352$855E34B2-AF54-4DEB-9448-9DEF30A2F42A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783352$C467ACB8-45A1-4B04-BE66-31C26E96D2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2c73ea523922ddf10917d5a60c3c9e9df84e94","datavalue":{"value":{"entity-type":"item","numeric-id":3995087,"id":"Q3995087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783352$3B141B67-68AD-46E7-B413-267A0E97961E","rank":"normal"}],"P1643":[{"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":"e1a1d4cbcccd33c9f7ff5ae283064ff30e582134","datavalue":{"value":{"amount":"+0.8778355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4783352$0FEA6451-E8CF-4C05-A311-2BBCA5A2FA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3961aa2b93132e43ce471f4012f819708f017c33","datavalue":{"value":{"entity-type":"item","numeric-id":3184630,"id":"Q3184630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aa03d34c029961451774b4bccbc939c229212c1","datavalue":{"value":{"amount":"+0.87494266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4783352$3621DB3F-490B-4203-806B-E23D526664C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07565b01232e9bbd5ccd9499c1558b7e94528976","datavalue":{"value":{"entity-type":"item","numeric-id":5942699,"id":"Q5942699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9be2795b4c05b1ea255d6f6d401760df2e447c97","datavalue":{"value":{"amount":"+0.8716122","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4783352$F2E0FA86-A37D-400D-8D45-095C9E934053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e98c0cf16d93e881034e641560c291962e001c1e","datavalue":{"value":{"entity-type":"item","numeric-id":5133670,"id":"Q5133670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09ded17b0a0183cd61228ee5099e56af5744a956","datavalue":{"value":{"amount":"+0.86468375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4783352$7B5F47AD-F2C6-4243-B8BB-2FA3B52A4C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fef9d572cc09e44721e4b065ff6383ff7a0c71be","datavalue":{"value":{"entity-type":"item","numeric-id":5398045,"id":"Q5398045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6362ce478bd3b476e1de353edac1beb1c599622","datavalue":{"value":{"amount":"+0.86431503","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4783352$E6419453-5DCA-4196-8236-F78976EC4F67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4783352","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4783352"}}}}}