{"entities":{"Q3656876":{"pageid":5686782,"ns":120,"title":"Item:Q3656876","lastrevid":81036125,"modified":"2026-05-06T17:34:11Z","type":"item","id":"Q3656876","labels":{"en":{"language":"en","value":"Improved model checking of hierarchical systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5658429"}},"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":"Q3656876$71C70ED5-56EA-426B-B9E2-A68802407676","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce8bb90c351c0f76b4e93e9fff2f51a8d7dc5c28","datavalue":{"value":{"text":"Improved Model Checking of Hierarchical Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3656876$4ACF50C9-75D3-49E9-B2A7-F8EE16E51C3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9038e5470acdd4c579f3b494b9a49f06e5ef7c3e","datavalue":{"value":"1273.68217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656876$64C64451-6E76-4054-B565-9C82F946031A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e063d9bb38757b8c92e699b5a94c7525cbea2ec6","datavalue":{"value":"10.1007/978-3-642-11319-2_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656876$B206DA69-B548-4148-8DB8-B20FB1EEF464","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":"Q3656876$979C932B-9E77-4FC5-B34B-B8CC3C4556E1","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":"Q3656876$6D03E065-A7BB-48EF-8DDF-5C8E3BFFC951","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":"Q3656876$CB753C2E-C980-458F-AE68-D1A685B8FF7A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656876$BE292C25-117D-4EBE-91FA-195B51039ED9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d7ae205d063227bc6a8fe4b8cec53b398b20968","datavalue":{"value":{"time":"+2010-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3656876$06070936-A8D9-489F-AE85-3092E1013CF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656876$19D8327C-3D5F-48BC-9916-BDC11C9EA094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656876$78D88B1F-8BCA-4B62-8BBA-041FCAF3A82C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"def9947d114c18d2d2f8a3188ea1b2d4c5ad989c","datavalue":{"value":"5658429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656876$AB67D80C-1E88-4D4A-932F-BB09BC64B701","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":"Q3656876$331A68B8-7F80-473A-B9A3-551B627A8DDC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f46c9b7c1cc4cac1bffe5ac0fbda48876d9ad47","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11319-2_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3656876$442EE885-9F13-435B-98F4-9FFD91D1D101","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"11a0eab174fe79e4a133f39143e1bfce0b36f16f","datavalue":{"value":"W2119717366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656876$AE7CECEE-5105-4EA8-BAB5-2309D29E901F","rank":"normal"}],"P1643":[{"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":"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":"Q3656876$638C9584-5B82-45DB-B96D-AFC254F92B5A","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":"4a7c5196057214e6609645d8692f3fc06c4c3735","datavalue":{"value":{"amount":"+0.8009657859802246","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":"Q3656876$4DE26547-2568-462E-9D1E-288B33356CEF","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":"4f73ef793b16c630483190c62e2cebdda6f87ddc","datavalue":{"value":{"amount":"+0.7917948961257935","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":"Q3656876$66F3D3D5-54BE-4635-9816-522B6D60E799","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":"968c3ccdc6add95507e783d976308c542099cfa8","datavalue":{"value":{"amount":"+0.7911482453346252","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":"Q3656876$E56F0791-C1A5-476D-905B-B517DFAC6693","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":"7c68b97c515853ce2e2176f3704e8cce4c397c0f","datavalue":{"value":{"amount":"+0.791146457195282","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":"Q3656876$5DFD5A70-627C-4826-AD26-C1221F186452","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Improved model checking of hierarchical systems (scientific article; zbMATH DE number 5658429)","badges":[]}}}}}