{"entities":{"Q963372":{"pageid":965220,"ns":120,"title":"Item:Q963372","lastrevid":42789142,"modified":"2025-07-11T12:21:10Z","type":"item","id":"Q963372","labels":{"en":{"language":"en","value":"Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5694937"}},"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":"Q963372$0610FF74-6457-4CC3-9FB6-BC902B0877E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"802c60dfc8bdba06e1dea0396b65d16f768b696d","datavalue":{"value":{"text":"Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q963372$312CC8DD-F03E-4862-BA5F-E55639E37715","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"637567c90d2bec5cc399c89cfbe6553b7517822c","datavalue":{"value":"1186.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q963372$ECCEBA71-E7C6-4BCE-98CC-2C275977DFB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e76452ae1f2d151c6f54465661b1eba70365a3fa","datavalue":{"value":{"entity-type":"item","numeric-id":429185,"id":"Q429185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963372$C98173F6-109D-40CD-A6C3-65E34AAA60FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fda524eda7e9f3ec8e1767ed02375024b30ab84","datavalue":{"value":{"entity-type":"item","numeric-id":246502,"id":"Q246502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963372$C600CC39-D641-425F-9694-7154211EE87E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963372$6C2C0D27-D5A6-4492-9E01-D84746DF4788","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df35f107dee033aa4a629b06ed8424344d71e9dc","datavalue":{"value":{"time":"+2010-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q963372$F0D89A5B-C441-4C06-B65F-092288F84381","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q963372$50071082-8814-4B73-BD3F-EFFE081E8110","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37b231829a13e57948b51d406d3715587593b9c0","datavalue":{"value":"5694937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q963372$6EE4831B-AF60-4CC9-ABD0-84DF272C3BEC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q963372$60C66432-22CD-4C8D-BC5B-6F512DAE7AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8de3da8cfe49c6ae88a84b066bcdbedd79d9cd02","datavalue":{"value":"ant colony optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q963372$29C14044-A82F-4569-B3C0-80F4B9E06A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94c6d9adcf604dcae84ec3baf1711b8f20c0bda8","datavalue":{"value":"metaheuristics","type":"string"},"datatype":"string"},"type":"statement","id":"Q963372$CB3B61C9-7688-41E2-A303-7863F8A3FBB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q963372$DFAD1417-3A5B-41B2-943A-E2DAB0C686B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd94e8d598491298a18ff31c8e1ee8ddeb2978da","datavalue":{"value":"HSF-SPIN","type":"string"},"datatype":"string"},"type":"statement","id":"Q963372$27F83837-D860-4838-8FB5-CD371A9490EC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"83091f2f1b1d9edb5ed4a19eaa22773f5d304f3f","datavalue":{"value":{"entity-type":"item","numeric-id":13297,"id":"Q13297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963372$00482A77-FB14-4DE7-B237-FCDECCDD9FAC","rank":"normal"},{"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":"Q963372$C562045E-6EAB-4910-8C91-DAD3E13C6825","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":"Q963372$BD2441BC-76F8-4576-887E-3AB9245685B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5331c05156f73aee73e07f60b9daf90fa0261089","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2007.11.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q963372$006C7E50-10F3-4D43-A87F-E250859B5DE2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd25d35dec13d63d5be989e5c0bdcd3d23eb956b","datavalue":{"value":"W2055373773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q963372$FEF56FB4-A690-4AE7-937D-59ED91FABC34","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b9dbb717d681ad604cd2ceab636cb52e57bfd64","datavalue":{"value":{"entity-type":"item","numeric-id":5315930,"id":"Q5315930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963372$AC1E9316-0840-4B5B-A3AD-ABFACD9858F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c5442a4cce0d63c3fa570a845fdb781a99af900","datavalue":{"value":{"entity-type":"item","numeric-id":4538531,"id":"Q4538531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963372$1DE62E12-9B9C-46E6-8C47-4F3389629F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d12b06e6ae1da03648e7ab22e363f7d0d9f46121","datavalue":{"value":{"entity-type":"item","numeric-id":5899046,"id":"Q5899046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963372$3093D2BF-C127-40E2-B167-31FABACD7306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9b4bb28151b0d03477fb78eebd0b1989b18e918","datavalue":{"value":{"entity-type":"item","numeric-id":4451881,"id":"Q4451881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963372$93966433-B9A5-4382-898D-4F236F731FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1998761525c8e9696a61bb6ea74c7d2f46fd1ac2","datavalue":{"value":{"entity-type":"item","numeric-id":5480099,"id":"Q5480099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963372$E8EE77C2-1B59-4673-A661-FFE6C42B3ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eaaccaac291d002c6380db04008b1f5a40bf58f","datavalue":{"value":{"entity-type":"item","numeric-id":4530808,"id":"Q4530808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963372$29C7EB4C-A527-4D5E-B663-5B9657927DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963372$79E12B1D-3284-440A-9F2E-DBE5771B65CA","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":"Q963372$03D3854D-D16E-4732-AC63-D52CA91CFDA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604d18bd5db33b46dd0ebffff25aace1ee6c7166","datavalue":{"value":{"entity-type":"item","numeric-id":4738472,"id":"Q4738472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963372$82863C6E-48F7-4990-9178-CE4104075033","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c28d5eb554251f0707db943bc7226f0f1548b33","datavalue":{"value":"10.1016/J.IPL.2007.11.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q963372$54A85792-5CBA-468B-A4E5-E5748B37ED8E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5621f16143d3acacf8472fcb9d8c3fea09cd77bb","datavalue":{"value":{"entity-type":"item","numeric-id":3163947,"id":"Q3163947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15eb52ba8f123f7899f8416cc9c639473cca6543","datavalue":{"value":{"amount":"+0.8247498","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q963372$1A60E16E-B1AD-402A-ADE8-B0537BC787EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d9bfd1fefc631074c4b6d6d12b126c9ba192942","datavalue":{"value":{"entity-type":"item","numeric-id":1801499,"id":"Q1801499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3863e917d661c545fe07e4512ec0834f10770538","datavalue":{"value":{"amount":"+0.8132916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q963372$B7C4D368-2260-45AF-A08D-89DDECE4D60F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc031f8079cd84852ec9c9ac49d85f399f621ef7","datavalue":{"value":{"entity-type":"item","numeric-id":5432240,"id":"Q5432240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43fb7e30c72d44c99235bfb28183002db5450f98","datavalue":{"value":{"amount":"+0.80669147","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q963372$0B635508-3A48-46D3-9EA5-A69F6E1D6C87","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":"3ecb9c4c88026fc258c802495a1ed4e271f88a32","datavalue":{"value":{"amount":"+0.802589","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q963372$A37D70AF-5A53-4965-82E9-515E5224D5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4c3fe13c1bac1bb380993634bb869e152330d5b","datavalue":{"value":{"entity-type":"item","numeric-id":5035705,"id":"Q5035705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25855ad0101a5486d4e7694e52080b1988d9545a","datavalue":{"value":{"amount":"+0.7991425","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q963372$70C13D31-52EF-4F31-B108-A59022A01C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"053c83158ff52c82be086916b19ed1c1da73d629","datavalue":{"value":{"entity-type":"item","numeric-id":2961569,"id":"Q2961569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb669d49896fdee2316119542a7096714687e987","datavalue":{"value":{"amount":"+0.79889727","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q963372$9D292259-8407-4C79-8FF9-63E79EA88AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"417f3b972ebf403c2e595613f41ecaa318eb253e","datavalue":{"value":{"entity-type":"item","numeric-id":1878909,"id":"Q1878909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c2ef4ad03a02cac43757a915a04bd614de56f6a","datavalue":{"value":{"amount":"+0.79757005","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q963372$60F2F49E-3C45-4927-8DA8-43B71EDB4121","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:963372","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:963372"}}}}}