{"entities":{"Q2152663":{"pageid":2163406,"ns":120,"title":"Item:Q2152663","lastrevid":71417949,"modified":"2026-04-13T22:08:04Z","type":"item","id":"Q2152663","labels":{"en":{"language":"en","value":"Scaling up livelock verification for network-on-chip routing algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7554875"}},"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":"Q2152663$2D471D96-00D1-4A73-8FE2-17C4F9FC4A14","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b9608a635592fcce7dec2dc854f22adfcd11dab","datavalue":{"value":{"text":"Scaling up livelock verification for network-on-chip routing algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2152663$9F77C321-26B9-41D2-8122-AC3FB62C8CB9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b466ddc1105fe4f3d06d2331d5519ef4fe78a91","datavalue":{"value":"1498.68173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152663$5F27CB34-812B-4574-959A-7D6AE42C67F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c7509010d9e6d95017d5e0c4ee8932f7d856373","datavalue":{"value":"10.1007/978-3-030-94583-1_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152663$1BAA99EC-1D6E-46B6-88A0-3A5385FDC352","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69dd472ea1094c2b58188276c9403145e9b5b2c4","datavalue":{"value":{"entity-type":"item","numeric-id":2152662,"id":"Q2152662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152663$BE56E1F2-E0C3-4C94-8251-6BD36E10A0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc54f481984393999c33d1174b6c893ac7b1e9e","datavalue":{"value":{"entity-type":"item","numeric-id":400540,"id":"Q400540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152663$A0CCDE1F-D8DB-492F-AD7E-3EC2019AB025","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53f271a816850f44e4911f5762419f83fae54908","datavalue":{"value":{"time":"+2022-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2152663$32DD4688-8B88-4410-8025-B63762E3AA98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152663$382F1451-16C0-4667-96E7-A64A2E563350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152663$8359BDB9-BF37-47B8-8DEF-91EA3046D3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152663$A383DB94-C8F5-48E7-BEF8-3926C67F42AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10b1c5ee1839558469c5fa63a0d79638c7772adb","datavalue":{"value":"7554875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152663$7E0A8382-12C2-4DC4-95F2-5E93C39FD67C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e642d17915de14bf9c18bceefb4198dca3d356ac","datavalue":{"value":"network-on-chip","type":"string"},"datatype":"string"},"type":"statement","id":"Q2152663$E79539AC-9E56-4809-BAAE-E0D642AFF770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62f01ab2b3db9403c63404ce8d9b2049728287b6","datavalue":{"value":"fault-tolerant routing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2152663$D03A65C7-6F36-4E8F-89EE-0A9A33AC17D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2152663$52AFD840-E849-4664-9752-BEA20BACDA92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59486a99f5c970283c62c10d842fa4153691080d","datavalue":{"value":"property-directed reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2152663$34FDA2F6-A363-4AEA-ADFE-7AEC53FEDAEE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152663$4D10015D-7CE7-40C8-A492-BA52753DCDF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8860b2cd15c94f68eddbbb4c1da7b2e3d0978f1b","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152663$76E28760-7BB9-4C84-948E-8F6CD0F111BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"819ddda2e7b125b327dd1cd285f895e0bd6f622c","datavalue":{"value":{"entity-type":"item","numeric-id":5972521,"id":"Q5972521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152663$4139618C-16FC-49C2-928E-FB449C122CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ed66b4500809c164ad61ba9724c3cf07f26c2a82","datavalue":{"value":{"entity-type":"item","numeric-id":24833,"id":"Q24833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152663$0F3591DF-6631-4773-913C-FDBF8432B440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c2bbc1888f3e72bf1a3c3f77c3aa1e54863d5ef","datavalue":{"value":{"entity-type":"item","numeric-id":32236,"id":"Q32236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152663$95B86223-7FEC-4F73-9F17-A8D7C387926F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152663$78BC41B0-241B-417B-9ABA-F07F31AB0960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"125944fdcc09f25dcfd82a5bab31c630b45b900d","datavalue":{"value":{"entity-type":"item","numeric-id":15835,"id":"Q15835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152663$ACD2D288-AF96-4C0D-A8EB-B7665BCDC6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152663$0A600547-9A97-47B7-B5F4-717658937567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0340d818b88d76c419264bcc31bf928307f3975d","datavalue":{"value":{"entity-type":"item","numeric-id":33022,"id":"Q33022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152663$4F5BE499-C109-44B1-A817-5019EFF6EC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152663$9A3C1445-B715-4AC0-827D-E4DFBA2C1E05","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":"Q2152663$DD8897F2-051F-4CD3-93B2-40DEEC5BBF2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc89eb31de76199098b6ca870ca988a9f31cc787","datavalue":{"value":"https://doi.org/10.1007/978-3-030-94583-1_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q2152663$9FB4BBBC-2298-4CDD-A76D-78D0B6675121","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"adfe68cfd2b858f055f44c3e6b4cb1b83d391e1a","datavalue":{"value":"W4205102018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152663$21541169-32E7-41E8-848C-D3177DCE7BF7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c10956c94e35abab387d230c36a72d1842092c27","datavalue":{"value":{"entity-type":"item","numeric-id":4806206,"id":"Q4806206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152663$55373B70-251F-4420-A071-D337B5A81BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5d04efe2bb7a3ba846d8362c8253576775f83a3","datavalue":{"value":{"entity-type":"item","numeric-id":3000666,"id":"Q3000666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152663$ED06FC36-EBB9-40A8-8049-8E3FFB3A810C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c67d91be3d3e660c456991219e9fc2221defe0f9","datavalue":{"value":{"entity-type":"item","numeric-id":437040,"id":"Q437040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152663$8CDB7E3C-40A4-451F-AB22-E4D74DD0CD47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd61d344ba23e8fdc7be900eda9b9fffa2eae5ae","datavalue":{"value":{"entity-type":"item","numeric-id":613254,"id":"Q613254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80047ad7ba28ce3b63b5285715f5b6ed534740f0","datavalue":{"value":{"amount":"+0.7311969995498657","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":"Q2152663$4F5B887F-E45E-4BB9-AF02-AE14FDB7ED93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"488bc7596e684116b9359b21b0ec329452025520","datavalue":{"value":{"entity-type":"item","numeric-id":958348,"id":"Q958348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4f623d6a9e4f32a468ba517c553a1e9c9853068","datavalue":{"value":{"amount":"+0.721718966960907","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":"Q2152663$430B3663-6202-4684-91B5-DBA2DB1CF24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42da1f860cfc92a1ab425b7d2aca80522d035cb9","datavalue":{"value":{"entity-type":"item","numeric-id":621467,"id":"Q621467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbd6940ac7792bfc80ff3b28707b8701de5ef1d8","datavalue":{"value":{"amount":"+0.7216793894767761","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":"Q2152663$67F7F385-B2A7-4732-BCF8-0F280C52A0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b82021187881b4ef521e55b1d5b118fbe79734f","datavalue":{"value":{"entity-type":"item","numeric-id":3075484,"id":"Q3075484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d67a2070d2a994c2e4e1099021861ca22ae21952","datavalue":{"value":{"amount":"+0.7009510397911072","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":"Q2152663$38F83764-D5F4-4F4B-A614-7EFCA0902918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"021d2835de0819b64c7e7dbf228172861b6636a4","datavalue":{"value":{"entity-type":"item","numeric-id":3184778,"id":"Q3184778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0c30a9261b54622ef4e3b76ae7bc4c58f572726","datavalue":{"value":{"amount":"+0.6999394297599792","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":"Q2152663$D50D7186-0725-4666-A187-A049FB693685","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scaling up livelock verification for network-on-chip routing algorithms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scaling_up_livelock_verification_for_network-on-chip_routing_algorithms"}}}}}