{"entities":{"Q3603105":{"pageid":5633011,"ns":120,"title":"Item:Q3603105","lastrevid":50571893,"modified":"2026-01-14T10:43:01Z","type":"item","id":"Q3603105","labels":{"en":{"language":"en","value":"Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5508124"}},"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":"Q3603105$C210FFDB-8296-4C60-8811-5D708FAB26C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2f849d56792275cd7444f441fbefd25a90e0fc1","datavalue":{"value":{"text":"Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3603105$191CFF6C-C639-42CE-AA99-F6EEBEEC93E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0bf2c3da3416f925951f92773431371cf2d4b536","datavalue":{"value":"1175.68260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3603105$6886DB0C-CDC8-40BE-97FE-3A52C94C8D63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9d162a307c71b57efd37e6960f3c47043f76d95","datavalue":{"value":"10.1007/11751649_99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3603105$66EA6FD9-A37C-404C-95F1-4DEC249A0868","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a792c80d2ae1faea57c9b517afe2d424f5a07a81","datavalue":{"value":{"entity-type":"item","numeric-id":3603104,"id":"Q3603104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3603105$261C5E67-8BD0-4AE9-A392-95AE00F71B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9371c7cc1539ca59179d96cf621e86a7cd0b48bd","datavalue":{"value":{"entity-type":"item","numeric-id":2852021,"id":"Q2852021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3603105$4803BC28-6F82-42BE-9502-E430BF41F160","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"07229e808cadb797e8f35c16270846e817f17bdc","datavalue":{"value":{"entity-type":"item","numeric-id":3598975,"id":"Q3598975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3603105$0775EE9C-1A70-4212-A296-6421AB836D1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"662c9d768c258b8c4aa4cc6d6ce95028979dfb46","datavalue":{"value":{"time":"+2009-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3603105$131F3947-41BE-4FE5-AD6B-0992CB6AA1F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3603105$B57D3BCA-63BE-46B1-9923-97651204DF5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd755e6b7b317d8f5de3930b76418fc60d9ea2e6","datavalue":{"value":"5508124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3603105$3011CCE6-09F7-4207-813E-6F96C316C2EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7b05367424e7bcc6c8d8a313ee877972eed772","datavalue":{"value":"state explosion problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3603105$A0F40111-F94F-4BEE-9B2D-04EADF7F7E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab40c40a621728a0d7f5ba8d400b8bf1e08c8170","datavalue":{"value":"dependency analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3603105$0C82A5EC-A00F-48BE-BDCA-01319F122C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00136e647e328aafc8cc9233d4b1b1691904b2a2","datavalue":{"value":"model reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3603105$15CB0A22-92BA-4837-93EC-F8FE2CDEACE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3603105$6C5E1A62-F79E-4A54-90DC-BA0285C00EF5","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":"Q3603105$F89D5690-E5ED-4B51-A74E-6380016BF318","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6fa528b3d2e28bddb13687b5492d749f5fdfe148","datavalue":{"value":"https://doi.org/10.1007/11751649_99","type":"string"},"datatype":"url"},"type":"statement","id":"Q3603105$2313058B-41AD-4214-A9FA-4DE3487694AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"272df6294efd0d4ac79f9674217fc02e9e1cfa05","datavalue":{"value":"W1558903826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3603105$00FAE9FB-EECB-4E81-BDB5-A3810C6E2547","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"664ee6ce245c2bec86eb5428568691fb1e0409cc","datavalue":{"value":{"entity-type":"item","numeric-id":5505552,"id":"Q5505552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64c2369ee126c46068f202f525d0bede3c309c8b","datavalue":{"value":{"amount":"+0.7750392556190491","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":"Q3603105$DE6CAB7A-C680-49B8-8C97-F05628FA2028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e8e16bcfa7d0d1b1535479f664109d58dd01aad","datavalue":{"value":{"entity-type":"item","numeric-id":4037084,"id":"Q4037084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49d2ab85a2468877c232580cb1f19d8abc07b446","datavalue":{"value":{"amount":"+0.7710433006286621","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":"Q3603105$1BAA0096-171C-435F-94C3-A3A6AF194F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d8dec234b2505b3447d6af2309f9c4ec01673d3","datavalue":{"value":{"amount":"+0.7710430026054382","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":"Q3603105$F94E76FE-F2BB-4583-B9B8-C0439AB6B5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75da0f2089d3a977bd827f34d28fa4c869230200","datavalue":{"value":{"entity-type":"item","numeric-id":5394174,"id":"Q5394174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b4a378951519c4ea63a6949b72deb87b45f931f","datavalue":{"value":{"amount":"+0.7500990629196167","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":"Q3603105$89147DC6-F9E6-43AB-A3B6-D98A03F69D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dc34c77b9f7052f9e03d0af0c319996210bb489","datavalue":{"value":{"entity-type":"item","numeric-id":4736876,"id":"Q4736876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bdf193ef310dfe70354fd3861c4763eec1a0046","datavalue":{"value":{"amount":"+0.7488636374473572","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":"Q3603105$3D212DCB-E5BD-4A97-8736-8D482E63FA3C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3603105","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3603105"}}}}}