{"entities":{"Q931433":{"pageid":933281,"ns":120,"title":"Item:Q931433","lastrevid":65463414,"modified":"2026-04-12T02:46:06Z","type":"item","id":"Q931433","labels":{"en":{"language":"en","value":"A functional formalization of on chip communications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5292871"}},"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":"Q931433$1237A3B4-3B9F-4018-B971-7BDA85CBCD8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca2b56c1c5e0a67a0792614820350d47261b369d","datavalue":{"value":{"text":"A functional formalization of on chip communications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q931433$9FFDC4EC-0919-4710-AB9D-2460A656DA18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf535c19048cf246125bb8b55c6d1d56dd78fff3","datavalue":{"value":"1147.68698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931433$56030C14-67C9-430F-BD81-18E6D190A409","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34804e6a2215a0425fe35226b8ec01b24c6b23d2","datavalue":{"value":{"entity-type":"item","numeric-id":437039,"id":"Q437039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931433$0F409F64-9CC3-40BA-93D5-2DD255EE7301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db104b4a762e3f51912076a84eab8fcea8d94ef6","datavalue":{"value":{"entity-type":"item","numeric-id":931432,"id":"Q931432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931433$9B4A9445-2588-4062-BB78-9E9026E4A064","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931433$5392270B-4975-40FE-83B0-14677E14C757","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d22e5aa1312e25f0a07a398d2f087c7d9d7a788","datavalue":{"value":{"time":"+2008-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q931433$EB3002CA-0A5C-4787-AC5B-7EC0520CB57D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931433$CFC67637-8984-449A-872D-9FBE24039541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931433$7D5E03B4-A9E2-42E7-A299-294059635D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931433$E3800DC6-4314-47E5-91DB-931DFDD7AF9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c534f65b5ef20adfd1a972bf2ed98e4e7ae62c5","datavalue":{"value":"5292871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931433$D909BB8F-2022-4270-B392-7C099FD414EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b65659913fe260dda80c2f14b5fbc5b797392f2","datavalue":{"value":"Networks on chip","type":"string"},"datatype":"string"},"type":"statement","id":"Q931433$9C8964C1-4DDA-4FA6-8146-EB3242479BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d5317564731802b5aed45b2ade9098067bee48","datavalue":{"value":"Communication architectures","type":"string"},"datatype":"string"},"type":"statement","id":"Q931433$88D88BB7-91E3-4151-8A38-819B36241B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b3f210910becb27540644b96d59bca7cba92a01","datavalue":{"value":"Formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q931433$80D5A273-1BA8-41A5-A9DD-3A48D268B08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85745d8965112db9a93755ffbfbc90c80e630c0b","datavalue":{"value":"Automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q931433$52D484EE-A90A-4C5B-9332-09A0608B8AF3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931433$6FA5AFF5-A5F6-43F1-A50B-BA5302C026E8","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":"Q931433$9CFE861A-2C7E-4006-B13A-AE2790317FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931433$576619A9-75FE-41D0-AFB8-4A5FED2C4BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931433$036BF647-581B-43F0-A492-E17558278C01","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":"Q931433$8E81B359-3CB7-467A-97A4-DC2E5A2D4BE9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f57ca366a021e164336c2e065b57467dd2f91ff","datavalue":{"value":"https://doi.org/10.1007/s00165-007-0049-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q931433$F4E6ADCC-982B-484B-B9F9-226E44C32533","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18bd20099af45fa76ec2bb43af9d4e2bfbb504f3","datavalue":{"value":"W2126261264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931433$91303E0D-998C-4DF9-8B6E-0B630B61937E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b1b71995dfbf59ec22a42464360943046c71282","datavalue":{"value":{"entity-type":"item","numeric-id":5493241,"id":"Q5493241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931433$5238FD66-B17D-4111-96FA-17C864FAF6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b4916e8a31d9452e806d0afef8f0f558c82ae6e","datavalue":{"value":{"entity-type":"item","numeric-id":2576568,"id":"Q2576568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931433$E214ABA3-893A-4550-A286-49DA595354A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931433$4B2D5486-C674-408E-8342-A9C38D970D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4467762467dea92add97c06345d13a5c3a17f0e","datavalue":{"value":{"entity-type":"item","numeric-id":5464745,"id":"Q5464745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931433$826D3342-B779-4B9F-8A7F-EC8E9481DC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b50ec34ff6df3ffeb746c1035bc49f3a6dbaa82","datavalue":{"value":{"entity-type":"item","numeric-id":1318283,"id":"Q1318283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931433$D2DD31D1-00DA-4CD7-86AE-C0556CA79C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66cf7c41d9e5ac71b0c70ce0a3d34ccc731e5a39","datavalue":{"value":{"entity-type":"item","numeric-id":5492966,"id":"Q5492966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931433$D32A91B5-C6AC-4585-A145-85A626180FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59957af31cd2d208dd6a40338f1f00669fc69b47","datavalue":{"value":{"entity-type":"item","numeric-id":5477664,"id":"Q5477664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931433$5E74608E-51C0-4BEB-BB3E-7A2B54ED4816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b00ea8dcddd12b85e22417f7ab71b67ef496b153","datavalue":{"value":{"entity-type":"item","numeric-id":2917406,"id":"Q2917406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931433$6C8881DD-CF11-46F9-9E62-29ABA34B78BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5949ea3ca67d271e19de6fbade598ccec4b359e8","datavalue":{"value":"10.1007/S00165-007-0049-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931433$01143EC3-DC9A-4A22-9FF8-C0E8DF5DAE24","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e4f390afa144965a0b5631023aa0e7a0b8e934a","datavalue":{"value":{"entity-type":"item","numeric-id":2917406,"id":"Q2917406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f48f0281abc2ee1848c969aa26a17d1e176531f","datavalue":{"value":{"amount":"+0.9791533946990968","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":"Q931433$44880684-F869-406D-BFEB-3ACA1E176649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c68217cf96b5fd40dbe0f98a5c17450742e84ddb","datavalue":{"value":{"entity-type":"item","numeric-id":5477664,"id":"Q5477664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cdfb02236140515c1c2425fce06a64911ee6929","datavalue":{"value":{"amount":"+0.8298969864845276","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":"Q931433$C4B354AE-377E-4FB1-9E37-8B38F962C0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baea579733869c6f74575fd0b81608415d4df2a6","datavalue":{"value":{"entity-type":"item","numeric-id":5492966,"id":"Q5492966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f450b9e6693deabdd6519b5660026c6e8e8a581d","datavalue":{"value":{"amount":"+0.8104013800621033","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":"Q931433$7DEF7617-D10C-4718-BF0D-0C3F846492CD","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":"b563c0c0b56ba3724793625f439e8e0333b09b6f","datavalue":{"value":{"amount":"+0.730754554271698","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":"Q931433$84A835BA-B6D9-49E4-89E3-83A020A7D8FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a62d99bdbf7d2500d6dba627ab71f4484130dd3a","datavalue":{"value":{"entity-type":"item","numeric-id":5505439,"id":"Q5505439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e934c36e7638b6c0bbc62d66a986aecc4ed96928","datavalue":{"value":{"amount":"+0.7059223651885986","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":"Q931433$812136BB-F93E-4FE7-B345-717232DB465E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A functional formalization of on chip communications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_functional_formalization_of_on_chip_communications"}}}}}