{"entities":{"Q6131194":{"pageid":13265501,"ns":120,"title":"Item:Q6131194","lastrevid":57112539,"modified":"2026-03-26T16:24:49Z","type":"item","id":"Q6131194","labels":{"en":{"language":"en","value":"Constrained Kripke structure for identifying parameters of biological models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7827498"}},"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":"Q6131194$6722E12D-9D9B-4D77-9C79-230886C734C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"078cf388c62172b587df841a0976ef526d755040","datavalue":{"value":{"text":"Constrained Kripke structure for identifying parameters of biological models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6131194$D245CFFF-8E94-48CC-A2A6-E19F57F7F850","rank":"normal"}],"P16":[{"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":"Q6131194$E15C373F-3824-44BE-94D2-C71EC097658E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3528091f12caca4dbe608542c3c4b6cc064e2f4","datavalue":{"value":{"entity-type":"item","numeric-id":968352,"id":"Q968352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131194$B7FA44D5-7ADA-4871-9E76-BCC8425E870B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0f688057b97f6fcdf688ab224e93cc887e30e2b","datavalue":{"value":{"entity-type":"item","numeric-id":2142100,"id":"Q2142100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131194$9B6C6B34-C4FC-47B7-B4EF-6923F9004696","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":"Q6131194$850C02E9-1590-4C22-A09A-21108005A707","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed93f927f63c00bbaeab31931bb0c0a40b2cf90f","datavalue":{"value":{"time":"+2024-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6131194$BDDACCE7-4652-4FE1-9163-3E0B22CFC80F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6131194$B3E0CB23-4448-4AF8-BFD6-AD1996FDF10D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"544e7003699bf82bc1064fbb21ebff41c9e18406","datavalue":{"value":"7827498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6131194$5DE406C3-D588-4B39-B074-8D975147786F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ffd4763c7194f24801d607a5a20bdb842c04405","datavalue":{"value":"biological system analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6131194$04CE6244-E131-4239-B2AD-C5E76064834F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6131194$9720D1FA-8E57-4734-976C-58AEA5D16C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da35ce988c595819dfc554f6116bf84c300b4455","datavalue":{"value":"constrained Kripke structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q6131194$AB68D20B-7159-49A5-A745-2400A9D1BF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19c04484dcfe08d2cf685bfb4751abe161bc7ad1","datavalue":{"value":"automated parameter and model synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6131194$2BB7B2B8-8FB3-4C6E-8943-66FF2E3CF664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9af912be59dcdf5c630e6cce2236f4d68f189e93","datavalue":{"value":"frameworks for model verification of biological systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6131194$920EAC16-2EEE-4860-ABD2-4B851D067E53","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":"Q6131194$878ABAB0-A9E0-4C61-AF02-FC32607174FB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"581def0db783943bc45f50f344caac6572f3d674","datavalue":{"value":{"entity-type":"item","numeric-id":2110690,"id":"Q2110690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131194$23F6E6B3-AC51-4AE1-9FBF-C5170EEE9DF0","rank":"normal"},{"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":"Q6131194$0EDE874C-6325-4C6E-AB0F-695EDF02E87C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0002858691d36f1151f3c0038479d7be3d0f19f4","datavalue":{"value":{"entity-type":"item","numeric-id":4413225,"id":"Q4413225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131194$D5E53D5E-6E6C-4672-B82F-587077B306DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fea09adee2b5764c177a2e72fe4000e5901d1dac","datavalue":{"value":{"entity-type":"item","numeric-id":2422014,"id":"Q2422014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131194$9D4CFD71-5E2A-4B3B-AF64-A4039DC82234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb1e5c397cc720f8c4b0e15c39b9444370b79c40","datavalue":{"value":{"entity-type":"item","numeric-id":2142101,"id":"Q2142101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131194$768F1EB7-7DAE-4F45-BF4E-C50A7AB26FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6850ed88177a93acc820bbf0d92748dbc2818ec8","datavalue":{"value":{"entity-type":"item","numeric-id":5713503,"id":"Q5713503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131194$127D7093-1B89-4148-B0FE-E60BC94D1F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8868f6d15c6a7c9c5d4851ff39f1e1ce553b8678","datavalue":{"value":{"entity-type":"item","numeric-id":2225126,"id":"Q2225126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131194$D742E0AE-BE58-440E-92C2-38C3FA6C7489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1b25525714a123fb2df53b9dfe08819dbee935d","datavalue":{"value":{"entity-type":"item","numeric-id":5215913,"id":"Q5215913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131194$B32CE70A-1124-46D1-8B9A-9840C75AE681","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":"Q6131194$553E4AE0-E94C-497E-80F8-4E499E8F8BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131194$285A3007-0C5D-4E1E-8B54-78B37F79A81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93cafc97884fcc9c4f3cf3a7f78c694a2595dae","datavalue":{"value":{"entity-type":"item","numeric-id":4953875,"id":"Q4953875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131194$90AAFB20-DA70-4406-99D9-7F6CEE0698A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9880f8734920f1e497fe1ac54932022278fbe2e0","datavalue":{"value":{"entity-type":"item","numeric-id":2086725,"id":"Q2086725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131194$E07F1B46-9B20-4CB5-9C85-D2A31DEE1F8B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1fbe56f40151835f176f53fdb4df929b4a4d4ad6","datavalue":{"value":"10.1016/J.TCS.2024.114505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6131194$25101CD7-9AE7-4FEB-AC0B-07B89EB330CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46e8ace11757ceb5cf691661b8852c37fbb4b215","datavalue":{"value":{"entity-type":"item","numeric-id":5300885,"id":"Q5300885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf57ed1fb5d82d6b2fea918ae7fc5ebec38e8b34","datavalue":{"value":{"amount":"+0.7328570485115051","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":"Q6131194$32413885-2551-4D21-825C-2474CC532467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e4479dca897278b618c4943cd2455105133c884","datavalue":{"value":{"entity-type":"item","numeric-id":2986970,"id":"Q2986970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"256ceff0f35e94840f4481479801eb06eee159b6","datavalue":{"value":{"amount":"+0.7279027700424194","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":"Q6131194$2E2C5A48-976A-4A4C-9A9F-45EEF1B9DE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fef83fb9e879e082c2a8be558de74b70b190ade6","datavalue":{"value":{"entity-type":"item","numeric-id":5302876,"id":"Q5302876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98340395a8b1db5cb9bed542d45b8611811e6696","datavalue":{"value":{"amount":"+0.7217029333114624","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":"Q6131194$3C8DFB2F-0537-4505-92F4-D54B9FE7230B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03a32038638312572aea51b3a77b637bc2399845","datavalue":{"value":{"entity-type":"item","numeric-id":4413225,"id":"Q4413225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1cfb672edb5ce172c7e83d0576b35f404f4e4f4","datavalue":{"value":{"amount":"+0.7188776135444641","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":"Q6131194$1A3837A1-7E52-4374-B27D-D08363D50CD1","rank":"normal"},{"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":"dd98eda3eb4cee14e86ab4c6d39de7483e957e43","datavalue":{"value":{"amount":"+0.7108690142631531","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":"Q6131194$6B0D6F8C-717E-4FB0-9EE4-4E040330A141","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"bee1ddd2bb542a0e64ca96574e4fab1bba361385","datavalue":{"value":{"entity-type":"item","numeric-id":57074,"id":"Q57074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131194$96FB991C-861A-4514-A045-EF3C9ACE0599","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6131194","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6131194"}}}}}