{"entities":{"Q6486421":{"pageid":14065079,"ns":120,"title":"Item:Q6486421","lastrevid":41212550,"modified":"2025-04-19T20:46:57Z","type":"item","id":"Q6486421","labels":{"en":{"language":"en","value":"Constraint identification using modified Hoare logic on hybrid models of gene networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7649990"}},"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":"Q6486421$AAA87A56-8659-4BD2-9027-F6E9BB57D932","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c74e16690594c62ee07f52c31529ad29f1f0dc5d","datavalue":{"value":{"text":"Constraint identification using modified Hoare logic on hybrid models of gene networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6486421$80580F17-E1BF-410B-B4BC-FE26EF6919CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c17b77f7b4ade4178f00d84bb8d0465ed814028d","datavalue":{"value":{"entity-type":"item","numeric-id":6486419,"id":"Q6486419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6486421$0FCABACB-DFC0-4F87-AFCA-0E7266130D52","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":"Q6486421$C0518871-409E-4E4A-9744-B8C2185D815D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da0e0c41d8c73385e4201d28390d516db9f22d6b","datavalue":{"value":{"entity-type":"item","numeric-id":275997,"id":"Q275997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6486421$162C8480-B863-4756-B1B3-C8EF515DC831","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e22b6bdcce6df330f451461c43cbdb6c766527c1","datavalue":{"value":{"entity-type":"item","numeric-id":6486420,"id":"Q6486420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6486421$7FF73B46-C37E-4C8A-9B41-0F1FA0949122","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6486421$4F91DE47-459C-43A1-B63B-9D7BB886F345","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6486421$EA4835D7-FE7F-49AB-8D16-CBB06AE33EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6486421$CE11DD05-6B05-4F26-BADD-10AC50D61B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33dbd2fb5ca21d3b7512e0368d809229686ea08a","datavalue":{"value":"92C42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6486421$6734F806-6922-46BC-81D7-4EF8A1AF5FFA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb0c1f14a22a5e1e07c823bb014fe56bfcb29b2b","datavalue":{"value":"7649990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6486421$5793A471-577B-495F-B374-EB944B3636A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6486421$C45C4056-CCBC-433D-B4C1-C8301C534967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26325b97ca9f91dadc7bc17af7514ea7907cb4fa","datavalue":{"value":"weakest precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q6486421$4A593220-990D-4AD9-8725-23E0398524F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd4f4c6f22735a50175f03e5056e3b26acd23404","datavalue":{"value":"linear hybrid automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6486421$AF5178D7-4BF7-4FE3-8474-7C75B712BC59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01eb8b82d68e6da78c2593c13fc7ca2250ef2ce3","datavalue":{"value":"constraint synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6486421$859DB1B4-EE9E-4A4E-983E-9587CF0CBC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9910573fdb55074a6fcdd120f353f93bceff822","datavalue":{"value":"gene networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q6486421$E7E4E9B8-AF79-4D0C-B099-E768A1BCB683","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":"Q6486421$0FE51F65-BCE9-4013-9288-C244A2F8AEFF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9b87efd6beab08591f5218a6b0a08da85dee7b9","datavalue":{"value":"10.4230/LIPICS.TIME.2017.5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6486421$616E2639-BB0B-47F8-A2AE-AE26E3F216B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c4ce0cbdd9995d1c47e033590148e2b7841a19e","datavalue":{"value":{"entity-type":"item","numeric-id":4417996,"id":"Q4417996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf9cafc88478793fd73d4a477226d9bef5a817f7","datavalue":{"value":{"amount":"+0.85547656","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":"Q6486421$1C3C3A33-07E3-4EF4-B95C-1BFDCFADEC33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3edc3dd72dd7ef88bd83d7aea463143371139b9c","datavalue":{"value":{"entity-type":"item","numeric-id":5308374,"id":"Q5308374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fc7a7c9e9132accf508fc9919ee5a131ca25166","datavalue":{"value":{"amount":"+0.85239464","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":"Q6486421$DAFB1311-0190-4762-98AC-980CA4780CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1564fa50dbdb6878a8efbdf217ab71d51d3af795","datavalue":{"value":{"entity-type":"item","numeric-id":371967,"id":"Q371967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0404a88b7d83d5e27344a163f07e86f1993c4bde","datavalue":{"value":{"amount":"+0.8459007","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":"Q6486421$FDCD6F08-6A47-42DD-98BB-8D31BC37E440","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":"87e8831ccf94ca94c6e8797a8ae51a73a6a9200c","datavalue":{"value":{"amount":"+0.8456097","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":"Q6486421$5DE154AD-18F7-4B8E-8BA8-5D29FB589F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5153cf28fb2b25bfa0e69f2caf76b25515423043","datavalue":{"value":{"entity-type":"item","numeric-id":2429908,"id":"Q2429908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c55845e56b0af08e15ec3a47c546d5c0e85284c","datavalue":{"value":{"amount":"+0.84541315","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":"Q6486421$B11E691B-28E6-4011-A16D-340710D98BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13af5b3e02828a90ae2616670865aff75986913a","datavalue":{"value":{"entity-type":"item","numeric-id":2177123,"id":"Q2177123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db9f8484ecebae4360e29993b40018c474d6315b","datavalue":{"value":{"amount":"+0.8453969","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":"Q6486421$1D6A4CC9-6C56-42E3-9DCF-C0C638F09434","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6486421","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6486421"}}}}}