{"entities":{"Q698109":{"pageid":699958,"ns":120,"title":"Item:Q698109","lastrevid":63602997,"modified":"2026-04-11T14:16:49Z","type":"item","id":"Q698109","labels":{"en":{"language":"en","value":"Verification of hierarchical state/Event systems using reusability and compositionality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1802400"}},"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":"Q698109$3B19D0AB-62CD-47A0-A54C-0C9EBEBCE084","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9427f9a0b2eb0e6b9e8627918cc44ef63d46c788","datavalue":{"value":{"text":"Verification of hierarchical state/Event systems using reusability and compositionality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q698109$47390BF4-DDBA-4F36-9929-133D7EE27B78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ffdb2880eb089adedfcc44aecbf755aaef5c1470","datavalue":{"value":"1019.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698109$0335CB1A-55DD-4199-A362-F0B46BA60066","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"812fc14f646fe3a1b02e8d4fe375f5c3d889c435","datavalue":{"value":"10.1023/A:1016095519611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698109$2D683800-591E-4105-ADE8-3699EA43CA53","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698109$D6CDF29F-19B4-4E50-B456-54A64C7190E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2b7d40e35d39a6c5a15c7832f15c6b676b96fd9b","datavalue":{"value":{"time":"+2002-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q698109$CD002BF3-A703-44F1-98E8-81805A6F3F82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698109$34649C18-607A-4CDB-A693-FECA7EB89374","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b6bdf3e6333bab08f712dedfad36005fb4755e7","datavalue":{"value":"1802400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698109$95320016-2A8E-4A30-AD6D-76006A0FA837","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q698109$F97BC70D-E092-475F-8642-C7F36EA74460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b65c9c6169d9b1e7575b65fd1f0a942ad6e6ab5","datavalue":{"value":"hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q698109$C9652D61-0DE9-4235-B4AA-CA58AD631615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28345e0757aced40b24103ec39b8b24aaaf84fea","datavalue":{"value":"state charts","type":"string"},"datatype":"string"},"type":"statement","id":"Q698109$8BBF3655-0F77-4249-BDB1-74886E7E45C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q698109$DCE54715-2C3D-4F12-8162-9C08D8E8FADA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"88e5bc3b7d845235ddc147465f5a930a5a657b3c","datavalue":{"value":{"entity-type":"item","numeric-id":169905,"id":"Q169905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698109$2D33CB63-FC57-4F2B-9C19-FDEC5FA46528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698109$4014A940-9953-41D5-BF63-D5D8C6EE79EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc14b91f3ea67d454f18e791d265c69e1964e48c","datavalue":{"value":{"entity-type":"item","numeric-id":169903,"id":"Q169903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698109$E61CEBB7-4807-49D5-9A70-AA279D2B6C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3fa532253900a57da3ff2d892d85f39b33869ab4","datavalue":{"value":{"entity-type":"item","numeric-id":169904,"id":"Q169904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698109$84478318-4644-4FC9-AF7E-4F5DF0D0029B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90fd3ed72868b07086b20ddddaea4e9737005fec","datavalue":{"value":{"entity-type":"item","numeric-id":169902,"id":"Q169902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698109$47066273-12E1-4CD6-97D6-641401389CD7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7b485674cbc9dfc3b336d20e17ae381ad90accd9","datavalue":{"value":{"entity-type":"item","numeric-id":19511,"id":"Q19511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698109$DC441E56-A64E-4FB5-BC82-DA194C83D9D2","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":"Q698109$DB917A23-4B85-4FBD-9E42-BEC9BD20D4EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e49eaa88ca58510812a9e6c1808bb7e1ce9cffb","datavalue":{"value":"https://doi.org/10.1023/a:1016095519611","type":"string"},"datatype":"url"},"type":"statement","id":"Q698109$AD36EF43-B788-4364-8505-8B7114010750","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08695430112297d45542398879fd322dddf928eb","datavalue":{"value":"W1665427831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698109$2732D402-A835-408B-BB72-2731CDF97FFE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4173f84365ce344d5a090a74705bb1387bab809","datavalue":{"value":{"entity-type":"item","numeric-id":3656876,"id":"Q3656876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"619d04196c9ac37791bd667def589f8d562ffefc","datavalue":{"value":{"amount":"+0.7307655215263367","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":"Q698109$92357F21-0C55-4F21-8D77-582E0A37A825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca1743c1fbb2ea51ec2415c7953ec6e6751f6821","datavalue":{"value":{"entity-type":"item","numeric-id":2754091,"id":"Q2754091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28b5689ef59446d97f4183d4279d446fa4214386","datavalue":{"value":{"amount":"+0.7300453186035156","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":"Q698109$1286C683-209E-4ABA-ADB7-B56C5C0A4831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be1be5a6180e121e914a711dfc54aedbb9e253b","datavalue":{"value":{"entity-type":"item","numeric-id":418123,"id":"Q418123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b1df02b5dc7ab4f576c2cca4c89a78dcc34062a","datavalue":{"value":{"amount":"+0.7297669053077698","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":"Q698109$BD965DE4-5DE8-4449-BC67-6A1BC8EAF00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e7052dc79a4364dcdc1d8f28646e03c568faa29","datavalue":{"value":{"entity-type":"item","numeric-id":948087,"id":"Q948087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cb0cf86a15f7566056d2cd21f95aec4f4a6c9d2","datavalue":{"value":{"amount":"+0.7289092540740967","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":"Q698109$372FE873-D559-45A2-BA3B-2700B4DFCABD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of hierarchical state/Event systems using reusability and compositionality","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_hierarchical_state/Event_systems_using_reusability_and_compositionality"}}}}}