{"entities":{"Q1607115":{"pageid":1617855,"ns":120,"title":"Item:Q1607115","lastrevid":67975794,"modified":"2026-04-12T20:36:04Z","type":"item","id":"Q1607115","labels":{"en":{"language":"en","value":"The cones and foci proof technique for timed transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1771810"}},"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":"Q1607115$38077C21-8453-4136-8AF8-98E16E2A59B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"245e5425adbc663461f7a57c573de3ca008c4c5a","datavalue":{"value":{"text":"The cones and foci proof technique for timed transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1607115$725A4AF1-1734-4ACF-AC70-EABCA5B001FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7bd20bbb4c2ca56d695a9b2a77dfa3569b049134","datavalue":{"value":"1003.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607115$21B07B74-2019-4A46-9C22-23313396E1BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14acd5f5b64e6fcffd30f7a197e5aa0d8fdbb804","datavalue":{"value":"10.1016/S0020-0190(01)00215-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607115$44E79311-26A7-4E30-8C89-D7889B1CE3A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ac059f9f6ec7e305322b9bf20d8c22ea0020cbf","datavalue":{"value":{"entity-type":"item","numeric-id":864508,"id":"Q864508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607115$F2446865-5D51-44B2-BD99-727D42B95076","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607115$67EB34BE-B348-4447-9689-571BFC4BBFF9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da39a7fd1a76a539516fc1c6fcfdf3ed355f9814","datavalue":{"value":{"time":"+2002-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1607115$6B4E6CEF-7F42-4131-B825-958B59A208D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607115$E8B97F44-3A94-4F3C-ABA3-48A6101053DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607115$34A7A467-F50D-4C9E-A65A-97F3A0542ACD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c2fabbc4f060cdd7c4296002f11291d7d7f4199","datavalue":{"value":"1771810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607115$1645D3C8-1B12-4601-97E8-E16F802EBC93","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8eb299975d6f793963d38acdff1b00b606f7930b","datavalue":{"value":"timed-branching bisimilarity of states","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607115$FCC48194-1014-445E-976A-5DC0FC0F195F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b78bd603a626a1ffc91825b1c17a9a7c1dc33721","datavalue":{"value":"timed transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607115$3D8A4D6E-B476-4BC3-BE99-7551164C7087","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":"Q1607115$B5689857-062E-44BE-BFC1-E1E503DC2456","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"995e09e11031a81f0e8fcb1fd6203f3a1b4afe05","datavalue":{"value":{"entity-type":"item","numeric-id":2640341,"id":"Q2640341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607115$2F5419C8-EECC-4117-9770-737FF9746E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a32b662cb24ebd253010e4d2dd1171bea9b2c50","datavalue":{"value":{"entity-type":"item","numeric-id":1914041,"id":"Q1914041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607115$C166D1A8-1943-4E31-BD8F-C8A1D9F4E2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a9a03ca7f35c079c210036c3416fa8438e5201","datavalue":{"value":{"entity-type":"item","numeric-id":4513619,"id":"Q4513619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607115$6DC4C916-F71B-4360-9D63-4564CEE84619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607115$17D25855-322F-4EED-B950-D1EF33B192F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a513c45897b31ffec63e5469a25464b2be8ac4b7","datavalue":{"value":{"entity-type":"item","numeric-id":4941495,"id":"Q4941495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607115$D33EF854-5B78-429F-A95A-116C2DA705E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d7bf628f04a87491982b62658776a441df674a0","datavalue":{"value":{"entity-type":"item","numeric-id":4235435,"id":"Q4235435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607115$A9E1465D-9532-4FE1-88B2-EDB5B1744052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7414515a925970afe4c8024b57cef12a78e4368","datavalue":{"value":{"entity-type":"item","numeric-id":1391796,"id":"Q1391796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607115$ED581A91-5DA0-4066-8E76-2049AFA23AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607115$40DDE3CF-E886-478F-88F1-FC7259A49570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ea1c7b5df8cf83140e6c720e7fe0a8d06a6e2d8","datavalue":{"value":{"entity-type":"item","numeric-id":3148335,"id":"Q3148335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607115$FCF349B9-A2DE-4EC0-AE9E-AF075B69FD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607115$59413667-7A26-4622-82EE-8BCC14DA40E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbb8098ae7580c0e23f3c0793e0a2aada5e58ccf","datavalue":{"value":{"entity-type":"item","numeric-id":4278673,"id":"Q4278673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607115$0B7AB746-6271-4BD0-9472-0EC65244ADC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607115$7A8C6DB7-49C0-40FF-8C15-CB032406D0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbbece7571be501a7c5bea5b915e00289f365146","datavalue":{"value":{"entity-type":"item","numeric-id":1109561,"id":"Q1109561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607115$FEEAAFB8-58B4-43D3-B5FD-F9713D70E6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebd5aba92b3114915b981730c847349622b36dd8","datavalue":{"value":{"entity-type":"item","numeric-id":1125432,"id":"Q1125432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607115$7A2A61B9-114F-4A1E-A75F-02C22190D131","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a85d3d3e71dabe6d9d5e500e6e35eddff26df4f","datavalue":{"value":"https://doi.org/10.1016/s0020-0190(01)00215-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1607115$3613FE93-62FB-4058-AC16-5607C1BAA78F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8021cfc186c0be0e925a6133d55ff246849617c6","datavalue":{"value":"W2054935966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607115$D6BFCD55-AF64-4840-B6E5-5E7610779449","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5758f21cd0a14d478e4cafbf310f3a239aa587e4","datavalue":{"value":{"entity-type":"item","numeric-id":2851076,"id":"Q2851076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c45d7daa8c44192818c6766523f3cc692fbc96e0","datavalue":{"value":{"amount":"+0.8548547625541687","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":"Q1607115$89E58FF9-3532-4C04-8B3C-0C12187B90AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc1ba1d2930b5614e20e3217c9f60468172d4f6f","datavalue":{"value":{"entity-type":"item","numeric-id":4417864,"id":"Q4417864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71f16d10c1d415e7e87f994a982d5ce926d2917a","datavalue":{"value":{"amount":"+0.8091631531715393","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":"Q1607115$F596EC5C-7B19-4516-B6ED-336A3F02BBE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15109f98683d5bff621cf0d8f8a78b3f4e74fab5","datavalue":{"value":{"entity-type":"item","numeric-id":5929099,"id":"Q5929099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71f16d10c1d415e7e87f994a982d5ce926d2917a","datavalue":{"value":{"amount":"+0.8091631531715393","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":"Q1607115$A18889F8-C8F1-4EE9-914A-BF2C081431C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8c2fec342ecb4e94948044b707e10f884767beb","datavalue":{"value":{"entity-type":"item","numeric-id":4508304,"id":"Q4508304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11a01b399b6f1fb2233b82caf27cbc8c14755b4f","datavalue":{"value":{"amount":"+0.7639721035957336","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":"Q1607115$78E4E00A-64B6-4B71-A0DD-BA614EA801C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d51a8feaf20ecbad50e4bebe418d5b5eec39eb6","datavalue":{"value":{"entity-type":"item","numeric-id":853730,"id":"Q853730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1c73f1453a89c27c50d4c33cec731cdee7006ed","datavalue":{"value":{"amount":"+0.7537789344787598","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":"Q1607115$B56E4F8E-D364-491F-B214-32938A0C8E5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The cones and foci proof technique for timed transition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_cones_and_foci_proof_technique_for_timed_transition_systems"}}}}}