{"entities":{"Q543275":{"pageid":545042,"ns":120,"title":"Item:Q543275","lastrevid":62627484,"modified":"2026-04-11T07:22:12Z","type":"item","id":"Q543275","labels":{"en":{"language":"en","value":"Hoare logic-based genetic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5909083"}},"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":"Q543275$38D487EE-9EBB-4A75-97CE-F0F0E3F6994E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf19f00a88e7d94f0d25540134c92749b6b10d51","datavalue":{"value":{"text":"Hoare logic-based genetic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q543275$8F5B28A0-8CC5-46E1-9785-E9CE5196FEFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44a1b1fa2c70f6ddb1bafc106a90fc9aa6626742","datavalue":{"value":"1219.68144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543275$93D8DE29-F5B3-4E26-8C24-CAEF31DB778F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65ded65cac2507969e7a223c0e3a7c5963ddbda8","datavalue":{"value":{"entity-type":"item","numeric-id":351020,"id":"Q351020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543275$A1534DE9-D44B-47C4-B9F1-4D5871DF936E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"06abb7cdbc3bec13afd40fbf8a649a5d2c448f6e","datavalue":{"value":{"entity-type":"item","numeric-id":543274,"id":"Q543274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543275$B26CEEF5-4E26-4FE7-A61A-6E89881465EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"679921bcf0e363b75ce12b183e874ec82b63edbc","datavalue":{"value":{"entity-type":"item","numeric-id":243946,"id":"Q243946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543275$FD4F9288-84A7-428C-8EA8-3B4B0F6F16BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41347bf84cd250e44b8213a5e8361f2ecc69eb3e","datavalue":{"value":{"entity-type":"item","numeric-id":233070,"id":"Q233070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543275$D40504E5-53C4-4203-8EA2-3E1DD8EE6955","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c5acb12eb16cd36e6bd9603815f2e919f7d5ec","datavalue":{"value":{"time":"+2011-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q543275$F600B60F-E4E1-4E35-8795-EF71E92996E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e72fe3c322ee4314023b8fe4b958cbf265bca108","datavalue":{"value":"http://engine.scichina.com/doi/10.1007/s11432-011-4200-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q543275$1DE7CCAF-A9A5-4273-BA97-B2118405CC8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543275$134F5E7B-C38D-413E-A110-05A37FB5C939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543275$9F5B463B-6C77-4E6A-9A15-3844B686E12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543275$17725A18-8ADA-410E-AE64-A30FDD05FBDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cfc8d53133d67e82ab465623e6ce95e8e4bd3034","datavalue":{"value":"5909083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543275$54098A02-B762-480E-8276-A998F8D595C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afa13ff551626f2325b72cda4560ced4fb6f9f67","datavalue":{"value":"genetic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q543275$4041E94A-BD19-4BCE-BE6E-360152D6EDD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q543275$C9D03B8E-AC47-4FC4-9BBC-43C841355C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q543275$D40CB94D-9D6C-4249-BE0F-29B73CB0C69B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q543275$7015050C-E7D5-4007-A48E-9F896D0C0635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c041fe86c2cc24c4d74a3b149bc730195409c12","datavalue":{"value":"finite state automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q543275$9E1B4E3C-6CFF-4A38-94E7-F4AEEFC9DF77","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":"Q543275$045211DA-D83E-41F2-A893-C3B1BDF776D9","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":"Q543275$5B2F8FC5-B3A2-47F2-978E-1286EA0671DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4487996b8803513396440ec0c0ca86347df8d231","datavalue":{"value":"W2028585812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543275$25FD87D2-737C-4A2A-A648-DD33D6BB7815","rank":"normal"}],"P223":[{"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":"Q543275$F364D693-B912-4DCD-B4BD-FDDF7F3D36D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eac237658819d6521eb4aed96d6767c10945bc3f","datavalue":{"value":{"entity-type":"item","numeric-id":4382646,"id":"Q4382646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543275$AE23DD56-80E4-4E12-8110-BF59D3771435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1254501a3f458c6e785131c9e70db9741fa499b1","datavalue":{"value":{"entity-type":"item","numeric-id":5321499,"id":"Q5321499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543275$7F6C53A0-5FF1-442B-801D-644B33FAFB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf166736e67e27f8f67ff8339e1d62f29883fb6b","datavalue":{"value":{"entity-type":"item","numeric-id":4794698,"id":"Q4794698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543275$10F3646B-6B92-4420-BA69-5768DC1F80FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f723a550bde5628c04096bbaf19053834efd990d","datavalue":{"value":{"entity-type":"item","numeric-id":4845470,"id":"Q4845470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543275$D5851A98-095F-45CA-A146-EA982F9480E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6cf60f65786364349b368617d46c7459c23839f","datavalue":{"value":{"entity-type":"item","numeric-id":5458325,"id":"Q5458325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543275$3DA25760-4752-4A9E-BA02-8B7ACE9475D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543275$96315977-72FF-4D67-A849-9C7F32CB95B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc41a68c5b09e588bffc4e8fd19a063bf7a51351","datavalue":{"value":{"entity-type":"item","numeric-id":1606799,"id":"Q1606799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543275$9E7DBE61-3FF7-49C1-AF51-9BB46B12F50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672be30d9c0fd1bb08a1fc6131d1506ec245277a","datavalue":{"value":{"entity-type":"item","numeric-id":4830107,"id":"Q4830107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543275$F46FC5E9-5832-44CD-B96D-A7E7EFBAA449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543275$58D537C5-A8D5-4AD8-A2E9-0B36D49C6EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9466291634e83e12236234b9e2fd487969707b6","datavalue":{"value":{"entity-type":"item","numeric-id":2545842,"id":"Q2545842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543275$7BD899D1-4744-4409-92A5-8D56AF185DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543275$8433BFE4-F4D2-4A78-9684-96AA7F417ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dcbba6998bcabb6165baa4792722421eeb6f5bb","datavalue":{"value":{"entity-type":"item","numeric-id":5490371,"id":"Q5490371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543275$B4A4EF9C-9218-4BD4-A5E8-028F0D2DDEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bb26cb01dbf8dbc1346e89d38ef4b617f99f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4506483,"id":"Q4506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543275$A22CA020-782D-4158-B691-69D9A98D61E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd4a0c107773baf4c7b30e2c05565087fb2ff673","datavalue":{"value":{"entity-type":"item","numeric-id":5452362,"id":"Q5452362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543275$F293B5AF-C261-4BF7-83CA-14F2D6D978CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543275$077A016F-90D2-4348-B374-3A0FD3FE4C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e78e9cd5f5a5d5d8052d0406e83dbf88b9a99036","datavalue":{"value":{"entity-type":"item","numeric-id":4833652,"id":"Q4833652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543275$164A8CFC-1A19-4D8D-A1DF-C61C3E4C6B8B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35c8267906d74c54b37213f6e59499c13c2597d5","datavalue":{"value":"10.1007/S11432-011-4200-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543275$B5A7E2D5-40D1-49F0-8BF3-A600347D9612","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e61521466efc69453d03c996ffe47614665c4523","datavalue":{"value":{"entity-type":"item","numeric-id":5018141,"id":"Q5018141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543275$B5CAC288-A6D8-49D1-9DD4-E68E4C01E8A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd8146f8b5d76079744c76eb97c143e224584993","datavalue":{"value":{"entity-type":"item","numeric-id":5458325,"id":"Q5458325"},"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":"Q543275$022BF0A9-2099-440C-AF07-9B93FD13B95F","rank":"normal"},{"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":"0b0883f63fac2d5095d2a27aecef4238277f49e6","datavalue":{"value":{"amount":"+0.7397991418838501","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":"Q543275$F92C770E-B79A-4B86-B3C1-0CE5A1F2EB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7bfcc9708a4e554370096573038efc3c4d7a825","datavalue":{"value":{"entity-type":"item","numeric-id":4448578,"id":"Q4448578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d4f66be92143448aa9b8f8dee2e7b44d6b540a6","datavalue":{"value":{"amount":"+0.7341344356536865","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":"Q543275$91E16E50-52B5-4DC2-8BF0-C919473EDE9A","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":"888067a3290d1819184e8e3a7af72e88115fd7b9","datavalue":{"value":{"amount":"+0.7239643335342407","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":"Q543275$CBF3221B-0172-46FA-8C8C-5EDB1409C90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb78fb0ce6e11fbb4974fcf12abf053d1faa2f28","datavalue":{"value":{"entity-type":"item","numeric-id":4501575,"id":"Q4501575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4d1e04bed9466aa50575406cd997524327bbdad","datavalue":{"value":{"amount":"+0.7013953328132629","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":"Q543275$6B449540-6F59-48E4-8DC1-336BBEB574DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hoare logic-based genetic programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hoare_logic-based_genetic_programming"}}}}}