{"entities":{"Q2926661":{"pageid":2937381,"ns":120,"title":"Item:Q2926661","lastrevid":52122437,"modified":"2026-01-20T23:51:14Z","type":"item","id":"Q2926661","labels":{"en":{"language":"en","value":"State space reduction for sensor networks using two-level partial order reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6363651"}},"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":"Q2926661$BB22F5EC-CA66-4C5F-BDBD-989E43184114","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6aaf783d052f61e80a6646faafed135b4dc793b2","datavalue":{"value":{"text":"State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2926661$39B89EE2-B757-4D40-9A39-E72D99061079","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f2122339585200907d5077c54bf4c8b62543ef7","datavalue":{"value":"1426.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926661$2658E5AD-354B-479B-B516-7491122E326B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6635d17f3584aec6029514f9abaed6693a89994e","datavalue":{"value":"10.1007/978-3-642-35873-9_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926661$C851F9FF-96E8-4B82-8598-4E334C798E02","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea32949ccc0c819cf691adf1df83c357af38e9ed","datavalue":{"value":{"entity-type":"item","numeric-id":2926660,"id":"Q2926660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2926661$E562B2CA-003E-4E8B-BF89-3330FC3FEE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a952aaaf69ec7d1e12fb25db578dd88a813b537","datavalue":{"value":{"entity-type":"item","numeric-id":835782,"id":"Q835782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2926661$EF813DC3-7012-4EC8-AB3F-224D99B064BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a29a8668613ef6f9130a40b44c1110c148f42ec0","datavalue":{"value":{"entity-type":"item","numeric-id":488229,"id":"Q488229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2926661$67622804-0DB2-4610-BE9C-7ABD848C1D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3208ee20c85d475090d794dc3c7087da944dc6f","datavalue":{"value":{"entity-type":"item","numeric-id":488228,"id":"Q488228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2926661$0FFEBC71-3CBD-4A28-BE26-84C51DF8FA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c058afea036303a407f9ed86b611b84df43ce2d6","datavalue":{"value":{"entity-type":"item","numeric-id":488230,"id":"Q488230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2926661$92CA64F5-F48D-4E99-8FD6-747F1D5A96A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5566e6e6ce6362be51d510190518ef032917c467","datavalue":{"value":{"entity-type":"item","numeric-id":246802,"id":"Q246802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2926661$818811D9-51CA-46AE-9D7A-34166E063B82","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":"Q2926661$2A32E8D9-C313-48B9-B4E3-AA3900E48A11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3daa83eb5c9d67846bd0433e54bd3c467e1d5cf9","datavalue":{"value":{"time":"+2014-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2926661$AD4B8022-DE40-40FE-BC23-7B94DFBECEBB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"099a25b86e4e59bead40c42d10b4d620795b2958","datavalue":{"value":"https://ink.library.smu.edu.sg/sis_research/5011","type":"string"},"datatype":"url"},"type":"statement","id":"Q2926661$FDA50DE1-32DF-470F-859C-7A544809D864","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926661$03AF9232-574E-4A00-BA1B-1BD22BFFA7E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0ba6b962ab68da65534095df02b717427850a4e","datavalue":{"value":"6363651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926661$216077B0-C2C3-4F04-8BC4-8A92FC9BE7AE","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":"Q2926661$9BF3ADFC-D71F-4189-ACBD-5853BC2B5686","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a980687792aaeeca6b722b5f6e7a9b8c11175f0b","datavalue":{"value":"W52213268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926661$6D291A8E-4825-432E-A92A-F6988697EE95","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13eef1da412afceae7bc3475926ad65b7a5f8290","datavalue":{"value":{"entity-type":"item","numeric-id":5943258,"id":"Q5943258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17065e5b987a6a07d0eba29a5db1a8fdd65acf29","datavalue":{"value":{"amount":"+0.7106886506080627","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":"Q2926661$D86B5258-D146-4E29-9903-A4C2DA5F280B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86562c958104bf722071c62758cd224a8594421f","datavalue":{"value":{"entity-type":"item","numeric-id":2848148,"id":"Q2848148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"886a1d6a0e77cb1025c8103261f00228a488836d","datavalue":{"value":{"amount":"+0.6944465637207031","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":"Q2926661$4837D828-5DC1-4EFD-87A2-C91D94F1710B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8e41e11b55706db3aa67de98ac1c80e47db2dd1","datavalue":{"value":{"entity-type":"item","numeric-id":453518,"id":"Q453518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24505749d5557cfb3d036e523b2c44f7eeb895b5","datavalue":{"value":{"amount":"+0.6858895421028137","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":"Q2926661$22ACC5C2-8AC5-4D5F-AE84-228E0D7FB2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9086758c9fba3c9099a7a182cb3da59e11e131b5","datavalue":{"value":{"entity-type":"item","numeric-id":903510,"id":"Q903510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da9e968e7462b986a2ebc6877ae2f2d55e076b2c","datavalue":{"value":{"amount":"+0.6773021817207336","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":"Q2926661$24CB3A26-016B-4BA3-A67A-B2EAF3C0A6AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a212e9f5020f5e6672306a0d1ad9597f4a9b9f40","datavalue":{"value":{"entity-type":"item","numeric-id":1758154,"id":"Q1758154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2d54547df71caa53b28ed02ca9f753132f1dddd","datavalue":{"value":{"amount":"+0.6761758327484131","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":"Q2926661$AE2B9523-B8CF-4CF7-965F-9B163F8E4875","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2926661","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2926661"}}}}}