{"entities":{"Q2709232":{"pageid":2719971,"ns":120,"title":"Item:Q2709232","lastrevid":47596279,"modified":"2026-01-02T04:26:43Z","type":"item","id":"Q2709232","labels":{"en":{"language":"en","value":"An outline of PVS semantics for UML statecharts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1585305"}},"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":"Q2709232$BC70EF6F-D464-445C-B035-C7FAF9BF9C84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b660a225116c60112c961ce707d4ca4f8754868","datavalue":{"value":"0963.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709232$5B25DEF2-F320-4832-8E3C-C7B9D7427C21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3e52461aaa6aeb15676583787459db23ced9554","datavalue":{"value":{"entity-type":"item","numeric-id":494029,"id":"Q494029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709232$4B44ABD5-9ECF-4673-83F1-2F1FE0F2E076","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fae3664154dc61222a1003dc28228b6754c9eec5","datavalue":{"value":{"time":"+2001-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2709232$33196CC8-B4EF-47A3-A6CE-E796939B41C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709232$5C306BDC-4520-4180-837D-9D6A74CC6DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709232$A71E8BD5-70FB-4CDB-AA49-F59C3E8AD1E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb515008c1b8333a6bbfae8cb348b876f3267f37","datavalue":{"value":"1585305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709232$CD68ACB1-E183-46BF-B586-5C79F7E78E8B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2f8ad3f40cf438b3ececc1ec0a4392d83cf5f0d","datavalue":{"value":"statechart diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709232$00B31819-32A4-4D40-8DD0-07F95A952DC4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709232$8A706D6C-8B9D-4440-BF8C-7FCD93952FAF","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":"Q2709232$15BA849D-1BBF-43D5-8C56-1CC131F3C718","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":"Q2709232$3FD0723F-4247-432D-91BF-7E56B99022E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca715578adde9fb46a8aa198b3be66c196919f70","datavalue":{"value":{"text":"An outline of PVS semantics for UML statecharts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2709232$82310873-8AFF-440C-9F15-1C2D706AF411","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c6d23f5e6d6bf1cc5470572ba2ca753041c02a4","datavalue":{"value":{"entity-type":"item","numeric-id":6768184,"id":"Q6768184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709232$8FAC0590-BD17-4285-8523-5F8267C4BE76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d68cc0e1dd25fde533ef5a36b3c5119a4a5a3075","datavalue":{"value":{"entity-type":"item","numeric-id":4438797,"id":"Q4438797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8789a0c8cb734215f71c16d2096267221cffc9b3","datavalue":{"value":{"amount":"+0.8586113452911377","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":"Q2709232$140521A4-8B82-4708-A5A0-45ED66C66052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f65fa881f324653632221acdc28efb6628307f53","datavalue":{"value":{"entity-type":"item","numeric-id":4435883,"id":"Q4435883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d48f4c8dd3ad73e9edea934d756b6e416f14dd30","datavalue":{"value":{"amount":"+0.8545485138893127","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":"Q2709232$D80DA827-AB90-4FAA-853C-477AD004CAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59b3736f6b16d01ad8a8f8a99ce9158e97c684fa","datavalue":{"value":{"entity-type":"item","numeric-id":4251114,"id":"Q4251114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b30f3f2a837869ac6d4201412269f11c04dc39c","datavalue":{"value":{"amount":"+0.8412694334983826","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":"Q2709232$E08CDE78-F197-422D-8E0C-D5C75221FC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8c5937a3bd00fcf770c5022fb94d96bd1087bda","datavalue":{"value":{"entity-type":"item","numeric-id":4762649,"id":"Q4762649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cf83751ad80b0307b19f280b05ab99feaca0da3","datavalue":{"value":{"amount":"+0.8175855278968811","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":"Q2709232$654649B8-F64E-4D97-B9D1-5DD67DDAE98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7b0a5426e86c17c482dbbd0aa569e1f06ddf86b","datavalue":{"value":{"entity-type":"item","numeric-id":1858428,"id":"Q1858428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4a3652e6a99591f43ace5ae9e3dd5606604e1e5","datavalue":{"value":{"amount":"+0.8075124621391296","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":"Q2709232$9C6C0289-C113-4825-A7D3-80360DBC1463","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2709232","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2709232"}}}}}