{"entities":{"Q2848480":{"pageid":2859200,"ns":120,"title":"Item:Q2848480","lastrevid":83862089,"modified":"2026-05-07T13:03:49Z","type":"item","id":"Q2848480","labels":{"en":{"language":"en","value":"Towards an independent semantics and verification technology for the HLPSL specification language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211956"}},"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":"Q2848480$EA6E78CC-A20E-470E-AA86-33280A6281D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"589ca3f8097954731cc12112a882bd1476f015cf","datavalue":{"value":"1272.68250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848480$04FCB058-FF0B-46D3-9E0A-5AE70CD2E55C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32d3b3601c7e7b6bbc38fb51cf988b66428601d6","datavalue":{"value":{"entity-type":"item","numeric-id":1664152,"id":"Q1664152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848480$4808EA6C-179E-4426-ABED-8AC0241FEE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd8358f34fdd94323fe17d3e8928b2b07a4e9975","datavalue":{"value":{"entity-type":"item","numeric-id":861697,"id":"Q861697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848480$E1EF0421-0950-4B08-A10B-15EFCCBC5B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"960c7faf3b9ee15079ddbeb2d5d3b32b315230a0","datavalue":{"value":{"entity-type":"item","numeric-id":199007,"id":"Q199007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848480$10413859-664B-4E96-B5D4-D5E420979E92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43e878d8f753446abefa1b1ceb0637b91afae47a","datavalue":{"value":{"time":"+2013-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848480$F22AFAE0-66D7-4C18-A0CF-C5D0D31297FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aaeaa976cd7e5f95aec0c6a2f13350e40e27191d","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105050528","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848480$E0C49E2C-F41F-4709-96E9-6D0136E564DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848480$4DF618E7-54D1-4C9E-856B-FF80B4EF8FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848480$9F91EFBC-34BB-4C6A-94A9-290894813C42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"575cb6016e3bc366c7cd12a2d31dad169fd91db7","datavalue":{"value":"6211956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848480$9A3D64BE-3D07-461A-B3E4-935C2547B30A","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":"Q2848480$960FE4A2-CED3-46D0-9AFA-8F81B9A7002C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35cd7c954f8d425299fdbf140fb40e69f5f3ce3d","datavalue":{"value":{"text":"Towards an independent semantics and verification technology for the HLPSL specification language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848480$A14A6D17-3609-4EE1-9268-A1FAACD7435C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1633d60372e753fb20a4206d034fb146036b62f6","datavalue":{"value":{"entity-type":"item","numeric-id":2767013,"id":"Q2767013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6b2cb26894290642798c47ef98e9e68e2822d4a","datavalue":{"value":{"amount":"+0.7181469798088074","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":"Q2848480$0535B623-AEE5-4F0B-B2F7-BF1E222BE1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4c6095ec7a0d43c14e38a3c860f3105939d4c59","datavalue":{"value":{"entity-type":"item","numeric-id":5491199,"id":"Q5491199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34c37d4d2934ebf430360ff031674b67faba4c4c","datavalue":{"value":{"amount":"+0.7141809463500977","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":"Q2848480$50323419-B59A-47BE-A17C-0CE618005AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc841ec587f73d3d2b1ec6e8835c49b8652acaf3","datavalue":{"value":{"entity-type":"item","numeric-id":3179281,"id":"Q3179281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"398e89823838c8df878aff6e0225129b042409fa","datavalue":{"value":{"amount":"+0.713496744632721","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":"Q2848480$FF1CD5FF-8706-4A03-998F-DC10B0F84FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f71dae6023426b4cc6f554ce0e5bacd83417185","datavalue":{"value":{"entity-type":"item","numeric-id":5738918,"id":"Q5738918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0124b69caee8ee859976ec1a36b164eeddbd259c","datavalue":{"value":{"amount":"+0.7068238854408264","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":"Q2848480$4298F350-BE63-4F6D-B0E5-2F69795C008D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b1901a23da8c4eb01d6992bcd6e29e6403e40ad","datavalue":{"value":{"entity-type":"item","numeric-id":621583,"id":"Q621583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7228dc4786d8ff4c659343786fa0e898c5f7537d","datavalue":{"value":{"amount":"+0.7033234238624573","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":"Q2848480$5E0221D0-C752-497E-A20D-0694C512FF86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards an independent semantics and verification technology for the HLPSL specification language","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_an_independent_semantics_and_verification_technology_for_the_HLPSL_specification_language"}}}}}