{"entities":{"Q598200":{"pageid":599976,"ns":120,"title":"Item:Q598200","lastrevid":63042054,"modified":"2026-04-11T09:58:16Z","type":"item","id":"Q598200","labels":{"en":{"language":"en","value":"Bisimulation on speed: Worst-case efficiency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2083130"}},"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":"Q598200$78285BF7-8409-497A-A41B-46E6AB394255","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1fa5dd3c8b1f47cb19c840cd485a3e12a1a9e891","datavalue":{"value":{"text":"Bisimulation on speed: Worst-case efficiency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q598200$4C997DA2-D472-4DBE-984D-EC99DCC7102B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da83c47e154cbae3587c7f867510f8d4ca5cfb3a","datavalue":{"value":"1074.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598200$1656A61E-C33E-4C28-B171-91C7639ADE11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f18177fdfe78f7fc167ff41ba1f19491ea3e5c4a","datavalue":{"value":{"entity-type":"item","numeric-id":549199,"id":"Q549199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598200$7387F197-8BB7-405E-8244-EECF0A976014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f747afa3575ea8e92f39fe28bf85bb3ce76cb341","datavalue":{"value":{"entity-type":"item","numeric-id":396978,"id":"Q396978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598200$5B0C9C40-9B7F-4DE7-8220-0F0858EC55DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598200$171D8169-7B0F-4427-B561-A699F230A25E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdf3003d3f6dc4bd36d0ddd91ae69d1d9d4864ff","datavalue":{"value":{"time":"+2004-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q598200$1BAE9B6F-BC95-4EAF-B191-BF4348F66D5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598200$10A31A94-065E-48BA-85DC-BB2CC80441BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a5eca51e121a7563bff2956ec5ee0dcfa92e8f0","datavalue":{"value":"2083130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598200$50F68265-408F-4FF3-BBE6-284D3C704E3B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9d0c4760e99ff1d56cb32a475f8cbceec004170","datavalue":{"value":"Asynchronous systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q598200$70619792-63CB-48C9-BD5B-09B05045793E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c35e59984cabf218dfddcc4cee7fb81eefd5016","datavalue":{"value":"Process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q598200$F26BEF6A-6F25-455F-85E1-8910F092A77D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc5bbaaf059f9db4f9612e72bdb63dd610b10ca4","datavalue":{"value":"Worst-case timing behavior","type":"string"},"datatype":"string"},"type":"statement","id":"Q598200$596DA551-9A81-45FC-9F17-8B325F99C7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00de5f59861f932e3023423958eb28eeb12ebe43","datavalue":{"value":"Faster-than relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q598200$DBE7F2C9-46FA-410D-A74C-F332756A81DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25f28fe720577a10f3ad8dd9b488335d3852d986","datavalue":{"value":"Bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q598200$F32DC4F3-AAB4-4365-8954-EDB1CA685D10","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70849c7de8b1fba6771cc05a0e9adf71b0d9785e","datavalue":{"value":{"entity-type":"item","numeric-id":31835,"id":"Q31835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598200$676B1E44-04FC-4091-BEBA-18907B3BEAA2","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":"Q598200$FC70C411-9C91-4941-A357-15343130F90A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5daf93cce32f33c565d05401bf5dd002b0502826","datavalue":{"value":"https://doi.org/10.1016/j.ic.2002.08.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q598200$FFE678BD-0547-4BE6-8E76-0AA0F460224B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e59aa0aa13b9c95000f3b9559c070cb9bb78e426","datavalue":{"value":"W2062969942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598200$7B9DBD12-1265-46FF-A843-EB88C4AF2E15","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a96493c7b77b8338a8aa19e96cffaf76fbe4c7","datavalue":{"value":{"entity-type":"item","numeric-id":2760240,"id":"Q2760240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598200$6DCA0267-6BF1-4D39-99D0-1D9ADB5F8732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5205284af866ee1b285a1ea50aa157df7e85d90","datavalue":{"value":{"entity-type":"item","numeric-id":672231,"id":"Q672231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598200$363F6C52-9EED-4CCA-B3E1-122B4011C1B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfc1fbd3a5b98796f839fda0f3c43c059ca59b72","datavalue":{"value":{"entity-type":"item","numeric-id":1924998,"id":"Q1924998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598200$3146AEA9-4DD8-4A91-A4AA-507BA3B18BFD","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":"Q598200$3175F28C-B43D-4F23-81CC-66769C98BADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c04f13e9ab5c819934bb5e3ee883e8a369b49134","datavalue":{"value":{"entity-type":"item","numeric-id":1323358,"id":"Q1323358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598200$C9917CD0-55CD-466A-8491-BDD742B273BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"909660719fd22260daf48ee476618b838d03245a","datavalue":{"value":{"entity-type":"item","numeric-id":805246,"id":"Q805246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598200$39E548DE-3ECC-4694-A959-FEA519CD6D0E","rank":"normal"},{"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":"Q598200$B0DBE68F-046C-4324-89EA-75B921874FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a71c1a2d83eda62a52b711e714b9d81f69641bb","datavalue":{"value":{"entity-type":"item","numeric-id":2760247,"id":"Q2760247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598200$2182F55B-AE1B-4F8A-A430-EB16ADF53D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598200$00BBBD6D-DA73-40CD-9C49-6CC6BE2A1F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5ec2a5764ba96462a08e4206585f5a8706c508","datavalue":{"value":{"entity-type":"item","numeric-id":2746874,"id":"Q2746874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598200$82F87524-C3C4-4BDD-8166-3519CB7077CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a71df8b92ba7125a0c7197e8e9200d4d9ef576c","datavalue":{"value":{"entity-type":"item","numeric-id":1196296,"id":"Q1196296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598200$03BDB7A4-8D8B-4EEC-93C6-931C7F8400F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04b70818b0860e1c874a57b887652d27b592ff1d","datavalue":{"value":{"entity-type":"item","numeric-id":2754193,"id":"Q2754193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598200$DB4BACB7-3431-47DC-917E-7BDFF7C33A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c9ed988475b647ba61843e60fda3d5ec0e38681","datavalue":{"value":{"entity-type":"item","numeric-id":6044116,"id":"Q6044116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598200$FEB910E4-BD92-4E0A-977D-09F79E661D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64c1e859c4e463aa528e874ccb2a72c86a63c54e","datavalue":{"value":{"entity-type":"item","numeric-id":678252,"id":"Q678252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598200$E3FFFEF4-D9BC-40C7-990C-C779D26DAF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"915123bb4ee563d3c976a56a2dde83f232170f6b","datavalue":{"value":{"entity-type":"item","numeric-id":5941628,"id":"Q5941628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598200$4D265BD0-CF05-4B07-B609-7FC4892C5F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598200$9083D0CE-6F81-4041-9F55-472BF4FE6ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70bb2d79d7856588575b5f6a12e9beae87fc9581","datavalue":{"value":{"entity-type":"item","numeric-id":674005,"id":"Q674005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598200$60548578-FF0E-4E96-A682-25D5DCBA9378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68b7535936022f5c60af89f9e74af92a70ed79f3","datavalue":{"value":{"entity-type":"item","numeric-id":3878733,"id":"Q3878733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598200$4DDA6F35-95B5-4B7E-ADD7-54D285848D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05dea0129140e41c658532fe8120daa17e8e4adb","datavalue":{"value":{"entity-type":"item","numeric-id":1892877,"id":"Q1892877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598200$2B2592CF-4EE8-4D6A-8D1E-F8B2D382F3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96426380bd996cc8b28000cdb426cd07b0b98a4b","datavalue":{"value":{"entity-type":"item","numeric-id":4251917,"id":"Q4251917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598200$10387D2A-BAA5-435C-9A7F-E63CD11487BE","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":"Q598200$E9EE29C7-6A81-453D-86D6-E7574BDEBC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bede7737f5f9c73aad8f8653eee1011af3c41fb","datavalue":{"value":{"entity-type":"item","numeric-id":5940928,"id":"Q5940928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598200$A2D5299E-4BA3-4CAB-A803-50FE279D1FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405126dd61c0280c8a6e72613d3b0ca29345ddb2","datavalue":{"value":{"entity-type":"item","numeric-id":3126969,"id":"Q3126969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598200$9EB667D9-B93B-42D4-A655-F875406F382A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598200$4C4CF853-1D88-4D1D-8A30-4142369A725A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37011f2d1f562172b8f9857d6459d11fb09eac21","datavalue":{"value":{"entity-type":"item","numeric-id":1057072,"id":"Q1057072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598200$5DE6EF64-19C3-4D7C-9B76-DA248CE80958","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":"Q598200$B31925F0-A194-4ABD-8E57-2EF0E12A7EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61186dc5a1a66abba270342c28aed2589a260320","datavalue":{"value":{"entity-type":"item","numeric-id":5204347,"id":"Q5204347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598200$49E56E2E-C874-4B38-8186-E745EDEDF1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a181ff97f28ae7ee677b649366008cb5a78c308","datavalue":{"value":{"entity-type":"item","numeric-id":1336052,"id":"Q1336052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598200$A49920BC-D3DF-41E6-BE7F-3163A948CC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598200$E557B8E5-0DEF-4515-AB93-317C9415237F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4301d50504125869b7b36ae7487bac0559bd1710","datavalue":{"value":{"entity-type":"item","numeric-id":1274446,"id":"Q1274446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598200$A6D9ED88-B49F-4E03-9298-AD3A32B54D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3588e2885b6aa24897be30d497cc066aeffc96e7","datavalue":{"value":{"entity-type":"item","numeric-id":1891147,"id":"Q1891147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598200$832B943A-8D09-4FFD-95B8-53D91B65E2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a0cdcfdba2cb7be20b3ff60a87448ba5f273bd","datavalue":{"value":{"entity-type":"item","numeric-id":4847024,"id":"Q4847024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598200$B80D9409-FF5B-47E6-B8DC-50DE87B8554B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e96689e7b229190bb13fb0f4a7d926bfbe50ef0f","datavalue":{"value":{"entity-type":"item","numeric-id":1401952,"id":"Q1401952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598200$01CB2145-69A1-4487-AEC1-FFAD819BC1D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01c1d25d8f3328e97b9f324bbbf97c02995f451f","datavalue":{"value":{"entity-type":"item","numeric-id":1607225,"id":"Q1607225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598200$241B4A0E-6BF9-4883-9D20-28DD79424FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62a29b930191b84772e0549f16c5f6e9b8a39804","datavalue":{"value":{"entity-type":"item","numeric-id":2703738,"id":"Q2703738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598200$6BFA6001-684E-46DB-9C5E-BA03AC9D8A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e44910d5565a922c4e656e4f073be8a38cd4ebc","datavalue":{"value":{"entity-type":"item","numeric-id":4036565,"id":"Q4036565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598200$6C8C8C43-528F-4BBC-8CB4-574DD9AFB09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42ff1700e797df31f6028768250d3db953a25fa7","datavalue":{"value":{"entity-type":"item","numeric-id":6487392,"id":"Q6487392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598200$909BE410-5151-46E4-9B3F-47CFB8AB9288","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"602019590c323d807e1ecd3adb8b8411021e63d0","datavalue":{"value":"10.1016/J.IC.2002.08.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598200$23A39313-8FC5-4970-A22F-4249D436AC14","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d0805e88e73481e11cab383962f098ba7aceb07","datavalue":{"value":{"entity-type":"item","numeric-id":4791840,"id":"Q4791840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eeba7cc276c77de5423df2203c1d2dcf062495d","datavalue":{"value":{"amount":"+0.9065884947776794","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":"Q598200$FDCD43F4-0865-42B5-89E9-6BB592CBA8EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb4441ea04dc7343aacab0b425a278682f2caf9b","datavalue":{"value":{"entity-type":"item","numeric-id":5313721,"id":"Q5313721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2f9a00419da94d0d4911c7415b6a5202f544098","datavalue":{"value":{"amount":"+0.8472186923027039","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":"Q598200$AB721B1D-B620-415A-BC45-D5874BCF7426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8df9d8a9779a882d6334258d6817259019942de","datavalue":{"value":{"entity-type":"item","numeric-id":750163,"id":"Q750163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bc438647b1f5abe7dda95b2c61e3e382f0a4dac","datavalue":{"value":{"amount":"+0.8290237784385681","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":"Q598200$9F2CAB0C-4369-4BF7-B03F-8907E3E47A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaf471508596d86069012dcb4df774ebd41cad69","datavalue":{"value":{"entity-type":"item","numeric-id":5308460,"id":"Q5308460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"496cfffcd0f74a00cc51d3e9a351c48bebdc619f","datavalue":{"value":{"amount":"+0.8280879855155945","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":"Q598200$13076196-C01F-4445-818E-30142FD81762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e334eadfc417d5b23344bba99f0d8be4d6c381a","datavalue":{"value":{"entity-type":"item","numeric-id":2503326,"id":"Q2503326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72a97ede2c3e1145805b380af2d058247132cb5d","datavalue":{"value":{"amount":"+0.816653311252594","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":"Q598200$31632A03-8DA1-454E-831C-157F58462EB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bisimulation on speed: Worst-case efficiency","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bisimulation_on_speed:_Worst-case_efficiency"}}}}}