{"entities":{"Q862853":{"pageid":864701,"ns":120,"title":"Item:Q862853","lastrevid":64917039,"modified":"2026-04-11T23:05:22Z","type":"item","id":"Q862853","labels":{"en":{"language":"en","value":"Specification and analysis of the AER/NCA active network protocol suite in real-time Maude"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5118396"}},"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":"Q862853$EE36F737-9F3F-4D32-B973-2E18A0816238","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9aa4e4eb141c44492fb5ecb834e15835c5c99294","datavalue":{"value":{"text":"Specification and analysis of the AER/NCA active network protocol suite in real-time Maude","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q862853$9297D56B-D1B9-41FC-B753-38DE648DBF07","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"378d54cc253f9e06fa5d5be3421219b182be19b6","datavalue":{"value":"1109.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862853$E68A52E1-33FF-4FFD-8AF5-AB4B36C599BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffa3aa6236fe928872880c7f4a30dce18000e322","datavalue":{"value":{"entity-type":"item","numeric-id":714795,"id":"Q714795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862853$0249D0BF-206D-4230-8A6C-C48802A23BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd06b85e820d9a6a030d7377f177d55fded7c36b","datavalue":{"value":{"entity-type":"item","numeric-id":862852,"id":"Q862852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862853$A1BB36B1-4E94-4930-9E33-2E690EA4C970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862853$885E3489-F9A9-4F30-92BD-F48535F2D862","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862853$F2CDFA79-C6E2-439A-97EB-116E3714D742","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b780548d1931bae4ac5b1caff374698a268a9351","datavalue":{"value":{"time":"+2007-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q862853$97C4582E-F385-4021-8601-A180198D2D55","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a76c38711e27f002a04becb0e158cbdfc873d45d","datavalue":{"value":"http://hdl.handle.net/2142/10892","type":"string"},"datatype":"url"},"type":"statement","id":"Q862853$24D027C1-6F3F-4A4E-9A8F-43A20B66C05A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862853$D615DE38-0C19-4B2B-857D-4BF06B3047AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad834fd6dbb7115cc82088e6b93cd1a7093ec052","datavalue":{"value":"5118396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862853$DB764F2C-FB52-4A92-9B1C-ED8F078DCAC4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbc6a6cc836ede360ae97886faa0a3682ac13db8","datavalue":{"value":"Formal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q862853$848C9555-30AE-44AE-9EC4-3241CD13B3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c3be9722da82c907052377e41b8fac3bc3634a5","datavalue":{"value":"Real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q862853$9B926A42-D656-4689-A677-459E8BA145FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfac5230769c68b8f8f37da7778d1aea9eb471fb","datavalue":{"value":"Object-oriented specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q862853$EEAAE137-9128-43DC-855E-8D6B42021A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c15bda0610ba1a460baddf4003de12ce3845ee80","datavalue":{"value":"Rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q862853$282F3CE3-1D34-42B1-B6C0-0DBD42CC7D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbfac85ba9237394885d1851e5431c2d2a1580d0","datavalue":{"value":"Active networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q862853$867A8C51-AE6C-433C-9378-AF9121D3937F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88d09e6a45d137e17f848885b4497e92d2254332","datavalue":{"value":"Multicast protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q862853$48CE1D56-855A-440E-878F-CFB386124F16","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862853$96604BBE-6BDA-4B58-8344-DC465314AD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862853$BC2AF007-334E-414A-82B5-28D220808293","rank":"normal"},{"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":"Q862853$05921CB2-EB6D-43F6-8B9A-41E227055D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"54f0b533582b39d02e94fd769c3e24c352ea1d22","datavalue":{"value":{"entity-type":"item","numeric-id":20431,"id":"Q20431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862853$2A1DFA4E-3F6A-4A20-B5FC-BB8565149F07","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":"Q862853$348A77CF-FA6E-4F06-9C25-EC6A4A0C621D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862853$4035DF27-8953-4D8A-B1ED-A2285ACFA372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862853$31CB1B0E-E6FC-42C3-AFA1-B2BA29D71A49","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":"Q862853$835969D5-28CA-40AD-B76B-7BD709AB9387","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5581323bd2ba6117fd7d5bef82a5d7f749ce32da","datavalue":{"value":"W1979754763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862853$D14FA524-6C45-4F57-9486-A16C9C32FB31","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e131304022eac74ef1a59104a6a4b74da93f93f3","datavalue":{"value":{"entity-type":"item","numeric-id":5494310,"id":"Q5494310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862853$75A8AF61-0C5D-41FD-AB1D-A74EDCAB97F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07a45fb1359d2e66eafa82e7f6b15749ffb75ed4","datavalue":{"value":{"entity-type":"item","numeric-id":5494311,"id":"Q5494311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862853$1C0BD95A-0704-4942-BD6A-501DC23AC665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca3b30d0a635de87e776bb5c6ce06af9f321896","datavalue":{"value":{"entity-type":"item","numeric-id":1608917,"id":"Q1608917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862853$ECB57426-F923-4439-95FD-7FDA749D71F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7d72fb0b583e355b8cac85cb179d5e07a3d64a","datavalue":{"value":{"entity-type":"item","numeric-id":2851053,"id":"Q2851053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862853$B496C499-9C42-49DB-837E-EE8E53E8AC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a388ffd503a2561c64bae2f63ad0b8c1881469e","datavalue":{"value":{"entity-type":"item","numeric-id":1856193,"id":"Q1856193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862853$93EDBA88-600E-4578-9401-29C17960916B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d0ff209a8c00e6853b2c43b2e31810805788f0","datavalue":{"value":{"entity-type":"item","numeric-id":3935355,"id":"Q3935355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862853$7F081994-FCEB-4D84-9724-006E57D6547B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"347df38badd15efd68ea1215bab1c51d2c2d7843","datavalue":{"value":{"entity-type":"item","numeric-id":5902540,"id":"Q5902540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862853$572440D7-F3C1-41EF-8F7F-436E777F6D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e68c3826d8a9f725fb388c85c09c5d9fff8c1cd1","datavalue":{"value":{"entity-type":"item","numeric-id":3046721,"id":"Q3046721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862853$76B3C4B5-9503-4631-A5FF-70815E473D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862853$9F04BF09-93F9-41E1-A2E2-1B7A87B48DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35de7df0c420175ccefc3da8012590103dbdf602","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862853$E93C2AA2-D1A7-4215-BA51-A88B4F1C42AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3228ea6fb5b664e811681851ff132796f3f77b0a","datavalue":{"value":{"entity-type":"item","numeric-id":4762648,"id":"Q4762648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862853$40BA06B7-7B6B-4E29-BCF8-883B287CF1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7517dccaab2d2ba3d9b0b13c3621c4c356005925","datavalue":{"value":{"entity-type":"item","numeric-id":2764137,"id":"Q2764137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862853$7B7ED06E-F0C0-43EB-A82F-030EDB5C8024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de6cce8ed5ac47c4cb430b7dde65ee7f46389979","datavalue":{"value":{"entity-type":"item","numeric-id":862853,"id":"Q862853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862853$7FCCB4F7-2D6F-4D79-9E12-DFE9A522387A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"730c66190d161c62379a21e901aa6aeaf6d3f898","datavalue":{"value":{"entity-type":"item","numeric-id":1608921,"id":"Q1608921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862853$5CEB5D3B-92A6-47E6-AF90-06379ADECC5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee175b2d6e1ebfb68e814e07984ee4738418d1a4","datavalue":{"value":{"entity-type":"item","numeric-id":2873773,"id":"Q2873773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862853$6511A8B2-4F90-429B-880B-D1F14B313BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8914758ac6f2ac25786ddc0b91cc49457a108d49","datavalue":{"value":{"entity-type":"item","numeric-id":1004068,"id":"Q1004068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862853$E8B5FBF1-7C94-4B4D-A25B-4D4C5924BD73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"408563137274f89aaaf748e3ef7fa707ad154441","datavalue":{"value":{"entity-type":"item","numeric-id":5716565,"id":"Q5716565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862853$1335BF5A-5225-4497-9117-58A2D3B76C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9525944835ab99fe0caee89af1d1c4f1696592","datavalue":{"value":{"entity-type":"item","numeric-id":1608925,"id":"Q1608925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862853$D6ED978C-87F8-40B7-83E1-162EDD159F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e574050348307bcbcfc2e2f0734db761d485e300","datavalue":{"value":{"entity-type":"item","numeric-id":1856194,"id":"Q1856194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862853$7609EDF4-965A-4EB3-9D36-4E087E8FE836","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"797964dcec203b16407ce203eeb6c45e39bc358c","datavalue":{"value":"10.1007/S10703-006-0015-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862853$03AD89B9-23FA-4DD9-ACAF-24644C103318","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6afeb225de387cd850ee506eb1f2f37d6519e92","datavalue":{"value":{"entity-type":"item","numeric-id":2764137,"id":"Q2764137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed51abe2253be0c97642e02c5b98ad518642af22","datavalue":{"value":{"amount":"+0.9971218705177308","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":"Q862853$6966B1BD-6652-4F78-A4DD-16D40F9841B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fb52a35b7f4219efea25bb9357a8b562a51086d","datavalue":{"value":{"entity-type":"item","numeric-id":2864519,"id":"Q2864519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6643d11a926ece2f100b65ad86abdfafa4d4edd0","datavalue":{"value":{"amount":"+0.8211022019386292","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":"Q862853$73E08FE7-AEA8-4A44-909A-A7D1371D3142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65674946a0e1a03082e5b14588f878aa5f61e520","datavalue":{"value":{"entity-type":"item","numeric-id":880982,"id":"Q880982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c90c95d154fe53800bfd69a2f403932729a7a00","datavalue":{"value":{"amount":"+0.8174523115158081","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":"Q862853$98E9EE44-2CE8-4BA2-8893-B180E655BD1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b0e2ca94935c9f80621896f199b48e9a570b6e3","datavalue":{"value":{"entity-type":"item","numeric-id":2703704,"id":"Q2703704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb84ef61be973d2b547e767195be5f4bf8ed716e","datavalue":{"value":{"amount":"+0.7495275139808655","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":"Q862853$C7001461-0B9F-4837-B161-C32BD2039E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2e4dadba8df1fb9355e9a94b9460808ecb8c21d","datavalue":{"value":{"entity-type":"item","numeric-id":730472,"id":"Q730472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"346c7d75f03064baf5cb7adba91727444c6d7599","datavalue":{"value":{"amount":"+0.7380698919296265","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":"Q862853$EF2F1774-943D-448D-BDC4-26AD002448AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Specification and analysis of the AER/NCA active network protocol suite in real-time Maude","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Specification_and_analysis_of_the_AER/NCA_active_network_protocol_suite_in_real-time_Maude"}}}}}