{"entities":{"Q5458325":{"pageid":7487884,"ns":120,"title":"Item:Q5458325","lastrevid":50333795,"modified":"2026-01-13T20:27:09Z","type":"item","id":"Q5458325","labels":{"en":{"language":"en","value":"Model Checking-Based Genetic Programming with an Application to Mutual Exclusion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262366"}},"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":"Q5458325$CAD143E8-D8CD-45B8-B73E-D9DF476790BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c0ad217af22c83674349474bc6c258c05376cd5","datavalue":{"value":{"text":"Model Checking-Based Genetic Programming with an Application to Mutual Exclusion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458325$43B32D88-85FF-4A1A-BF06-79B6508DA19B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec07a7d09c711ffc36ea4b6156d6c91d412d0f7a","datavalue":{"value":"1134.68411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458325$D8A624FF-55A9-49FC-B5C0-30E8A5F8A6D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38179c95c86e144676f04cb3e000f5174304a6c6","datavalue":{"value":"10.1007/978-3-540-78800-3_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458325$C0B2DCC2-A6B8-4100-BE1B-2AE25F2689D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e57f0d96123768fdb146c5c4b2e6debafd646e0","datavalue":{"value":{"entity-type":"item","numeric-id":3172929,"id":"Q3172929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458325$FF6DAE3B-0303-4A7C-B2AC-C85368CA4418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01b122714b074858e7dfe34a02e4db705a543a81","datavalue":{"value":{"entity-type":"item","numeric-id":200942,"id":"Q200942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458325$2A73194F-FD91-45A4-B78B-95AF7602E968","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458325$99CECD6C-1F06-4896-BCDE-7C34444029AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5306c1211a7dcd78b6214088eb3e5b7092fd16","datavalue":{"value":{"time":"+2008-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458325$B3D6852E-BA89-4BA2-854E-5D92A3A38EF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458325$41D87347-EB96-4371-A8B3-626975481289","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe3ce6e049a2e2ac950d741d9330e14ee699ff6c","datavalue":{"value":"5262366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458325$3A8F8A57-1C33-45E6-B7AE-2DA48922AF2C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b73caf41d18f3f22691c16cb1cdd7440b8e008e7","datavalue":{"value":{"entity-type":"item","numeric-id":13317,"id":"Q13317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458325$4F483751-6DE1-424D-961E-EDA63524F54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458325$F08C9B11-8CD7-40E5-8207-C07416C011D7","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":"Q5458325$785646FF-1C3F-468B-9C2F-F53C6B17E06A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fbe9bf2127fd2fe9706c19e1249443fd06a17a17","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78800-3_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458325$513AB69F-60BE-4831-92DF-98F45759D960","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c71cf643bae9c7ad15f87d65a5c15309d9007d6","datavalue":{"value":"W1585803290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458325$3FEFB524-2D1B-44EF-91F3-DFE56B7FB0D3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2894b2589e750019bf0ae73f0ab2629648809ccf","datavalue":{"value":{"entity-type":"item","numeric-id":4738778,"id":"Q4738778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458325$DF3B94D3-CA6F-4F65-ACC2-8BFB4DC174AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6b1b68f3b9227f6893b9b967eee56379ca0ea92","datavalue":{"value":{"entity-type":"item","numeric-id":5703764,"id":"Q5703764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458325$5E873128-905A-4428-B81F-1EEC6A89F60F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74bf723af89a8168faa830fbea5b57ed346bb8e7","datavalue":{"value":{"entity-type":"item","numeric-id":4845469,"id":"Q4845469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458325$3F173973-4F9F-4C28-94F1-851DD03AE945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e2131bba6823415273c7be26dbfb27eedbb2100","datavalue":{"value":{"entity-type":"item","numeric-id":3739111,"id":"Q3739111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458325$6EDEDBA2-C1F4-482E-A6CF-CE65650124C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458325$826AEE1F-366E-4E93-BB54-F03D346E57F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed620432d7ddcf233610ef2f2a050010220ed20","datavalue":{"value":{"entity-type":"item","numeric-id":5949490,"id":"Q5949490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458325$E423BF8A-9CFF-434D-A741-76D36967392E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c6fa3ee91fe7f0c9fceafb5019b372002d49c99","datavalue":{"value":{"entity-type":"item","numeric-id":4472259,"id":"Q4472259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458325$E7573A3D-50A0-42E3-A501-BBDA599B880C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64297cfe0255721abddc8750478d4772af1a6730","datavalue":{"value":{"entity-type":"item","numeric-id":1317423,"id":"Q1317423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458325$426F131D-A58E-41EB-899D-F8183F7444FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a5917753efda0041ae94314e4a0eddabc545c49","datavalue":{"value":{"entity-type":"item","numeric-id":3540062,"id":"Q3540062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c14849bfbbdc4b8afc7eb1ef0173aada1961e27","datavalue":{"value":{"amount":"+0.8699216842651367","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":"Q5458325$6B4B7999-D678-464D-B11D-F5E8836016F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"339e2bd2d8444506e955356037e6ffa084a8461c","datavalue":{"value":{"entity-type":"item","numeric-id":543275,"id":"Q543275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11492722f35ac1fbb42c99808ecb0f8bb63f6624","datavalue":{"value":{"amount":"+0.7554473876953125","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":"Q5458325$DBE03228-D75F-4EFC-9BAE-A5AA3BF715BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9e48ea73a1870696e8beb0b277922647469782f","datavalue":{"value":{"entity-type":"item","numeric-id":4737885,"id":"Q4737885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d8be9c255f2952932b553917cf9e49569f5d891","datavalue":{"value":{"amount":"+0.6883153915405273","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":"Q5458325$86C0DC1F-17E6-4186-BD74-3E38F9951737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e38952d07479462a4ff4652e4af1b20b1850f130","datavalue":{"value":{"entity-type":"item","numeric-id":3631256,"id":"Q3631256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62e49b8cde5f7ebd82bdf552dc24e100e57e8205","datavalue":{"value":{"amount":"+0.6821106672286987","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":"Q5458325$872E5C12-0D54-4B56-8C9F-9AAB38C0BEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de450abf9babab63e4876daa04dc1e1dff7a352b","datavalue":{"value":{"entity-type":"item","numeric-id":2576575,"id":"Q2576575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b5cb6175d2b1c724fe3ad1bac6809036152617c","datavalue":{"value":{"amount":"+0.6677405834197998","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":"Q5458325$C602BF73-696D-4DF0-8C2E-2CC6B4F5D103","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458325","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458325"}}}}}