{"entities":{"Q948087":{"pageid":949935,"ns":120,"title":"Item:Q948087","lastrevid":42782282,"modified":"2025-07-11T10:46:13Z","type":"item","id":"Q948087","labels":{"en":{"language":"en","value":"Verification of scope-dependent hierarchical state machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5349805"}},"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":"Q948087$311BF2FF-BDA5-4AB0-8CE3-492E94FF1695","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a761318bd1582812b1a6c7a88ab6731e79dab193","datavalue":{"value":{"text":"Verification of scope-dependent hierarchical state machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q948087$52A2C075-9E87-4D95-969E-18577F7F20D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"72f9fe3f90bd224d0127b970aac3c4e140b5480a","datavalue":{"value":"1147.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q948087$CA4A08C7-D6A2-44B3-845D-1677E0F3D5DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"210df162d37f422d461e406e7314360ac26287bb","datavalue":{"value":{"entity-type":"item","numeric-id":386610,"id":"Q386610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948087$C729353A-E851-4F58-87B5-CF84495D2AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a375d8768160d412502d42bb68a0091e7125c98e","datavalue":{"value":{"entity-type":"item","numeric-id":483303,"id":"Q483303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948087$718E9C6A-0D9C-4383-8142-E35946E7C292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01a18e111e56a04dc2b8d1c99cdf070b4eb02f1f","datavalue":{"value":{"entity-type":"item","numeric-id":515664,"id":"Q515664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948087$23FAF956-5376-41A4-B333-E2A1AAB26AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b91b7e9b71b17972586982d48b569d6d7014de4b","datavalue":{"value":{"entity-type":"item","numeric-id":671528,"id":"Q671528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948087$00B2A049-EBEA-4C07-90B4-A8C2BD659116","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948087$BE777B2D-050F-4191-9AF3-4DA928AEB378","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b09fa46f2b03bdf1f5a12466d7178f56b100279b","datavalue":{"value":{"time":"+2008-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q948087$349A0609-8774-4370-8372-67FDE6A11A3A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7288a50b85a8dbe3e24b3bf5726f801947d7fb5d","datavalue":{"value":"https://eprints.soton.ac.uk/272463/1/sdarticle.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q948087$AA83FCE8-1332-4CA5-9E3C-2758C5053D30","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q948087$41953BE8-1A7E-4B1B-B8DB-6D87C3C5EB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q948087$080BEF4B-05E0-45B1-B1D7-F1B2A565F63F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q948087$3C6B4496-C23C-403B-BADB-F7825F2E99BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed1869111fd02e9412c4292688e0ab29166301ad","datavalue":{"value":"5349805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q948087$55F82B5B-8D58-489F-A843-5479C0795ED6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b659226eb26087651ba92b15ca1de50b587a15d","datavalue":{"value":"hierarchical state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q948087$7DF0B286-422E-4A83-AE51-53778BF7CA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q948087$7062EE42-1835-4B5D-A4ED-4C0F7E9FD2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q948087$4DA3902C-1167-4832-AB3A-30C3FA17EB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q948087$55F86666-7D43-471A-9F75-5EFD23C6D169","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4f55591526bfa06dbd19dfd10ca3b2c9d44db2a","datavalue":{"value":{"entity-type":"item","numeric-id":20924,"id":"Q20924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948087$A87C0A3C-2865-442C-8664-ECCC5EE78C47","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":"Q948087$5E8AF108-3CC6-4D1F-A133-FF5CB0C888A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7252d5cdb1d861a149f86db97b4e2dabce9f2c9","datavalue":{"value":"W2105273466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q948087$3AB93776-8E96-4A75-94A4-9A1764DF4B80","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948087$4989E133-E95C-4662-975B-6433541DB261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ebad44132ec4c31e1fa9fb12b9c3f09ba8733b1","datavalue":{"value":{"entity-type":"item","numeric-id":4835262,"id":"Q4835262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948087$EA602728-B3F5-4B09-ACE7-72979FD3F233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ba326b9b65c0919d7502a55add33f637bf158c7","datavalue":{"value":{"entity-type":"item","numeric-id":4449219,"id":"Q4449219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948087$5E3F6E13-8B89-4BFC-B2DD-D32B46F36629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bec8c5294d60bde7e3fb3bdfb961aec1e8c0bc1b","datavalue":{"value":{"entity-type":"item","numeric-id":2754091,"id":"Q2754091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948087$C1C36AF6-D644-403F-B72B-EDBED4224555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024cd85d530365c4b70f21d464f317f629f13520","datavalue":{"value":{"entity-type":"item","numeric-id":4804906,"id":"Q4804906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948087$7392A91C-0B76-4FE4-9C15-98194CF306B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6196bb057adc2087bd5262ca2bda33f9a480e1","datavalue":{"value":{"entity-type":"item","numeric-id":5308427,"id":"Q5308427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948087$7FDD6562-78C2-4119-9410-F580528E7220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f6efc872c7f5447547700cfab11a618841c28d1","datavalue":{"value":{"entity-type":"item","numeric-id":5311127,"id":"Q5311127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948087$B5022FB3-15C6-4250-8563-BDD2F53DADF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"662f3caa0f02aa52e8d1f98e7fdb7a4cd109decd","datavalue":{"value":{"entity-type":"item","numeric-id":5898632,"id":"Q5898632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948087$FE08F49A-9372-4AE3-8142-12C4FF19F430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b168047417838ba9f72155b82a21e2415699f588","datavalue":{"value":{"entity-type":"item","numeric-id":4417938,"id":"Q4417938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948087$363D203F-52E4-41BE-B00D-7FACF471FEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4afaa1d852f39ae52a99ed708b8dc1172a453b6e","datavalue":{"value":{"entity-type":"item","numeric-id":5900671,"id":"Q5900671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948087$3BBA2FB0-BDD8-4653-B895-5FAB03358EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948087$C5FE18AC-E3D3-4A0E-9203-0A567E677FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fe471308125d65582632b7b24e6589f89c33d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948087$333E0BD5-403C-4E89-9CC7-104C376836ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ee36fea820e4ec41c645157a399b976a6698393","datavalue":{"value":{"entity-type":"item","numeric-id":2753756,"id":"Q2753756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948087$4E9C30AC-5167-4640-BEAC-C7D3F8115990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e6c65b0378ba4e575d0f710131146d59e647cc4","datavalue":{"value":{"entity-type":"item","numeric-id":2733893,"id":"Q2733893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948087$1E68A991-8388-4D24-BB34-C81D83647372","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06ac73364cc6adff1dc2ebe0d6710c94892b837e","datavalue":{"value":"10.1016/J.IC.2008.03.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q948087$C73CEFDB-2B42-47BC-AFFC-4AE65F143DBF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbd691531734922edd8772fce2454931b990fb7a","datavalue":{"value":{"entity-type":"item","numeric-id":4535054,"id":"Q4535054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44d5ca518c0fde4c01cb9b9b4b3f5165bb79b2ea","datavalue":{"value":{"amount":"+0.8965977","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q948087$786B987D-4D06-438E-9FFC-D9FF455D642C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d36c449cff1f733b3683fd827a6228f08eedc7f6","datavalue":{"value":{"entity-type":"item","numeric-id":5305638,"id":"Q5305638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b9c2c900b198fb9f613359878f627d2ee1110f9","datavalue":{"value":{"amount":"+0.8932078","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q948087$5E736B08-F9A5-4223-B601-730C0E51CB76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"747262510cb6b2d1e886a4e3f4a91d7ce069382a","datavalue":{"value":{"entity-type":"item","numeric-id":4818811,"id":"Q4818811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"780ede542cc319f2d5da14e0163f2283c8aaa2ea","datavalue":{"value":{"amount":"+0.88905513","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q948087$BC25954D-4873-4160-8D65-73C44CDD20A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e306a723340fb74827220dcfef50ef91a16eb02b","datavalue":{"value":{"entity-type":"item","numeric-id":4787212,"id":"Q4787212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53a6b730a04cd854110bd32fa31128bd663aa5f0","datavalue":{"value":{"amount":"+0.88860315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q948087$736BFE18-6AD9-41F8-AA99-78B930F45F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deb35bab1f7b404457f1aa4d340b4b909e96591c","datavalue":{"value":{"entity-type":"item","numeric-id":698109,"id":"Q698109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0109cb684ccb8c66ed08467df6ca28ce7dd6049","datavalue":{"value":{"amount":"+0.8848097","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q948087$C3DCBF03-2235-49E5-A618-9C010855A3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7222831c4571623d446b4714075acdbe28a730d9","datavalue":{"value":{"entity-type":"item","numeric-id":4520893,"id":"Q4520893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51d37bd033ec4c2e81ae882e32f98f828a7e8071","datavalue":{"value":{"amount":"+0.8823948","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q948087$D32872B4-CDFF-4FE4-BDA3-12B34704BD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5eca6144a10b557846f357d55bdd6d978dbad52","datavalue":{"value":{"entity-type":"item","numeric-id":4934532,"id":"Q4934532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50afe3a83454a442b74a15b6f434a99c0dbfa7fd","datavalue":{"value":{"amount":"+0.8795339","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q948087$2813F055-2BCA-44A4-80D3-FAB2F00DCA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bd7d632dc5302f703cf71d173281e9eac64e206","datavalue":{"value":{"entity-type":"item","numeric-id":5898632,"id":"Q5898632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc66c3a639d5199dc46f407c5fae359f114a0f59","datavalue":{"value":{"amount":"+0.878242","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q948087$EFEA010A-D334-4AF1-A8C7-2D9DB383F6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"711b766fb14e001b0e6cc47a0074e6bab9dd7178","datavalue":{"value":{"entity-type":"item","numeric-id":944388,"id":"Q944388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc66c3a639d5199dc46f407c5fae359f114a0f59","datavalue":{"value":{"amount":"+0.878242","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q948087$975352D1-F7E3-498F-9CD3-E772DAA8B728","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:948087","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:948087"}}}}}