{"entities":{"Q5206962":{"pageid":7236533,"ns":120,"title":"Item:Q5206962","lastrevid":100571330,"modified":"2026-06-05T22:28:24Z","type":"item","id":"Q5206962","labels":{"en":{"language":"en","value":"Static optimal scheduling for synchronous data flow graphs with model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7145925"}},"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":"Q5206962$C89F27C2-AF4E-435D-B4D9-058F1D6FF544","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca6199394f5212ae79bc9de57c54b23935b2a55b","datavalue":{"value":{"text":"Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5206962$28289874-D46F-4A0D-B9AB-72DB7DE9A68E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb77d3305fe9f93b83e265033a8a1ffca8cc2f0e","datavalue":{"value":"1427.68177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206962$82080C93-9862-4554-BC78-BFCD6617519D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"421cb59c9a19c9050282ba731271e643f73dc0e4","datavalue":{"value":"10.1007/978-3-319-19249-9_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206962$270A5F21-24F0-488A-B26D-169D45D251A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bda4e9a82882b86c59ace1eb65976e907877efc","datavalue":{"value":{"entity-type":"item","numeric-id":4483790,"id":"Q4483790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206962$236D97B3-BF25-4FA1-850F-A397CE9EF8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7314272227843d340a922f78f9b655c088ebff97","datavalue":{"value":{"entity-type":"item","numeric-id":3021170,"id":"Q3021170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206962$E86DA29B-4B94-4742-9AD2-EE0C3291CE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40a775b0ad8af182e2701e64fb0ff2388198fbaa","datavalue":{"value":{"entity-type":"item","numeric-id":5206961,"id":"Q5206961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206962$E78B13AB-08BE-4779-AB8F-6FA09BECEEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9f074f856fc3634e0cc07cdd3551e1ea32a5214","datavalue":{"value":{"entity-type":"item","numeric-id":963406,"id":"Q963406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206962$95244267-CD4A-403B-9128-1AC6FC36F622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"700a7ab3c2173bf5b546ffeb63a43807e035e8a6","datavalue":{"value":{"entity-type":"item","numeric-id":250171,"id":"Q250171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206962$56DF5792-394F-42AF-911F-580B02FF393A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"405ba26261627fe4fea2af62557d28c5568838e4","datavalue":{"value":{"entity-type":"item","numeric-id":1303943,"id":"Q1303943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206962$6D2205EB-22EF-4134-8EC6-B03585F236D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea507ca7ecb53fb64a642a5e1bbd9b47380c0a44","datavalue":{"value":{"entity-type":"item","numeric-id":5206946,"id":"Q5206946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206962$44D645EC-12B9-425E-9257-4101FFBAFA5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ad2986100f8e8d7278a8296353b8e4d3688509f","datavalue":{"value":{"time":"+2019-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5206962$F2655A7F-DC38-4FB5-AE7E-A686534F2708","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206962$ABD9C2A5-7256-4596-B753-4AD2FA8B9256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206962$2D302402-0434-428A-9509-2FB023B63BEB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b7f84f7185507f1024df625f7439c82227b79e1","datavalue":{"value":"7145925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206962$C28448DF-F7A5-4329-A2C9-5495810D67F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed2f9e32c889c74a0a51d0055fbc3ee4ecb88e16","datavalue":{"value":"data flow graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5206962$963F70B4-63F1-4A6F-92D6-05828A825B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32c3ff92ef6d8e11800ccef6ea14a8a209d68985","datavalue":{"value":"throughput","type":"string"},"datatype":"string"},"type":"statement","id":"Q5206962$229559D2-3A02-419C-A681-C66FFAA64EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d92d3a54df3ffb6bc97b8ca8c29368f9c2eed742","datavalue":{"value":"energy consumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q5206962$7C0CB573-5AED-4556-BB61-22FFDDACB509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3168dcec79657a300103f561f95629bb789a1738","datavalue":{"value":"multi-constraint","type":"string"},"datatype":"string"},"type":"statement","id":"Q5206962$1D36FD5F-5AE9-48C1-9221-826A4685F41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5206962$20A22C0A-E0F3-440E-8012-2E099A205603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad8a319e4928213107bdf90311c84fcbfea3e116","datavalue":{"value":"UPPAAL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5206962$15BF8158-A522-4A31-99AC-67C1125328F3","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":"Q5206962$7ACC6474-834C-4295-B296-2C3E2CFD41C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"51eaa17ef5f46e6a9f58a7ead7a3472139a284f8","datavalue":{"value":"https://doi.org/10.1007/978-3-319-19249-9_34","type":"string"},"datatype":"url"},"type":"statement","id":"Q5206962$99E10EC5-C184-482B-9D26-FED165C96500","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b5d7ac37e8ea2449c0a69924362f2dfb83765e5","datavalue":{"value":"W635594912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206962$307FDF9F-196B-48BD-A6CF-C2CBBFB85FAD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"767748581495151d2f33bff227c72e47614d02e1","datavalue":{"value":{"entity-type":"item","numeric-id":2368955,"id":"Q2368955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206962$D896FB46-BBD6-46BD-B41A-DBE0FAE48397","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":"Q5206962$098625D7-98F0-4230-A532-531FCF335FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0b392a84ad4d9850a9957f77d76a379eec89a68","datavalue":{"value":{"entity-type":"item","numeric-id":5897450,"id":"Q5897450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206962$72D98822-EC38-43B4-8EA4-E566D373BC67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f0618ab971b1402c4c34251dffc850ea86689a4","datavalue":{"value":{"entity-type":"item","numeric-id":1856168,"id":"Q1856168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206962$C47B53C1-8002-4CE4-A256-CECD87FE571A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78424e16cd24d9742c865ada89549a4edd25ddc2","datavalue":{"value":{"entity-type":"item","numeric-id":2368958,"id":"Q2368958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206962$8F7372A4-E536-461A-995F-658DE054B4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71874bb00bff814def0c87ddc058a233e95682f3","datavalue":{"value":{"entity-type":"item","numeric-id":4564088,"id":"Q4564088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206962$E6F1A59E-004A-4DFE-89DC-FEB6370C9785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206962$E1B57882-900D-4DC7-8D81-B1B9B60D9FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35cde03562621ac344f98deab878bb3e849873e4","datavalue":{"value":{"entity-type":"item","numeric-id":3742710,"id":"Q3742710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206962$A6298490-B1EC-4BD4-A815-9D620989703F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"717453d100c083e21794cb59223ca0018928c80f","datavalue":{"value":{"entity-type":"item","numeric-id":4888827,"id":"Q4888827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae1545516c77ef8c28e3ba7e2039371981b5f21b","datavalue":{"value":{"amount":"+0.791976809501648","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":"Q5206962$2EC2DBB5-E41F-4010-8667-51FA57617C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9dff047beba16fb13b99699849f52ef0bea6cf2","datavalue":{"value":{"entity-type":"item","numeric-id":3172842,"id":"Q3172842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed8558c4f9c58c471151224325a49e164a9b5b69","datavalue":{"value":{"amount":"+0.7899456024169922","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":"Q5206962$00F2090F-A282-4AB1-83F8-F6E8141A892D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b16db5a987738d4330bad47dd851efdff2617a6","datavalue":{"value":{"entity-type":"item","numeric-id":3300224,"id":"Q3300224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4b028383e5eac4946f58c23dd0a9ced9d5ae87d","datavalue":{"value":{"amount":"+0.7897128462791443","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":"Q5206962$3055CCD4-329A-4642-AB57-2C023A572737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc1743f197ca6b582fe1a3f7fc6101c6b3d6450f","datavalue":{"value":{"entity-type":"item","numeric-id":777061,"id":"Q777061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"789ca606db7f5017410adef8baae591aee90e986","datavalue":{"value":{"amount":"+0.7844328284263611","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":"Q5206962$2EF1995D-17B7-4A86-909A-5BD46FE31B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"426ca0d31c1d8b1709503a6c3408312f2104f73b","datavalue":{"value":{"entity-type":"item","numeric-id":4328972,"id":"Q4328972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9af50a782abf5e42a7a8c05ee20cf5eb34169253","datavalue":{"value":{"amount":"+0.7733958959579468","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":"Q5206962$3D8FE55D-C487-4AA3-9109-FB0540E35622","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Static optimal scheduling for synchronous data flow graphs with model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Static_optimal_scheduling_for_synchronous_data_flow_graphs_with_model_checking"}}}}}