{"entities":{"Q2945589":{"pageid":2956309,"ns":120,"title":"Item:Q2945589","lastrevid":85388504,"modified":"2026-06-03T07:43:14Z","type":"item","id":"Q2945589","labels":{"en":{"language":"en","value":"On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481825"}},"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":"Q2945589$2AEC2CB3-AFB2-4EA0-BA49-6EE7E5E92BB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12325b3d78a6f13170ff848c5ae844fcbd57ec97","datavalue":{"value":{"text":"On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2945589$A4A4D88B-5F34-4700-B60B-FB9AEF63985E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d80be74ad644d703cb62524c557be4cfd35d620","datavalue":{"value":"1465.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945589$9B39B443-793E-4A03-8F3F-094F967D73AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0a5cc0a67d945c7b75f423a03279496e7693fdd","datavalue":{"value":"10.1007/978-3-319-22975-1_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945589$ABE2F97B-AFDC-4247-BB8E-283CAC433665","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad79379eab1b3da659897b2019af1303b947a8b0","datavalue":{"value":{"entity-type":"item","numeric-id":2945586,"id":"Q2945586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945589$18A2C93B-D2AE-4AE4-8279-16D380491B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d77ee20bc110d8cfbefe7cb596099bae531b1de9","datavalue":{"value":{"entity-type":"item","numeric-id":2945587,"id":"Q2945587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945589$55231164-234A-413F-8D78-0C1147E17567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0da879b04cc0261d4fded028f7461c6e225cf0c2","datavalue":{"value":{"entity-type":"item","numeric-id":2945588,"id":"Q2945588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945589$B0120F49-0B59-443F-B576-5A93E4A04409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c66620263f108944d6d74065aadd9de4ade601d","datavalue":{"value":{"entity-type":"item","numeric-id":2505636,"id":"Q2505636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945589$59DE6643-51AB-427E-86F8-C9BD0C9C26EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"68bcd9b5dc242063467e5debba16d92ef6bb3179","datavalue":{"value":{"entity-type":"item","numeric-id":272774,"id":"Q272774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945589$EBF35F52-7F66-4FE9-8148-542CD72347E7","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":"Q2945589$A90A411C-16C8-4AEB-AFB4-243021E1FF19","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ece460bc202bb4ec344b5d620998e472753b138b","datavalue":{"value":{"time":"+2015-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2945589$1B34115E-0556-4E15-BB0C-B428AE2B2921","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70933d10c5d7699222a2c40b4dd2ca5fc00bd544","datavalue":{"value":"https://hal.inria.fr/hal-01250010/file/paper.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2945589$9124B27D-2ED2-4C11-A8F3-9ECF87DEE24C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945589$B0754C5D-9507-4164-BE64-16B85B91E1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945589$7F4C30D3-87EA-4163-9906-F861152E9BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b7ffcab9ce53e90c8627cb2c3bb400b94a5f354a","datavalue":{"value":"90B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945589$C165CF11-1646-49DD-BFA9-511851CF9F4F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14b92b11d7f123628e688fe6d2f9c6fe92852522","datavalue":{"value":"6481825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945589$5378E76E-25A9-49AE-9761-59C80E30A884","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8ba9523fe1389a861721da64a930cb34b56a218","datavalue":{"value":"real-time scheduling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945589$825439FB-7E97-47C7-8F2E-6A6DEEBA49F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1254a7c01d2970b87da2854c1fde40c268a1f55d","datavalue":{"value":"satisfiability modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945589$3379C64F-37CC-45CD-8DFA-A07B825F5163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2440c6394e2ac24533843222855bcea18333dee","datavalue":{"value":"constraint solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945589$26614F81-2524-46EA-8E67-069A9B77ACDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a600c1f25c57c5e6bdda15acfd6b2fdfb88caef","datavalue":{"value":"repeatable","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945589$DB8685C1-C8C8-452C-96C2-928A5EF06E57","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d0306a541ac4d64d413698a8167f6dce4fa4ce8","datavalue":{"value":{"entity-type":"item","numeric-id":16269,"id":"Q16269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945589$81098A06-1CEB-4326-9515-AC38FA317F85","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":"Q2945589$473027A7-3135-4CB0-9895-DD579FA03F2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5951191269b5685b5295085cdc6ee259dc630df7","datavalue":{"value":"W2206282488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945589$C5D028AE-6A15-4C4C-93D1-E63A30CE0C64","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"337f527cfefce38c242475456b3ec7fdedd0544f","datavalue":{"value":{"entity-type":"item","numeric-id":1398125,"id":"Q1398125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945589$FDB1ABB7-B3BA-4A17-A91C-C5B9867FEF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52ceaeb535fc8802f7a70d46420339b47503f36c","datavalue":{"value":{"entity-type":"item","numeric-id":813145,"id":"Q813145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945589$7EC7AF5E-EE6D-4A42-9A4C-AEC42663D827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6d199017df4d3146f497fbc8db45c8d467a421d","datavalue":{"value":{"entity-type":"item","numeric-id":2556224,"id":"Q2556224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945589$D3ED6625-1FBF-4FDF-958E-C30C0E1C2DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be8a53fe134b0b70830e68dfe27608ac9174a22f","datavalue":{"value":{"entity-type":"item","numeric-id":4140712,"id":"Q4140712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945589$5C090B8E-7524-4B27-BE41-11954AF6755E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37fb93f30f9521e29cb2d7ea26da7bf31a13004e","datavalue":{"value":{"entity-type":"item","numeric-id":2842674,"id":"Q2842674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945589$B3B69D4B-424B-443E-94A7-FF31BE94D10A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67f9c82d25d81d6476902c239480196bacaac384","datavalue":{"value":{"entity-type":"item","numeric-id":1198025,"id":"Q1198025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acc01f1969a75333fb31cae74b1bc9e514e955bc","datavalue":{"value":{"amount":"+0.86586523","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":"Q2945589$472E2900-CAFE-45D8-87ED-C4805EEA74C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfe706a98d170d2afd664c8f066ed5c5a5706302","datavalue":{"value":{"entity-type":"item","numeric-id":1426225,"id":"Q1426225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90aaa561f17dd202c4679520355e6e9870cf38ab","datavalue":{"value":{"amount":"+0.86506975","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":"Q2945589$57557CA6-94D4-49BE-A9F6-53AF6198E405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a1069cf0d7fc233fa3ebc4efac32e1072977bd3","datavalue":{"value":{"entity-type":"item","numeric-id":957355,"id":"Q957355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fafdf7c05af4e938e93e0a5598607b052221044","datavalue":{"value":{"amount":"+0.86243117","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":"Q2945589$58C921C0-1169-4BE0-8648-F5DC79F1EF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a67f5b76477ef2f80a1d753198cb90aa7ff51f6","datavalue":{"value":{"entity-type":"item","numeric-id":5881451,"id":"Q5881451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a862e78cb07bf2080bfac37912a9daad710fe75b","datavalue":{"value":{"amount":"+0.86155725","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":"Q2945589$227D1CEB-23B9-49BF-A709-AE61E0F0E79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aee99c83b8fc5fa70a7997ccee9048845ddad6d5","datavalue":{"value":{"entity-type":"item","numeric-id":1884329,"id":"Q1884329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9399e77254bc8aa9a4c08e3a74ade3cf2c3a300d","datavalue":{"value":{"amount":"+0.86078185","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":"Q2945589$5741267C-4571-4272-BD7C-8DB5FEF18C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"696aa6a73e437c983cdff5a65ecbdfd50f2f6165","datavalue":{"value":{"entity-type":"item","numeric-id":4849545,"id":"Q4849545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84d4e7fb6fd707a72e92501e876a4cc89955eb05","datavalue":{"value":{"amount":"+0.8602327","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":"Q2945589$8637D40F-FCC2-4124-AD22-8BD2DC6479B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66280b88405ce1b0106a6f99bf8a1cba3fe7818e","datavalue":{"value":{"entity-type":"item","numeric-id":5096944,"id":"Q5096944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00fd109ddee00ceab8cee09780d2efa8463d6169","datavalue":{"value":{"amount":"+0.85918677","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":"Q2945589$AA540E1A-A15A-455E-95CC-1F2FB3079E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b5d0c8538bd7200f1fd39b306fe46eb44a4d2f2","datavalue":{"value":{"entity-type":"item","numeric-id":4285638,"id":"Q4285638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f312f24b4c6c22c5fd0820bf8b58778213b79a8","datavalue":{"value":{"amount":"+0.85906315","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":"Q2945589$57880DCD-D598-4434-84DE-8A2AC9498E92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling","badges":[]}}}}}