{"entities":{"Q2851076":{"pageid":2861796,"ns":120,"title":"Item:Q2851076","lastrevid":83869172,"modified":"2026-05-07T13:05:22Z","type":"item","id":"Q2851076","labels":{"en":{"language":"en","value":"Formal verification of timed systems using cones and foci"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213318"}},"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":"Q2851076$A5B658F1-6FF9-434B-B86E-ABE42795C267","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78703a4b59422b28e78e1340f38184a4e8f5c5e0","datavalue":{"value":"1272.68303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851076$AA9484E4-1088-47BC-9AFA-828EB169F44A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"752576cfbef9e9507e7fc1038f6ecdc08f2ba1bb","datavalue":{"value":{"entity-type":"item","numeric-id":201215,"id":"Q201215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851076$9E866DB7-51BD-48F3-8DF7-B341AA9241A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f48fe98eb6731fc6d10e36e20e2cb30403db223e","datavalue":{"value":{"entity-type":"item","numeric-id":513184,"id":"Q513184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851076$40E8AE4D-6E7F-46F1-B73B-FEE7C14A3E07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9bb76f8c858ddc05c9b0805444140cd69f0518fa","datavalue":{"value":{"time":"+2013-10-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2851076$4C803329-F0DF-40F8-B281-B973F4C52165","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd4afe4753eb75ca306a5f06125525c27378ea41","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105051182","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851076$18D21355-67D5-485F-A6B2-C7364B0D647B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851076$F17A3E71-B286-4F7F-B1F9-8A6BC4919AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851076$EECF9344-B393-41BE-A0C6-F2AE6BE3A1E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"753aff58f728f0429da947a9711c08e0a5f0f9c7","datavalue":{"value":"6213318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851076$F9ECE39B-13CE-4D1E-9311-C6FC22D6BBBA","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":"Q2851076$C06CDA3E-1007-4044-AF58-0ACD891BBBF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a5530ea358b373bf6537aff7a37702e7bfa0b69","datavalue":{"value":{"text":"Formal verification of timed systems using cones and foci","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851076$2B774972-37D5-431C-9901-04FFE4723114","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3496e14b6dcccc50cce94486109a32698bb74377","datavalue":{"value":{"entity-type":"item","numeric-id":1607115,"id":"Q1607115"},"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":"Q2851076$326E8961-EBB4-46F8-B8DC-5D62B6AE90BF","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":"c3e213edcd91a72535bee3a75d27e11b08951bdb","datavalue":{"value":{"amount":"+0.8054175972938538","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":"Q2851076$01E60151-19CD-45F2-A27E-4DB0D7E440FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8dc7ef38b66a1e6696bc169df20eba41035aab9","datavalue":{"value":{"entity-type":"item","numeric-id":1188590,"id":"Q1188590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3e213edcd91a72535bee3a75d27e11b08951bdb","datavalue":{"value":{"amount":"+0.8054175972938538","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":"Q2851076$BD7A68B7-C83B-4018-B8B8-E525DB1EA4C1","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":"3c4ec27884a7d8f07efe9eb10be5d33468829483","datavalue":{"value":{"amount":"+0.7690287232398987","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":"Q2851076$7077D571-467C-4983-BAF4-853718028DED","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":"d914a1d62928878eb97aa9dfb30c1939fee1f326","datavalue":{"value":{"amount":"+0.7199406623840332","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":"Q2851076$DC9C463C-3F76-45E3-BDCF-D78B6248764A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal verification of timed systems using cones and foci","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_verification_of_timed_systems_using_cones_and_foci"}}}}}