{"entities":{"Q5404073":{"pageid":7433647,"ns":120,"title":"Item:Q5404073","lastrevid":51953408,"modified":"2026-01-20T15:11:27Z","type":"item","id":"Q5404073","labels":{"en":{"language":"en","value":"Model checking biological oscillators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6272167"}},"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":"Q5404073$302B381C-9E2D-4156-B553-1B77FB1D1C15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d920ba4143d58d61f7c8149e66b37988a2cbc7d3","datavalue":{"value":{"text":"Model Checking Biological Oscillators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5404073$C7578D70-D7FD-48B5-A7C7-DDF0D2239580","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4e399ed5e3bd2b8b7b1f36e3f472bb912e8342e","datavalue":{"value":"1283.92008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404073$3ECD0233-F08C-4814-A3B5-E53420F15F36","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b65ab3ec984fa0fbff611ca057ffca2dc3c7f57","datavalue":{"value":{"entity-type":"item","numeric-id":498911,"id":"Q498911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404073$E257A344-AAD9-4CE0-961F-FF7CEAB9949B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"465b0138066cfcda82fbcbcf33420ebad4dcc739","datavalue":{"value":{"entity-type":"item","numeric-id":281272,"id":"Q281272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404073$BF872871-292D-4257-8138-4D0AF422F417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7076f0b8835263dca513915b05854fd5c0f2a65d","datavalue":{"value":{"entity-type":"item","numeric-id":288784,"id":"Q288784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404073$B257FA4C-F0A2-4C43-81F8-87A579D12A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bee65a70d0957435b8677048012b64cd699e6f41","datavalue":{"value":{"entity-type":"item","numeric-id":236445,"id":"Q236445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404073$7E2FC45F-3C68-4FEB-BD25-8CEBEE2A9EE3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404073$8EC786FC-9DA4-401C-8DD5-ABF0574005FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d90e7ba9218161af565114c8c946a60a85d1807","datavalue":{"value":{"time":"+2014-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5404073$CC862D03-90E2-4283-B0BB-CD17D455270B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"998e2315eb586146fa99a11c3609a6857593a7bd","datavalue":{"value":"92B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404073$92098F81-627D-494A-9621-879D3AA93476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404073$680274A3-F2DB-4698-83FD-0F7BCF7962A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404073$F056CE3F-A71E-425D-85F1-80783D8C0DBE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb8d4e55f763afd9ec265bbd9a0a087d7148fdb2","datavalue":{"value":"6272167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404073$C3126252-C73E-4B19-80AA-53009D889355","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6230bcf27b5553a560dfbeb112bb3354f2b4861f","datavalue":{"value":"spontaneous synchronization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404073$9124CE45-E4ED-40CB-B09C-DF8982528DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d053d8dd6397f9d95747b7011bdda686054584bd","datavalue":{"value":"Kuramoto model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404073$D9C855CD-FD17-48EC-905A-5986ADCFFFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d43d6b02fffbc355960497e0c412b27e76befc4e","datavalue":{"value":"oscillator timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404073$047A28C7-3B96-4C81-AB6F-55E0A32854AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a97cf3c20161fa10f2ab49a222c590733c8de56c","datavalue":{"value":"KSL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404073$F322532E-A5CB-475D-8B1C-3B2B12073920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404073$8E4C3D10-B6C7-4622-8A0B-99FB5DFA2423","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"aaf634e88ea6e8ee6fa06669ee83e82c2065617b","datavalue":{"value":"Q124343753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404073$FEB37620-FF04-4805-A948-A77B6B0FBF7D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8aec8b5433a1182c20dd953c116d11637b08512c","datavalue":{"value":{"entity-type":"item","numeric-id":14552,"id":"Q14552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404073$59C7FCC1-97C8-453B-A171-93AF55B52B38","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":"Q5404073$41B6A82B-34A1-4AD5-982B-415F96513E23","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b192fd82ad97238dcc93d4be14a20a3bb2208c88","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.02.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q5404073$928FC308-1A26-4A14-AF9D-BFA4A446AE12","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"902e62cccc4b0530f8bb6520329c50c2e1716812","datavalue":{"value":"W2152639018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404073$D8530470-922C-4F97-9B63-4378B0A40B4E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404073$27FA7085-0215-4E64-994B-C9E63FD0130A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404073$70CABE8A-0BB8-4D46-8A11-9AC351022E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac69cbd2f746c0a42198411347a5f6d8e9c6554","datavalue":{"value":{"entity-type":"item","numeric-id":3507384,"id":"Q3507384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404073$6CA04EE2-B3ED-4117-8E7A-85A5CBBF0EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91198e80cee5ae19d86707e19bec79e3b5122270","datavalue":{"value":{"entity-type":"item","numeric-id":4435815,"id":"Q4435815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404073$9B92161E-FC05-4407-B582-8CDEF174B8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404073$B13BC93B-E3A6-4326-B674-FC6225C187C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f6ffc19c1037ae7826d3cf5f2eda5dfd42642f7","datavalue":{"value":{"entity-type":"item","numeric-id":2750734,"id":"Q2750734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404073$109D1169-D5AE-40C9-ABAE-D90B3606211A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b2b5c2cdda4b704350c7feb1481cd4f547f6c22","datavalue":{"value":{"entity-type":"item","numeric-id":1176811,"id":"Q1176811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404073$1ED8B572-D15E-4AF8-88AE-4ED1848DA8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4245407e094222fbb72e647939b846ccd8dcfe3","datavalue":{"value":{"entity-type":"item","numeric-id":802406,"id":"Q802406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404073$CAB2FBA8-DF36-4C9D-81DC-B6301EE2FAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7421323bf7f8b39103abfbcf98ac8a32006a84e","datavalue":{"value":{"entity-type":"item","numeric-id":3197658,"id":"Q3197658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404073$83139E29-320F-468C-B00F-63B0651499E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34bd2bb5db9aba298e3853c998fb094827981dd6","datavalue":{"value":{"entity-type":"item","numeric-id":4055412,"id":"Q4055412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404073$58BD5E33-2368-42C5-9488-5977E4E28F34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3933734039fe8d34af68e8dfd1229076bd24c78","datavalue":{"value":"10.1016/J.ENTCS.2009.02.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404073$8DA83C05-7398-4EC2-A760-4B46FA3BCD0D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4bb05cedd64ba33f979129c093edffeb77d2965","datavalue":{"value":{"entity-type":"item","numeric-id":969176,"id":"Q969176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"937998696f53f8f6ae60ede21f5cb64beaa7df79","datavalue":{"value":{"amount":"+0.9337446093559264","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":"Q5404073$9D5AB675-030E-4BCE-84E7-84EB15B0FD46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eed7a221ed19a3a4121323d7d041725e2d1a96b3","datavalue":{"value":{"entity-type":"item","numeric-id":3197658,"id":"Q3197658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2a332f2cbc3a0a54e2e8ad48d7720bad0c637ec","datavalue":{"value":{"amount":"+0.7490764260292053","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":"Q5404073$C58AB5C2-05D4-4BB0-9C90-3ACEBBBC087B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1420e4adb96b37c0db63df59f8aa5cda89e0d313","datavalue":{"value":{"entity-type":"item","numeric-id":5194932,"id":"Q5194932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9a9b1148a746c31124bb470f54c8be3674d3a9e","datavalue":{"value":{"amount":"+0.7413777709007263","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":"Q5404073$B3A85476-4959-4024-AA17-F4145C4E4188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96fa09597bb9621d78fbde86461ac1e80b58f89a","datavalue":{"value":{"entity-type":"item","numeric-id":5404071,"id":"Q5404071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c08d21b0bb0303cd81dc06bcaac5eb629601e78b","datavalue":{"value":{"amount":"+0.7404147982597351","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":"Q5404073$E9890BEF-7EF3-4EAF-97E3-8DB7B252CA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4629e7986e0aecb7138f64f85c488d5c4c521eb","datavalue":{"value":{"entity-type":"item","numeric-id":2225471,"id":"Q2225471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1fe7eec7d31f65aca923aaa90944fc9a5fb31ec","datavalue":{"value":{"amount":"+0.7313554286956787","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":"Q5404073$92DF37AC-A498-4FBB-A315-9F5E18EE79B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5404073","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5404073"}}}}}