{"entities":{"Q2189295":{"pageid":2200038,"ns":120,"title":"Item:Q2189295","lastrevid":53754731,"modified":"2026-01-25T16:17:08Z","type":"item","id":"Q2189295","labels":{"en":{"language":"en","value":"Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7212033"}},"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":"Q2189295$A97F53A7-0027-490D-8CD9-C1BE66D684B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2bcd0024dc3a59531289a509bf649260f1ce85c0","datavalue":{"value":{"text":"Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2189295$D2996465-156C-40D7-A43B-0DD2F6C8C3E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b11076207e9ce4322e632e90221b4f4aa8c091db","datavalue":{"value":"1440.92036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2189295$878BDA04-94B2-48C6-895C-B195D528209B","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":"Q2189295$FF0F59BD-819B-4404-AE0C-5162B1E369E3","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":"Q2189295$EE77E2DA-CB4A-4007-A176-BFE452290152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21a120a79edb94f056d5e5d1b603118c0716b888","datavalue":{"value":{"entity-type":"item","numeric-id":2189294,"id":"Q2189294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2189295$E0BF2D60-34ED-4110-BE9F-ACAA2501F017","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":"Q2189295$529E44B4-6905-4477-91EF-5D44436C458B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0b23f78519bcad15874aad87d1c9a4388e300d13","datavalue":{"value":{"entity-type":"item","numeric-id":69997,"id":"Q69997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2189295$CA520B49-6CF5-4D38-AE88-CD5D25E4FC5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdb34299631c16bfb522dfd9d7a8453ddf816d49","datavalue":{"value":{"time":"+2020-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2189295$6EA58FC9-D028-4ED3-91C8-31004F35267D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33dbd2fb5ca21d3b7512e0368d809229686ea08a","datavalue":{"value":"92C42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2189295$128B2A55-ECFF-4213-8C76-AA93923863F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2189295$B130497F-47E7-4745-BAEC-5646D33D66E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb017d28e30a6c42ec12cbfc5c2156fae92fa7e3","datavalue":{"value":"7212033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2189295$38ED5EA0-D993-4ADC-82DF-D85598A71DD1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0253da51293bef3595b264cc9e73d8b48300773","datavalue":{"value":"biological regulatory networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q2189295$4EB50EA6-AE3E-49B0-8C72-3B44D41847BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2189295$92746025-D7BA-4611-B4C5-B67A9B68156B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2189295$5640203D-67B4-4D22-8608-724A166F9AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2189295$B204957E-4630-46A6-8C66-4CA3820DDE95","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":"Q2189295$9D6EEF34-7E78-4D5E-8E9F-269C28492187","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ccccf431dfcde6df2d62a9219b1638c91102cdcc","datavalue":{"value":"https://doi.org/10.1016/j.jtbi.2004.04.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2189295$3A2DADF3-0C78-48B5-8AF9-49356CA14F87","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee36d61b1b9f09a5a49f3641d082a9b446233795","datavalue":{"value":"W2121149194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2189295$5EAC1B85-EB1E-4692-8D53-BCE72872DC1D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f44251ddfd84d95aafc437e03d553a1e1096eaa0","datavalue":{"value":"Q80282566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2189295$F60FFB01-54D9-481B-BF9B-89E235FFD023","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0dd503ab66fd0d24362c0b651c468f061d1194f","datavalue":{"value":{"entity-type":"item","numeric-id":253470,"id":"Q253470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2189295$F29AD916-1490-4E98-B8DB-6F1DACB646F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2189295$1A6AE689-46F4-4D02-8334-45734CE623E0","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":"Q2189295$4B4AFA97-F49E-45D2-A549-B51C2B563FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3b950411ee1e7918837695edeb889a33306058","datavalue":{"value":{"entity-type":"item","numeric-id":5452599,"id":"Q5452599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2189295$17845E6A-33C0-498C-9336-C1E5DBB292AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27133be9484446322bb7cb410a136449483cf25","datavalue":{"value":{"entity-type":"item","numeric-id":4413205,"id":"Q4413205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2189295$992FEA86-799E-46CA-9E83-509A41455462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85e619975a64ea46519c17aa43079cefede35d92","datavalue":{"value":{"entity-type":"item","numeric-id":3834327,"id":"Q3834327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2189295$BDD9B26A-D1CF-4D04-A385-2372BBF6B475","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":"Q2189295$8BA3BA5A-BBE1-488D-AB17-1881AFF172BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3933d9b63f61a30021db9980d4fe98a57670a0ac","datavalue":{"value":{"entity-type":"item","numeric-id":3951957,"id":"Q3951957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2189295$C1F0FED8-BDB2-4485-BA64-981CAD319ECE","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":"Q2189295$C2684640-50F5-40B1-BC93-274EC2619969","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":"Q2189295$68D26AA1-5886-44E2-A35D-798903FFDECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e45b6547cdfa53f3bfe0a1e76a0ebc5eb0475cf1","datavalue":{"value":{"entity-type":"item","numeric-id":1346417,"id":"Q1346417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2189295$0766A53F-0611-408F-B0CB-7A111FAEB3D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aca42b5fb3bb8fe0e093a8f2a24e03bb4fd51f93","datavalue":{"value":"10.1016/J.JTBI.2004.04.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2189295$731E2416-1FFD-424B-A2B4-C58E5CA0C286","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8116fea7272992749e4bd457136741d83f9b182e","datavalue":{"value":{"entity-type":"item","numeric-id":4916070,"id":"Q4916070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"647dd6bc3cbba61f0b2b867e8da9e7a5e93adef9","datavalue":{"value":{"amount":"+0.8095300793647766","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":"Q2189295$1D7A2373-F4A3-4517-B3A7-ED5152952E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73b150d7ffb2ee0e561246d63e92c3e63aeb71be","datavalue":{"value":{"entity-type":"item","numeric-id":2474436,"id":"Q2474436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1e496d7828006c2544ac25b1e2ebc204c456ed6","datavalue":{"value":{"amount":"+0.7986724376678467","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":"Q2189295$A4B8F98C-1C28-42BF-B59E-97043202DD31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5cba03d77209902d335764db84f1142ae202f4d","datavalue":{"value":{"entity-type":"item","numeric-id":4413205,"id":"Q4413205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66a00dbd5a0baab47de662a6c88ba5a2bbe6d657","datavalue":{"value":{"amount":"+0.7909069657325745","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":"Q2189295$FC1D31A2-70D2-4240-9D91-7C2239E1FA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af5b022e76592a87fe55ac6643d37eccb60f5d42","datavalue":{"value":{"entity-type":"item","numeric-id":2355694,"id":"Q2355694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5a3bd4a95a297f9a505a527e852c03a3a27151e","datavalue":{"value":{"amount":"+0.785027265548706","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":"Q2189295$152C90CE-6F93-4CE3-8E44-5A4397121F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e68016642908281fe873fe5a83b4fd975448fa09","datavalue":{"value":{"entity-type":"item","numeric-id":5472864,"id":"Q5472864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e70b13726af9b4520b7ca2f38c025af0fc95f09b","datavalue":{"value":{"amount":"+0.7812150120735168","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":"Q2189295$C01955D6-3E79-4787-A66C-D67D12DB2D14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2189295","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2189295"}}}}}