{"entities":{"Q2917311":{"pageid":2928031,"ns":120,"title":"Item:Q2917311","lastrevid":85118702,"modified":"2026-06-03T05:56:47Z","type":"item","id":"Q2917311","labels":{"en":{"language":"en","value":"Space effective model checking for component-interaction automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6087925"}},"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":"Q2917311$A4993F60-9FE2-4367-BBEE-ACD6F63AF262","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9472ec0c74203d3e31f7281389b847ed800ffcc5","datavalue":{"value":"1247.68159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2917311$400F8C1C-5351-471C-B1A2-183A3D9174E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e35f08578a60cbd3bb84c143c685ded676fa8c1d","datavalue":{"value":"10.4230/DROPS.MEMICS.2009.2354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2917311$D367C51B-E415-427B-B60A-DE8CC257DE9D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fa84f57d804aaf31f58858be616d04e3d77b666","datavalue":{"value":{"entity-type":"item","numeric-id":282092,"id":"Q282092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2917311$963EEA9C-BADC-4D2F-8679-CC816CE72B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ea084bc5a326533c0a6ff1ca1300a7de362342d","datavalue":{"value":{"entity-type":"item","numeric-id":2917310,"id":"Q2917310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2917311$AA8A2BAE-B717-44BA-B593-E53E4C963884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa826d7f47948a457724639c5e5de03747847dff","datavalue":{"value":{"entity-type":"item","numeric-id":2890207,"id":"Q2890207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2917311$471E0067-58E3-4688-8000-E82A520C07CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b12660c8353469274eab0e82d679e86cc344acf2","datavalue":{"value":{"time":"+2012-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2917311$AB0D0542-1C35-4C3B-BE75-93A9C72406AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2917311$4D692A72-7318-45FB-8BE9-DFAB787EB4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2917311$D91B98DB-EF4D-46AC-869B-5CC0D3891BC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2eb534c8bbb3de7cc76a92ca56977ca0222b87f0","datavalue":{"value":"6087925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2917311$793C8596-4C0E-4E27-8F54-B7043A211D12","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2917311$0C16BF2C-4067-4B2F-9326-5D2F870F0131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abbd5d1d4b1a52d2cda35855ca30d9420f2b8426","datavalue":{"value":"component-based systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2917311$23DC5893-E3E9-4EE7-B685-57EB26EC2322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4be0568078bdb23907326b194531a896f4c2e986","datavalue":{"value":"partial order reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2917311$B036E5FE-729D-4955-A2ED-AAE89A410159","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c11dd4f5e8562a7579fa5f894672b041bb21507","datavalue":{"value":{"entity-type":"item","numeric-id":16315,"id":"Q16315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2917311$787B0E79-57D0-4DCD-B1FB-95051F3B9AEA","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":"Q2917311$32F1A3C9-4D11-4045-9F67-E4CB2FF59755","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"66036304e36e4a8dc8c5118b12eb9d3688510296","datavalue":{"value":"https://dblp.uni-trier.de/db/conf/memics/memics2009.html#BenesKS09","type":"string"},"datatype":"url"},"type":"statement","id":"Q2917311$DE8E552D-DC36-4212-B580-F4E3E537CBEF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24f6e7cedb3891618cb3ec4b170cab032c925908","datavalue":{"value":"W1576784275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2917311$CEAE6D4D-E730-4156-A67F-4477CA596C5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71651ed62a7c8a86228410129482c01c1d7e7690","datavalue":{"value":{"text":"Space effective model checking for component-interaction automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2917311$709CBC43-7532-4B5D-8272-8FC5495A52E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5cb8b183ed5ee1763da8aba5e0e26740d34f837","datavalue":{"value":{"entity-type":"item","numeric-id":549692,"id":"Q549692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"725e3a76e4daa0bf8e856b4f04214fa56b0bf3e6","datavalue":{"value":{"amount":"+0.8083075881004333","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":"Q2917311$9A73A22A-B780-4FBA-A2D6-4594CA714890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc26017548bf795755bd01ecc838f88c510ba4e4","datavalue":{"value":{"entity-type":"item","numeric-id":3539406,"id":"Q3539406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71b3201682e57446c635fc4c5cf4f5a45fc1e324","datavalue":{"value":{"amount":"+0.774860680103302","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":"Q2917311$7A64D9E5-48E3-481C-97D1-C4988A18F3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1052ae5fff4416f08d055a557cdff6af32a6bca9","datavalue":{"value":{"entity-type":"item","numeric-id":3105095,"id":"Q3105095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"378bc29058fc31743ce2043f15ab4afcfa191032","datavalue":{"value":{"amount":"+0.7710431218147278","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":"Q2917311$7B67148A-8E71-4376-8A0F-4B18234CBC73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91e738b1d921d739ee4119b3689c1daaabdcab22","datavalue":{"value":{"entity-type":"item","numeric-id":5309502,"id":"Q5309502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31a314a1dac55f2e88043d4e6891e10fec856a47","datavalue":{"value":{"amount":"+0.7554738521575928","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":"Q2917311$2D26DB8A-7BCB-4883-95C9-F963CD1E7002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec7f4990ff43248727e596f651071f07121fd0f6","datavalue":{"value":{"entity-type":"item","numeric-id":3605476,"id":"Q3605476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f61b234dbf2401446f0adcc7daed216e79313bf5","datavalue":{"value":{"amount":"+0.7494251132011414","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":"Q2917311$42B1A983-7550-46DE-84C5-E27D5AD8D879","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Space effective model checking for component-interaction automata","badges":[]}}}}}