{"entities":{"Q2464934":{"pageid":2475677,"ns":120,"title":"Item:Q2464934","lastrevid":73453134,"modified":"2026-04-14T16:03:07Z","type":"item","id":"Q2464934","labels":{"en":{"language":"en","value":"WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5221236"}},"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":"Q2464934$69FB6DAE-C5C9-457A-A1C9-72FCD8CE4EDE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"535f756708707e48e45d5a4314a942e8e9a53dd6","datavalue":{"value":{"text":"WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2464934$BE4D454A-B776-4445-B7E8-32217027750C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"973087d760a27b8aa91569e84d2389240f54f421","datavalue":{"value":"1143.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464934$E533DA5C-2632-401F-9EAC-21750101CD58","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4c9ffcd6a38b1a0affeb83ac2397a913905ad7f","datavalue":{"value":{"entity-type":"item","numeric-id":1426167,"id":"Q1426167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464934$3ADA0336-EA07-4E24-9D27-3E1BCEB79D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9abd7c9479a368ac07ac7f49d9e169f9a88255e9","datavalue":{"value":{"entity-type":"item","numeric-id":2464933,"id":"Q2464933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464934$34D7D4CB-CD81-411D-84FB-047B489BA493","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":"Q2464934$272C9C70-EE1A-4BCD-A9C9-73B8C0539F9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b39a0a73d18fba485401f5f29aad40c079dd6a82","datavalue":{"value":{"time":"+2007-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2464934$9FD91E04-9A73-48E1-9B2A-396AE9BF9FA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464934$C76A288C-66DD-4263-B470-EE5DE511088C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"557077fa5324a9dd709cccd3909c54be01a68ae9","datavalue":{"value":"5221236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464934$F624A743-A2F5-4C51-9F19-F209EEAA7D53","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464934$0B32B75C-F5EB-4211-9717-8CEB58D01EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464934$369C9409-C43D-41F8-BAB5-1C5F37F991D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3b246a36f93f203b3e7bf5749c49d44029dfa90","datavalue":{"value":"operational validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464934$5654DA7D-E893-4B4B-B312-06D10D371E03","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"facdf200105caa9a8346d7f6e980c631ef5276ce","datavalue":{"value":{"entity-type":"item","numeric-id":14142,"id":"Q14142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464934$2A6019A8-4F8B-42D0-83ED-C785A64BD0CC","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":"Q2464934$B0A3507A-31D4-4538-A6BD-852BDE0B6486","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd8263712912335081cd7ad29d1bc9a06165ee74","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2007.03.054","type":"string"},"datatype":"url"},"type":"statement","id":"Q2464934$79A75582-B737-4865-B0D8-F7B34507B36C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7545e17d369499271c979d200de86cf351b1880d","datavalue":{"value":"W1971395575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464934$B7CD163F-5444-4030-86F0-8752753AFD45","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8a9378daf68166e67fe1a55e410ce2e9105a6f0","datavalue":{"value":{"entity-type":"item","numeric-id":4417893,"id":"Q4417893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464934$CBC7BDC4-880F-441D-9DB4-E3717A14DA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464934$BA9F9134-BBB2-4192-BB47-1627D6BC7D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ce5786065f5ca83a36cb19d0817ab0cf0d73f0","datavalue":{"value":{"entity-type":"item","numeric-id":4038702,"id":"Q4038702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464934$2185F181-2220-44D0-AFD5-7D84267E780E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4861ad6b832bac12a95a11f6298cd74a8cad1bcf","datavalue":{"value":{"entity-type":"item","numeric-id":4289659,"id":"Q4289659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464934$6D257F15-B987-47A4-8E43-0D42B4A9D774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17149116ff9fe8a378e63db30af57c5412489bc9","datavalue":{"value":{"entity-type":"item","numeric-id":4948010,"id":"Q4948010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464934$FE928C92-9197-4045-9AA9-AFD5A1F125E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e541cb36cfa26c80ce0b4a5509804f8b1579cf0c","datavalue":{"value":{"entity-type":"item","numeric-id":1603357,"id":"Q1603357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464934$706EF8F7-FB3C-4F06-B3F1-B6D91AC6C64B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73531768c159cb8f33f55ecd71a6e629e7d6fc2d","datavalue":{"value":{"entity-type":"item","numeric-id":4645201,"id":"Q4645201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464934$1CCC579E-1D10-4A22-912E-FB3776814359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a7ff49e97dac883de3f76ee79149d49f124d31e","datavalue":{"value":{"entity-type":"item","numeric-id":1376418,"id":"Q1376418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464934$56F77D9F-C01C-49A6-937D-EA87F3519B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6165a7107c5f21bfc21ac8107f452a7f38193166","datavalue":{"value":{"entity-type":"item","numeric-id":1884967,"id":"Q1884967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464934$970D1225-866D-448C-8EEF-3D890B6D1A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa28b36f1d47ef725ba4acb380f1839600a6b45","datavalue":{"value":{"entity-type":"item","numeric-id":4132170,"id":"Q4132170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464934$FCEDE912-2748-4D32-9064-16699EC27C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b73445859935f5fe949c38bd8d73d9287a462e5","datavalue":{"value":{"entity-type":"item","numeric-id":1426168,"id":"Q1426168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464934$8C190A15-21CC-44C4-8543-6BC7525EE523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"206aac1fed08722358479159401448a8a87bf332","datavalue":{"value":{"entity-type":"item","numeric-id":4198327,"id":"Q4198327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464934$94B7FA8E-38AE-488D-8B67-69997D6DEA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c301b6e99fdc12fb9abb9dd8b83f54e40f5b2b0e","datavalue":{"value":{"entity-type":"item","numeric-id":1610348,"id":"Q1610348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464934$08B3060E-789D-4E77-8BB1-5F17963B6FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17aa159ac1f9d40e22274f73d435d75f99dbcdef","datavalue":{"value":{"entity-type":"item","numeric-id":5308410,"id":"Q5308410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464934$1A3C6BEF-FD25-42DF-8938-976F438D8CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27f6740f0cb7a1c5b90f68eda30e4c7784053e43","datavalue":{"value":{"entity-type":"item","numeric-id":5316539,"id":"Q5316539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464934$DFCE5A2E-F77A-4A69-A2BC-9503186AD12B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d454bd9384855a4f92678ceb1198889e5e68c7b1","datavalue":{"value":{"entity-type":"item","numeric-id":1152707,"id":"Q1152707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464934$65F7CE4A-CE15-4CFF-82C2-3F98AC1692C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2fa5133216b14614490f456ec9f05c5af9bfa07","datavalue":{"value":{"entity-type":"item","numeric-id":5681520,"id":"Q5681520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464934$E2D13D44-4079-491B-88E3-326245C32298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95ca9db7e5404db4af0c5798fb6a0c7ac767eb0f","datavalue":{"value":{"entity-type":"item","numeric-id":1163668,"id":"Q1163668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464934$5EEA20FE-CA40-4BED-8CA2-27BD65DA45FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0873dfed449e223760861827366e29a19391f0c","datavalue":{"value":{"entity-type":"item","numeric-id":5643915,"id":"Q5643915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464934$435BD766-8F9F-4472-BB7B-ABE20C79A70A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58210b721d117aac58a156c767207930470ab37d","datavalue":{"value":{"entity-type":"item","numeric-id":5375450,"id":"Q5375450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464934$20DB9B30-6B39-487B-95F4-08FD0F1C27E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"888e98d04ef191b093ae24c0bbbd536897a2cc77","datavalue":{"value":{"entity-type":"item","numeric-id":3221371,"id":"Q3221371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464934$8B0E4ED2-5FC1-48E3-A16B-7D35FBD76B50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c646df9bb0b49fa4c26e94511a0026aa7d58d08","datavalue":{"value":"10.1016/J.TCS.2007.03.054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464934$57C06A97-8755-4165-8513-3260F8676DD3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba3ffb11042dbc2635af62259c458a2ee88f4517","datavalue":{"value":{"entity-type":"item","numeric-id":4428182,"id":"Q4428182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2549e72c39309b7d5dfb7dc9e4452826e1ead655","datavalue":{"value":{"amount":"+0.8760346","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":"Q2464934$4E9F9509-EC65-4F08-84F4-3A1227EA511D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527ac8af07d4503873fb14a36894727663c5a461","datavalue":{"value":{"entity-type":"item","numeric-id":1660771,"id":"Q1660771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29d97359fd96ce4577f4d9bd90538d9e698e70a5","datavalue":{"value":{"amount":"+0.84794974","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":"Q2464934$CA270A18-CBD4-4AB2-AE43-A5CD566BA1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e6a6ea0ed3de89056359d59dc982f3cdb018f94","datavalue":{"value":{"entity-type":"item","numeric-id":4346084,"id":"Q4346084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53bd0d81d0090ee41a2675ceea0260050c780b89","datavalue":{"value":{"amount":"+0.8355795","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":"Q2464934$B2032F04-9E3C-4EF1-AE58-40A71A40BE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4c6d494951ec3e110f80222b5d1e1cc062859aa","datavalue":{"value":{"entity-type":"item","numeric-id":2982307,"id":"Q2982307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34ab7991c781eabb0f8eceb307a5b6e7e63401c0","datavalue":{"value":{"amount":"+0.8317377","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":"Q2464934$60684AAA-1492-47F2-BB86-90E8E2DB9A16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/WCET_free_time_analysis_of_hard_real-time_systems_on_multiprocessors:_A_regular_language-based_model"}}}}}