{"entities":{"Q2864523":{"pageid":2875243,"ns":120,"title":"Item:Q2864523","lastrevid":51886385,"modified":"2026-01-20T11:42:29Z","type":"item","id":"Q2864523","labels":{"en":{"language":"en","value":"Applications of hierarchical reasoning in the verification of complex systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236520"}},"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":"Q2864523$002ACEAC-1437-4F42-93D9-E3EE3C56D91D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c06c6a46e6b2fc4122d727a075e8f92ce210ba7","datavalue":{"value":"1277.68135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864523$2BEF3895-3A9C-48B2-AC0D-31DA72C904FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c66349fb93c4be731b6d05d8a88aac3ca4b2b84","datavalue":{"value":{"entity-type":"item","numeric-id":784146,"id":"Q784146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864523$09851914-1270-4811-B97A-9CF5AFB24131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"377ea72ecee982e1dcddee303e9fb3aea539cf87","datavalue":{"value":{"entity-type":"item","numeric-id":592080,"id":"Q592080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864523$8E978456-32DC-4A32-BBB9-A1B968D7307A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864523$4B55CE46-38D7-45AF-A2DC-AC8201C47611","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"deb6cb3450bd256fc635dc32234471403070c2b7","datavalue":{"value":{"time":"+2013-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2864523$10B0A6D6-E680-4ECE-A712-6BB1A7E6A060","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864523$154E668C-E603-4205-889B-520D389996EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864523$81ACAEC6-4687-4163-95E6-EED6C38F1E98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15f0de3477911aa0f727bf10524349e9cd349d46","datavalue":{"value":"6236520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864523$EA8E3C29-820E-455F-90B8-19156B2C0B45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9983f5c632b1ce8d175bde65452bbb3b6386f6ec","datavalue":{"value":"combinations of decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864523$3A5736A7-285E-4051-9607-E321E25D2822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ee9025c6fe1070bd3df8d708ff2f77bac8c3919","datavalue":{"value":"hierarchical reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864523$7AD41833-3620-4A15-99C0-7462391E22FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864523$97F5AE35-4670-4C07-92F2-2F8D7DFA9D74","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fed35f2083e1592d074e2b779038b334adec1c0c","datavalue":{"value":{"entity-type":"item","numeric-id":16433,"id":"Q16433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864523$9A62908A-B88F-462B-8737-3EE85EE8D91B","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":"Q2864523$B3566746-FAFB-496E-9F48-67F2F4560A1D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"312758666b602302afcf330e8491754e33af4488","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2006.11.038","type":"string"},"datatype":"url"},"type":"statement","id":"Q2864523$65CAADD9-B461-4872-B199-B32EABB1DF88","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"28f6deebda7978312019b5c0811e14b338a372de","datavalue":{"value":"W2158829089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864523$EF23A0C4-C349-4095-8EB1-FA519B8615A8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2b1ebc1ae7ffc3042b5e838a24da8662374478","datavalue":{"value":{"entity-type":"item","numeric-id":5898633,"id":"Q5898633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864523$6F469E57-189D-4BF8-B19F-896F35F4911C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7474c1769098271dfa8760cf06b0b45182f69ba1","datavalue":{"value":{"entity-type":"item","numeric-id":2432764,"id":"Q2432764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864523$67528C35-4731-4002-8D62-1F598A850C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b46d5f65e8737cac806fe4f42d3b4d6ec963c54","datavalue":{"value":{"entity-type":"item","numeric-id":556677,"id":"Q556677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864523$4A55F2FD-E1BC-4E48-B721-6C529D8BCF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5f146ef032705198a0202edddd0325ae6774f2a","datavalue":{"value":{"entity-type":"item","numeric-id":5716590,"id":"Q5716590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864523$E556C8A5-DE72-4D65-8D5E-76AA71CE4FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864523$6671DE41-979F-4BD9-8168-41142DBC97DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97410c5f75f024969fa496104e5d0f6c8e839095","datavalue":{"value":{"entity-type":"item","numeric-id":5394615,"id":"Q5394615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864523$FB42A9B5-9638-4174-AF20-E49FB4443F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47a6de67ef4615ff33e4344c32b01aa7b8276c52","datavalue":{"value":{"entity-type":"item","numeric-id":3613412,"id":"Q3613412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864523$D8227E30-904D-4600-B87F-7A7B4BF6F1DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c53c447e17b8797a0508504bb0b5d23630aaae5","datavalue":{"value":"10.1016/J.ENTCS.2006.11.038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864523$33673853-0464-4EE5-BA39-24498B23DE94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12cf556bd75b8debe456c8bb039f4e75ff48f9cc","datavalue":{"value":{"text":"Applications of hierarchical reasoning in the verification of complex systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2864523$C7D9EFE9-55D0-4E41-A6F9-315411199AC5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d54920a1fc316ac7881f28032a08130c26cb40c0","datavalue":{"value":{"entity-type":"item","numeric-id":3525000,"id":"Q3525000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adc825cd49e6b0b1bf0e7fef4d12f4627a8b2082","datavalue":{"value":{"amount":"+0.7979043126106262","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":"Q2864523$419664FC-8B3A-460A-945F-9FF0C6F6FF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"677cc4e09a666aa42ff8da2a3e874e1c6495b615","datavalue":{"value":{"entity-type":"item","numeric-id":5747759,"id":"Q5747759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0b084fb8aa69bd9ef4e9dbc08655c18cb7ea0cb","datavalue":{"value":{"amount":"+0.7813401222229004","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":"Q2864523$64676560-6229-40F3-B66B-48CF597BF29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd6dc544480134f01527a59c0c6fcab5628603f0","datavalue":{"value":{"entity-type":"item","numeric-id":5747749,"id":"Q5747749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebaf75e4aa2c978306f089e8975748546cd83787","datavalue":{"value":{"amount":"+0.7791895866394043","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":"Q2864523$FA0BDEDC-F5D8-4630-92BC-EE45091A4FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deb60464a1b003fe470131b5444e5fe059c45790","datavalue":{"value":{"entity-type":"item","numeric-id":4928452,"id":"Q4928452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38d4d20f0d43fb63e30e737a67a2077154a1d3fd","datavalue":{"value":{"amount":"+0.7484591007232666","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":"Q2864523$9ADDB24B-94B6-4CEB-91E0-8DB4BD22B116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2843260133561894537ea85c8f36abd252a38008","datavalue":{"value":{"entity-type":"item","numeric-id":5394615,"id":"Q5394615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b86fc60aa38e5244d1b12d179d45c599c4a3a5a6","datavalue":{"value":{"amount":"+0.7339860200881958","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":"Q2864523$C9328080-9F37-408C-A737-68DBA15EF952","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2864523","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2864523"}}}}}