{"entities":{"Q3455068":{"pageid":5234468,"ns":120,"title":"Item:Q3455068","lastrevid":90151853,"modified":"2026-06-04T19:25:04Z","type":"item","id":"Q3455068","labels":{"en":{"language":"en","value":"Asymptotic speedups, bisimulation and distillation (work in progress)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6515885"}},"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":"Q3455068$F334B24D-F33B-4217-8118-74C4C53110BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6694a4afdad165e91e2fd38d829d7de910c7584a","datavalue":{"value":{"text":"Asymptotic Speedups, Bisimulation and Distillation (Work in Progress)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3455068$2B48DD84-F537-4289-A3AA-A840E884DC93","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16a9585950bf05fd41f762eab0515f312a84f769","datavalue":{"value":"1434.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455068$371BD668-89CF-44BA-AB56-864EE6153FA5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4355d0f9bbee1b448ae753ff27d865780f5d2e52","datavalue":{"value":"10.1007/978-3-662-46823-4_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455068$AF2700F4-1D08-4323-9423-824BE6AE6B0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0b9a436dbb5c7d47b2ec7c8cccc66a852f3c4a7","datavalue":{"value":{"entity-type":"item","numeric-id":1179697,"id":"Q1179697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455068$D85ACF90-9C0F-481F-B094-F588BF4AF2C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cea638a098d7a4aaa246f10375f028359cab8d2","datavalue":{"value":{"entity-type":"item","numeric-id":2289064,"id":"Q2289064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455068$3841B136-DA0F-4B5E-8D0D-3A03C153F303","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":"Q3455068$D37C1AAF-6E82-4C04-B11E-AB627E2F82C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40cf40b0298fbc15063fa57ac2e42e939273e7ad","datavalue":{"value":{"time":"+2015-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3455068$4E51741A-ED15-4780-A07A-74A266313745","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455068$144EB208-BF04-437E-B746-0554F830C485","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7768329ac3e9eeac9adb8787909ad64953a0075d","datavalue":{"value":"6515885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455068$62BB4A68-A119-4DAF-A9BE-A0CE30E71CB0","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":"Q3455068$E755A15A-E28F-4F78-8EB0-2CCF24DDA0CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97afef02f6c5b159338e8c50c9dd0971969d97ad","datavalue":{"value":"https://doi.org/10.1007/978-3-662-46823-4_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455068$FF5239DB-345B-436E-81C8-AFB5ADEB347E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c172030e1995ba4ea0fa66b7592a4cd6e76c338","datavalue":{"value":"W757120875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455068$5D35B1F4-D61B-4BFA-8AF3-70E131262EAF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5ae7e408b1d1201c271e00762d47096e39a012","datavalue":{"value":{"entity-type":"item","numeric-id":4111080,"id":"Q4111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455068$4CDE973F-0F62-45DD-BF97-125F3C34EB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29c2ea94302422429fd8f5bd5e8d442e26c100ab","datavalue":{"value":{"entity-type":"item","numeric-id":4151136,"id":"Q4151136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455068$A368679F-C97E-45C1-A18C-35F6695BD566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94ee2cc7a6212eea688ffc3b6f6e2fe7f7b50d37","datavalue":{"value":{"entity-type":"item","numeric-id":1974455,"id":"Q1974455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455068$23463521-3FD6-414D-BEC9-B82E180A1B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"634969c7735e685aeb8a1782172ac61025af3861","datavalue":{"value":{"entity-type":"item","numeric-id":1575889,"id":"Q1575889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455068$D960630E-466E-49FB-B1C1-9E97A4EA4BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"620d35450050c8223df6a6a4e9706dd495d52759","datavalue":{"value":{"entity-type":"item","numeric-id":3457978,"id":"Q3457978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455068$78E62711-4874-4520-9F23-207E9E0E39EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab124a7373ba82029ffdcc597bda7b4f27aee620","datavalue":{"value":{"entity-type":"item","numeric-id":5287559,"id":"Q5287559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455068$D9F7DB1B-5FA6-4EB6-A7A4-440057DBB152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98e6c95b6912f96f545c6ba61ec5be5438844811","datavalue":{"value":{"entity-type":"item","numeric-id":4265595,"id":"Q4265595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455068$651FBB76-CEF1-4796-BD6A-F7517738169F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f301f1547a82da306ca885d9aa7fa31c2b3d67b1","datavalue":{"value":{"entity-type":"item","numeric-id":1887680,"id":"Q1887680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455068$C7B05F8D-4C2A-4132-8E11-0D21632F70FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f5d66f825fc240ed9f85c4961cdae225df62d6b","datavalue":{"value":{"entity-type":"item","numeric-id":1768477,"id":"Q1768477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455068$F5E6A431-245D-481A-B214-8E04F06F88EB","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":"Q3455068$92D78DA5-8AE7-427E-801C-EED05216918B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5700bddd5b497615cb8c41e6f2bbf5fb3735905","datavalue":{"value":{"entity-type":"item","numeric-id":4339016,"id":"Q4339016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455068$8FB1388C-E058-4A40-8AC7-1E6C345D2D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8703228b70bd76dfe6540872520bac9ad5b1b1fc","datavalue":{"value":{"entity-type":"item","numeric-id":3732942,"id":"Q3732942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455068$8D9F6064-981D-49A5-9690-774253D462AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57f39c6cc57ac89c66fb2172a268f894ef6938ea","datavalue":{"value":{"entity-type":"item","numeric-id":3402281,"id":"Q3402281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44d45352d7cf09b7189e49bfa5b086a6de955c48","datavalue":{"value":{"amount":"+0.7998164296150208","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":"Q3455068$1F4A2384-B12F-471F-BEB4-BCCF384F2F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d7ea679f5c4367a157ce068fbee39117b402dc1","datavalue":{"value":{"entity-type":"item","numeric-id":6102254,"id":"Q6102254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91e1d0c10bf682056f745f113657973e9df5028d","datavalue":{"value":{"amount":"+0.7248631715774536","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":"Q3455068$4BC6A2EB-A742-432A-980C-8DABF421A58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81cce323cdb11b230e1dc1dc4283a8b46521c15c","datavalue":{"value":{"entity-type":"item","numeric-id":4511266,"id":"Q4511266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8357ad334b4d1895d7d69f4e6acc1aa1f5fdeaac","datavalue":{"value":{"amount":"+0.6859029531478882","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":"Q3455068$9DE98D88-FDBF-4972-91C6-4B4C3F2CB28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56886837a39f26b61b0c10136410ed9326ec1d3a","datavalue":{"value":{"entity-type":"item","numeric-id":1577351,"id":"Q1577351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b960fe2420c1dbfa6f1b2afc7567db01f9c9f9f","datavalue":{"value":{"amount":"+0.6859028339385986","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":"Q3455068$7481D2FB-0BE7-460B-949B-1A01648ED27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69b45e2a7a8a3de3979ae7c74821aa35b2326a45","datavalue":{"value":{"entity-type":"item","numeric-id":2852046,"id":"Q2852046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0499ac1ed539bf412c59646770abc59d88a5fc6","datavalue":{"value":{"amount":"+0.6784349679946899","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":"Q3455068$A996F867-6A54-4E6D-B47B-64966BB8C46D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Asymptotic speedups, bisimulation and distillation (work in progress)","badges":[]}}}}}