{"entities":{"Q5047170":{"pageid":7076747,"ns":120,"title":"Item:Q5047170","lastrevid":92128559,"modified":"2026-06-05T00:56:21Z","type":"item","id":"Q5047170","labels":{"en":{"language":"en","value":"Efficient scaling-invariant checking of timed bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614466"}},"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":"Q5047170$932552D3-630F-45C3-8FA2-280809CD9602","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ac6c26ccd8da75aabac36e2bb5a4a15b9a8934b","datavalue":{"value":{"text":"Efficient scaling-invariant checking of timed bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5047170$FA18F69A-BBB4-4EC9-BC93-030775745C27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f804790cf2eb940e7acf20f307a6267b9f4eb2e6","datavalue":{"value":"1498.68175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5047170$E5664F20-1A73-465D-BE23-0648764ACA99","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"854ebe9b0acacb676c22fc7bc0df4a721884c159","datavalue":{"value":{"entity-type":"item","numeric-id":1856186,"id":"Q1856186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047170$1428E02F-ADC1-49CF-9724-829A53C8D2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0be04ab4d7a679b71eea52a2b2161a695a400719","datavalue":{"value":{"entity-type":"item","numeric-id":5047169,"id":"Q5047169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047170$A70A7AAE-FA39-4DF9-8CCB-B403B8A87649","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047170$F8AF290C-C1DE-4C4B-B946-9F70F9C4558F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5047170$2684E42F-570E-4B51-AB36-FFF2A7CC48E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5047170$AD47AC6F-2DDF-4F4C-88DE-9F48280ABB63","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"327e74288d97f36ba39acc61817bceaba356a3e0","datavalue":{"value":"7614466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5047170$90E81215-26E3-4C8D-9B87-66B29B18C3B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5047170$B5459B78-306D-429A-B4CF-FC3AAE8F5BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5047170$70DADBDC-48EE-42B7-8E87-913FAC0EA947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5047170$C3198185-9E1C-495C-B66F-87321F4727B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8a6a8d9b1c665fb2b05aaa69d3040f26504d578","datavalue":{"value":"timed bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5047170$779D25CD-C621-44B7-89EA-394C2CD74C2B","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":"Q5047170$51726F18-C71E-4222-AC30-A32FF6A7FC7D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23af5071e9d36da344fbd3aebb05cdc95ccfbee4","datavalue":{"value":"https://doi.org/10.1007/bfb0023458","type":"string"},"datatype":"url"},"type":"statement","id":"Q5047170$3DA87737-7816-4D72-A3C4-FC52F07E9387","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e9aa6d434c67e0c22a1ac2db2218eb1dfb05a22f","datavalue":{"value":"W1565034387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5047170$48BC4624-636E-4736-9173-FC1DA7F1D536","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047170$4EDDF34F-93C4-4BF7-86D3-C02B3DB1F2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047170$90BC3039-C857-446C-8492-FC31BF33B624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047170$89346770-E941-43E8-9493-048B9EBC15F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d139b83b95572def71b75a1df76dc5855dcccdc","datavalue":{"value":{"entity-type":"item","numeric-id":5248530,"id":"Q5248530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047170$15237B6A-B6FE-4186-8865-F57D9389CB4B","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":"Q5047170$1050A1D0-799C-4C76-9E2F-4C1FD4892025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b043d2a9911135295eda6ada96f432b0f8ae3a25","datavalue":{"value":{"entity-type":"item","numeric-id":1323313,"id":"Q1323313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047170$3F2BE9B9-346E-41FB-8B9D-E7D951F68A57","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48675fc7667055034b38c28572538c4255d1dd75","datavalue":{"value":"10.1007/BFB0023458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5047170$98B13577-6E37-42BF-887A-5CF0DE7F0989","rank":"normal"}],"P1643":[{"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":"5a6dc001173aabe444eec76953d634ce039bfec6","datavalue":{"value":{"amount":"+0.7996584177017212","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":"Q5047170$1EBE0FFE-EBCF-486C-8F36-518B82641E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db4b9861897f83c40098c84a5af140f149965003","datavalue":{"value":{"entity-type":"item","numeric-id":3588096,"id":"Q3588096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a6dc001173aabe444eec76953d634ce039bfec6","datavalue":{"value":{"amount":"+0.7996584177017212","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":"Q5047170$2F49EC9B-A4FD-4772-A150-8DC31F5C0E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b87b84ffe0d2de65a53badd932dddd611726e702","datavalue":{"value":{"entity-type":"item","numeric-id":3624601,"id":"Q3624601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88a66a8d036603de4b8b28b642ce7f6ef63f4a7d","datavalue":{"value":{"amount":"+0.7797756195068359","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":"Q5047170$21FC52D5-5F6A-4187-9611-07868307A19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5b6f692654e504867164b05b60ec5f87128c621","datavalue":{"value":{"entity-type":"item","numeric-id":5166677,"id":"Q5166677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec5a20067e7d754cd3e48a8e4807d5fe78941bcd","datavalue":{"value":{"amount":"+0.7667508721351624","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":"Q5047170$360CD208-5AB4-4FD7-B1D9-E0BA7449BE3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4461760d789b6eb2f77a286ebb12ca4692f1886e","datavalue":{"value":{"entity-type":"item","numeric-id":3146274,"id":"Q3146274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b2cf7b8f631420fbf57807de9af21ef3d500161","datavalue":{"value":{"amount":"+0.7657811045646667","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":"Q5047170$CD90A0D9-D708-4171-8B12-9C2B2B339CA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient scaling-invariant checking of timed bisimulation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_scaling-invariant_checking_of_timed_bisimulation"}}}}}