{"entities":{"Q5881451":{"pageid":7911002,"ns":120,"title":"Item:Q5881451","lastrevid":97582925,"modified":"2026-06-05T15:02:51Z","type":"item","id":"Q5881451","labels":{"en":{"language":"en","value":"Refinement of Timing Constraints for Concurrent Tasks with Scheduling"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7661921"}},"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":"Q5881451$0EFC0784-6D0E-4697-84F1-5ABADB4CCA5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6bc61c2c2cb32b142a70c1ef0501fc22a47dd420","datavalue":{"value":{"text":"Refinement of Timing Constraints for Concurrent Tasks with Scheduling","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5881451$DD955AD9-095E-499E-AEAD-0025C7904AE6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95be6782f933526ac1fc2ffc9406d6b2fb282f52","datavalue":{"value":"10.1007/978-3-319-91271-4_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881451$B86289F9-3731-4B69-ACF4-00697ADCD8DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881451$9F262267-B8B5-4009-8E4F-28BC6AF5CF7F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffed8e8d30c95f79058c35c3950af7927ffd6a67","datavalue":{"value":{"time":"+2023-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5881451$F3CFB6A9-6C45-480C-A373-CFC2FF7DB82C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881451$A26370F3-69BE-41C2-8013-46F92A5288B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881451$10BAE8AC-A6C1-4042-B367-1DC317A5C3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881451$8BC50E56-0A41-4446-AFC1-B0049DD8B7A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5bfe930d0490c70e7553b2f6c95842d9682a0d2c","datavalue":{"value":"7661921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881451$11670DF2-E6DE-4E0B-9293-9ED3BBD63F52","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04ba4bf98dd124c8c2742b84b6fb188b54821857","datavalue":{"value":"Event-B","type":"string"},"datatype":"string"},"type":"statement","id":"Q5881451$2E9D12A8-3B4C-44EC-90B7-288473A6AE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5881451$B3A42436-3B81-493C-92A3-A2FDE32D03BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9281ddadb0ca2f05376b43cb02bc600146085360","datavalue":{"value":"timing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5881451$C946C86A-1981-4A93-9151-B14F7A0DBF10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5881451$632B3607-196C-4CC2-AF08-4393D65959DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0605a1f2800486f9350885e9d3e822d311d76006","datavalue":{"value":"scheduling","type":"string"},"datatype":"string"},"type":"statement","id":"Q5881451$1A8EF3D7-FCE3-44B5-AB01-18FA34180E0C","rank":"normal"}],"P1463":[{"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":"Q5881451$D10E0EBD-8FD4-4B1B-8E39-B5DEF38F12C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3dcf6ea9ac65c890e0513ced8e4b0dde71e50b0f","datavalue":{"value":{"entity-type":"item","numeric-id":19141,"id":"Q19141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881451$39F17686-971E-41CC-9506-13DF0641486B","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":"Q5881451$82AAF26C-2483-45C7-9FA0-BE09DF7010EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"994cb89a3975fe8e1887b63bd60cbff1bfc61642","datavalue":{"value":"https://doi.org/10.1007/978-3-319-91271-4_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q5881451$B1C91A5B-3656-4D5A-B56F-6ECE0D4238F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d92b9547a80b5fea1174a9b488adaa71f3d7b38","datavalue":{"value":"W2796048112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881451$E9CD6D25-74CA-4D9D-B82D-DD4B99E60830","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64dbb7c90690de5fbdf0d30d9b861ec41a32a6","datavalue":{"value":{"entity-type":"item","numeric-id":3569584,"id":"Q3569584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881451$01609356-BD53-49F2-923D-D1786727B5A6","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":"Q5881451$A30D335D-55B3-45A2-9003-627910E2DB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14e3e06178df63e7ca54985ac886d5e2696a0615","datavalue":{"value":{"entity-type":"item","numeric-id":5305647,"id":"Q5305647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881451$D6EB40AD-6019-4025-9824-EF081B173AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b88053da80a11a27ba25efe3cc5797f5fa3925f8","datavalue":{"value":{"entity-type":"item","numeric-id":3510839,"id":"Q3510839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881451$7CE2FFCA-B773-4ED1-95FE-824E106EE081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ca265bfb353bc2934deeb5e50eff809115126d","datavalue":{"value":{"entity-type":"item","numeric-id":5294161,"id":"Q5294161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881451$D503470B-9FDE-438C-B524-08CCB950ADF8","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":"Q5881451$F594FB5A-CC6C-4DBA-B0DA-C753EE549642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a418b11fd2d5297c756e1ea62df8ed6a355036","datavalue":{"value":{"entity-type":"item","numeric-id":2851915,"id":"Q2851915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881451$18AC5352-4994-4DB6-A819-13C9FA81F75F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf79372c7e843105c1e2aa84ee7659dbbcd7b06b","datavalue":{"value":{"entity-type":"item","numeric-id":736912,"id":"Q736912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75c197f1b0702c090a9b415ea4527089840252f2","datavalue":{"value":{"amount":"+0.7524383068084717","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":"Q5881451$F3ED3244-93D9-4225-904A-56F91CCBFBD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f736c7072ff59740552f26a4b55b8e6df725634c","datavalue":{"value":{"entity-type":"item","numeric-id":2894555,"id":"Q2894555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd82565c6ee67b16efd2be10db7ebc53a6883b1d","datavalue":{"value":{"amount":"+0.7171464562416077","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":"Q5881451$87FC36D5-BB0F-47AD-8870-4B3984A61F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b295017a0cb2ad9ef89b8b0f46e565a86e1389a1","datavalue":{"value":{"entity-type":"item","numeric-id":2880595,"id":"Q2880595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51d1289911293c1409a8b50a1f90f2405d592aca","datavalue":{"value":{"amount":"+0.6987190842628479","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":"Q5881451$C22B8695-DBC7-4CD5-846B-23071DD3F50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3c65a0489f53aba0b72016d31e7f972f283b76c","datavalue":{"value":{"entity-type":"item","numeric-id":333316,"id":"Q333316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"119d73c29e3ba6b0e62a51d486583bbe19c2a3f1","datavalue":{"value":{"amount":"+0.6985374689102173","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":"Q5881451$0F862B07-7999-4E4C-AA85-3DA65492A0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbe6649fbe2ea472cfc9622e11ca47160c4fd5c7","datavalue":{"value":{"entity-type":"item","numeric-id":4534708,"id":"Q4534708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f81859a823b11e365b4fbdc267401364a113eaa8","datavalue":{"value":{"amount":"+0.6889996528625488","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":"Q5881451$317120BD-F0FF-4A8F-B876-D7824FCF3269","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Refinement of Timing Constraints for Concurrent Tasks with Scheduling","badges":[]}}}}}