{"entities":{"Q3399983":{"pageid":3410686,"ns":120,"title":"Item:Q3399983","lastrevid":50878895,"modified":"2026-01-15T13:33:55Z","type":"item","id":"Q3399983","labels":{"en":{"language":"en","value":"Model checking algorithm based on ant colony swarm intelligence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5659475"}},"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":"Q3399983$651CFA39-93B9-4D4D-B9EA-2FC45AFD26A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d4098a6b546cc622d48569e1ab0eb9d9953f6dc","datavalue":{"value":{"text":"Model Checking Algorithm Based on Ant Colony Swarm Intelligence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3399983$4C6FB90C-676E-442F-89B9-8BD2695D85AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"598790c377bbed4a88d2caaf4f4fd396ad93c2ed","datavalue":{"value":"1187.68321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3399983$320DE8DF-EE45-40DE-B37A-68722BA6C8BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e5ce26be89fae4267c277836a1e6cc4bfc3b723","datavalue":{"value":"10.1007/978-3-642-04962-0_41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3399983$3AA5B0AA-E108-41E9-B63B-4B5A6EB7E434","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ba88529f5f9f360ca4d14eca29962219625374","datavalue":{"value":{"entity-type":"item","numeric-id":3399982,"id":"Q3399982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3399983$C2524D06-64DC-4D08-A70D-D19465286F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e20af3ba73d6905acc4ba5de2cc643789877b5c8","datavalue":{"value":{"entity-type":"item","numeric-id":2045653,"id":"Q2045653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3399983$22A749E7-2776-4BD6-B5A3-BFC72EC62457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35da54e333af453b6a2a0eff025b95d11f812d6d","datavalue":{"value":{"entity-type":"item","numeric-id":377707,"id":"Q377707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3399983$880CB4CC-DC54-4C71-8DA9-F22D0C1C6D38","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4077ffb18414bbb2357751629d411d50e25c5a0","datavalue":{"value":{"entity-type":"item","numeric-id":345896,"id":"Q345896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3399983$E41D8D25-357E-4C3E-A816-A64E01BC4710","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f6c5227c532f1642a28ac5ec57c91ab7b824960","datavalue":{"value":{"time":"+2010-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3399983$B12304A7-7714-4DBA-BFFE-AF69357FA30A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3399983$5E93D9AC-4DBE-4E38-9A62-E2E77CFBA38F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5f9013802dc060e6a9e3eab1f4fc3d7361d6164","datavalue":{"value":"5659475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3399983$58847B0D-A155-41DB-9A5C-B9E4EC980D1B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3399983$877D0B91-6392-4921-B02E-6B6684D76193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27b92a1aa60948c6a2b4e87c46ffb2897ab54a32","datavalue":{"value":"automated software testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3399983$DD3A1261-5BB0-4EC1-B7EA-50D84D26C74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"510234c352f9fcc969c651ade838aff505b35339","datavalue":{"value":"ant colony swarm intelligence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3399983$2925BE4D-EA15-4274-9C53-77A644ADA20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78917d480b329d6f49f3c23bd9d16d2a339b207d","datavalue":{"value":"pheromone","type":"string"},"datatype":"string"},"type":"statement","id":"Q3399983$4CE542D6-7942-4E4C-B71E-4EF5A6439518","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":"Q3399983$87DF823C-BB51-4051-BD04-AFDF0391D9F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"19c25f91b5bc01fe50335cc0086341c59551322a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04962-0_41","type":"string"},"datatype":"url"},"type":"statement","id":"Q3399983$C1C948E8-9B0A-4D9F-A824-8F99D59E6B09","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"427ffb4013a9d35412887f39ac199753529cf9dc","datavalue":{"value":"W1604876518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3399983$2C3E573B-9360-4DD9-BB8E-7E4B40603400","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":"467177c3fdad4d528b9ff739379a1b93a3d9f5c7","datavalue":{"value":{"amount":"+0.7428309321403503","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":"Q3399983$B8122D49-F2D3-4ED7-84F8-EAC82C99EB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39e3cd1d496cd8f12ab53b67197a973d6c6301cd","datavalue":{"value":{"entity-type":"item","numeric-id":963372,"id":"Q963372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"469a8b357198ad5301e7a2aaf92e971a57e964ff","datavalue":{"value":{"amount":"+0.7123385071754456","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":"Q3399983$5E87046C-53A0-4600-B01F-35C7F7A208A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c18736b1780768c0c5e100234d1b760f9a9e489d","datavalue":{"value":{"entity-type":"item","numeric-id":4989020,"id":"Q4989020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1899afddfe3b294ba94e332b020f7ea9ed51590b","datavalue":{"value":{"amount":"+0.6973021030426025","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":"Q3399983$694F66FD-8B63-45CF-AC2D-9D11B88F68D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ae1724776ca0d31788d25896e8d209fe913d70b","datavalue":{"value":{"entity-type":"item","numeric-id":2432976,"id":"Q2432976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaabfd322bcc853d53a9342fa75048b8552a68a6","datavalue":{"value":{"amount":"+0.6933614015579224","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":"Q3399983$390C9048-BAF6-4D40-8753-E2CF55700C94","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":"0fe9cc26b703592753e55ef782637e645427e639","datavalue":{"value":{"amount":"+0.6881222724914551","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":"Q3399983$3AD4A1A7-162B-4266-857F-997C8043BE7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3399983","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3399983"}}}}}