{"entities":{"Q2845514":{"pageid":2856234,"ns":120,"title":"Item:Q2845514","lastrevid":83491643,"modified":"2026-05-07T08:24:15Z","type":"item","id":"Q2845514","labels":{"en":{"language":"en","value":"A BMC-formulation for the scheduling problem in highly constrained hardware systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6203492"}},"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":"Q2845514$6C67ADCE-3300-4DA9-8629-E61D5EF47733","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d14e35e4c6731e612f1342690bcda9b0689a4e81","datavalue":{"value":"1271.68171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845514$157C6CAB-AD54-4B0E-82D5-78564022EF6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ba453704ed3d872eb3c4e12877bf750b115031","datavalue":{"value":{"entity-type":"item","numeric-id":453481,"id":"Q453481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845514$D8074679-7D51-41D5-94E2-C4031D7DF8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e88b236ffaa6b504c003bacc19a5fd8232c21ceb","datavalue":{"value":{"entity-type":"item","numeric-id":453482,"id":"Q453482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845514$6FD8AB7D-6588-4D52-A5A4-34BAD706BC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c5e85ec07e780b1ffb36a1e80608f209bfa95b","datavalue":{"value":{"entity-type":"item","numeric-id":453483,"id":"Q453483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845514$1AA15336-2051-4A31-8D10-14FA2246AFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cea051f95d52b8f983b6e62aad84c28b5c083050","datavalue":{"value":{"entity-type":"item","numeric-id":854678,"id":"Q854678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845514$C8075F58-1050-48BD-9002-CEAD7F94F8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ff82866ad111699e04c07d12dd2580c23d907b7","datavalue":{"value":{"entity-type":"item","numeric-id":2766546,"id":"Q2766546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845514$A5A48024-BAD3-407F-9116-04742AF4DB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc96cf7471b602a297cad164b0fae61b513fa444","datavalue":{"value":{"entity-type":"item","numeric-id":2845513,"id":"Q2845513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845514$7DE111E4-5DCF-4476-B7D7-2A4263A359E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dbe91a82e9327cf79ad7ddd82bc8f3cac46bf53c","datavalue":{"value":{"time":"+2013-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2845514$AC77FF15-0707-4D54-926F-AC7673326560","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d48d44538014b928c79c4f45912935fb4d61d3e1","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105825472","type":"string"},"datatype":"url"},"type":"statement","id":"Q2845514$A8A0234C-C40D-488D-B8F5-A2A230EA8EC7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845514$7D9DA652-4741-4137-A032-B0832A001C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845514$4475DC4C-14C7-4450-9B5A-2465581CF2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845514$C14D5A7C-5771-4999-BB2B-44C52EFEAEE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ca5e94661f7e04c2db2044144cc324480d34729","datavalue":{"value":"6203492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845514$7251CEEB-8845-407C-912F-B1965DA81EE3","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":"Q2845514$601DC691-8A60-4481-8E18-F645BF192BF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c02808e7f2be858fe9a7fc3e207a30a03288a4d4","datavalue":{"value":{"text":"A BMC-formulation for the scheduling problem in highly constrained hardware systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2845514$E153DA1F-699E-4198-A874-FE53A0588CB3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6163a7aa78d81cf3b8065a62f631a6a5857595d0","datavalue":{"value":{"entity-type":"item","numeric-id":2754108,"id":"Q2754108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57e05437455c3db66bd45d5aa481e70895a239ae","datavalue":{"value":{"amount":"+0.7781487107276917","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":"Q2845514$BBA22E1F-B498-4BD1-A159-9B48E0D0F3F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"417f3b972ebf403c2e595613f41ecaa318eb253e","datavalue":{"value":{"entity-type":"item","numeric-id":1878909,"id":"Q1878909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e37e72988c3f751029cd5a5b6a04eca10cb9ce75","datavalue":{"value":{"amount":"+0.7545791268348694","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":"Q2845514$FB3FF578-097D-49EE-B7D9-7019AAB5E652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97a1bf693cef9178aadd375963cd412c8809cc24","datavalue":{"value":{"entity-type":"item","numeric-id":3176368,"id":"Q3176368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad412656b41e5adbcc8179a31e810ac5b5ba6f3e","datavalue":{"value":{"amount":"+0.7501518726348877","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":"Q2845514$AAFE479C-4B4C-4A70-BCAE-D89599D087E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ad56d5cf5a0914eae3e1991359f1a1939c792e8","datavalue":{"value":{"entity-type":"item","numeric-id":5898914,"id":"Q5898914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e0e993ee253ef8ecf8d797f4f5707aec9ec6c24","datavalue":{"value":{"amount":"+0.7414266467094421","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":"Q2845514$79693BA9-7CD7-4964-8442-D86BBE5E7F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69c27e69b908bd7149ddd74876754d4a065e8612","datavalue":{"value":{"entity-type":"item","numeric-id":4787213,"id":"Q4787213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b9990de5215c8e32a1b3b6a0abe4ebeed4c811e","datavalue":{"value":{"amount":"+0.7368166446685791","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":"Q2845514$79014867-65F5-4429-BCE8-24C207485AE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A BMC-formulation for the scheduling problem in highly constrained hardware systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_BMC-formulation_for_the_scheduling_problem_in_highly_constrained_hardware_systems"}}}}}