{"entities":{"Q845239":{"pageid":847087,"ns":120,"title":"Item:Q845239","lastrevid":64775829,"modified":"2026-04-11T22:08:31Z","type":"item","id":"Q845239","labels":{"en":{"language":"en","value":"Symmetry and partial order reduction techniques in model checking Rebeca"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5666995"}},"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":"Q845239$17F911A2-0575-497B-92C6-10B3A1BC612D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29514168602039ccfed77fffa104bfdff5ff2d23","datavalue":{"value":{"text":"Symmetry and partial order reduction techniques in model checking Rebeca","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q845239$2210515A-8E3C-4076-9EB4-756C78AA775B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"518354ad80a5fdaf0462f4e0051ef1a989539408","datavalue":{"value":"1185.68142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845239$8DDF633A-1911-433A-9860-13503E3144E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3b796c1971c9f38a77e2971e535c814b879317a","datavalue":{"value":{"entity-type":"item","numeric-id":530208,"id":"Q530208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845239$B0A2ABBE-15D3-4635-B7DD-FA2DD4F90550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9ea0ccde3d48050e3eb0636437332cb8d7497c7","datavalue":{"value":{"entity-type":"item","numeric-id":433342,"id":"Q433342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845239$8969B1F5-6D32-4BE7-9CC6-3A59FFDCDF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf76af684c94ba691719fb8f21bdf4957141647e","datavalue":{"value":{"entity-type":"item","numeric-id":835033,"id":"Q835033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845239$A8707C55-8C35-434E-9610-828512B9A4A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7d77069d3b6a328ebb54b3aeb735bfeab9f6d4c","datavalue":{"value":{"entity-type":"item","numeric-id":845238,"id":"Q845238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845239$EC989D69-E8FF-431F-8823-127ADC97B857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cad69ab3ba9aac6a1b46027bca527d9afd64673","datavalue":{"value":{"entity-type":"item","numeric-id":549193,"id":"Q549193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845239$A092554B-5C3F-471C-9DAE-03A485D7B8F2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845239$4FC3F053-1A13-4596-95A9-AA3E6C758F3B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"922e941384ccd68eb1997024165e5bf5ef775623","datavalue":{"value":{"time":"+2010-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q845239$B27399F4-DDAE-4393-8C66-94E242CE1E06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7324ba30006b2f3c1fbae6f9c21ac1d38d9140fa","datavalue":{"value":"https://ir.cwi.nl/pub/11810","type":"string"},"datatype":"url"},"type":"statement","id":"Q845239$8997CBC2-2804-4F10-ADDF-DFA42211A94A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845239$53F71757-AEAE-46C2-9F9C-ED65B8FAB2F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03c673f2752bfd36ef85f3a8bf7e798560184db5","datavalue":{"value":"5666995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845239$3CD3B14C-C798-49E1-932E-DC2BB6C60225","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8ff6e38dc318fdbf862456504cc934e3990ebe91","datavalue":{"value":"Q57745656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845239$A0F9907D-B47C-4AB9-B27F-929B14DFE358","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845239$1036E064-5C8B-447B-94BB-F2BD0714F15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7b67ac315eca1bd810228bf9f05a93b80785579","datavalue":{"value":{"entity-type":"item","numeric-id":19542,"id":"Q19542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845239$D81E1B4F-D2E2-4776-93CD-3A0A34D2A2DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02e5db897a38edc1fd8a74ee097bd9055381cb24","datavalue":{"value":{"entity-type":"item","numeric-id":13716,"id":"Q13716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845239$AEA71148-14AF-4E67-AB68-1862B6D9C747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845239$86EE40C5-BA7B-4CE9-970D-E7FCC5E676C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2415471ff41202a6c9259e793d0833a0591be108","datavalue":{"value":{"entity-type":"item","numeric-id":19544,"id":"Q19544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845239$75975DEF-EA5C-446C-9CDA-41F3CF478FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3eca1eeee09e36f31c0ae58d124cbf2f784cbaf8","datavalue":{"value":{"entity-type":"item","numeric-id":14569,"id":"Q14569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845239$1188AEB9-28AC-45CF-8FA6-7C72AEC2E046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2de592e7c332d7c936ca6697a09b20d0164a7954","datavalue":{"value":{"entity-type":"item","numeric-id":21405,"id":"Q21405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845239$E7935F6A-08AC-43AC-A9A5-182BAB95F4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ada2393fdff33ea87816d7419cee35b3971b7ecb","datavalue":{"value":{"entity-type":"item","numeric-id":21406,"id":"Q21406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845239$12CA5DC3-7662-4DEE-9CCA-E8594C29BF85","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":"Q845239$24B88055-54EC-493C-991D-CD7FE3BF6F06","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c52d4af01dae4c412a5acbd888c7e779435c8f0","datavalue":{"value":"W1997935753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845239$2D5E4B0C-1E03-4163-8146-7298D5F61C7D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d907737c66d08b95175bf8a8b72f2c2923800fef","datavalue":{"value":{"entity-type":"item","numeric-id":5943258,"id":"Q5943258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845239$786C65BC-2038-4960-A7E6-3119216C57A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b33441b71fe64164e13727a039af8e7b9f49a09","datavalue":{"value":{"entity-type":"item","numeric-id":2764000,"id":"Q2764000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845239$C70608A7-8A87-4994-8214-845496D89A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd1bc6cca536cde5c1769eb1109d8a389478bcc","datavalue":{"value":{"entity-type":"item","numeric-id":3510803,"id":"Q3510803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845239$55F3EA80-BC33-491F-B413-7567E385A625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb9decb00e1bc83b447621b1b3ecd5efaf057f70","datavalue":{"value":{"entity-type":"item","numeric-id":5716898,"id":"Q5716898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845239$92F8DC02-5C01-4CC0-BE1F-8472B8F23272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0dec2fe752983c2c46a9df8217aedb70ea4f568","datavalue":{"value":{"entity-type":"item","numeric-id":5897069,"id":"Q5897069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845239$66C87AFF-4626-46BA-B781-B4221C2EB2AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"311e68c347f63177296b5d7365c6fbdfbcb1a3bd","datavalue":{"value":{"entity-type":"item","numeric-id":5276139,"id":"Q5276139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845239$8F84B097-2387-4D95-BFB1-FD7350FBBE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1505d9b33c312794d5990cceccb798d2ac92bb","datavalue":{"value":{"entity-type":"item","numeric-id":4037382,"id":"Q4037382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845239$558DD939-E404-4F86-9802-64478EB8500A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84708e953a99a80184996e9015091c19a0ff3693","datavalue":{"value":{"entity-type":"item","numeric-id":5717501,"id":"Q5717501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845239$C99A1E73-0655-4F11-BA5F-EBB1C2ADFF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4191320868d11d359ac895a92394db824af8152","datavalue":{"value":{"entity-type":"item","numeric-id":5733527,"id":"Q5733527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845239$9748D737-4DB1-454A-AB36-0BC13841E1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31067e58485990e94b288d36b9237062670ad8fb","datavalue":{"value":{"entity-type":"item","numeric-id":4356435,"id":"Q4356435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845239$54B1407C-DEE2-40D7-90B2-677B8A5B77A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"126faf1dcef344cd1039c8de0b4540b9a9d7f31a","datavalue":{"value":{"entity-type":"item","numeric-id":4738464,"id":"Q4738464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845239$CBED3D45-72EA-4ABE-A404-99C092B81644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845239$6926F36A-AFE3-49C9-9805-2CD65D62ABF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"518328512ed8408b1cd2fba94734909c8b1433ba","datavalue":{"value":{"entity-type":"item","numeric-id":1600652,"id":"Q1600652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845239$B15DD780-392C-43A6-9E46-A392EA52BE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3e59eb46c173b6e2b7279f895900b5fa92af7a2","datavalue":{"value":{"entity-type":"item","numeric-id":4681459,"id":"Q4681459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845239$646B66AB-CBB7-4715-BEF7-1CC2054BF793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ec02d8b891c336785f7e10a18e41b4382dcbcc","datavalue":{"value":{"entity-type":"item","numeric-id":4037380,"id":"Q4037380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845239$EE3B2C2E-A3DC-4BA5-8382-98DFC8355D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6571f5e7b59314ce70c60fe99520c2ad4472991","datavalue":{"value":{"entity-type":"item","numeric-id":5452603,"id":"Q5452603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845239$50F26CDF-F7DA-4B1C-9A0C-0D560B89C26C","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"a087bfd784fd91dc9d17fbb640c14115e634398a","datavalue":{"value":"journals/acta/JaghooriSMKM10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845239$D40E1050-78D9-4458-902F-F4982D0681DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67617ebde83e51306a6a2501a74793969e43a82c","datavalue":{"value":"10.1007/S00236-009-0111-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845239$00DA78CB-7098-470F-B19B-8311D3AD5848","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"013e70aa0669c4f79055b6bdbc4fcb3a78c370cb","datavalue":{"value":{"entity-type":"item","numeric-id":988163,"id":"Q988163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc20277476b1a1ae23410482fa5577853d8929ec","datavalue":{"value":{"amount":"+0.760121762752533","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":"Q845239$9671F886-6289-476F-B014-B57DBF35A30C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15a780136676f2f4abac533f4c4d0397cc6ec411","datavalue":{"value":{"entity-type":"item","numeric-id":4738464,"id":"Q4738464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21f3c262e169cd366d02dedcd069a83e62f53c52","datavalue":{"value":{"amount":"+0.7591306567192078","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":"Q845239$5AE20846-C8B4-41C8-9307-FACF045CC425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"010760bb31105a1482847dbcc1b2425797919113","datavalue":{"value":{"entity-type":"item","numeric-id":3600483,"id":"Q3600483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d42c6a63c0fed1b623b82a6ee9c54e3fbe61136e","datavalue":{"value":{"amount":"+0.7494098544120789","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":"Q845239$546DD929-2336-4492-8935-1E26EE44F047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b36633c4186fe1d71569c427b2dd8e5ae26faa3e","datavalue":{"value":{"entity-type":"item","numeric-id":1886448,"id":"Q1886448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9513c0c1dc1d737cc0824d067ec78a6632b3e5cb","datavalue":{"value":{"amount":"+0.7425134778022766","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":"Q845239$29EE7397-2187-4A3F-9713-F453547E7F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"161e6a86adffc14a091f92809d0baeb11758326d","datavalue":{"value":{"entity-type":"item","numeric-id":4531763,"id":"Q4531763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00b39408a9ebb327c65d9096f3220e77b052c3fa","datavalue":{"value":{"amount":"+0.7338732481002808","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":"Q845239$9E4C55C8-3C5E-4D88-9C4C-791D907FF84B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symmetry and partial order reduction techniques in model checking Rebeca","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symmetry_and_partial_order_reduction_techniques_in_model_checking_Rebeca"}}}}}