{"entities":{"Q5930825":{"pageid":8107627,"ns":120,"title":"Item:Q5930825","lastrevid":47605666,"modified":"2026-01-02T05:04:30Z","type":"item","id":"Q5930825","labels":{"en":{"language":"en","value":"Specification and verification of distributed systems by means of the elementary-REAL language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1592111"}},"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":"Q5930825$DF2200C9-3CE7-4D8D-A0B9-606F4B89D2D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"37abca700d89713daebff66c35e9539866197e7d","datavalue":{"value":{"text":"Specification and verification of distributed systems by means of the elementary-REAL language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5930825$C63CEA4A-E29C-45F4-9BE2-D28874920AAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d14eb265bbb9c2a0e5475c5f62e3e2469a496a86","datavalue":{"value":"0972.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930825$40AC7024-F88E-44CD-A473-2816F932E593","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29ee6d4e04c183e5bb6b0ff5941f040ab93517df","datavalue":{"value":{"entity-type":"item","numeric-id":174087,"id":"Q174087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930825$F6216BEE-2F24-4766-A354-2F7EADF5AD36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7faac244811fc6c6d2df50f30e2b4abd856eb19","datavalue":{"value":{"entity-type":"item","numeric-id":174088,"id":"Q174088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930825$57AD199D-5641-4A45-81E9-357942246211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01474aecc94ba51657b2dc3be058991b29fbb877","datavalue":{"value":{"entity-type":"item","numeric-id":220094,"id":"Q220094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930825$9B988F2E-30EB-4B3B-871E-A13F732BCA2E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930825$22B20F30-6176-4FBD-99DE-B2F390D87D86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"01025e4e0db5ed45cddb918946199fe4c9ef64ac","datavalue":{"value":{"time":"+2001-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5930825$3C64356B-C0BC-4F53-B017-80EA4DCA8EE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930825$A0217C56-9168-40E6-85CB-9D1B07BC023C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930825$CC13AC9F-6EF9-4341-9978-9A728FE6FC18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b54e83cf1437784a6bff5aeb980de9257fe77b7","datavalue":{"value":"1592111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930825$9B981FD2-8864-421C-B660-0BB19EC026FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"159bed6eac1031151ff0c070959f2e01013de3f1","datavalue":{"value":"elementary-REAL specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930825$B2704B5B-1AE6-4D60-839B-1EE03D87B0BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af4aa2bfb6dcd7942590b81c87a1e66053a66e1c","datavalue":{"value":"structured operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930825$74D5DB12-1C86-4AEA-B711-FFA0B02333CD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4f17b1447ee5f024867a3a83d4a030500b5a88db","datavalue":{"value":{"entity-type":"item","numeric-id":32814,"id":"Q32814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930825$5B224F4E-D6A7-46F7-8927-3639680AD282","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":"Q5930825$9BE018B3-734C-42FA-BDCD-00A2F960EA9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b63fa91f4ddd30cdb9d23bc36023ab3a43a4921","datavalue":{"value":{"entity-type":"item","numeric-id":4499485,"id":"Q4499485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77306b533aae73c96e4a0863699f74a5e397081d","datavalue":{"value":{"amount":"+0.8974961638450623","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":"Q5930825$3353E36D-F6C1-4C23-ADAB-BFFF93D40FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7121f41c1a6dd4fb583d8a3eb208fb36ba2ea6b1","datavalue":{"value":{"entity-type":"item","numeric-id":4840949,"id":"Q4840949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77306b533aae73c96e4a0863699f74a5e397081d","datavalue":{"value":{"amount":"+0.8974961638450623","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":"Q5930825$2DF0225F-5CD2-42D3-9CF2-75482991C494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae43bb0b0c7ca87f3afc8caadde00df8953f20b9","datavalue":{"value":{"entity-type":"item","numeric-id":4737553,"id":"Q4737553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da1a768e68ec6811e0240f37409bfc0fbaebbf24","datavalue":{"value":{"amount":"+0.8530124425888062","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":"Q5930825$ED7E6EF4-DD56-43E9-ACC3-8D20E4677274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92f1b51db0600bbdcf404b304fc3651693085989","datavalue":{"value":{"entity-type":"item","numeric-id":3677155,"id":"Q3677155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"643083acdc2926ee3dd0bb763a3b411146f90239","datavalue":{"value":{"amount":"+0.8027024865150452","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":"Q5930825$A32971F5-A636-4414-AE18-5BDD71647A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b08bde013cf4a00f7bcdfc21c42c0c93358a1ae","datavalue":{"value":{"entity-type":"item","numeric-id":685095,"id":"Q685095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78e508142978723a0dc0c6c8cd892f89822a55f4","datavalue":{"value":{"amount":"+0.7807428240776062","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":"Q5930825$3B5C68BB-AE4A-4312-A7B5-A0B55517C132","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5930825","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5930825"}}}}}