{"entities":{"Q5756736":{"pageid":7786287,"ns":120,"title":"Item:Q5756736","lastrevid":50157983,"modified":"2026-01-13T07:25:40Z","type":"item","id":"Q5756736","labels":{"en":{"language":"en","value":"Communicating Timed Automata: The More Synchronous, the More Difficult to Verify"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187398"}},"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":"Q5756736$FE055D48-409C-48EE-939B-3FD3CF5C5136","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41bc1921122be70c62c02bdbec8abb2e976994fd","datavalue":{"value":{"text":"Communicating Timed Automata: The More Synchronous, the More Difficult to Verify","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756736$3C499A8F-BCB9-4493-9621-172FA0E8AA7E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"002a00d4dc2cdedaf205322a9e9970e2b9da89b2","datavalue":{"value":"1188.68192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756736$5F358700-98C4-4D74-B742-EB2241530CF6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18e00d094869654fb73bfc911dace1d51beca961","datavalue":{"value":"10.1007/11817963_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756736$0022F2C4-831D-4816-9960-B38C5FBD0F7A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"882a0655ead82a1e3f119f06f5fc57ead7f0368a","datavalue":{"value":{"entity-type":"item","numeric-id":2643077,"id":"Q2643077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756736$C43B7351-DE84-46F0-B91E-B39226D5A1B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"415e1aad6a37985b7be56fd12352d0f38940dec0","datavalue":{"value":{"entity-type":"item","numeric-id":225081,"id":"Q225081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756736$EEDAE364-D507-4D37-A22B-197552EBE63E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756736$44B07FB4-4302-41A7-9E35-DF91CEF49019","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86270c54a1750ab04e947a6e47c89ac1ca7458cb","datavalue":{"value":{"time":"+2007-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756736$85D0FF91-7C87-48DD-9781-05A9CB92DFA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756736$C564FA31-40E7-4219-8643-85778D3FD81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756736$3E7ECFB4-52CC-46F0-89DC-8FDCA57410AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756736$99E9D35B-48C9-414C-9FC6-6FE00272FF73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2483a11406372d567b5d580ddaea6880a27a3dce","datavalue":{"value":"5187398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756736$2F180B73-6CC2-48BC-90A4-3DF22A5ADB9D","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":"Q5756736$1AB1A897-013C-4483-B775-3F8D7F1E6321","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e5e37859bbb6772bb4dd189be6075690e4c0e4d","datavalue":{"value":"https://doi.org/10.1007/11817963_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756736$6888A4F6-9546-43FB-9331-45B9E2ABFA30","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ffbf1d931f52cabcb4b98b02a4179be77b2a75cb","datavalue":{"value":"W1923222846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756736$1FCBEC76-9863-4675-9306-CD31AC8B652D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d160469bc348b0868994627b97e768a52ea0e47","datavalue":{"value":{"entity-type":"item","numeric-id":1631220,"id":"Q1631220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44f54da2ed5d4a7dfde5625545507fcd2693cd3b","datavalue":{"value":{"amount":"+0.883488118648529","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":"Q5756736$F6A5A44E-A25B-432A-ACB9-083A486616F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"121e72200e8ca6e61e22bbc3e34b3581abfe45a5","datavalue":{"value":{"entity-type":"item","numeric-id":4910413,"id":"Q4910413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27b2ffe4eff267a0cb58559cd4520a0e7450c5ff","datavalue":{"value":{"amount":"+0.800970733165741","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":"Q5756736$4FBFD31E-F46F-46E6-AD8B-B83A49AD4F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dce74311aaca741f734b08e52551106620d41e4","datavalue":{"value":{"entity-type":"item","numeric-id":5357710,"id":"Q5357710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e7c1f5c0b06a88c1c959ab699fd05bb501aca49","datavalue":{"value":{"amount":"+0.7787405848503113","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":"Q5756736$09621069-B6CB-49F6-B8E8-9B930AF614D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a858124ef113f8466bebca27fd598bd5a58d2e4","datavalue":{"value":{"entity-type":"item","numeric-id":1853589,"id":"Q1853589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ea45e2166c979638d5dd885843307996b0b6981","datavalue":{"value":{"amount":"+0.7715361714363098","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":"Q5756736$01BEBE8F-FC30-4742-832B-78BE99E5EE50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5f528bdefebc36fb17111a3310e0871a42b9613","datavalue":{"value":{"entity-type":"item","numeric-id":5458357,"id":"Q5458357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d596bb722b7927429c8dadb052525c291ca8d52","datavalue":{"value":{"amount":"+0.7672899961471558","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":"Q5756736$2484A06C-1788-4652-AB38-CEE76E126A83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756736","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756736"}}}}}