{"entities":{"Q5313721":{"pageid":7343295,"ns":120,"title":"Item:Q5313721","lastrevid":48541852,"modified":"2026-01-05T04:07:36Z","type":"item","id":"Q5313721","labels":{"en":{"language":"en","value":"Bisimulation on speed: Lower time bounds"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2201290"}},"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":"Q5313721$636F2CE6-88BF-4804-9111-69D51F78571B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7049c5cb4b6e64531efc1d61e4acd12a47ae2b81","datavalue":{"value":{"text":"Bisimulation on speed: Lower time bounds","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5313721$24EBA6E8-66D8-4925-9F17-D255F1220CA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a5c5009ae11d42eff7f924c36c817a0f8dbd8d4","datavalue":{"value":"1077.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5313721$71E28EC7-6C74-44FD-9695-D9563C1564D3","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":"Q5313721$AFA72122-F68F-4D73-9E99-6AD0C4D62BB0","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":"Q5313721$90FE4523-D27C-4003-BBEE-205F085D3587","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5313721$DC7931FC-DA67-4B4E-9C30-3BD23025292C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"585f98265f5c4948a09eec5bddc6081350115d55","datavalue":{"value":{"time":"+2005-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5313721$A0EF7E05-3C32-485B-8065-960838C3B5E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"abf04ea414b00fbd1b3e2321c2a94786f1e645eb","datavalue":{"value":"http://www.numdam.org/item?id=ITA_2005__39_3_587_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q5313721$FE9DEDC9-4AA1-4E0D-BF41-BBA6A9EA9D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e6619589b8d0208a08d230ca38c63259d46f53a","datavalue":{"value":"https://eudml.org/doc/92779","type":"string"},"datatype":"url"},"type":"statement","id":"Q5313721$F88090A3-5FD1-4EE6-B1C0-329057F9770F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec9938aeaea25d92ab83809806f2a567e13a2877","datavalue":{"value":"https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-1381","type":"string"},"datatype":"url"},"type":"statement","id":"Q5313721$A1E34405-7FE6-47E0-BD52-DC688DA503B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5313721$34F1CFC7-90E3-4442-83FC-72799E1ACFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5313721$32C73453-5DAF-49BD-8EF4-DB79F828A9CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba41d62992a80c90f3574e7df867c68c9e04dc82","datavalue":{"value":"2201290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5313721$B2595D38-0EA6-4DEF-8141-07B277DAFF99","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ce83e7bc3be68b4638fac9dfa6f15096a580dfb","datavalue":{"value":"MT-preorder","type":"string"},"datatype":"string"},"type":"statement","id":"Q5313721$F93E1615-13C5-4DDB-89E8-2E921FDF524D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f588bf81a0d59947581d241d11574b60f2c9b17","datavalue":{"value":"faster-than preorder","type":"string"},"datatype":"string"},"type":"statement","id":"Q5313721$E1135EE8-4CCF-4B6D-8F33-0B4320D92860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5313721$9DD5AECA-85C1-4BC1-BBDD-C2AAB4D246A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5ab69f91f0366c6020ad457880565de4e363868","datavalue":{"value":"precongruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5313721$206F408B-996B-4C62-B491-6B7A4705B019","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":"Q5313721$E158D017-A977-46CB-90A3-EECB01290051","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e078487545cef339d0e46ed5616984938234504","datavalue":{"value":"W2022031828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5313721$476F0EB9-9312-429E-83E9-9DCC7CDE9173","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff017f5b33353d99911dd1c037f16889eae25ef7","datavalue":{"value":{"entity-type":"item","numeric-id":2729632,"id":"Q2729632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5313721$6BAD7103-D388-4BC6-B7BF-D60FF944D68A","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":"Q5313721$F461DC82-35D0-4263-8BFD-CF79F31C41B3","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":"Q5313721$A66F4F32-D4D4-4C35-AFC0-6E5084E73B16","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":"Q5313721$798AA622-0204-494E-840F-E0AA96675F78","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":"Q5313721$FFE9B799-3202-4548-BFB5-E625E0070CD5","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":"Q5313721$A1EEC596-360D-4CF4-9221-9E41A2D12F8D","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":"Q5313721$7C944D59-E306-4949-96FB-B168534F11B3","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":"Q5313721$AA054B55-4785-4821-98E2-B9219A0D66CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819647a0df2454c57c57c52b9899d66ae2a22f50","datavalue":{"value":{"entity-type":"item","numeric-id":1403331,"id":"Q1403331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5313721$1F57DD3F-F3FA-4D54-8B35-B4A2FD74B42C","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":"Q5313721$94B5D60F-0A0D-4213-B89B-F7521431D6EB","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":"Q5313721$8EDA7DF9-3DCF-46E3-9707-CD812AC8AD90","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":"Q5313721$4C16730F-0DD5-446B-82A9-4ABB07DBF346","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":"Q5313721$2B056B81-D4F2-4B05-9E5E-1ED3F88B0E75","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":"Q5313721$E5BD130C-80CA-43D4-AD89-81D10FEFE542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6be85f3b6e1d8ad379e0a2b2e28196476bf851e","datavalue":{"value":{"entity-type":"item","numeric-id":5308460,"id":"Q5308460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5313721$6EF68FEF-FC42-4D32-AEC3-41C4B12ED84D","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":"Q5313721$105AAF4C-C298-47AB-96EB-77F118B20680","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":"Q5313721$BCAD59AE-A757-448C-8979-ECDA73B84294","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":"Q5313721$C0A99C75-05E9-4686-A0D9-15CCD421E9EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1164e3658f36f2265160c8a25e83c1d610b0f0df","datavalue":{"value":"10.1051/ITA:2005030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5313721$34779203-FE82-4660-B3AE-3351DD56C263","rank":"normal"}],"P1643":[{"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":"6e456d495e4aa189165cb86107a29ab38d6386ef","datavalue":{"value":{"amount":"+0.8826302886009216","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":"Q5313721$5C517430-63D5-4EE8-8F1F-192113ADC89E","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":"a49de5da4f1ca6ff2f24bd5f7b3ecab8728412c2","datavalue":{"value":{"amount":"+0.8543566465377808","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":"Q5313721$DDD54558-749E-4EFE-A974-7BB489096757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c7f1aebdeec7dfd68cd0c428d13392e5f3b818d","datavalue":{"value":{"entity-type":"item","numeric-id":5705910,"id":"Q5705910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87e175600e31962594ad5e8f72df8001a5a1508d","datavalue":{"value":{"amount":"+0.8525235056877136","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":"Q5313721$90DB5473-8174-4A47-8E83-2DEDE02DDDB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1da5b999dff946584175228cc89ceac1258a4003","datavalue":{"value":{"entity-type":"item","numeric-id":598200,"id":"Q598200"},"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":"Q5313721$A3A9C343-2712-4007-B9E9-AAB2D306B958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56b21aa9b2cf17a3f01d68eec8c8f1dfe696d520","datavalue":{"value":{"entity-type":"item","numeric-id":5146599,"id":"Q5146599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db0b7cb9dca8b3e26c87029f380fe56d56ce1065","datavalue":{"value":{"amount":"+0.8130046725273132","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":"Q5313721$0BA17A02-D2A7-4DF4-A0DA-A4BF8C4317CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5313721","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5313721"}}}}}