{"entities":{"Q3624601":{"pageid":5654507,"ns":120,"title":"Item:Q3624601","lastrevid":49711771,"modified":"2026-01-09T08:04:30Z","type":"item","id":"Q3624601","labels":{"en":{"language":"en","value":"Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5549961"}},"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":"Q3624601$7A596AD3-7A7B-4F28-B64C-7EBAC32A11CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ccede5fd9b5968e7c33b1471e181b969164c161","datavalue":{"value":{"text":"Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3624601$D0CFD87D-669B-4CE4-B33A-C416D85A5478","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9797693a967fcd538a5609a0aeea9f35d0dceae1","datavalue":{"value":"1237.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3624601$6F8D0B39-52AA-43AB-8454-ED1F5D642850","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d03b47a3301136a43f030dda66549d2c73672d45","datavalue":{"value":"10.1007/978-3-642-00602-9_40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3624601$52A495DF-4893-4A62-B8FF-9A4B3D8280CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"678323d8c357eaf7e7bc2f1d5d96711bb3955f10","datavalue":{"value":{"entity-type":"item","numeric-id":656079,"id":"Q656079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624601$DE8CE404-6D8A-4C61-A7A4-2EFA13C593FD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0b27f91d5f92a7b342f46c3feaedd58c7e5b09ac","datavalue":{"value":{"entity-type":"item","numeric-id":3523094,"id":"Q3523094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624601$602C9E58-6409-43D6-9F3C-51386471E11B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d715aa81d46dbbd3b8e2af07a7b374e075fa5e9","datavalue":{"value":{"time":"+2009-04-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3624601$116D835D-C651-418E-ACC8-04389198624C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3624601$3E6187C8-88AB-44C8-86C2-AD782711E92F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49e22e64dd9c78c2a6c6e602d197e3234558d726","datavalue":{"value":"5549961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3624601$0A6F79C9-4218-4607-86F4-31F716A279EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bdcb6c6a7e0b4c9bdfdd4689583b799e2a826f4","datavalue":{"value":"branching bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3624601$0989B448-42A3-418A-BD7B-13CAD71E6542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1df8ebf7968845b057d89fe8041d8d18adda9a1","datavalue":{"value":"TCTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3624601$E4511AE1-A7E5-48A2-8D57-E6BB11F6166C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3624601$FC80AA46-D48C-444D-B1B7-3DFCC8D86748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3624601$D669862C-5FB7-4A8F-A7F9-432ED2448BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3624601$1F8A01BF-CBD0-446C-B596-BB3EA565C61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d0c4044b5ce8b66514340019aecd275cd3c18f6","datavalue":{"value":"experiments","type":"string"},"datatype":"string"},"type":"statement","id":"Q3624601$390D45CD-07F9-4043-BB33-04C61B910C62","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624601$95196CAA-9BA2-4297-8DF8-207A58F7E78A","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":"Q3624601$4FED6BF0-C162-489F-89D1-5C5EF7A61ED6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58a561261d9c72872ff82306ac52b03efb3f66f3","datavalue":{"value":"https://doi.org/10.1007/978-3-642-00602-9_40","type":"string"},"datatype":"url"},"type":"statement","id":"Q3624601$9217D8CE-29FA-44FE-AE16-6A91968FEC82","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"284b07e250c59a8fe8dd698a37ce2cd7d1fe9002","datavalue":{"value":"W1543600830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3624601$BE619EED-1417-46CB-91DE-D0E3D70548E8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3394b77eec107b905563ae3b7de38349fb3b8401","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624601$CE719365-9F98-470A-B1C7-4D4F5A7D9A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ba3964561c6339cb3ba43543aed014dc7a60d0","datavalue":{"value":{"entity-type":"item","numeric-id":1123183,"id":"Q1123183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624601$E979C5A7-918D-45B2-9787-07830AF5EFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"104c858b096e3970a05febe3d3b6e8ed49332047","datavalue":{"value":{"entity-type":"item","numeric-id":5897475,"id":"Q5897475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624601$B59286CE-DCDB-412E-86D4-87340151115C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b276c00f319d293a3017483c8cc0c1ee74c53c0a","datavalue":{"value":{"entity-type":"item","numeric-id":3510852,"id":"Q3510852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624601$1238D7ED-C0C4-40C9-A3CC-4EE7F91E3D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e574050348307bcbcfc2e2f0734db761d485e300","datavalue":{"value":{"entity-type":"item","numeric-id":1856194,"id":"Q1856194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624601$1BEDD75C-7819-49D0-ACA7-195A68F883D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68cc13b2f3174c069fdbe3ae19564da12e715c4e","datavalue":{"value":{"entity-type":"item","numeric-id":3510852,"id":"Q3510852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54537a87292f646259e924286f159cfe325aa65c","datavalue":{"value":{"amount":"+0.92159146","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3624601$E6B2E14E-270B-407E-BA59-74917F679222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2331247730812214a89c61f4db7268aeefac26d","datavalue":{"value":{"entity-type":"item","numeric-id":5464768,"id":"Q5464768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5adb2d9d920a40e15b2e611acb765663282b8447","datavalue":{"value":{"amount":"+0.8964748","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3624601$608135D4-84F5-4207-824C-DBD33551285A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60a3f84bf07f8ba41d4ee83b6e450c703c00078f","datavalue":{"value":{"entity-type":"item","numeric-id":1425003,"id":"Q1425003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf82394345f7c10bed479fff6ee7ee10922da14c","datavalue":{"value":{"amount":"+0.8884916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3624601$D76A4792-9F80-4A1C-B649-B95A69686EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28a209f98b5286824b2fcc6b8add5d6fd875c610","datavalue":{"value":{"entity-type":"item","numeric-id":5047170,"id":"Q5047170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74c11c730d26914ee485d063973a3834fe657824","datavalue":{"value":{"amount":"+0.8870102","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3624601$8F1B2996-A096-444C-B867-C8FDAEF5968F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d71788dc5a4071c048e5d1d812c461674c639db","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45be3933887e67b3b82ac06353282ed27b397661","datavalue":{"value":{"amount":"+0.885844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3624601$E14A85BF-A678-4FF5-8948-3CC2EACAC53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9495214c1f1c6a46ce1664363f2d1fb3d2861847","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c865d6f944f1b5306ce5ece6a481b745a02b4ce0","datavalue":{"value":{"amount":"+0.8847724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3624601$4E9FA29E-E62E-4EDC-B62D-58FB3FE4FA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e93b4a343ca1df2ed81521fe185d9930c9a4d18","datavalue":{"value":{"entity-type":"item","numeric-id":698435,"id":"Q698435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d27eb3f11fa2a055f81d1eeabe5c97e8475898c","datavalue":{"value":{"amount":"+0.88334954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3624601$A72853AB-69A4-40E9-BD3C-CE50A428EAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a885d51b9de53e37924e8f0ce14d0a59bb5546a","datavalue":{"value":{"entity-type":"item","numeric-id":2842000,"id":"Q2842000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b746f6455cc1b53bd676c98d9db24ff02207c89d","datavalue":{"value":{"amount":"+0.8793277","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3624601$3E3DA602-6070-435A-8237-D55611EB2622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cca8be76d3c069a93a865cbc7e0454da5700aae4","datavalue":{"value":{"entity-type":"item","numeric-id":4255572,"id":"Q4255572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23e0e5ecb0a57207b089a683323491ff77261d14","datavalue":{"value":{"amount":"+0.8783864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3624601$C26C75C0-2E56-4524-99FC-0D8E62BE3A9A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3624601","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3624601"}}}}}