{"entities":{"Q2422014":{"pageid":2432757,"ns":120,"title":"Item:Q2422014","lastrevid":57914625,"modified":"2026-04-03T01:51:06Z","type":"item","id":"Q2422014","labels":{"en":{"language":"en","value":"A genetically modified Hoare logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7067574"}},"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":"Q2422014$6CBBE4CC-0FC1-4852-8D59-723CA4713F53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a77de9cd41c7fe592d812477ae504be999a7693","datavalue":{"value":{"text":"A genetically modified Hoare logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2422014$E5BD8513-14F2-48DB-8A60-5679B5AABF06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e69b686fa9102fc4be9505bc2b88c9f70ad46e75","datavalue":{"value":"1423.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422014$A4DFDAF9-79B5-425B-90DB-2559A79382DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"790d1912276399515eed47884105e4d744ff3960","datavalue":{"value":{"entity-type":"item","numeric-id":662599,"id":"Q662599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422014$204DF3B0-9020-4D04-88DA-BAC1BC42FA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2255863f0c56682b3597c13e96847804c69c8783","datavalue":{"value":{"entity-type":"item","numeric-id":2422013,"id":"Q2422013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422014$C49B913F-8AB1-4689-9ACA-6945A62968E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af941b5f3d9a9dba4248197009a4fc1657b2f930","datavalue":{"value":{"entity-type":"item","numeric-id":266274,"id":"Q266274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422014$F023909E-D585-467F-967F-17AAD132A61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6f5eaebbf7c201717b30817262749feba5d5244","datavalue":{"value":{"entity-type":"item","numeric-id":209128,"id":"Q209128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422014$E29332B6-D88A-4D4A-B68F-A0682626072C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c6894257f507718b5cffcbf604316d5f2ede8e1","datavalue":{"value":{"entity-type":"item","numeric-id":359893,"id":"Q359893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422014$6DC85FD1-840D-490F-A134-C3AE1AF01482","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422014$0ABDBEA9-D255-4E73-AC57-AFF6CE53A516","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"001edf23e586a650fb6b34425b0aaf644eda2260","datavalue":{"value":{"time":"+2019-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2422014$B20D7F7B-52C6-48BA-A25B-DAA793D1DDFD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0644d793843bd7b064da573ca2404c9459705dc5","datavalue":{"value":"https://arxiv.org/abs/1506.05887","type":"string"},"datatype":"url"},"type":"statement","id":"Q2422014$EC58714D-A0DF-46EC-8980-A83CAB36EABA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422014$B9400CEC-58ED-4D2E-B3A8-92E812F0908F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422014$8990553E-0B9B-4A94-B82B-E65661B68025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33dbd2fb5ca21d3b7512e0368d809229686ea08a","datavalue":{"value":"92C42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422014$7449647F-9D55-474C-A2E7-5DF828423A51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46cf30354d838c06a6bd3b990aad3653035c882f","datavalue":{"value":"7067574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422014$139D8EA6-946D-4582-B50B-EBDB84F5E088","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2422014$08765B14-8C13-4DD0-9DEA-E6EB0055D059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ce72767e589536ece70cde7afc8c19ea9120001","datavalue":{"value":"gene regulatory networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q2422014$FECB1029-8AA3-4DAA-B353-9FDFA245187D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a190438c10bed50810dbae568df50f3ba2c86568","datavalue":{"value":"Thomas networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q2422014$9FE017CC-2B0E-4051-8B74-DCA900327573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0d516428099f19f97dfbef00cdce92af0b65be8","datavalue":{"value":"parameter identification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2422014$83A2EA0C-6789-4D09-8350-CCB61AF0DE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3745f54a3339923feca2ac5349d25baebf1d45d","datavalue":{"value":"soundness and completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2422014$9B8A1558-C4C0-41FF-9DBC-40B196D3C275","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c3475c3a3767ecccf397c0e953871eea19487b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5975115,"id":"Q5975115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422014$603175EB-6FC5-4633-B8FA-6F28D0427780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"268b07ac4f303d090d12dbd9714073b10bb96cf5","datavalue":{"value":{"entity-type":"item","numeric-id":21083,"id":"Q21083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422014$14BD8E36-AAD7-4CEE-80D4-4D14E1E172C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"591ed93514d08f410649063f67d50321c7672ddd","datavalue":{"value":{"entity-type":"item","numeric-id":51676,"id":"Q51676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422014$E77B51B7-0067-4D4B-895E-4E25C091F266","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":"Q2422014$730A8526-310B-420B-AA21-72C4E360D046","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d07a8bbf0ba63e806cecf7c42beb52305f7f9b55","datavalue":{"value":"W2963446106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422014$9B994852-25B5-40F1-B489-0F663DF45907","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f276d939ceb32b424ad2add813b092c06ebe1083","datavalue":{"value":{"entity-type":"item","numeric-id":2189295,"id":"Q2189295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422014$E0A6F1FE-BF66-4E74-9B47-036A6E6C41DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"019e7b0eb8d8f1b18789d1749fc83e154e944097","datavalue":{"value":{"entity-type":"item","numeric-id":5712422,"id":"Q5712422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422014$166E8D14-73F8-4880-BCF6-5103C62D00E5","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":"Q2422014$BEC066EF-A52A-48E8-8AF0-212270C6B77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422014$9466F2FD-F476-4E0B-B078-E6A370029FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4505cce54c9a8be865f46ea1ce21b57add0a40c","datavalue":{"value":{"entity-type":"item","numeric-id":4076736,"id":"Q4076736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422014$C1ADC56F-F716-418C-BF0C-4FD1AF4DB240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5ebc03c6929a56f00c86a755f9bd990ca90e42d","datavalue":{"value":{"entity-type":"item","numeric-id":5738909,"id":"Q5738909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422014$A277BFD4-8F42-483B-BBB7-EC5659042F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69110d66f4fb9eaff7a66ca9098b4642d893a3ee","datavalue":{"value":{"entity-type":"item","numeric-id":5316581,"id":"Q5316581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422014$E646C4D4-0C8C-4B14-A35D-F23568847707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422014$5CC3AB3C-07DC-4730-9952-2F41E57D30F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c40bf792f48dba5fa959568e11244e0afca811d","datavalue":{"value":{"entity-type":"item","numeric-id":1602554,"id":"Q1602554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422014$B3E4E4E6-9DDB-4440-B58C-F9324FA549DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2891634168a5809d27fdc2e979846d7ce0f96dba","datavalue":{"value":{"entity-type":"item","numeric-id":4001257,"id":"Q4001257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422014$0FAA6E38-AD35-4DF4-A4BF-7CF39C4C83B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30831209889a0497624c878d437900123019c6a0","datavalue":{"value":{"entity-type":"item","numeric-id":2726402,"id":"Q2726402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422014$3299EFEC-8CF0-4333-AF55-55C3F6A60743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c46b217e9adb3a13d50551cabc068e7f13c88cc","datavalue":{"value":{"entity-type":"item","numeric-id":688424,"id":"Q688424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422014$4C9F4F04-9719-48AD-8DF6-A9AC24EB274B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de32677480fa1c47fd00d31206e084419ea64a75","datavalue":{"value":{"entity-type":"item","numeric-id":5495655,"id":"Q5495655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422014$9E7C2143-2057-4AF6-BCC2-53645E8E7BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3841884e450ab2f1a1b6ac466385a6f2cddc86fa","datavalue":{"value":{"entity-type":"item","numeric-id":962004,"id":"Q962004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422014$25DC64B0-C5D2-4444-8D53-F5DFD2389848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c00a8d94b8318176e5f674d7a9080c3bbcc1451","datavalue":{"value":{"entity-type":"item","numeric-id":2462379,"id":"Q2462379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422014$931CDAF3-5B17-42C7-A64D-27F8B0ADFE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b842449cc1f63c929aabc38992d4aac8500444","datavalue":{"value":{"entity-type":"item","numeric-id":2728814,"id":"Q2728814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422014$9F9A4F59-F090-4D32-9852-AD4360B382FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171307ae896eb2b79b44d0b1a3c590c8dac110ef","datavalue":{"value":{"entity-type":"item","numeric-id":2474436,"id":"Q2474436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422014$23305875-4ED3-4CD8-B2B9-F8D4CE7E4251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2caf661dab127e5f6e33ad0453f841d3e9741e9","datavalue":{"value":{"entity-type":"item","numeric-id":5194958,"id":"Q5194958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422014$F119AC30-6DC4-468C-A154-2E6ACC634A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2857e2ccf7c4a647101d2799fa5b5bcb5648fc35","datavalue":{"value":{"entity-type":"item","numeric-id":3787981,"id":"Q3787981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422014$A71C3986-3CAA-4A00-810A-F8BC274A571B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422014$38BF2064-E3F6-4633-A040-1E1C0DF204F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7494cb292d077b9afdcca4b1015093171eca6935","datavalue":{"value":"10.1016/J.TCS.2018.02.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422014$E3E1F0E9-D9F0-467B-915F-CB857FB2AA0B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d066728ee0a5563e55884af83bdcff4ab32518f9","datavalue":{"value":{"entity-type":"item","numeric-id":6486421,"id":"Q6486421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"885370c766858d9efa37884cc8cddac3c25474a7","datavalue":{"value":{"amount":"+0.8738983869552612","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":"Q2422014$52ED320A-E482-4669-BB0B-AA9401FBD9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b186749ef1aa1e66c939b330c20b6cd75c62e457","datavalue":{"value":{"entity-type":"item","numeric-id":3612958,"id":"Q3612958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1f72fc1674734b5a9aa951a96c46043a70d246e","datavalue":{"value":{"amount":"+0.7221028208732605","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":"Q2422014$6B0B6EB6-5C02-4801-97B3-FF14279EE2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0b67a94862f78eceedf2c11e426c4ff48073e90","datavalue":{"value":{"entity-type":"item","numeric-id":5194958,"id":"Q5194958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88cf0b58c6dfd4bbe3de19f05bd396da388650be","datavalue":{"value":{"amount":"+0.711616575717926","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":"Q2422014$8569E0D1-A783-43CD-9C6F-D8668F1A5636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e726e01f5ee0ea340c39e972af18644a8ca0c6ba","datavalue":{"value":{"entity-type":"item","numeric-id":3510833,"id":"Q3510833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0bff8dcf3d6c06df06092efc51668ed75376998","datavalue":{"value":{"amount":"+0.7006881833076477","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":"Q2422014$9319C3A9-5474-448F-93FC-4744AD5C5F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bac73859dc35bc8e64c8dd03bc854a0ca8730763","datavalue":{"value":{"entity-type":"item","numeric-id":1683930,"id":"Q1683930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21c3b92919afb8976253f2e3a930415e743ce36d","datavalue":{"value":{"amount":"+0.6979214549064636","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":"Q2422014$E949DB73-381B-4BF4-BAAA-56CD28A196A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2422014","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2422014"}}}}}