{"entities":{"Q418123":{"pageid":419890,"ns":120,"title":"Item:Q418123","lastrevid":61693392,"modified":"2026-04-11T01:01:08Z","type":"item","id":"Q418123","labels":{"en":{"language":"en","value":"Improved model checking of hierarchical systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6038287"}},"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":"Q418123$BBFADA36-DE97-4CD6-8B5E-0B8A0FFEE6A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c2dddf8cb1977d77c75f9a67c7d206924cf86f8","datavalue":{"value":{"text":"Improved model checking of hierarchical systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q418123$2EF239A3-794D-43E8-8CFD-0828569ECE79","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b148185596d9cbbba6d71d2951c6b5d9b436a84","datavalue":{"value":"1277.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418123$802B7C2C-8F93-4DA0-A5CC-542743C6B693","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb346d256664a1bd135e45cfac6662095ea6a3d4","datavalue":{"value":{"entity-type":"item","numeric-id":385024,"id":"Q385024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418123$8BB013F1-E7B3-4E49-9A43-1A0A4286C78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3315bf391c0a058853db1fdd065cc2cb8ff023ce","datavalue":{"value":{"entity-type":"item","numeric-id":216121,"id":"Q216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418123$EDB6E30B-126D-412D-943E-A81343860B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df9b0d5346ec014243da840aa4842429b4a2c359","datavalue":{"value":{"entity-type":"item","numeric-id":329412,"id":"Q329412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418123$314C910B-740A-4B32-BF1A-C5DFD31F3759","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":"Q418123$DF0B2CA3-C75F-412E-9DAD-6FB45ACD250D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dd357d987d60d499edfc98e682fe931160623b6","datavalue":{"value":{"time":"+2012-05-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":"Q418123$982E0F82-C4A7-4E14-A8D8-2BE07EF7511C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418123$EE92EE03-53D4-4876-ADD1-EC17278E0C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418123$8E0C757E-0B71-4CE6-A3CB-ED0D68DCA017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418123$39E96A33-CB70-4426-81D4-ADDC0D93841B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dde625216019917745945dd9b523478db83dc670","datavalue":{"value":"6038287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418123$08EE5BAD-BE03-48D3-989D-59A8233C1B5F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"591f8e1adc3c3803f7d7d6082509ba56bda7271c","datavalue":{"value":"hierarchical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q418123$D4C78C17-600C-40A0-94D7-B9B246AB1EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q418123$0FA88338-04B1-44FD-BF94-8072588A924D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5066348a38d8971c88cfdd31d5358f4cca9480be","datavalue":{"value":"branching-time temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q418123$61DC6C75-E9BA-42BA-A03B-188BFA16580C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b893820634b20d624d01c339a08a65704b74d128","datavalue":{"value":"two-player games","type":"string"},"datatype":"string"},"type":"statement","id":"Q418123$1A6B51EC-785C-42B0-B0CC-AC9768C98EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b277d5c1fdcf85c420ab8edc13f2c16380fbc05","datavalue":{"value":"parity games","type":"string"},"datatype":"string"},"type":"statement","id":"Q418123$4FF0B680-F1F9-42EB-8101-DCA96F80C47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8dd4e022aad39eff1538ab173586743a2115e1d","datavalue":{"value":"abstraction-refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q418123$5E3CBAB9-3076-4E24-9616-3C99F7918880","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":"Q418123$D832478C-331C-4331-87D8-BD9641B54795","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86f26c34c097b81531de9a04c8cb82cc95b833b7","datavalue":{"value":"https://doi.org/10.1016/j.ic.2011.10.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q418123$BDE73ED9-CCC5-43E2-9CE8-9311BDB66ABF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4938aa5f14908a431b377403d633474c10f17700","datavalue":{"value":"W2017076220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418123$71D4D544-AA62-454C-8BE8-4C004F14DDBB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c60cfa2493d22b1f6e30e78482c1494fed827bb","datavalue":{"value":{"entity-type":"item","numeric-id":5703796,"id":"Q5703796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418123$E8854DCE-9DF6-40C8-BE4E-3653C0111619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648cb108bd37c29de0543b7af3d48092bfa49749","datavalue":{"value":{"entity-type":"item","numeric-id":5756734,"id":"Q5756734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418123$C993D1F3-9FE5-4FA1-B980-89EEADE25330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c778ca8a917ef8b30172fcca5a7a1b9cccdc3853","datavalue":{"value":{"entity-type":"item","numeric-id":4551151,"id":"Q4551151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418123$8EFB3A74-DAD2-4456-8093-4748CDE982A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e7a108370169c16838733bc613c6abdf38f709","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418123$7B7FC5D7-6EDA-4775-BEEA-B0F43ACFDEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c9f9c418382824d2175732eb97c5ec8a5259b3","datavalue":{"value":{"entity-type":"item","numeric-id":2373715,"id":"Q2373715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418123$8A0FE08C-7C85-4C31-BD1C-3A42808238C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418123$ABA0FD3D-8079-43EA-B3C1-1C3AD9562E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f66c7d72619968555f7b4841da4946c8d914c16","datavalue":{"value":{"entity-type":"item","numeric-id":1801498,"id":"Q1801498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418123$F44C949D-7BA8-4716-B0AB-C5858AEA8FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"619ecdd282e2de3999f752a048cad01ed93859af","datavalue":{"value":{"entity-type":"item","numeric-id":4305671,"id":"Q4305671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418123$342F06D1-819E-4CAD-B2EA-41A316965F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06af39ba7611ce840efed59d15b9062e58635f61","datavalue":{"value":{"entity-type":"item","numeric-id":4804892,"id":"Q4804892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418123$86B66363-470C-4B84-ACD6-271CB9D7863B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"454ea3e3d98200f85783beed6a2ebbc3917f5647","datavalue":{"value":{"entity-type":"item","numeric-id":5897793,"id":"Q5897793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418123$9C56EEB4-8EB0-455E-8112-C1CACCA12781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc4a6ae5cd2ba79a9e8b7bf45f2bff911aa80e1","datavalue":{"value":{"entity-type":"item","numeric-id":2643076,"id":"Q2643076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418123$35F7FA70-DC7B-480E-B253-1B5E2485C897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e07930ce4911f611d084d7578c97cdc8fb3f729","datavalue":{"value":{"entity-type":"item","numeric-id":2763694,"id":"Q2763694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418123$5814FCE8-679A-4E6F-9080-185B93BB137F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b616d03b1219418af06ece48bd855e350c3cf3d4","datavalue":{"value":{"entity-type":"item","numeric-id":3569045,"id":"Q3569045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418123$8FC7270C-7178-4CA7-8A76-248F95ABAE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418123$21596D77-B66E-4578-900E-BE113211C847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e60f342b73c740b805bb435b51c20efe260b333","datavalue":{"value":{"entity-type":"item","numeric-id":948087,"id":"Q948087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418123$343250E9-B8F6-46C2-9E35-6C6B66FF37C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8538023ff8d40f43d3f0f24e047ecceb14e467","datavalue":{"value":{"entity-type":"item","numeric-id":1098325,"id":"Q1098325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418123$2C8DC285-63A3-4A03-9234-6FD48D5D8833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fef18e1cfe012362d428323226ebd3a9db1f5e8","datavalue":{"value":{"entity-type":"item","numeric-id":5505563,"id":"Q5505563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418123$44A12714-F171-46B9-B231-56E1D9C20048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff9a0e3f0f2bb5379481e2506c1ed09265b0350","datavalue":{"value":{"entity-type":"item","numeric-id":3700812,"id":"Q3700812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418123$A9477E91-37E2-40F9-8AD4-467A68589621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7357cdfb87c5446d835ccaebc7252250132fd0bd","datavalue":{"value":{"entity-type":"item","numeric-id":1383143,"id":"Q1383143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418123$74449037-0038-4762-83AA-8ADFF51ED8A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7028552be8657cea7c6ef870efa608f422e607c","datavalue":{"value":{"entity-type":"item","numeric-id":5277790,"id":"Q5277790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418123$38A53E37-3014-406C-8928-1D84D6D23FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65ba6ee4184d1e83b23af04ea3e34386770ce9f4","datavalue":{"value":{"entity-type":"item","numeric-id":4472439,"id":"Q4472439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418123$38CDAE51-1D54-40BB-A215-9B8C9000E574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a032d33673d5ba9c1e698848960782495104c1b","datavalue":{"value":{"entity-type":"item","numeric-id":1854405,"id":"Q1854405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418123$6B6BBE98-2A18-426F-9BAA-B5DCD2186E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67aa0df6c0fc27786ebfa5ec52093be9eac8c44c","datavalue":{"value":{"entity-type":"item","numeric-id":4501666,"id":"Q4501666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418123$01DB0F3D-19F1-48D5-833E-D96B18A54235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a185e0ab2dc8b50c7ab26d72b4ab8103d4555c0","datavalue":{"value":{"entity-type":"item","numeric-id":5952907,"id":"Q5952907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418123$CB1D8FAA-0284-44A9-8EF6-5B8EA47137F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f93a49fb226b3c48922103ffdfa8487e840e5b31","datavalue":{"value":"10.1016/J.IC.2011.10.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418123$EBCA9AD3-083D-46F1-9968-9CA93766D961","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":"033929d740b6d0a005b8e5e250dcfb9ae61a9298","datavalue":{"value":{"amount":"+0.9998260736465454","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":"Q418123$8CB856CF-4759-4B51-9292-B049DF68815E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"464c11ac3b1d801089c951fd46d87ef06347b2b4","datavalue":{"value":{"entity-type":"item","numeric-id":5505563,"id":"Q5505563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6767fede04cd9979468979529c820302c7f2ef09","datavalue":{"value":{"amount":"+0.800553023815155","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":"Q418123$3B2BA091-0D0A-4987-8EBA-AE7C2F93063F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b70573db95a8f75722c48f229fe3f419d8d97b1e","datavalue":{"value":{"entity-type":"item","numeric-id":5311127,"id":"Q5311127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87846ce24c7ca80f9905f9eb811671179f4b621f","datavalue":{"value":{"amount":"+0.7910897731781006","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":"Q418123$020F72B2-7662-4516-92EE-F968AEB918BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7196fbf2afa17348c8b503ccf4edad10882036aa","datavalue":{"value":{"entity-type":"item","numeric-id":3146304,"id":"Q3146304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b653963b5f57c80ea7d5e998e71a8e69722bdf8f","datavalue":{"value":{"amount":"+0.7902416586875916","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":"Q418123$49FA4985-2E93-4372-A5F6-6FD4146ECD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40b737c589c73440593f22bf3a7928ed8b0d291c","datavalue":{"value":{"entity-type":"item","numeric-id":2429724,"id":"Q2429724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3abec3be4624e01ee1817e6235cd5c108f8b589","datavalue":{"value":{"amount":"+0.7900012135505676","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":"Q418123$31F536CA-473B-4D81-B6D6-A73D606C6F03","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Improved model checking of hierarchical systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Improved_model_checking_of_hierarchical_systems"}}}}}