{"entities":{"Q1004068":{"pageid":1005916,"ns":120,"title":"Item:Q1004068","lastrevid":65985225,"modified":"2026-04-12T06:45:36Z","type":"item","id":"Q1004068","labels":{"en":{"language":"en","value":"Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5522092"}},"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":"Q1004068$9368F53B-A2C7-4592-9109-B98F532EB4BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff95cefd7ba3432b67b9070c89721fa1f545dafe","datavalue":{"value":{"text":"Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1004068$BFEBEB6D-3D07-4ABB-A1DC-4BF1A99F17AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f710facdd3e3bb2fbee8572865ee49c2817fdcf6","datavalue":{"value":"1178.68699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004068$B2DE98D0-B622-4884-91C3-CBE9B2EEE2E2","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":"Q1004068$80DB2381-B1E6-4B0B-8E89-8C39A4529035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26b6fa625a35d3fd691925a1c3c8377340f7bc10","datavalue":{"value":{"entity-type":"item","numeric-id":1004067,"id":"Q1004067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004068$D8C691E3-48F7-4EDA-85CA-ACD4C7FA87C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004068$7B89135D-AB48-46BD-8C6A-8333D9DB4BC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5283b5da341717bddcc5514d88caea6acf73b725","datavalue":{"value":{"time":"+2009-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1004068$5EC3AB36-69E0-4026-8ED3-CD4D03AE4E66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004068$88D8E7DC-28C2-4DAA-A7F3-D59C80030A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004068$CFE79F35-CF5B-4F9A-B574-5AD5719CF46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004068$45C06C54-CCBD-4FA2-9E4D-090C19F7ED30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"086902a927621ae59a08aa919ee82394adc5f63a","datavalue":{"value":"5522092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004068$B9F8B668-D415-4E2F-8832-251244A82228","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"925e150e74e45555ae7550f13717a6fb58116a33","datavalue":{"value":"formal modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q1004068$A52D3C99-1A7C-4B75-8D83-4B8F0FDF670D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1004068$D8D24603-1A8A-4495-B6D2-35151EB07E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1004068$529BA4F1-6B90-443D-90D9-FD5FF14919C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a0ead6e3c9aedc2e91ffed5ec095d7c91438a8d","datavalue":{"value":"wireless sensor networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1004068$2B947877-0C26-42C1-9A0E-B870310246D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"474c392fa42c6791b72e1bf7fbe4ac2139d646be","datavalue":{"value":"performance estimation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1004068$B73C2B48-7631-41B2-9C41-8CF9CDA976E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1004068$0F2988A2-0281-4F73-9407-404AB6947CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1004068$B4BC6F63-B399-439A-A3F7-142F7ECE1967","rank":"normal"}],"P1463":[{"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":"Q1004068$21266D27-FD53-4AB5-B1A5-09F4AD16852A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d9e3398f9a03c25d17ec7e1e092f704c058607e","datavalue":{"value":{"entity-type":"item","numeric-id":20434,"id":"Q20434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004068$70FEFBC7-EE5C-407C-8866-C23913A33F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"999865bd5e3423c520b1c4089d886bda11bd0101","datavalue":{"value":{"entity-type":"item","numeric-id":25676,"id":"Q25676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004068$9B193CB0-587F-4E97-AB20-B3FD4830083E","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":"Q1004068$0CB47C96-75EB-4CC7-AB5F-8745D3D674FA","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":"Q1004068$812926B6-3305-40F1-9B6E-E333F4512A34","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":"Q1004068$5286BBEF-054F-4516-900D-8391146F8AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cf3b53fddd0939c65f47cd2c3ecdd8d7e23ce456","datavalue":{"value":{"entity-type":"item","numeric-id":23425,"id":"Q23425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004068$DA2C4DA1-E281-4BE4-A5CB-1F7608AD2336","rank":"normal"},{"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":"Q1004068$9167F095-6DAC-44E2-9CDE-C2052B44109E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4afc88604baa9919ff6a93e80b5fc96eaeed57f6","datavalue":{"value":{"entity-type":"item","numeric-id":23630,"id":"Q23630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004068$2A931F9F-BCE5-43A0-8304-2F8BD0D1A1E0","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":"Q1004068$1A62D2B1-A7B0-4EA6-85E5-6D94D1C1F250","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"463ac636b3486baa85829871be788041b4fa7e04","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2008.09.022","type":"string"},"datatype":"url"},"type":"statement","id":"Q1004068$8C986CF6-4EC6-4E96-8068-E3F17D12FCBA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b5d69d40141e117fea073ed452541ccc003894a","datavalue":{"value":"W2042601303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004068$F320ED60-9D5D-466D-AF73-AB93976B04D7","rank":"normal"}],"P223":[{"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":"Q1004068$2FBBDC49-E890-4A38-82B5-B6E2E294C8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ab5e8e2cb4633034d3747a964aea829975e001","datavalue":{"value":{"entity-type":"item","numeric-id":2503334,"id":"Q2503334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004068$504DDC08-C3C8-4978-8534-DB26514C52C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94d323dc2e1f84e44250d95d0988a1f55218f896","datavalue":{"value":{"entity-type":"item","numeric-id":5178993,"id":"Q5178993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004068$405FB2F8-F50B-4113-A482-028702D9FEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004068$A03D4E87-B637-419D-B779-10940B9E4460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3428326d0cbebee0854a2019f3ab2836befcd63","datavalue":{"value":{"entity-type":"item","numeric-id":2385814,"id":"Q2385814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004068$4BAE817B-5E56-4CB3-B559-B0D9178200DE","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":"Q1004068$87C77070-69CB-41A6-8AA2-1EE426F1B307","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":"Q1004068$BC6E164C-4362-46A5-9781-671DFBDF6A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606fd070630bb1cb73b0655837c2616dd769a509","datavalue":{"value":{"entity-type":"item","numeric-id":672251,"id":"Q672251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004068$B3E1F496-DC3C-4B30-916E-1D623FB34BCB","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":"Q1004068$DA925728-345C-4360-82C0-B2FB72C9A960","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":"Q1004068$98812EE5-333C-489C-8777-93A20EB9AA10","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":"Q1004068$A3FB5BD6-16C4-454D-96F3-027D8BDF53DD","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":"Q1004068$1CB4A6AE-6673-40AC-A0D5-545FED6B5D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f17343293c82352a41b45771a8f5da36d8ea202","datavalue":{"value":{"entity-type":"item","numeric-id":880982,"id":"Q880982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004068$062630E0-1311-4322-AE8B-712CC44AAE26","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":"Q1004068$CD1F0265-BD2B-4C85-A97F-5B43E86006C5","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":"Q1004068$FED483A8-6ED2-4C12-A79C-771910DDFC94","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":"Q1004068$B6B977D9-2E82-4872-B54A-E72390F1F3A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3096efeb540a04b8f2465f39ea51198ca5bb410","datavalue":{"value":"10.1016/J.TCS.2008.09.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004068$D94D0676-87F5-4197-86A7-310AAAF26BD4","rank":"normal"}],"P1643":[{"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":"e0e6c50a244ee221f81b7dce73488680df025426","datavalue":{"value":{"amount":"+0.8650254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1004068$80AB236C-08E6-4404-BD63-03F2186538C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06f273bf13fb02c96dd66ee5063c506e56f9ff17","datavalue":{"value":{"entity-type":"item","numeric-id":5274697,"id":"Q5274697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22e9d66d41c837f3d23eec9c64469256d83b0862","datavalue":{"value":{"amount":"+0.86261624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1004068$979813B1-7673-4008-AACC-6E5C69CEDB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb296091f43e2c0e0c1c9851fcbdf0e72042b1d6","datavalue":{"value":{"entity-type":"item","numeric-id":1688557,"id":"Q1688557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc58114b01555c4c4a6b6dcabe2e6c962d9d37b3","datavalue":{"value":{"amount":"+0.8621254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1004068$735B44D3-2890-467F-A1E9-E83DB031BE38","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_modeling,_performance_estimation,_and_model_checking_of_wireless_sensor_network_algorithms_in_Real-Time_Maude"}}}}}