{"entities":{"Q2149964":{"pageid":2160707,"ns":120,"title":"Item:Q2149964","lastrevid":71411073,"modified":"2026-04-13T22:05:56Z","type":"item","id":"Q2149964","labels":{"en":{"language":"en","value":"Incremental design-space model checking via reusable reachable state approximations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7548211"}},"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":"Q2149964$BEA825F9-4EB1-4300-B53F-91E78CA33459","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30655024a1c8298c50a59389da2f10370fc6d2ea","datavalue":{"value":{"text":"Incremental design-space model checking via reusable reachable state approximations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2149964$962E548D-0BCB-4E6B-A36F-8BA5712D819A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"331050370e8e6ec967a46c5ac1ae3fe813af0504","datavalue":{"value":"1492.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2149964$A392F4D1-A9F2-4252-AED5-EC5015FC9577","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"746866a399ab811e72cb5750ea25865a077225c6","datavalue":{"value":{"entity-type":"item","numeric-id":2149963,"id":"Q2149963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2149964$17475FB1-FFDD-4810-8BE3-5B150D1E6C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63732236fa66d5c3f9fb2c4a703259d2ca600fe1","datavalue":{"value":{"entity-type":"item","numeric-id":1996029,"id":"Q1996029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2149964$5280CFA0-A76F-415B-9859-66C0AE847F70","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":"Q2149964$78C7983C-4A22-43EF-A653-AE92A0F6B917","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dba42a7602513fad0c1a043c5f7fcf442ea1271c","datavalue":{"value":{"time":"+2022-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2149964$C7238198-0656-4B6B-812E-F9EACB5682D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27cfd709e874e08cd66336f26036035e33182023","datavalue":{"value":"https://lib.dr.iastate.edu/cgi/viewcontent.cgi?article=1181&context=aere_pubs","type":"string"},"datatype":"url"},"type":"statement","id":"Q2149964$C042B561-DC66-40B4-BF68-EFD704CF0DED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2149964$151FC3AE-73C5-4742-BCB8-0320BC8CD858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2149964$8E43E6D0-0666-4585-8817-2D82A6A2B11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c819bcbc5228a4c15a0698bc48e27bac5cf3646","datavalue":{"value":"90B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2149964$B843BC4C-1B09-4FC6-8D08-C7668928E298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9727d9ee90ef6c0f1bdf0ba5bb711e9a6b7cd05","datavalue":{"value":"93C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2149964$01ACF6DE-03DC-4C20-A35B-7DB3FF3C0546","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d30544452d08524c557c7873b6f00e3acb90f108","datavalue":{"value":"7548211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2149964$801170A2-9908-4776-9F4A-ACFD2E8C495D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2149964$E270B05F-ABF8-4A7C-90D9-945AF92B1D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05e65c53d1cebdd870f24e2010c55d9f6cad2296","datavalue":{"value":"design-space exploration","type":"string"},"datatype":"string"},"type":"statement","id":"Q2149964$7194F9E4-9C86-4B25-85E0-B3C5DBC94B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2149964$533E2EA0-D66D-4832-A3D6-4D689545BBD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c86bbb0ed08182278f2f2e406879bf596e0992c4","datavalue":{"value":"incremental verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2149964$86015404-0205-41F7-9A88-B9D66A098158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a90b155a4e032aeb50fd1d69720eb778dbb0fec0","datavalue":{"value":"air traffic control","type":"string"},"datatype":"string"},"type":"statement","id":"Q2149964$FAE87CFF-993F-4B37-89DC-2B998565F42B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"119593775b6ece535079520dab2a027e22b89e1f","datavalue":{"value":"Q114226449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2149964$A29C6072-1073-4B87-A31F-6697EDCDE01F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42950e8602f0bf155e8f0e40e68f674e5831f7bb","datavalue":{"value":{"entity-type":"item","numeric-id":21550,"id":"Q21550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2149964$C29F344E-1964-4259-A540-5ACB4DA7DD4C","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":"Q2149964$E258C302-43D2-4861-AD5C-7DBC28FA112B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"078b237e6302f0ce1ffae904411d30b5f0045858","datavalue":{"value":"W3127122249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2149964$F1981871-E4C5-4E97-BB08-334C99EF2BB5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2149964$2BA4260D-D0AE-4B9B-AFBF-990179CF2CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c550ccefa8c33e8450539a2f7f48c280b0c29631","datavalue":{"value":{"entity-type":"item","numeric-id":2864382,"id":"Q2864382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2149964$70C55145-39F4-4BB9-8322-269FA687BBD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac7ab1a2d532c3e5489264d89121b40bd2d66cca","datavalue":{"value":{"entity-type":"item","numeric-id":1682291,"id":"Q1682291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2149964$93102319-E651-4EE4-A05E-BF319418AC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93e97752bee4ebccae1b8f0be21a26a98ba93904","datavalue":{"value":{"entity-type":"item","numeric-id":853721,"id":"Q853721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2149964$69C4E49A-CD8F-4D6B-8460-32645697F6E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbdbc7a9071875aac437c4544c1a225a570a3964","datavalue":{"value":{"entity-type":"item","numeric-id":2324218,"id":"Q2324218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2149964$4DC7EE6E-095D-4832-B1C5-8810279B651D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a721eea058e807770cf825065bd252a7ab7056d","datavalue":{"value":{"entity-type":"item","numeric-id":2363814,"id":"Q2363814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2149964$0D45BC92-7264-4DAA-BA56-BC5855B9E22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4acb92f5f977d91828d0f85575a2ecca384ade","datavalue":{"value":{"entity-type":"item","numeric-id":2723423,"id":"Q2723423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2149964$0A478D7C-245A-421E-AEAA-0401DFD7E09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2149964$B3296474-CA7C-4024-BAAC-5F0501C02577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc3406683ad00aa9363d90c4954863b73476c44d","datavalue":{"value":{"entity-type":"item","numeric-id":2843317,"id":"Q2843317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2149964$F6DFE47C-D794-4A7A-B770-DE1750277F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f5e6eae56f10c461e746e2cddff6a2a6a225942","datavalue":{"value":{"entity-type":"item","numeric-id":1577016,"id":"Q1577016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2149964$D56281D8-E66D-4D5D-B0FB-A068FCA2D8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21640ae8e3aa02debe92970cf2184aca918b76e5","datavalue":{"value":{"entity-type":"item","numeric-id":5326318,"id":"Q5326318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2149964$51C191E3-EA1C-4EFF-A689-74888BF457AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"caf199b9dd8861f98011d0a81345ab28cf3bb435","datavalue":{"value":"10.1007/S10703-022-00389-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2149964$7371DBD5-3CCE-481E-AB2F-6B9FA268D4B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54a3211b6d63219673032081f297381eff1d60e2","datavalue":{"value":{"entity-type":"item","numeric-id":2324218,"id":"Q2324218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3bb548fc3fa2f0d422caadfa92483f968a36c89","datavalue":{"value":{"amount":"+0.784501850605011","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":"Q2149964$F2FBBF61-1E96-48F2-BDE2-0C390FF2C741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2bb4627b13bef6d101489da2918850245c5e1b3","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73b98181e80ccb3e029ddb7c7b05b0e60c6c5537","datavalue":{"value":{"amount":"+0.729070246219635","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":"Q2149964$2EB9437C-B5BB-4D71-ADEC-8006A94845B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bda3b69c299daf30d8cc51c25e127e9845eb220b","datavalue":{"value":{"entity-type":"item","numeric-id":5898457,"id":"Q5898457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac6419ff499c58f1156e2618305b7fff589c71b0","datavalue":{"value":{"amount":"+0.7283565998077393","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":"Q2149964$02EA82C0-226F-4012-BA11-B8124205D35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7143ee151dba9462ec01595aed23567cde2f9b00","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa9fbceb8f3f7e4e4e5de6866518ad2c2f564794","datavalue":{"value":{"amount":"+0.7157060503959656","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":"Q2149964$9B4A8EED-D0DA-452A-A437-339895A68E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c691aecc9bca87709b78492381ae5b4e3f0d7f8d","datavalue":{"value":{"entity-type":"item","numeric-id":2843317,"id":"Q2843317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa9fbceb8f3f7e4e4e5de6866518ad2c2f564794","datavalue":{"value":{"amount":"+0.7157060503959656","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":"Q2149964$1FF94DCD-1883-422C-9FE5-13BD71C89558","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Incremental design-space model checking via reusable reachable state approximations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Incremental_design-space_model_checking_via_reusable_reachable_state_approximations"}}}}}