{"entities":{"Q5308379":{"pageid":7337953,"ns":120,"title":"Item:Q5308379","lastrevid":50173841,"modified":"2026-01-13T09:07:21Z","type":"item","id":"Q5308379","labels":{"en":{"language":"en","value":"Translation from Adapted UML to Promela for CORBA-Based Applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5196438"}},"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":"Q5308379$696A0BBB-984A-454A-837B-AEBE73C2511D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7075500843479f8b0dec9630e4a10ebb95ce4263","datavalue":{"value":{"text":"Translation from Adapted UML to Promela for CORBA-Based Applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5308379$8D9FAB39-5448-457F-BBBF-BCAA60E65403","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3f250006c0de35e896b936a9c49087acd62cdf7","datavalue":{"value":"1125.68340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308379$52CD3B9E-84CE-4248-AD05-C16C5C79EE9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d6fb2dd32706b026a7118eab87e1a948634877d","datavalue":{"value":"10.1007/978-3-540-24732-6_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308379$5009564F-750F-4648-B1D0-31E637118136","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"522e9e5b50831c9c990a6ebdcfb4c44f217acf10","datavalue":{"value":{"entity-type":"item","numeric-id":2814620,"id":"Q2814620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308379$67093E8C-D87D-4F7B-A945-D8B3574B7A5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0f3bb612485fd64be80be5677ab1cdc0f4709762","datavalue":{"value":{"time":"+2007-09-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":"Q5308379$8BD3717A-97D0-4A96-BF31-1BC5EF177E24","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308379$3DA66FBC-2986-42A5-8340-B06A03133CF6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61a2870496a8de6ea51ed9417151009cb4ef188a","datavalue":{"value":"5196438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308379$B2C58A4A-8AFF-4BF7-8E11-C267082DD9C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a266986521d52f0c874d7186f23cead6c8851853","datavalue":{"value":"Distributed Object Systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5308379$83487256-4D20-4E55-8914-516D04C8DC6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90124f53fd210764dbc620f61188a9bdcd47055f","datavalue":{"value":"Middleware","type":"string"},"datatype":"string"},"type":"statement","id":"Q5308379$8799F8D5-7521-4469-B666-C808BA6F416D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"effa4bd9a68aea2b377bba988c4ca89471fde4f5","datavalue":{"value":"Formal Specification and Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5308379$9B07D31C-1555-4314-8D7B-1B79DF3B1D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d701d4ab2eabb5c877299b967bc01c2e297974b","datavalue":{"value":"Model Checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5308379$175656D5-BA82-4734-ACA9-14A6D623D9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f75b3e5b1f5ce47be185e9116111a6151f0b94e2","datavalue":{"value":"UML","type":"string"},"datatype":"string"},"type":"statement","id":"Q5308379$639D2007-8F7F-4337-893A-15620256ED1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"772c4ee50d131f1a35ff4b31da11ffcdcf02c815","datavalue":{"value":"SPIN","type":"string"},"datatype":"string"},"type":"statement","id":"Q5308379$E46A6329-BF4A-4E55-BB68-D4A322BFE051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb2180632194957b5f4e5dbd72fb4ec9aef3032b","datavalue":{"value":"CORBA","type":"string"},"datatype":"string"},"type":"statement","id":"Q5308379$FE70735A-92B0-4299-BF6C-BE181A1449D8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc47147a404ecf949cf86c4e92d2dcc5a8bfafcc","datavalue":{"value":{"entity-type":"item","numeric-id":19680,"id":"Q19680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308379$D80D2445-C9B7-4555-9890-74E2F8BA16FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"07c77124a102677321b49e780d83d2e468dd9d6a","datavalue":{"value":{"entity-type":"item","numeric-id":19657,"id":"Q19657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308379$A4A882C7-9645-476B-910E-7BC8AF10A475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308379$4AA18305-36E5-433E-9232-1560A33F8D60","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":"Q5308379$9F0117AC-D0C0-4CD5-BE80-4EA482640CFF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7fb5eacb90c7da711494cf89b8ebc12ff7624b42","datavalue":{"value":"https://doi.org/10.1007/978-3-540-24732-6_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q5308379$11520D69-5ECE-4743-B295-C0B4192332F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9b0bd4bd3814269aa2d85ccbb5ac1e9793f54eb","datavalue":{"value":"W1502337223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308379$7AD50215-6E9F-444E-BD15-DD51BEB02A5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f9b7bdad3e42aedd993ead3157a47d325ac6fc2","datavalue":{"value":{"entity-type":"item","numeric-id":4790903,"id":"Q4790903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b235fc904e891b72b7a7087a8614ade80f1096e2","datavalue":{"value":{"amount":"+0.7202739715576172","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":"Q5308379$687F3036-DE19-40BB-B261-7118988D6255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1224ca09ab0dedf29a3ded0f65f366d1febc995","datavalue":{"value":{"entity-type":"item","numeric-id":1578397,"id":"Q1578397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eafa525cb6480e1aef850e718dfe308187ab1273","datavalue":{"value":{"amount":"+0.7198933362960815","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":"Q5308379$B93B0B50-F120-4BFE-8B50-78846E6C00FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc51d32650dde25d860be61ef5eb004870b07c4f","datavalue":{"value":{"entity-type":"item","numeric-id":1856167,"id":"Q1856167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dd04fcad6eb022ee92d29251bdb9126fa32c6af","datavalue":{"value":{"amount":"+0.7117775678634644","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":"Q5308379$027AC044-A510-4681-8608-FAA8FD1DCB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7df083c043fa7e97377420622b5334011d9bd75","datavalue":{"value":{"entity-type":"item","numeric-id":436353,"id":"Q436353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5916a42e6939c76071c36ad04cc1ff82b0838bcb","datavalue":{"value":{"amount":"+0.7108360528945923","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":"Q5308379$EA51AA15-82F6-4FD1-BBC5-7544C2331A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"060762cf4ae2c4a9b8ef3c8c900a78efa872a993","datavalue":{"value":{"entity-type":"item","numeric-id":4422071,"id":"Q4422071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63f3023b71aaf27b0c723875b39d3a5d574add72","datavalue":{"value":{"amount":"+0.701738715171814","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":"Q5308379$853C1E5E-2959-413D-81D4-35E5E5D8E6C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5308379","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5308379"}}}}}