{"entities":{"Q4989716":{"pageid":7019293,"ns":120,"title":"Item:Q4989716","lastrevid":54006194,"modified":"2026-01-26T01:55:58Z","type":"item","id":"Q4989716","labels":{"en":{"language":"en","value":"Using Coq for formal modeling and verification of timed connectors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7351267"}},"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":"Q4989716$1516D726-3F6E-454A-9296-696A69144978","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c3aa15e5cbe3546670ec6ec60874fd6d3af977c","datavalue":{"value":{"text":"Using Coq for Formal Modeling and Verification of Timed Connectors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4989716$52A0B28F-FE51-4851-8C20-84A7E684A02D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17ed78c8ed9b7f949785896ccbb652e72c078cad","datavalue":{"value":"1461.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989716$4FF22B07-F09D-4CA9-BE58-2E61C0A35206","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e6c08e7acf8c7963873c082bdec15c13d5970ea","datavalue":{"value":"10.1007/978-3-319-74781-1_37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989716$FF22E67F-DCE9-40E1-88C7-B197AA0E4C5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a567d2ee6f65c2b6b20ce40a79b36f311a95aa6","datavalue":{"value":{"entity-type":"item","numeric-id":4989715,"id":"Q4989715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989716$FB65BD9A-B790-40CC-9B9A-109A51693CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad934be693c92f388e41f607fa1a7d88dcf09b91","datavalue":{"value":{"entity-type":"item","numeric-id":2688396,"id":"Q2688396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989716$9D0CAC33-2FCE-4D57-A68D-FFF319667F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff5e769cac9b2ac37ccbcce2837b3c89c47e5e9a","datavalue":{"value":{"entity-type":"item","numeric-id":1631222,"id":"Q1631222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989716$204626E9-B7BF-4E6E-9F6C-F702547FFA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8e543ed9331e4e9f3da7e47e39d3af59d472a0a","datavalue":{"value":{"entity-type":"item","numeric-id":202115,"id":"Q202115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989716$BEDF4A72-A455-400D-B0D2-0F2A9CA20F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1580d3ce0312133df8762ee552718ddef708846","datavalue":{"value":{"entity-type":"item","numeric-id":276378,"id":"Q276378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989716$63077483-036D-42A2-B650-A187CE18918E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a8f5cbf6360429635db718a7502a7494a9026ef3","datavalue":{"value":{"entity-type":"item","numeric-id":3095231,"id":"Q3095231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989716$27ED8139-66C7-467C-A771-9490B7B1D32A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e6c7ff8c150409ee8b57e6f339d646c7d730856","datavalue":{"value":{"time":"+2021-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4989716$E2828C5E-D791-4E4E-A919-446828D129EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989716$DDE24281-2E5D-4518-B90C-DB3EDF1D4858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989716$1F060B42-EDA2-4AA2-9532-13F5231CB189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989716$3E203672-A6C2-4C89-8973-4860C610E1BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05044dbe0f256723be60d958b4bb7e4c6184056c","datavalue":{"value":"7351267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989716$0418E450-D088-4D81-8109-859A596CC61C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92d06a08bd127fd75955d50fdd5f150c72cf7cee","datavalue":{"value":"Reo","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989716$08A2EDFF-1567-4FB4-933B-C479D3EFF097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b662b75f7ffeb09008fc38c861a4337ab03bd167","datavalue":{"value":"timed connector","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989716$2EE8A0ED-5AD7-48A7-845A-4C40AF2CA708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989716$85A27DD4-8CCA-4117-82CA-F40BA1C49BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d2ba1f3a9d37aa907198949c7415e4bc2ead980","datavalue":{"value":"modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989716$80B5D616-1D3B-4B41-8533-7F5C12D274D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989716$E3CAA125-7292-49F5-B4C1-32461D08F0A8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989716$6BC0F728-09F1-4B91-9D16-BC9E4ABE0E88","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":"Q4989716$659ACF7C-4794-462A-BF87-7DB72879112E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9eefb572e95a15f90f3191ad9aa5159a39a9c9f","datavalue":{"value":"https://doi.org/10.1007/978-3-319-74781-1_37","type":"string"},"datatype":"url"},"type":"statement","id":"Q4989716$B0F11D04-AB2C-4800-BA6C-C7CA4AF3671A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b74f00c20a06fffc83f32c38d1d99bb8e74f304","datavalue":{"value":"W2785776972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989716$9B5FCFE8-4A1C-4A8E-AE60-1A01A5767453","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60083195d5298330dc01e257307502926fd4b338","datavalue":{"value":{"entity-type":"item","numeric-id":3638992,"id":"Q3638992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"912339d3540df4b707bbd3ce6d9c101f58b29e3b","datavalue":{"value":{"amount":"+0.759524941444397","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":"Q4989716$F2394A18-E798-4D30-93F7-C2645FF5C1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58a0eb8cbb315bfd694ccc9a36c9205dd065e121","datavalue":{"value":{"entity-type":"item","numeric-id":2989003,"id":"Q2989003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a830ed57f6a0b5ae48ad071387f281ad7ef8c68","datavalue":{"value":{"amount":"+0.7226437330245972","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":"Q4989716$432D0D2D-5864-43D4-8A67-DDED94471169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"741efc63b28d8f1565fec5b16a09c83e62bd291f","datavalue":{"value":{"entity-type":"item","numeric-id":433331,"id":"Q433331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5ac35e3392fee9a2672d67d023d6865c4917326","datavalue":{"value":{"amount":"+0.7220797538757324","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":"Q4989716$780D8B34-A820-4998-A27A-628F091891EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb515a0cea261121e9d4e9feebd91062b2427d77","datavalue":{"value":{"entity-type":"item","numeric-id":5714446,"id":"Q5714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c41339975dfed08603b933396993925d53d6681f","datavalue":{"value":{"amount":"+0.7219160199165344","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":"Q4989716$9A96C092-65D6-446C-B473-AF3BCE78A1F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c76977d18fa85989eda5f6a1f03aa2e4f717aba","datavalue":{"value":{"entity-type":"item","numeric-id":2389338,"id":"Q2389338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9a9b920e18532e3fbdd7c98ad36367004bef751","datavalue":{"value":{"amount":"+0.7090502381324768","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":"Q4989716$A28D7139-6256-4247-8D9D-40424B469D55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4989716","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4989716"}}}}}