{"entities":{"Q6567700":{"pageid":14178855,"ns":120,"title":"Item:Q6567700","lastrevid":55703302,"modified":"2026-02-17T21:20:05Z","type":"item","id":"Q6567700","labels":{"en":{"language":"en","value":"Translating specifications in VDM-SL to PVS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7876649"}},"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":"Q6567700$67836BF1-FB8F-4472-A7FE-EBEEE4FDCE80","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b90c3639ac98561e23158ff23e56bc9afe9fea96","datavalue":{"value":{"text":"Translating specifications in VDM-SL to PVS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6567700$0E0DBB06-9536-4C66-BCCA-7451A9658CF4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8ab40551a921b0de00f6b21c514517d69f46fcc","datavalue":{"value":"1543.68187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567700$444EA323-B3CB-48E6-9571-4F1DAD4E48F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f883de37ec81ed28035a51bb528e53b47cb8674c","datavalue":{"value":{"entity-type":"item","numeric-id":1125436,"id":"Q1125436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567700$0093A0CD-0A31-4D9A-A3AC-0F78C8A1BC14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df053448a65992a80a8bb9dc3531ec74f75059c3","datavalue":{"value":{"time":"+2024-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6567700$B348FE24-C15F-4B77-9E8C-07DD80321566","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567700$172FF2DB-4CEC-4F18-83D7-9A77F1EFB0F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567700$087D3E3A-FFFB-4D94-8E2C-290D64E3A3F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b8758f2719e6429ed576f3ffc7cf50b9e1452fd","datavalue":{"value":"7876649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567700$ED589C1A-61A5-4D10-9B64-5A2504330351","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":"Q6567700$BFA53F3B-207E-4336-A0F4-8E2F954BDAF8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"842185ee810e891a84aa7366eeec94e364ed8d6f","datavalue":{"value":{"entity-type":"item","numeric-id":4296956,"id":"Q4296956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567700$6D16856E-50C8-44DD-9D5A-2BD49EEB7FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93d3cdc3a8fe04ab8be0b2e3c980c5c222510afd","datavalue":{"value":{"entity-type":"item","numeric-id":3024867,"id":"Q3024867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567700$D7FC9648-EDEF-496E-9706-0B87DF3CDDD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567700$268B1558-98A1-426C-AD38-3E95B3F953CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567700$0AF69A65-534C-4037-B9A9-8A52922797B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"774656ba9070792eb730a3a91ef7ee610f2c1547","datavalue":{"value":"10.1007/BFB0105393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567700$FA5BA748-EA90-4F1E-B6D9-91383B57AF58","rank":"normal"}],"P1643":[{"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":"d988ea2ea3884c1ce64a1f8a40754c4ff9f30e3b","datavalue":{"value":{"amount":"+0.7434618473052979","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":"Q6567700$3360212D-B4B1-4B26-BFBB-22950D00EC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"742df09458d658ee0759f7fe5f890644f872a27b","datavalue":{"value":{"entity-type":"item","numeric-id":2864361,"id":"Q2864361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b399a8d59a8cf627a0a8aae6c19e19472f6c544","datavalue":{"value":{"amount":"+0.7283283472061157","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":"Q6567700$19AD7973-1D3E-4B6B-91E5-7D4B45B550BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"581279f0ad28c0c70fc3a2b9c99423c9730c6526","datavalue":{"value":{"entity-type":"item","numeric-id":4296956,"id":"Q4296956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eba2cd5a01eb5b00882c974f14e0302f9eae50f6","datavalue":{"value":{"amount":"+0.7234034538269043","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":"Q6567700$B95808E5-AAB7-4261-BC77-AA6C7FFE7DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52f9880d4c3693e3b4e9d847eb59f66ec1480347","datavalue":{"value":{"entity-type":"item","numeric-id":4472192,"id":"Q4472192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c04cd7940fd0726abdff913afef27636ddb5f49","datavalue":{"value":{"amount":"+0.7196769118309021","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":"Q6567700$DCFAA995-2F03-4666-9581-7F7D9391591A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59267f35c650dafe313c4eaee81b2b550188f4c2","datavalue":{"value":{"entity-type":"item","numeric-id":4312477,"id":"Q4312477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bba6120ef82566be1663cf0845f379ffdb75b9fa","datavalue":{"value":{"amount":"+0.7181310057640076","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":"Q6567700$F902D68B-DD00-4A94-A8CB-18919AB8151B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6567700","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6567700"}}}}}